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

• User:Vhsiao  + (19:54:02, 17 May 2016)
• Characterization of minimum inducer separation time for a two-input integrase-based event detector  + (02:11:08, 18 May 2016)
• Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications  + (12:54:18, 19 May 2016)
• JPL SR&D15  + (12:54:54, 19 May 2016)
• Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System  + (13:02:44, 19 May 2016)
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (08:17:38, 20 May 2016)
• Model Predictive Control for an Uncertain Smart Thermal Grid  + (22:03:24, 28 May 2016)
• Robust Model Predictive Control for Signal Temporal Logic Synthesis  + (22:12:07, 28 May 2016)
• Stochastic Gene Expression in Single Gene Oscillator Variants  + (23:25:18, 28 May 2016)
• Group Schedule, Spring 2016  + (01:39:13, 6 June 2016)
• Backtracking temporal logic synthesis for uncertain environments  + (16:51:11, 6 June 2016)
• Category:Biocircuits projects  + (04:50:17, 10 June 2016)
• ICyPhy: Industrial Cyber-Physical Systems  + (04:54:29, 10 June 2016)
• A population-based temporal logic gate for timing and recording chemical events  + (05:02:58, 10 June 2016)
• Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response  + (05:15:42, 10 June 2016)
• Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach  + (05:18:40, 10 June 2016)
• Population diversification in a yeast metabolic program promotes anticipation of environmental shifts  + (05:18:55, 10 June 2016)
• Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration  + (05:19:12, 10 June 2016)
• A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor  + (05:19:24, 10 June 2016)
• Bioligically Inspired Feedback Design for Drosophila Flight  + (05:19:37, 10 June 2016)
• Design and implementation of a synthetic biomolecular concentration tracker  + (05:21:19, 10 June 2016)
• Design and application of stationary phase combinatorial promoters  + (05:52:05, 10 June 2016)
• Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor  + (05:52:24, 10 June 2016)
• Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions  + (05:57:16, 10 June 2016)
• Category:NCS projects  + (06:00:57, 10 June 2016)
• A Contract-Based Methodology for Aircraft Electric Power System Design  + (06:06:44, 10 June 2016)
• Symbolic construction of GR(1) contracts for systems with full information  + (06:06:52, 10 June 2016)
• Cross-entropy Temporal Logic Motion Planning  + (06:07:00, 10 June 2016)
• Reactive Synthesis from Signal Temporal Logic Specifications  + (06:07:10, 10 June 2016)
• Model Predictive Control for Signal Temporal Logic Specifications  + (06:08:16, 10 June 2016)
• Property:Current project  + (22:36:27, 10 June 2016)
• Property:First name  + (22:36:29, 10 June 2016)
• Property:Last name  + (22:36:29, 10 June 2016)
• Category:Group member  + (22:36:38, 10 June 2016)
• Property:Type  + (22:43:12, 10 June 2016)
• Property:Department  + (23:09:23, 10 June 2016)
• Property:Other projects  + (01:35:51, 11 June 2016)
• Synthesis of Control Protocols for Autonomous Systems  + (05:12:33, 11 June 2016)
• Property:Support  + (11:43:27, 11 June 2016)
• Property:Agency  + (11:43:37, 11 June 2016)
• Property:Title  + (11:43:49, 11 June 2016)
• Property:Reports  + (11:44:06, 11 June 2016)
• Category:Project  + (11:44:27, 11 June 2016)
• Projects  + (12:20:53, 11 June 2016)
• User:Murray  + (12:51:36, 11 June 2016)
• Molecular Programming Project  + (19:11:52, 11 June 2016)
• Property:Graduated  + (20:16:59, 11 June 2016)
• Property:Previous positions  + (20:37:15, 11 June 2016)
• Enoch Yeung  + (20:37:47, 11 June 2016)
• Nancy Cao  + (20:38:25, 11 June 2016)

• Ivan Papusha  + (20:44:59, 11 June 2016)

• Miki Yun  + (20:47:29, 11 June 2016)
• An analytical approach to bistable biological circuit discrimination using real algebraic geometry  + (20:57:52, 11 June 2016)
• Rapid in vitro engineering of 16 two-input logic gates  + (20:58:49, 11 June 2016)
• Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively  + (21:01:35, 11 June 2016)
• Design of a Toolbox of RNA Thermometers  + (21:02:00, 11 June 2016)
• Synthetic logic circuits using RNA aptamer against T7 RNA polymerase  + (21:02:32, 11 June 2016)
• Synthetic circuit for exact adaptation and fold-change detection  + (21:02:45, 11 June 2016)
• Sergei Avedisov, June 2016  + (17:33:05, 13 June 2016)
• Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems  + (15:08:26, 19 June 2016)
• File:CIDAR.png  + (02:21:34, 22 June 2016)
• Moclo  + (19:14:40, 29 June 2016)
• Aug 2016 meeting schedule  + (17:59:22, 4 August 2016)
• Alice: An information-rich autonomous vehicle for high-speed desert navigation  + (21:53:29, 20 August 2016)
• Group Schedule, Summer 2016  + (17:41:37, 19 September 2016)
• Sep/Oct 2016 meeting schedule  + (03:22:36, 29 September 2016)
• Control design for hybrid systems with TuLiP: The temporal logic planning toolbox  + (15:41:29, 17 October 2016)
• Connected Cruise Control Design Using Probabilistic Model Checking  + (15:48:59, 17 October 2016)
• Quantifying Resource Competition and its Effects in the TX-TL System  + (15:59:46, 17 October 2016)
• Admin/Projects  + (16:12:22, 29 October 2016)
• Clare Hayes  + (16:31:50, 29 October 2016)
• Reed McCardell  + (16:34:17, 29 October 2016)
• Catharine (Cat) McGhan  + (16:36:31, 29 October 2016)
• Xinying (Cindy) Ren  + (16:37:36, 29 October 2016)
• Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery  + (16:52:28, 29 October 2016)
• Nov 2016 meeting schedule  + (01:08:06, 11 November 2016)
• Improvement of E. coli transcription-translation (TX-TL) system  + (15:54:12, 19 November 2016)
• Victoria Hsiao  + (23:05:52, 19 November 2016)
• Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments  + (23:09:56, 19 November 2016)
• Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization  + (00:54:42, 27 November 2016)
• User:Sdathath  + (12:19:46, 30 November 2016)
• Group Schedule, Fall 2016  + (06:10:19, 2 December 2016)
• IFAC 2014 Plenary Talk: Specification, Verification and Synthesis for Networked Control Systems  + (19:28:16, 14 December 2016)
• SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications  + (06:38:01, 21 December 2016)
• File:2017 integrase SURF RLW.pdf  + (15:34:10, 2 January 2017)
• File:Integrase clock circuit.pdf  + (16:31:09, 2 January 2017)
• File:Nsf integrase clock.png  + (21:53:29, 2 January 2017)
• SURF 2017: Integrase based circuits for sequential and temporal control of gene expression  + (01:47:11, 3 January 2017)
• SURF 2017: Length and time scales of cell-cell signalling circuits in agar  + (00:17:22, 4 January 2017)
• Image gallery  + (19:01:03, 5 January 2017)
• File:Bfs-overview.png  + (19:01:43, 5 January 2017)
• File:Pmti11.png  + (19:02:58, 5 January 2017)
• File:Muri11-synbio.png  + (19:03:19, 5 January 2017)
• File:Afosr13-synbio.png  + (19:03:34, 5 January 2017)
• File:Nsf13-mpp.png  + (19:03:49, 5 January 2017)
• File:Icb13-synbio.png  + (19:04:09, 5 January 2017)
• File:Hfsp15-oscillators.png  + (19:04:28, 5 January 2017)
• File:Denso16-cpm.png  + (19:04:47, 5 January 2017)
• File:Vehical-overview.png  + (19:05:00, 5 January 2017)
• File:Kiss-architecture.png  + (19:06:10, 5 January 2017)
• File:Breadboards-process.png  + (19:06:19, 5 January 2017)