Property:Previous projects

From Murray Wiki

Jump to navigation Jump to search

This is a property of type Page.

Usage121

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 15 pages using this property.

J

Josefine Graebener +

Temporal Logic Specifications for Control System Design in Automotive Systems +, Formal Methods for V&V and T&E of Autonomous Systems +

A

Apurva Badithela +

Formal Methods for V&V and T&E of Autonomous Systems +, Layered T&E for Safety-Critical Autonomous Systems +

C

Assurance for Learning Enabled Systems +

Z

Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways +, Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles +, Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools +, …

D

Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping +, Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function +

M

Manisha Kapasiawala +

Actuation of Synthetic Cells Via Proto-Flagellar Motors +, Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles +

G

Geoffroy Le Courtois Du Manoir +

Formal Methods for V&V and T&E of Autonomous Systems +

K

Kellan Moorse +

Formal Methods for V&V and T&E of Autonomous Systems +

C

Christian Stromberger +

Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation +

Y

Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles +, Upscaling Engineering of Synthetic Biomachines +

I

Formal Methods for V&V and T&E of Autonomous Systems +, Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools +, Layered T&E for Safety-Critical Autonomous Systems +

E

Formal Methods for V&V and T&E of Autonomous Systems +

A

Control of Functional Bioenabled Materials using Synthetic Cells +

K

Kimia Hassibi +

Layered T&E for Safety-Critical Autonomous Systems +

H

Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools +

Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Previous_projects&oldid=25004"

Navigation menu