Property:Funding
From Murray Wiki
Jump to navigation
Jump to search
This is a property of type
Page
.
Usage
195
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 50 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
+
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