scholarly journals Comparing controlled system synthesis and suppression enforcement

2021 ◽  
Author(s):  
Luca Aceto ◽  
Ian Cassar ◽  
Adrian Francalanza ◽  
Anna Ingólfsdóttir
Keyword(s):  
Controlled System ◽  
System Synthesis

scholarly journals Maximally permissive controlled system synthesis for non-determinism and modal logic

2016 ◽  
Vol 27 (1) ◽  
pp. 109-142 ◽  
Author(s):  
A. C. van Hulst ◽  
M. A. Reniers ◽  
W. J. Fokkink
Keyword(s):  
Modal Logic ◽  
Controlled System ◽  
System Synthesis

scholarly journals Comparing Controlled System Synthesis and Suppression Enforcement

2019 ◽  
pp. 148-164
Author(s):  
Luca Aceto ◽  
Ian Cassar ◽  
Adrian Francalanza ◽  
Anna Ingólfsdóttir
Keyword(s):  
Controlled System ◽  
System Synthesis

Vasopressin analogues with effect on central nervous system: Synthesis and biological properties

1983 ◽  
Vol 48 (10) ◽  
pp. 2862-2873 ◽  
Author(s):  
František Brtník ◽  
Ivan Krejčí ◽  
Běla Kupková ◽  
Pavel Hrbas ◽  
Jana Škopková ◽  
...  
Keyword(s):  
Central Nervous System ◽  
Nervous System ◽  
Amino Acid ◽  
Passive Avoidance ◽  
Biological Properties ◽  
Passive Avoidance Test ◽  
System Synthesis ◽  
Avoidance Test ◽  
Vasopressin Analogues

Synthesis of four vasopressin analogues which do not contain the glycinamine residue in position 9 and have a basic non-coded amino acid in position 8 is described. All the analogues exhibit very low endocrine activities and are effective in the passive avoidance test.

The first bicyclo[2.2.0]hexasilane system: synthesis of decaisopropylhexasilabicyclo[2.2.0]hexane

1987 ◽  
pp. 1316 ◽  
Author(s):  
Hideyuki Matsumoto ◽  
Hiroshi Miyamoto ◽  
Nobumoto Kojima ◽  
Yoichiro Nagai
Keyword(s):  
System Synthesis
Sign in / Sign up

Export Citation Format

Share Document