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 50 pages using this property.
M
Minimally Constrained Testing for Autonomy with Temporal Logic Specifications
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Model Predictive Control for Signal Temporal Logic Specifications
+
The TerraSwarm Research Center
+
Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
,
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways
+
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Modeling Dynamic Transcriptional Circuits with CRISPRi
+
Establishing microfluidic cell-free systems for the rapid prototyping of synthetic genetic networks
+
Moving bounding boxes and incremental synthesis for dynamic obstacles
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Multi-dimensional state estimation in adversarial environment
+
ICyPhy: Industrial Cyber-Physical Systems
+
N
Negative autoregulation matches production and demand in synthetic transcriptional networks
+
Molecular Programming Project
+
,
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
O
On Synthesizing Robust Discrete Controllers under Modeling Uncertainty
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
On-chip membrane protein cell-free expression enables development of a direct binding assay: A curious case of potassium channel KcsA-Kv1.3
+
Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery
+
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
+
Reasoning over Test Specifications using Assume-Guarantee Contracts
+
Formal Methods for V&V and T&E of Autonomous Systems
+
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-Averse Decision Making Under Uncertainty
+
Formal Methods for V&V and T&E of Autonomous Systems
+
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
+
Robustness Guarantees for Structured Model Reduction of Dynamical Systems
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
,
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways
+
Robustness guarantees for structured model reduction of dynamical systems with applications to biomolecular models
+
Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways
+
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
+
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