Property:Funding
From Murray Wiki
Jump to navigation
Jump to search
This is a property of type
Page
.
Usage
229
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.
T
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
+
Safety-Critical Autonomy and Verification for Space Missions
+
C
Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability
+
Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping
+
A
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
+
R
Risk-aware motion planning for automated vehicle among human-driven cars
+
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
I
Inverse Abstraction of Neural Networks Using Symbolic Interpolation
+
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
M
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
C
Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
,
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
E
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
+
F
Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape
+
Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools
+
A
Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
+
Field-Programmable, Recombinase-Based Biomolecular Circuits
+
Q
Quantitative characterization of random partitioning in the evolution of plasmid-encoded traits
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
T
Tunable integrase-mediated differentiation facilitates improved output of burdensome functions in E. coli
+
Field-Programmable, Recombinase-Based Biomolecular Circuits
+
A
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
+
C
Control of density and composition in an engineered two-member bacterial community
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
A
An automated model reduction tool to guide the design and analysis of synthetic biological circuits
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
D
Design of a genetic layered feedback controller in synthetic biological circuitry
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
B
Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design
+
Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
+
C
Contracts of Reactivity
+
Temporal Logic Specifications for Control System Design in Automotive Systems
+
,
VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
+
A
Analysis of primitive genetic interactions for the design of a genetic signal differentiator
+
Theory-Based Engineering of Biomolecular Circuits in Living Cells
+
T
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
+
Navigation menu
Page actions
Property
Discussion
Read
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