Showing results (11-20 of 34) with videos related to
Sort By:
Pageof 4
Theoretical Computer Science|June 22, 2016
Modular verification of chemical reaction network encodings via serializability analysisMatthew R Lakin, Darko Stefanovic, Andrew PhillipsACS Synthetic Biology|October 30, 2018
A Logic Programming Language for Computational Nucleic Acid DevicesCarlo Spaccasassi, Matthew R Lakin, Andrew PhillipsArtificial Life|March 22, 2013
Online learning in a chemical perceptronPeter Banda, Christof Teuscher, Matthew R LakinACS Synthetic Biology|January 8, 2026
On Degradation-Induced Leak in Heterochiral DNA Strand Displacement CascadesTracy L Mallette, Anshika Mishra, Matthew R LakinTheoretical Computer Science|June 14, 2016
A strand graph semantics for DNA-based computationRasmus L Petersen, Matthew R Lakin, Andrew PhillipsJournal of the Royal Society, Interface|July 22, 2011
Abstractions for DNA circuit designMatthew R Lakin, Simon Youssef, Luca Cardelli, et al.Chembiochem : a European Journal of Chemical Biology|January 16, 2024
Heterochiral modifications enhance robustness and function of DNA in living human cellsTracy L Mallette, Diane S Lidke, Matthew R LakinJournal of the Royal Society, Interface|November 18, 2014
Design of a biochemical circuit motif for learning linear functionsMatthew R Lakin, Amanda Minnich, Terran Lane, et al.ACS Omega|March 17, 2025
A Study of CRISPR Ribonucleoprotein Displacement in Cell-Free SystemsRandi L Smith, Peter W Davenport, Matthew R LakinJournal of the Royal Society, Interface|January 6, 2012
Design and analysis of DNA strand displacement devices using probabilistic model checkingMatthew R Lakin, David Parker, Luca Cardelli, et al.Pageof 4