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

• 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)