Pages without language links
From Murray Wiki
Jump to navigationJump to search
The following pages do not link to other language versions.
Showing below up to 50 results in range #1,451 to #1,500.
- SURF 2012: Synthetic biology in a cell-free expression system
- SURF 2012: Understanding feedback in bacterial toxin–antitoxin systems
- SURF 2013
- SURF 2013: Designing phosphorylation sensitive protein domains for use in synthetic circuits
- SURF 2013: Experiments with dynamic obstacles and correct-by-construction controllers
- SURF 2013: Investigating physical methods of protecting linear DNA fragments in cell-free expression systems
- SURF 2013: Robot Motion Planning with Complex Tasks
- SURF 2013: Role of Delays in Biological Processes
- SURF 2013: Synthetic biological circuit design implementing protein degradation in-vitro
- SURF 2013: Synthetic logic circuits using RNA aptamers
- SURF 2013: The connection between biological structure and function in dynamic environments
- SURF 2013: The costs and benefits of various designs of biochemical 'decision engines'
- SURF 2013: Understanding the Effect of Compositional Context on Biocircuit Performance
- SURF 2014
- SURF 2014: Fabricating a Toolbox of RNA Thermometers
- SURF 2014: Improved methods of discretization for temporal logic planning
- SURF 2014: Invariant Refinement for Receding Horizon Temporal Logic Planning
- SURF 2014: Rapid prototyping of moderate complexity biomolecular circuits
- SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed
- SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers
- SURF 2015
- SURF 2015: Design of equilibrium and transient distributions of stochastic biochemical reaction networks
- SURF 2015: Design space exploration of the violacein pathway in TX-TL
- SURF 2015: Designing biomolecular temperature sensors
- SURF 2015: Formal synthesis of switching protocols for estimation and control of aircraft electric power systems
- SURF 2015: Improved State Estimation and Control of a Pioneer 3-DX for a Resilient Spacecraft Executive
- SURF 2015: Machine-readable protocols and rapid-prototyping for synthetic biology research
- SURF 2015: Optimal Trajectory Generation under Environmental Uncertainties using Signal Temporal Logic Specifications
- SURF 2015: Platform-based design for robotics applications
- SURF 2015: Provably-correct control synthesis for automotive active safety systems
- SURF 2015: Quantitating Differences in Gene Expresion in Linear and Plasmid DNA in a Cell-Free Expression (TXTL) System
- SURF 2015: Rapid prototyping of moderate complexity biomolecular circuits
- SURF 2017
- SURF 2017: Data-driven models for temporal logic control
- SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines
- SURF 2017: Integrase based circuits for sequential and temporal control of gene expression
- SURF 2017: Length and time scales of cell-cell signalling circuits in agar
- SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications
- SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications
- SURF 2017: Synthetic modules for control of bacterial growth
- SURF 2018
- SURF 2018: Contract-based Design of Control Systems
- SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia
- SURF 2018: Evolutionary Stability of Genetic Circuits
- SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention
- SURF 2018: Integrase-based genetic circuits
- SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling
- SURF 2018: Resource Usage in TX-TL
- SURF 2018: Synthetic modules for regulation of bacterial growth
- SURF 2018: Test design for temporal logic controllers
