Pages that link to "Template:Paper"

The following pages link to Template:Paper:

Displayed 20 items.

• Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System (transclusion) ‎ (← links)
• Design and application of stationary phase combinatorial promoters (transclusion) ‎ (← links)
• Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications (transclusion) ‎ (← links)
• Model Predictive Control for Signal Temporal Logic Specifications (transclusion) ‎ (← links)
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry (transclusion) ‎ (← links)
• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations (transclusion) ‎ (← links)
• Optimal nonlinear guidance with inner-loop feedback for hypersonic re-entry (transclusion) ‎ (← links)
• Model-Based Control of Cavity Oscillations, Part I: Experiments (transclusion) ‎ (← links)
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications (transclusion) ‎ (← links)
• A population-based temporal logic gate for timing and recording chemical events (transclusion) ‎ (← links)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications (transclusion) ‎ (← links)
• The role of single occupancy effects on integrase dynamics in a cell-free system (transclusion) ‎ (← links)
• Robust Model Predictive Control for Signal Temporal Logic Synthesis (transclusion) ‎ (← links)
• Stochastic Gene Expression in Single Gene Oscillator Variants (transclusion) ‎ (← links)
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox (transclusion) ‎ (← links)
• Enhancing tolerance to unexpected jumps in GR(1) games (transclusion) ‎ (← links)
• Connected Cruise Control Design Using Probabilistic Model Checking (transclusion) ‎ (← links)
• Quantifying Resource Competition and its Effects in the TX-TL System (transclusion) ‎ (← links)
• Fast Automatic Verification of Large-Scale Systems with Lookup Tables (transclusion) ‎ (← links)
• Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli (transclusion) ‎ (← links)