Property:Funding
From Murray Wiki
Jump to navigation
Jump to search
This is a property of type
Page
.
Usage
214
previous 20
20
50
100
250
500
next 20
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 20 pages using this property.
A
A Bayesian approach to inferring chemical signal timing and amplitude in a temporal logic gate using the cell population distributional response
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
A Contract-Based Methodology for Aircraft Electric Power System Design
+
ICyPhy: Industrial Cyber-Physical Systems
+
A MATLAB toolbox for modeling genetic circuits in cell-free systems
+
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping
+
A Method for Cost-Effective and Rapid Characterization of Engineered T7-based Transcription Factors by Cell-Free Protein Synthesis Reveals Insights into the Regulation of T7 RNA Polymerase-Driven Expression
+
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping
+
A Method for Cost-Effective and Rapid Characterization of Genetic Parts
+
Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping
+
A Model-Free Algorithm for Extremely Resilient Navigation
+
Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
+
A Risk-Aware Architecture for Resilient Spacecraft Operations
+
Resilient Risk-Aware Autonomy for the Exploration of Uncertain and Extreme Environments
+
A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters
+
Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
+
A geometric and structural approach to the analysis and design of biological circuit dynamics: a theory tailored for synthetic biology
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor
+
ARO ICB 2003
+
A modal interface contract theory for guarded input/output automata with an application in traffic system design
+
Temporal Logic Specifications for Control System Design in Automotive Systems
+
A population-based temporal logic gate for timing and recording chemical events
+
Biomolecular Circuits for Rapid Detection and Response to Environmental Events
+
A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
A two-state ribosome and protein model can robustly capture the chemical reaction dynamics of gene expression
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
AFOSR BRI, DARPA BioCon
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
,
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
+
Field-Programmable, Recombinase-Based Biomolecular Circuits
+
An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols
+
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
+
An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
+
ICyPhy: Industrial Cyber-Physical 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