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

• Reactive motion planning with probabilistic safety guarantees  + (Yuxiao Chen)
• Counter-example Guided Learning of Bounds on Environment Behavior  + (Yuxiao Chen)
• Optimizing protein expression in the One-Pot PURE system: Insights into reaction composition and translation efficiency  + (Y. Zhang)
• TRILL: Orchestrating Modular Deep-Learning Workflows for Democratized, Scalable Protein Analysis and Engineering  + (Zachary A Martinez)
• Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology  + (Zachary Z. Sun, Clarmyra A. Hayes, Jonghyeon Shin, Filippo Caschera, Richard M. Murray, Vincent Noireaux)
• Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system  + (Zachary Z. Sun, Enoch Yeung, Clarmyra A. Hayes, Vincent Noireaux, Richard M. Murray)
• Protein degradation in a TX-TL cell-free expression system using ClpXP protease  + (Zachary Z. Sun, Jongmin Kim, Vipul Singhal, Richard M. Murray)
• Consensus Seeking Using Multi-Hop Relay Protocol  + (Zhipu Jin, Richard M Murray)
• Multi-Hop Relay Protocols for Fast Consensus Seeking  + (Zhipu Jin, Richard M. Murray)
• MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed  + (Zhipu Jin, Stephen Waydo, Elisabeth B. Wildanger, Michael Lammers, Hans Scholze, Peter Foley, David Held, Richard M. Murray)
• State Estimation Utilization Multiple Description Coding over Lossy Networks  + (Zhipu Jin, Vijay Gupta, Babak Hassibi, Richard M. Murray)
• State Estimation Over Packet Dropping Networks Using Multiple Description Coding  + (Zhipu Jin, Vijay Gupta, Richard M. Murray)
• A chemical reaction network model of PURE  + (Zoila Jurado)
• Impact of Chemical Dynamics of Commercial PURE Systems on Malachite Green Aptamer Fluorescence  + (Zoila Jurado)
• An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System  + (Zoltan A. Tuza)
• A MATLAB toolbox for modeling genetic circuits in cell-free systems  + (Vipul Singhal)

• BioCRNpyler: Compiling chemical reaction networks from biomolecular parts in diverse contexts  + (Zoltan Tuza)

• Robust Model Predictive Control with a Safety Mode: Applied to Small-Body Proximity Operations  + (John Carson)
• Model-Based Control of Cavity Oscillations, Part I: Experiments  + (D. R. Williams)
• Risk-aware motion planning for automated vehicle among human-driven cars  + (Jin I. Ge)
• Synthesis of Correct-by-Construction Behavior Trees  + (Michele Colledanchise)
• Invariant Sets for Integrators and Quadrotor Obstacle Avoidance  + (Ludvig Doeser)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (Sumanth Dathathri)
• Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology  + (Victoria Hsiao)
• A modal interface contract theory for guarded input/output automata with an application in traffic system design  + (Tung Phan-Minh)
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (Samira S. Farahani)
• Learning-Based Abstractions for Nonlinear Constraint Solving  + (Sumanth Dathathri)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (Anandh Swaminathan)
• Reasoning over Test Specifications using Assume-Guarantee Contracts  + (Apurva Badithela)
• Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems  + (Apurva Badithela)
• A Model-Free Algorithm for Extremely Resilient Navigation  + (Christian J. Stromberger)
• Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape  + (Anandh Swaminathan)