On regions and linear types (extended abstract)

2001 ◽  
Author(s):  
David Walker ◽  
Kevin Watkins
Keyword(s):  
Linear Types

Monocyclic Peptides: Types, Synthesis and Applications

2020 ◽  
Vol 22 (1) ◽  
pp. 123-135 ◽  
Author(s):  
Yalda Khazaei-poul ◽  
Shohreh Farhadi ◽  
Sepideh Ghani ◽  
Safar Ali Ahmadizad ◽  
Javad Ranjbari
Keyword(s):  
Drug Delivery ◽  
Cyclic Peptides ◽  
Rational Design ◽  
Bioactive Molecules ◽  
Synthesis Methods ◽  
Targeted Therapeutics ◽  
Diagnostic Agents ◽  
Linear Types ◽  
Microbial Agents ◽  
Structural Classes

: Peptides are considered to be appropriate tools in various biological fields. They can be primarily used for the rational design of bioactive molecules. They can act as ligands in the development of targeted therapeutics as well as diagnostics, can be used in the design of vaccines or can be employed in agriculture. Peptides can be classified in two broad structural classes: linear and cyclic peptides. Monocyclic peptides are a class of polypeptides with one macrocyclic ring that bears advantages, such as more selective binding and uptake by the target receptor, as well as higher potency and stability compared to linear types. This paper provides an overview of the categories, synthesis methods and various applications of cyclic peptides. The various applications of cyclic peptides include their use as pro-apoptotic and anti-microbial agents, their application as targeting ligands in drug delivery and diagnostic agents, as well as agricultural and therapeutics applications that are elaborated and discussed in this paper.

Linear types and approximation

2000 ◽  
Vol 10 (6) ◽  
pp. 719-745 ◽  
Author(s):  
MICHAEL HUTH ◽  
ACHIM JUNG ◽  
KLAUS KEIMEL
Keyword(s):  
Full Subcategory ◽  
Linear Logic ◽  
Domain Theory ◽  
Classical Domain ◽  
Complete Distributivity ◽  
Linear Types ◽  
Continuous Lattices

We study continuous lattices with maps that preserve all suprema rather than only directed ones. We introduce the (full) subcategory of FS-lattices, which turns out to be *-autonomous, and in fact maximal with this property. FS-lattices are studied in the presence of distributivity and algebraicity. The theory is extremely rich with numerous connections to classical Domain Theory, complete distributivity, Topology and models of Linear Logic.

scholarly journals Electric Generator in the System for Damping Oscillations of Vehicles

2017 ◽  
Vol 54 (2) ◽  
pp. 3-13
Author(s):  
A. Serebryakov ◽  
E. Kamolins ◽  
N. Levin
Keyword(s):  
Power Generation ◽  
Ambient Temperature ◽  
Control Systems ◽  
Electric Energy ◽  
Electric Generator ◽  
Operational Conditions ◽  
The Road ◽  
Road Profile ◽  
Functional Efficiency ◽  
Linear Types

Abstract The control systems for the objects of industry, power generation, transport, etc. are extremely complicated; functional efficiency of these systems determines to a great extent the safe and non-polluting operation as well as convenience of service and repair of such objects. The authors consider the possibility to improve the efficiency of systems for damping oscillations in transport using a combination of electrical (generators of rotational and linear types) and hydraulic means. Better efficiency of functioning is achieved through automatic control over the operational conditions of such a system in order to make it adaptive to variations in the road profile and ambient temperature; besides, it is possible to produce additional electric energy.

On regions and linear types (extended abstract)

2001 ◽  
Vol 36 (10) ◽  
pp. 181-192 ◽  
Author(s):  
David Walker ◽  
Kevin Watkins
Keyword(s):  
Linear Types

scholarly journals Organization of Flash-Flood-Producing Precipitation in the Northeast United States

2012 ◽  
Vol 27 (2) ◽  
pp. 345-361 ◽  
Author(s):  
Stephen M. Jessup ◽  
Stephen J. Colucci
Keyword(s):  
United States ◽  
Flash Flood ◽  
Warm Season ◽  
Heavy Precipitation ◽  
Flash Flooding ◽  
Radar Signature ◽  
Long Duration ◽  
Central United States ◽  
Linear Types ◽  
Precipitation Estimates

Abstract Heavy precipitation and flash flooding have been extensively studied in the central United States, but less so in the Northeast. This study examines 187 warm-season flash flood events identified in Storm Data to better understand the structure of the precipitation systems that cause flash flooding in the Northeast. Based on the organization and movement of these systems on radar, the events are classified into one of four categories—back-building, linear, multiple, and other/size—and then further classified into subtypes for each category. Eight of these subtypes were not previously recognized in the literature. The back-building events were the most common, followed by the multiple, other/size, and linear types. The linear event types appear to produce flash flooding less commonly in the Northeast than in other regions. In general, the subtypes producing the highest precipitation estimates are those whose structures are most conducive to a long duration of sustained moderate to heavy rainfall. The event types were found to differ from those in the central United States in that the events were more often found to be more disorganized in the Northeast. One event type in particular, back-building with merging features, while not more disorganized than the previously recognized event types, offers promise for improved forecasting because its radar signature makes the duration of sustained heavy precipitation potentially easier to predict.

Sign in / Sign up

Export Citation Format

Share Document