Property:Funding
From Murray Wiki
Jump to navigation
Jump to search
This is a property of type
Page
.
Usage
214
previous 50
20
50
100
250
500
next 50
Filter
<p>The <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Property_page/Filter">search filter</a> allows the inclusion of <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Query_expressions">query expressions</a> such as <code>~</code> or <code>!</code>. The selected <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Query_engine">query engine</a> might also support case insensitive matching or other short expressions like:</p><ul><li><code>in:</code> result should include the term, e.g. '<code>in:Foo</code>'</li></ul><ul><li><code>not:</code> result should to not include the term, e.g. '<code>not:Bar</code>'</li></ul>
Showing 39 pages using this property.
S
Single day construction of multi-gene circuits with 3G assembly
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution
+
ICyPhy: Industrial Cyber-Physical Systems
+
Stochastic Gene Expression in Single Gene Oscillator Variants
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
Symbolic construction of GR(1) contracts for systems with full information
+
The TerraSwarm Research Center
+
Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response
+
ARO ICB 2008
+
Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed
+
ICyPhy: Industrial Cyber-Physical Systems
+
Synthesis from multi-paradigm specifications
+
The TerraSwarm Research Center
+
Synthesis of Control Protocols for Autonomous Systems
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications
+
ICyPhy: Industrial Cyber-Physical Systems
+
Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information
+
ICyPhy: Industrial Cyber-Physical Systems
+
Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Synthesis of Reactive Control Protocols for Differentially Flat Systems
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Synthesis of Reactive Switching Protocols from Temporal Logic Specifications
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Synthesis of Static Test Environments for Observing Sequence-like Behaviors in Autonomous Systems
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Synthesis of Switching Protocols from Temporal Logic Specifications
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Synthesizing Reactive Test Environments for Autonomous Systems: Testing Reach-Avoid Specifications with Multi-Commodity Flows
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Synthetic circuit for exact adaptation and fold-change detection
+
Molecular Programming Architectures, Abstractions, Algorithms, and Applications
+
Synthetic logic circuits using RNA aptamer against T7 RNA polymerase
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
,
Molecular Programming Architectures, Abstractions, Algorithms, and Applications
+
Synthetic mammalian signaling circuits for robust cell population control
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
,
Model-guided Discovery and Optimization of Cell-based Sensors
+
System-level studies of a cell-free transcription-translation platform for metabolic engineering
+
Programmable Molecular Technology Initiative
+
Systematic Design and Implementation of a Novel Synthetic Fold-Change Detector Biocircuit In Vivo
+
Model-guided Discovery and Optimization of Cell-based Sensors
+
Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis
+
GMB MURI
+
T
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
+
Safety-Critical Autonomy and Verification for Space Missions
+
Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
The Effect of Compositional Context on Synthetic Gene Networks
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
The role of single occupancy effects on integrase dynamics in a cell-free system
+
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Theoretical Design of Paradoxical Signaling-Based Synthetic Population Control Circuit in E. coli
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Time-Delayed Feedback Channel Design: Discrete Time H infty Approach
+
The TerraSwarm Research Center
+
Time-Optimal Navigation in Uncertain Environments with High-Level Specifications
+
Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
+
Timing molecular motion and production with a synthetic transcriptional clock
+
Molecular Programming Project
+
,
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
+
Safety-Critical Autonomy and Verification for Space Missions
+
Towards Assume-Guarantee Profiles for Autonomous Vehicles
+
Temporal Logic Specifications for Control System Design in Automotive Systems
+
,
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli
+
Field-Programmable, Recombinase-Based Biomolecular Circuits
+
U
Use of population-level cell-state switching for recording transient inducer pulses
+
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
V
Variable Elimination for Scalable Receding Horizon Temporal Logic Planning
+
The TerraSwarm Research Center
+
Voluntary lane-change policy synthesis with reactive control improvisation
+
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
Navigation menu
Page actions
Property
Discussion
View
View source
History
Page actions
Property
Discussion
More
Tools
Personal tools
Log in
Navigation
Main Page
Courses
Events
Preprints
Projects
Search
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties