scholarly journals Deriving Distributive Laws for Graded Linear Types

2021 ◽  
Vol 353 ◽  
pp. 109-131
Author(s):  
Jack Hughes ◽  
Michael Vollmer ◽  
Dominic Orchard
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
Sign in / Sign up

Export Citation Format

Share Document