Matthew R. Lakin

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 9

Top Venues

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Matthew R. Lakin
Design and Simulation of a Multilayer Chemical Neural Network That Learns via Backpropagation. Artif. Life 29 (3) (2023)
David Arredondo, Matthew R. Lakin
Supervised Learning in a Multilayer, Nonlinear Chemical Neural Network. IEEE Trans. Neural Networks Learn. Syst. 34 (10) (2023)
David Arredondo, Matthew R. Lakin
Operant conditioning of stochastic chemical reaction networks. PLoS Comput. Biol. 18 (11) (2022)
Matthew R. Lakin, Andrew Phillips
Automated analysis of tethered DNA nanostructures using constraint solving. Nat. Comput. 17 (4) (2018)
Matthew R. Lakin, Andrew Phillips
Automated, Constraint-Based Analysis of Tethered DNA Nanostructures. DNA (2017)
Matthew R. Lakin, Darko Stefanovic
Towards Temporal Logic Computation Using DNA Strand Displacement Reactions. UCNC (2017)
Matthew R. Lakin, Darko Stefanovic, Andrew Phillips
Modular verification of chemical reaction network encodings via serializability analysis. Theor. Comput. Sci. 632 (2016)
Dandan Mo, Matthew R. Lakin, Darko Stefanovic
Logic circuits based on molecular spider systems. Biosyst. 146 (2016)
Rasmus L. Petersen, Matthew R. Lakin, Andrew Phillips
A strand graph semantics for DNA-based computation. Theor. Comput. Sci. 632 (2016)
Matthew R. Lakin, Darko Stefanovic
Supervised Learning in an Adaptive DNA Strand Displacement Circuit. DNA (2015)
Dandan Mo, Matthew R. Lakin, Darko Stefanovic
Scalable Design of Logic Circuits Using an Active Molecular Spider System. IPCAT (2015)
Alireza Goudarzi, Peter Banda, Matthew R. Lakin, Christof Teuscher, Darko Stefanovic
A Comparative Study of Reservoir Computing for Temporal Signal Processing. CoRR (2014)
Matthew R. Lakin, Andrew Phillips
Compiling DNA Strand Displacement Reactions Using a Functional Programming Language. PADL (2014)
Matthew R. Lakin, Darko Stefanovic
Pattern Formation by Spatially Organized Approximate Majority Reactions. UCNC (2014)
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher
A Model for Variation- and Fault-Tolerant Digital Logic using Self-Assembled Nanowire Architectures. CoRR (2014)
Matthew R. Lakin, Rasmus L. Petersen, Kathryn E. Gray, Andrew Phillips
Abstract Modelling of Tethered DNA Circuits. DNA (2014)
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic, Christof Teuscher
A model for variation- and fault-tolerant digital logic using self-assembled nanowire architectures. NANOARCH (2014)
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
Reservoir Computing Approach to Robust Computation Using Unreliable Nanoscale Networks. UCNC (2014)
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
Reservoir Computing Approach to Robust Computation using Unreliable Nanoscale Networks. CoRR (2014)
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
DNA Reservoir Computing: A Novel Molecular Computing Approach. DNA (2013)
Alireza Goudarzi, Matthew R. Lakin, Darko Stefanovic
DNA Reservoir Computing: A Novel Molecular Computing Approach. CoRR (2013)
Peter Banda, Christof Teuscher, Matthew R. Lakin
Online Learning in a Chemical Perceptron. Artif. Life 19 (2) (2013)
Matthew R. Lakin, Andrew Phillips, Darko Stefanovic
Modular Verification of DNA Strand Displacement Networks via Serializability Analysis. DNA (2013)
Matthew R. Lakin, Andrew M. Pitts
Contextual equivalence for inductive definitions with binders in higher order typed functional programming. J. Funct. Program. 23 (6) (2013)
Matthew R. Lakin, Loïc Paulevé, Andrew Phillips
Stochastic simulation of multiple process calculi for biology. Theor. Comput. Sci. 431 (2012)
Matthew R. Lakin, Andrew M. Pitts
Encoding Abstract Syntax Without Fresh Names. J. Autom. Reason. 49 (2) (2012)
Matthew R. Lakin, Amanda J. Minnich, Terran Lane, Darko Stefanovic
Towards a Biomolecular Learning Machine. UCNC (2012)
Matthew R. Lakin, Andrew Phillips
Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems. DNA (2011)
Matthew R. Lakin
Constraint solving in non-permutative nominal abstract syntax Log. Methods Comput. Sci. 7 (3) (2011)
Matthew R. Lakin, Simon Youssef, Filippo Polo, Stephen Emmott, Andrew Phillips
Visual DSD: a design and analysis tool for DNA strand displacement systems. Bioinform. 27 (22) (2011)
Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips
A generic abstract machine for stochastic process calculi. CMSB (2010)
Andrew Phillips, Matthew R. Lakin, Loïc Paulevé
Stochastic Simulation of Process Calculi for Biology MeCBIC (2010)
Matthew R. Lakin, Andrew M. Pitts
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. ESOP (2009)
Matthew R. Lakin, Andrew M. Pitts
A Metalanguage for Structural Operational Semantics. Trends in Functional Programming (2007)

Matthew R. Lakin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthew R. Lakin