Property:Funding
From Murray Wiki
Jump to navigation
Jump to search
This is a property of type
Page
.
Usage
195
previous 100
20
50
100
250
500
next 100
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 73 pages using this property.
O
Online Horizon Selection in Receding Horizon Temporal Logic Planning
+
The TerraSwarm Research Center
+
Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Optimal Control of Nonlinear Systems with Temporal Logic Specifications
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts
+
Molecular Programming Architectures, Abstractions, Algorithms, and Applications
+
Optimization-Based Navigation for the DARPA Grand Challenge
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
P
Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States
+
The TerraSwarm Research Center
+
Patching task-level robot controllers based on a local μ-calculus formula
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Population diversification in a yeast metabolic program promotes anticipation of environmental shifts
+
ARO ICB 2008
+
Population regulation in microbial consortia using dual feedback control
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Privacy Preserving Average Consensus
+
ICyPhy: Industrial Cyber-Physical Systems
+
Proof of concept continuous event logging in living cells
+
Field-Programmable, Recombinase-Based Biomolecular Circuits
+
Protein degradation in a TX-TL cell-free expression system using ClpXP protease
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
Prototyping 1,4-butanediol (BDO) biosynthesis pathway in a cell-free transcription-translation (TX-TL) system
+
Programmable Molecular Technology Initiative
+
Q
Quantifying Crosstalk in Biochemical Systems
+
Molecular Programming Project
+
Quantifying Resource Competition and its Effects in the TX-TL System
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
Quantitative Modeling of Integrase Dynamics Using a Novel Python Toolbox for Parameter Inference in Synthetic Biology
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
,
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
R
Rapid cell-free forward engineering of novel genetic ring oscillators
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
Rapid in vitro engineering of 16 two-input logic gates
+
Programmable Molecular Technology Initiative
+
,
Molecular Programming Architectures, Abstractions, Algorithms, and Applications
+
,
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
Reactive Protocols for Aircraft Electric Power Distribution
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Reactive Synthesis from Signal Temporal Logic Specifications
+
The TerraSwarm Research Center
+
Reactive motion planning with probabilistic safety guarantees
+
Assurance for Learning Enabled Systems
+
,
Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
+
Recursively constructing analytic expressions for equilibrium distributions of stochastic biochemical reaction networks
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
Repressing Integrase attachment site operation with CRISPR-Cas9 in E. coli
+
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems
+
Molecular Programming Project
+
Resource usage and gene circuit performance characterization in a cell-free âbreadboardâ
+
Programmable Molecular Technology Initiative
+
Reverse Engineering Combination Therapies for Evolutionary Dynamics of Disease: An Hinfty Approach
+
ARO ICB 2008
+
Risk-aware motion planning for automated vehicle among human-driven cars
+
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
Robot Navigation in Dense Human Crowds: the Case for Cooperation
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Robust Model Predictive Control for Signal Temporal Logic Synthesis
+
The TerraSwarm Research Center
+
Role of interaction network topology in controlling microbial population in consortia
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Rules of the Road: Safety and Liveness Guarantees for Autonomous Vehicles
+
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
S
SRC TerraSwarm, DENSO CPM
+
The TerraSwarm Research Center
+
,
Temporal Logic Specifications for Control System Design in Automotive Systems
+
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
+
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 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