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

• Metabolic perturbations to an E. coli-based cell-free system reveal a trade-off between transcription and translation  + (Biocircuits)
• Addressable and adaptable intercellular communication via DNA messaging  + (Biocircuits)
• Development of cell-free transcription-translation systems in three soil Pseudomonads  + (Biocircuits)
• A chemical reaction network model of PURE  + (Biocircuits)
• Engineering the soil bacterium Pseudomonas synxantha 2-79 into a ratiometric bioreporter for phosphorus limitation  + (Biocircuits)
• TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering  + (Biocircuits)
• Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency  + (Biocircuits)
• A Field-Deployable Arsenic Sensor Integrating Bacillus Megaterium with CMOS Technology  + (Biocircuits)
• Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence  + (Biocircuits)

• Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli  + (Hide)

• Symbolic construction of GR(1) contracts for systems with full information  + (NCS)
• Reactive Synthesis from Signal Temporal Logic Specifications  + (NCS)
• Cross-entropy Temporal Logic Motion Planning  + (NCS)
• A Contract-Based Methodology for Aircraft Electric Power System Design  + (NCS)
• Synthesis of Control Protocols for Autonomous Systems  + (NCS)
• Model Predictive Control for Signal Temporal Logic Specifications  + (NCS)
• Layering assume-guarantee contracts for hierarchical system design  + (NCS)
• Contracts of Reactivity  + (NCS)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (NCS)
• Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems  + (NCS)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (NCS)
• Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications  + (NCS)
• Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles  + (NCS)
• Limits of probabilistic safety guarantees when considering human uncertainty  + (NCS)
• Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems  + (NCS)
• Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design  + (NCS)
• Efficient local validation of partially ordered models via Baysian directed sampling  + (NCS)
• Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks  + (NCS)
• Flow-Based Synthesis of Reactive Tests for Discrete Decision-Making Systems with Temporal Logic Specifications  + (NCS)
• Robotic Manipulation with Flexible Link Fingers  + (NoRequest)
• Differentially Flat Nonlinear Control Systems  + (NoRequest)
• Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints  + (NoRequest)
• Trajectory tracking for fully actuated mechanical systems  + (NoRequest)
• Real-Time Control Experiments for Instruction and Research at Caltech  + (NoRequest)
• Decompositions for Control Systems on Manifolds with an Affine Connection  + (NoRequest)