( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.

, , , и . NANOARCH, стр. 116-121. IEEE Computer Society/ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Anne Laking

Matthew Mellon

Matthew David

Matthew Smith

Olumuyiwa Matthew

 

Другие публикации лиц с тем же именем

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions., и . UCNC, том 10240 из Lecture Notes in Computer Science, стр. 41-55. Springer, (2017)Logic circuits based on molecular spider systems., , и . Biosyst., (2016)An executable meta-language for inductive definitions with binders.. University of Cambridge, UK, (2010)British Library, EThOS.Constraint solving in non-permutative nominal abstract syntax. Logical Methods in Computer Science, (2011)Encoding Abstract Syntax Without Fresh Names., и . J. Autom. Reason., 49 (2): 115-140 (2012)Contextual equivalence for inductive definitions with binders in higher order typed functional programming., и . J. Funct. Program., 23 (6): 658-700 (2013)Scalable Design of Logic Circuits Using an Active Molecular Spider System., , и . IPCAT, том 9303 из Lecture Notes in Computer Science, стр. 13-28. Springer, (2015)Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming., и . ESOP, том 5502 из Lecture Notes in Computer Science, стр. 47-61. Springer, (2009)Operant conditioning of stochastic chemical reaction networks., и . PLoS Comput. Biol., 18 (11): 1010676 (ноября 2022)A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures., , , и . NANOARCH, стр. 116-121. IEEE Computer Society/ACM, (2014)