Information for "Template:HTDB paper"

Basic information

Display title	Template:HTDB paper
Default sort key	HTDB paper
Page length (in bytes)	544
Namespace	Template
Page ID	3694
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Number of subpages of this page	0 (0 redirects; 0 non-redirects)

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Murray (talk \| contribs)
Date of page creation	17:12, 14 May 2016
Latest editor	Murray (talk \| contribs)
Date of latest edit	21:01, 11 June 2016
Total number of edits	31
Total number of distinct authors	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Page properties

Pages transcluded on (423)	Templates used on this page: A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications (view source) A Contract-Based Methodology for Aircraft Electric Power System Design (view source) A Risk-Aware Architecture for Resilient Spacecraft Operations (view source) A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters (view source) A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks (view source) An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis (view source) Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture (view source) Bootstrapping bilinear models of simple vehicles (view source) Characterization of minimum inducer separation time for a two-input integrase-based event detector (view source) Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions (view source) Control System Analysis on Symmetric Cones (view source) Convex Optimal Uncertainty Quantification (view source) Cross-entropy Temporal Logic Motion Planning (view source) Design of a Toolbox of RNA Thermometers (view source) Designing Robustness to Temperature in a Feedforward Loop Circuit (view source) Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback (view source) Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping (view source) Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor (view source) Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively (view source) Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks (view source) Hot-swapping robot task goals in reactive formal synthesis (view source) Linear System Identifiability from Distributional and Time Series Data (view source) Model Predictive Control for an Uncertain Smart Thermal Grid (view source) Model Predictive Control with Signal Temporal Logic Specifications (view source) Modeling the Effects of Compositional Context on Promoter Activity in an E. Coli Extract based Transcription-Translation System (view source) Multi-dimensional state estimation in adversarial environment (view source) Negative Feedback Facilitates Temperature Robustness in Biomolecular Circuit Dynamics (view source) Online Horizon Selection in Receding Horizon Temporal Logic Planning (view source) Population diversification in a yeast metabolic program promotes anticipation of environmental shifts (view source) Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems (view source) Privacy Preserving Average Consensus (view source) Protein degradation in a TX-TL cell-free expression system using ClpXP protease (view source) Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system (view source) Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty (view source) Rapid cell-free forward engineering of novel genetic ring oscillators (view source) Rapid in vitro engineering of 16 two-input logic gates (view source) Rapid prototyping of biomolecular circuits through module characterization in cell-free expression systems (view source) Reactive Synthesis from Signal Temporal Logic Specifications (view source) Resource usage and gene circuit performance characterization in a cell-free âbreadboardâ (view source) Strategy-Driven Partitioning into Switching Modes for Piecewise-Affine Systems with Continuous Environments (view source) Symbolic construction of GR(1) contracts for systems with full information (view source) Synthesis from multi-paradigm specifications (view source) Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles (view source) Synthesizing Combination Therapies for Evolutionary Dynamics of Disease for Nonlinear Pharmacodynamics (view source) Synthetic circuit for exact adaptation and fold-change detection (view source) Synthetic logic circuits using RNA aptamer against T7 RNA polymerase (view source) Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo (view source) The effects of time-varying temperature on delays in genetic networks (view source) Use of population-level cell-state switching for recording transient inducer pulses (view source) Variable Elimination for Scalable Receding Horizon Temporal Logic Planning (view source) More...

Information for "Template:HTDB paper"

Basic information

Page protection

Edit history

Page properties

Navigation menu

Page actions

Page actions

Personal tools

Navigation

Search

Tools