Lazy but Effective Functional Synthesis

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-11245-5_5 ◽

2019 ◽

pp. 92-113 ◽

Cited By ~ 3

Author(s):

Grigory Fedyukovich ◽

Arie Gurfinkel ◽

Aarti Gupta

Keyword(s):

Functional Synthesis

Download Full-text

A Method of Structural and Functional Synthesis in Problems of Restructuring Environmental Monitoring Systems

Journal of Automation and Information Sciences ◽

10.1615/jautomatinfscien.v45.i11.80 ◽

2013 ◽

Vol 45 (11) ◽

pp. 63-74

Author(s):

Yulia V. Doronina ◽

Valentina O. Ryabovaya

Keyword(s):

Environmental Monitoring ◽

Monitoring Systems ◽

Functional Synthesis

Download Full-text

Characteristic features of the heterologous functional synthesis in Escherichia coli of a 2[4Fe-4S] ferredoxin

BioMetals ◽

10.1007/bf00144121 ◽

1994 ◽

Vol 7 (4) ◽

pp. 272-278 ◽

Cited By ~ 9

Author(s):

Jean-Marc Moulis ◽

Valérie Davasse ◽

Florence De Jésus

Keyword(s):

Escherichia Coli ◽

Functional Synthesis ◽

Characteristic Features

Download Full-text

Discovery as Functional Synthesis

Joint Cognitive Systems ◽

10.1201/9781420005684-9 ◽

2006 ◽

pp. 47-52

Keyword(s):

Functional Synthesis

Download Full-text

Structural and functional synthesis of the continuous wave NQR temperature sensor with increased conversion linearity

Solid State Nuclear Magnetic Resonance ◽

10.1016/j.ssnmr.2020.101700 ◽

2020 ◽

Vol 110 ◽

pp. 101700

Author(s):

A. Samila ◽

I. Safronov ◽

O. Hotra

Keyword(s):

Temperature Sensor ◽

Continuous Wave ◽

Functional Synthesis

Download Full-text

Molecular Evolution, Functional Synthesis of

Encyclopedia of Evolutionary Biology ◽

10.1016/b978-0-12-800049-6.00233-x ◽

2016 ◽

pp. 44-54

Author(s):

A.M. Dean

Keyword(s):

Molecular Evolution ◽

Functional Synthesis

Download Full-text

FISHER'S GEOMETRIC MODEL OF ADAPTATION MEETS THE FUNCTIONAL SYNTHESIS: DATA ON PAIRWISE EPISTASIS FOR FITNESS YIELDS INSIGHTS INTO THE SHAPE AND SIZE OF PHENOTYPE SPACE

Evolution ◽

10.1111/evo.12156 ◽

2013 ◽

Vol 67 (10) ◽

pp. 2957-2972 ◽

Cited By ~ 14

Author(s):

Daniel M. Weinreich ◽

Jennifer L. Knies

Keyword(s):

Geometric Model ◽

Functional Synthesis ◽

Phenotype Space ◽

Shape And Size

Download Full-text

GO-Module: functional synthesis and improved interpretation of Gene Ontology patterns

Bioinformatics ◽

10.1093/bioinformatics/btr142 ◽

2011 ◽

Vol 27 (10) ◽

pp. 1444-1446 ◽

Cited By ~ 29

Author(s):

Xinan Yang ◽

Jianrong Li ◽

Younghee Lee ◽

Yves A. Lussier

Keyword(s):

Gene Ontology ◽

Functional Synthesis

Download Full-text

Functional synthesis of digital systems with TASS

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/43.277628 ◽

1994 ◽

Vol 13 (5) ◽

pp. 537-552 ◽

Cited By ~ 26

Author(s):

S. Amellal ◽

B. Kaminska

Keyword(s):

Digital Systems ◽

Functional Synthesis

Download Full-text

Simultaneous functional synthesis of mechanisms with mechanical efficiency and cost

The International Journal of Advanced Manufacturing Technology ◽

10.1007/s00170-014-6167-y ◽

2014 ◽

Vol 75 (5-8) ◽

pp. 659-665 ◽

Cited By ~ 9

Author(s):

Bin He ◽

Pengchang Zhang ◽

Lilan Liu

Keyword(s):

Mechanical Efficiency ◽

Synthesis Of Mechanisms ◽

Functional Synthesis

Download Full-text

A New Functional Synthesis Method for Macro Quantum Circuits Realized in Affine-Controlled NCV-Gates

The Journal of the Korea institute of electronic communication sciences ◽

10.13067/jkiecs.2014.9.4.447 ◽

2014 ◽

Vol 9 (4) ◽

pp. 447-454 ◽

Cited By ~ 3

Author(s):

Dong-Young Park ◽

Yeon-Man Jeong

Keyword(s):

Synthesis Method ◽

Quantum Circuits ◽

Functional Synthesis

Download Full-text