Property:Funding
From Murray Wiki
Jump to navigation
Jump to search
This is a property of type
Page
.
Usage
214
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 100 pages using this property.
C
Cross-entropy Temporal Logic Motion Planning
+
ICyPhy: Industrial Cyber-Physical Systems
+
D
Data-driven network models for genetic circuits from time-series data with incomplete measurements
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
+
The TerraSwarm Research Center
+
Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System
+
Programmable Molecular Technology Initiative
+
Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration
+
ARO ICB 2008
+
Design and application of stationary phase combinatorial promoters
+
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Design and implementation of a synthetic biomolecular concentration tracker
+
ARO ICB 2008
+
Design of a Toolbox of RNA Thermometers
+
Molecular Programming Architectures, Abstractions, Algorithms, and Applications
+
Design of a genetic layered feedback controller in synthetic biological circuitry
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Distributed Power Allocation for Vehicle Management Systems
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity
+
ICyPhy: Industrial Cyber-Physical Systems
+
E
Efficient control synthesis for augmented finite transition systems with an application to switching protocols
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
,
ICyPhy: Industrial Cyber-Physical Systems
+
Efficient reactive controller synthesis for a fragment of linear temporal logic
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
Engineering Principles of Synthetic Biochemical Oscillators with Negative Cyclic Feedback
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping
+
Programmable Molecular Technology Initiative
+
,
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Engineering Transcriptional Regulator Effector Specificity Using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
+
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Engineering Transcriptional Regulator Effector Specificity using Computational Design and In Vitro Rapid Prototyping: Developing a Vanillin Sensor
+
Programmable Molecular Technology Initiative
+
,
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Engineering pulsatile communication in bacterial consortia
+
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
Enhancing tolerance to unexpected jumps in GR(1) games
+
The TerraSwarm Research Center
+
Evaluation Metrics for Object Detection for Autonomous Systems
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays
+
The TerraSwarm Research Center
+
F
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
+
Temporal Logic Specifications for Control System Design in Automotive Systems
+
,
Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
+
Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
,
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Feedback architectures to regulate flux of components in artificial gene networks
+
Molecular Programming Project
+
Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively
+
Molecular Programming Architectures, Abstractions, Algorithms, and Applications
+
,
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
+
Formal Methods for V&V and T&E of Autonomous Systems
+
From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology
+
Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools
+
G
Guidelines for Designing the Antithetic Feedback Motif
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
H
Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Hiding variables when decomposing specifications into GR(1) contracts
+
The TerraSwarm Research Center
+
,
Temporal Logic Specifications for Control System Design in Automotive Systems
+
I
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications
+
The TerraSwarm Research Center
+
Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform
+
Model-guided Discovery and Optimization of Cell-based Sensors
+
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications
+
JPL SR&D15
+
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Inverse Abstraction of Neural Networks Using Symbolic Interpolation
+
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
J
JPL SR&D15
+
JPL SR&D, 2015
+
Just-in-time synthesis for motion planning with temporal logic
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
L
Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Layering assume-guarantee contracts for hierarchical system design
+
The TerraSwarm Research Center
+
Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data
+
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
Learning-Based Abstractions for Nonlinear Constraint Solving
+
The TerraSwarm Research Center
+
Length and time scales of cell-cell signaling circuits in agar
+
Genetic Circuits for Multi-Cellular Machines
+
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications
+
Formal Methods for V&V and T&E of Autonomous Systems
+
Limits of probabilistic safety guarantees when considering human uncertainty
+
GA Autonomy
+
Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
Linear System Identifiability from Distributional and Time Series Data
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
Long-distance communication in synthetic bacterial consortia through active signal propagation
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
M
Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates
+
An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil
+
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