Results 261 to 270 of about 11,396,305 (309)

A synthesis of type-checking and parsing

Computer Languages, 1993
Abstract The context-free grammars and parsers conventionally used to define and interpret concrete syntax lead to constrained expression notations. This paper gives algorithms which support less constrained, more intuitive notations. These algorithms can be viewed as context-sensitive parsers, where the context that is taken into account is the type
Carl McCrosky, Ken Sailor
openaire   +3 more sources

Monocyclic Peptides: Types, Synthesis and Applications

Current Pharmaceutical Biotechnology, 2020
: 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
Yalda Khazaei-poul, Shohreh Farhadi, Sepideh Ghani, Safar Ali Ahmadizad, Javad Ranjbari   +4 more
openaire   +2 more sources

Synthesis of p-type GaN nanowires

Nanoscale, 2013
GaN has been utilized in optoelectronics for two decades. However, p-type doping still remains crucial for realization of high performance GaN optoelectronics. Though Mg has been used as a p-dopant, its efficiency is low due to the formation of Mg-H complexes and/or structural defects in the course of doping.
Sung Wook, Kim, Youn Ho, Park, Ilsoo, Kim, Tae-Eon, Park, Byoung Wook, Kwon, Won Kook, Choi, Heon-Jin, Choi   +6 more
openaire   +2 more sources

Numeric Types in Formal Synthesis

2004
The Formal Synthesis methodology can be considered as the application of the transformational approach to circuit synthesis by logical transformations performed in a theorem prover. Additionally to the implementation of the circuit, the proof that the result is a correct implementation of a given specification is obtained automatically.
Sabelfeld, Viktor, Kapp, Kai
openaire   +2 more sources

Synthesis of Programs in Abstract Data Types

1999
In this paper we propose a method for program synthesis from constructive proofs based on a particular proof strategy, we call dischargeable set construction. This proof-strategy allows to build proofs in which active patterns (sequences of application of rules with proper computational content) can be distinguished from correctness patterns ...
Avellone A., FERRARI, MAURO, Miglioli P.
openaire   +2 more sources

Chiral Synthesis of McGeachin-Type Bisaminals

The Journal of Organic Chemistry, 2020
Bridged [3.3.1]-bisaminal structures, namely 6,12-epiminodibenzo[b,f][1,5]diazocines, are herein named McGeachin-type bisaminals. The TsOH-catalyzed chiral synthesis of McGeachin-type bisaminals is first developed by condensation of two molecules of 2-(methylamino)benzaldehyde and one molecule of chiral amines.
Yang Chen, Siqi Li, Shili Hou, Jiaxi Xu, Zhanhui Yang   +4 more
openaire   +2 more sources

Synthesis of New Pinane-Type Hetarylsulfides

Chemistry of Natural Compounds, 2014
© 2014 Springer Science+Business Media New York. New bicyclic thioterpenoids with heterocyclic fragments were prepared via reactions of (-)-β-pinene and its oxide with 1-phenyl-1H-tetrazole-5-thiol, 1-methylimidazole-2-thiol, and 4,6-dimethyl-2-pyrimidinesulfenylchloride.
Startseva V., Bodrov A., Arefev A., Kuznetsov I., Lodochnikova O., Klochkov V., Nikitina L.   +6 more
openaire   +3 more sources

Speech synthesis system of rule-synthesis type

The Journal of the Acoustical Society of America, 1991
In order to generate a series of speech parameters from a series of phonemic symbols extracted from a series of input characters, parameters for given syllables or phonemes are read from corresponding parameter files according to the types of immediately preceding vowels or consonants of the given syllables or phonemes in the series of phonemic symbols.
openaire   +1 more source

Synthesis of Diesteramide Phospholipids of Cationic Type.

ChemInform, 2002
AbstractFor Abstract see ChemInform Abstract in Full Text.
D. A. Predvoditelev, G. V. Kosarev, S. V. Suvorkin, E. E. Nifant'ev   +3 more
openaire   +1 more source

Biogenetic-type synthesis of the calycanthaceous alkaloids

Tetrahedron, 1967
Abstract Oxidative dimerization of N b -methyltryptamine occurs exclusively via ββ-coupling in a one-step synthesis of rac - and meso -chimonanthine. Transformation of the former to rac -calycanthine completes a synthesis of all the dimeric alkaloids of Calycanthus species.
E S, Hall, F, McCapra, A I, Scott
openaire   +2 more sources