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

• Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs  + (15 May 2016 06:16:44)
• Regulatory activity revealed by dynamic correlations in gene expression noise  + (15 May 2016 06:16:44)
• Probabilistic Safety Analysis of Sensor-Driven Hybrid Automata  + (15 May 2016 06:16:45)
• On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time  + (15 May 2016 06:16:47)
• On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof  + (15 May 2016 06:16:48)
• Real-valued average consensus over noisy quantized channels  + (15 May 2016 06:16:49)
• Control Program Verification for a Sample Titan Aerobot Mission  + (15 May 2016 06:16:51)
• Optimal Sensor Hop Selection: Sensor Energy Minimization and Network Lifetime Maximization with Guaranteed System Performance  + (15 May 2016 06:16:52)
• Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective  + (15 May 2016 06:16:53)
• Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach  + (15 May 2016 06:16:53)

• Design and performance of in vitro transcription rate regulatory circuit  + (15 May 2016 06:16:54)

• Probabilistic Performance of State Estimation Across a Lossy Network  + (15 May 2016 06:16:55)
• Formal Verification of an Autonomous Vehicle System  + (15 May 2016 06:16:56)
• Analysis of Dynamics in Escaping Flight Initiation in Drosophila  + (15 May 2016 06:16:57)
• Model reduction of interconnected linear systems  + (15 May 2016 06:16:58)
• Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty  + (15 May 2016 06:16:58)
• Situational Reasoning for Road Driving in an Urban Environment  + (15 May 2016 06:17:01)
• Design of insulating devices for in vitro synthetic circuits  + (15 May 2016 06:17:02)
• A Framework for Low--Observable Tra jectory Generation in the Presence of Multiple Radars  + (15 May 2016 06:17:02)
• Control Over a Packet Dropping Network with Norm Bounded Uncertainties  + (15 May 2016 06:17:03)
• Delay-dependent Stability of Genetic Regulatory Networks  + (15 May 2016 06:17:04)