Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution  + (06:15:03, 15 May 2016)
• System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system  + (06:15:04, 15 May 2016)
• Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform  + (06:15:05, 15 May 2016)
• Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients  + (06:15:06, 15 May 2016)
• Negative autoregulation matches production and demand in synthetic transcriptional networks  + (06:15:07, 15 May 2016)
• Efficient control synthesis for augmented finite transition systems with an application to switching protocols  + (06:15:08, 15 May 2016)
• Collaborative System Identification via Parameter Consensus  + (06:15:09, 15 May 2016)
• Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information  + (06:15:10, 15 May 2016)
• A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease  + (06:15:12, 15 May 2016)
• A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications  + (06:15:13, 15 May 2016)

• Time-Delayed Feedback Channel Design: Discrete Time H infty Approach  + (06:15:14, 15 May 2016)

• Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays  + (06:15:15, 15 May 2016)
• Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology  + (06:15:16, 15 May 2016)
• Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system  + (06:15:17, 15 May 2016)
• Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications  + (06:15:18, 15 May 2016)
• Moving bounding boxes and incremental synthesis for dynamic obstacles  + (06:15:19, 15 May 2016)
• Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed  + (06:15:20, 15 May 2016)
• A robust model predictive control algorithm augmented with a reactive safety mode  + (06:15:21, 15 May 2016)
• Optimal Control of Nonlinear Systems with Temporal Logic Specifications  + (06:15:21, 15 May 2016)
• Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic  + (06:15:22, 15 May 2016)
• Modeling Environmental Disturbances with the Chemical Master Equation  + (06:15:24, 15 May 2016)