( en | de | ru )

 

Disambiguierung von "Lakin, Matthew R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures.

, , , und . NANOARCH, Seite 116-121. IEEE Computer Society/ACM, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Anne Laking

Matthew Mellon

Matthew David

Matthew Smith

Olumuyiwa Matthew

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Temporal Logic Computation Using DNA Strand Displacement Reactions., und . UCNC, Volume 10240 von Lecture Notes in Computer Science, Seite 41-55. Springer, (2017)Logic circuits based on molecular spider systems., , und . 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., und . J. Autom. Reason., 49 (2): 115-140 (2012)Contextual equivalence for inductive definitions with binders in higher order typed functional programming., und . J. Funct. Program., 23 (6): 658-700 (2013)Scalable Design of Logic Circuits Using an Active Molecular Spider System., , und . IPCAT, Volume 9303 von Lecture Notes in Computer Science, Seite 13-28. Springer, (2015)Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming., und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2009)Operant conditioning of stochastic chemical reaction networks., und . PLoS Comput. Biol., 18 (11): 1010676 (November 2022)A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures., , , und . NANOARCH, Seite 116-121. IEEE Computer Society/ACM, (2014)