Category-3AProject
type: Ontology
creation date: 2026-02-14T00:04:50+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Project
type: Class
page: https://murray.cds.caltech.edu/Category-3AProject
wiki namespace: 14
wiki page content language: en
wiki page modification date: 2016-06-11T11:44:27Z
modification date#aux: 2457550.9892014
wiki page sort key: Project

Temporal Logic Specifications for Control System Design in Automotive Systems
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Temporal_Logic_Specifications_for_Control_System_Design_in_Automotive_Systems
wiki namespace: 0
wiki page content language: en
wiki page sort key: Temporal Logic Specifications for Control System Design in Automotive Systems

VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems
type: Subject
type: Project
page: https://murray.cds.caltech.edu/VeHICaL-3A_Verified_Human_Interfaces-2C_Control-2C_and_Learning_for_Semi-2DAutonomous_Systems
wiki namespace: 0
wiki page content language: en
wiki page sort key: VeHICaL: Verified Human Interfaces, Control, and Learning for Semi-Autonomous Systems

Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Rapid-2C_Reliable_and_Repeatable_Platforms_for_Cell-2DFree_Prototyping
wiki namespace: 0
wiki page content language: en
wiki page sort key: Rapid, Reliable and Repeatable Platforms for Cell-Free Prototyping

Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Robust_Multi-2DLayer_Control_Systems_for_Cooperative_Cellular_Behaviors
wiki namespace: 0
wiki page content language: en
wiki page sort key: Robust Multi-Layer Control Systems for Cooperative Cellular Behaviors

Synthesizing flight software (FSW) discrete controllers from formal specifications
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Synthesizing_flight_software_-28FSW-29_discrete_controllers_from_formal_specifications
wiki namespace: 0
wiki page content language: en
wiki page sort key: Synthesizing flight software (FSW) discrete controllers from formal specifications

Safety-Critical Autonomy and Verification for Space Missions
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Safety-2DCritical_Autonomy_and_Verification_for_Space_Missions
wiki namespace: 0
wiki page content language: en
wiki page sort key: Safety-Critical Autonomy and Verification for Space Missions

A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior
type: Subject
type: Project
page: https://murray.cds.caltech.edu/A_Brain_Circuit_Program_for_Understanding_the_Sensorimotor_Basis_of_Behavior
wiki namespace: 0
wiki page content language: en
wiki page sort key: A Brain Circuit Program for Understanding the Sensorimotor Basis of Behavior

Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Dissecting_microbiome-2Dgut-2Dbrain_circuits_for_microbial_modulation_of_host_cognition_in_response_to_diet_and_stress
wiki namespace: 0
wiki page content language: en
wiki page sort key: Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress

Genetic Circuits for Multi-Cellular Machines
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Genetic_Circuits_for_Multi-2DCellular_Machines
wiki namespace: 0
wiki page content language: en
wiki page sort key: Genetic Circuits for Multi-Cellular Machines

Field-Programmable, Recombinase-Based Biomolecular Circuits
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Field-2DProgrammable-2C_Recombinase-2DBased_Biomolecular_Circuits
wiki namespace: 0
wiki page content language: en
wiki page sort key: Field-Programmable, Recombinase-Based Biomolecular Circuits

Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Engineering_Durable_Cell-2DFree_Biological_Capabilities_for_Advanced_Sensing_and_Prototyping
wiki namespace: 0
wiki page content language: en
wiki page sort key: Engineering Durable Cell-Free Biological Capabilities for Advanced Sensing and Prototyping

Enabling Technologies for Cell-Silicon Interfacing
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Enabling_Technologies_for_Cell-2DSilicon_Interfacing
wiki namespace: 0
wiki page content language: en
wiki page sort key: Enabling Technologies for Cell-Silicon Interfacing

Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Fundamental_Biological_Factors_Underlying_Human_Performance-3A_From_Molecular_Diagnostics_and_Detection_to_Behavior_and_Systems_Biology
wiki namespace: 0
wiki page content language: en
wiki page sort key: Fundamental Biological Factors Underlying Human Performance: From Molecular Diagnostics and Detection to Behavior and Systems Biology

Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Developing_Standardized_Cell-2DFree_Platforms_for_Rapid_Prototyping_of_Synthetic_Biology_Circuits_and_Pathways
wiki namespace: 0
wiki page content language: en
wiki page sort key: Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways

Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Design_of_Digitally_Controlled_Bacterial_Circuits_for_Bioenabled_Materials
wiki namespace: 0
wiki page content language: en
wiki page sort key: Design of Digitally Controlled Bacterial Circuits for Bioenabled Materials

Assurance for Learning Enabled Systems
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Assurance_for_Learning_Enabled_Systems
wiki namespace: 0
wiki page content language: en
wiki page sort key: Assurance for Learning Enabled Systems

Formal Methods for V&V and T&E of Autonomous Systems
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Formal_Methods_for_V-26V_and_T-26E_of_Autonomous_Systems
wiki namespace: 0
wiki page content language: en
wiki page sort key: Formal Methods for V&V and T&E of Autonomous Systems

An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil
type: Subject
type: Project
page: https://murray.cds.caltech.edu/An_Open_Synthetic_Biology_Toolkit_for_Engineering_Reliable_Genetic_Circuits_in_Microbes_in_Soil
wiki namespace: 0
wiki page content language: en
wiki page sort key: An Open Synthetic Biology Toolkit for Engineering Reliable Genetic Circuits in Microbes in Soil

Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Engineering_Replication-2D-2C_Growth-2D-2C_and_Division-2DDeficient_E._coli_for_Safe-2C_Stable_and_Efficient_Function
wiki namespace: 0
wiki page content language: en
wiki page sort key: Engineering Replication-, Growth-, and Division-Deficient E. coli for Safe, Stable and Efficient Function

Actuation of Synthetic Cells Via Proto-Flagellar Motors
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Actuation_of_Synthetic_Cells_Via_Proto-2DFlagellar_Motors
wiki namespace: 0
wiki page content language: en
wiki page sort key: Actuation of Synthetic Cells Via Proto-Flagellar Motors

Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Safety-2DCritical_Cyber-2DPhysical_Systems-3A_From_Validation_-26_Verification_to_Test_-26_Evaluation
wiki namespace: 0
wiki page content language: en
wiki page sort key: Safety-Critical Cyber-Physical Systems: From Validation & Verification to Test & Evaluation

Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Engineering_Reliable_Genetic_Circuits_for_Characterization_and_Remediation_of_Soil_Ecologies
wiki namespace: 0
wiki page content language: en
wiki page sort key: Engineering Reliable Genetic Circuits for Characterization and Remediation of Soil Ecologies

Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Multi-2DLayer-2C_Composable_and_Programmable_Biomolecular_Circuits_for_Microbial_Consortia
wiki namespace: 0
wiki page content language: en
wiki page sort key: Multi-Layer, Composable and Programmable Biomolecular Circuits for Microbial Consortia

Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Deciphering_the_Rules_of_Nucleus_Architecture_with_Synthetic_Cells_and_Organelles
wiki namespace: 0
wiki page content language: en
wiki page sort key: Deciphering the Rules of Nucleus Architecture with Synthetic Cells and Organelles

Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Rules_of_Composition_in_Synthetic_Biology_Across_Scales_of_Complexity-3A_Theory_and_Tools
wiki namespace: 0
wiki page content language: en
wiki page sort key: Rules of Composition in Synthetic Biology Across Scales of Complexity: Theory and Tools

Center for Harnessing Microbiota from Military Environments (CHARMME)
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Center_for_Harnessing_Microbiota_from_Military_Environments_-28CHARMME-29
wiki namespace: 0
wiki page content language: en
wiki page sort key: Center for Harnessing Microbiota from Military Environments (CHARMME)

Layered T&E for Safety-Critical Autonomous Systems
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Layered_T-26E_for_Safety-2DCritical_Autonomous_Systems
wiki namespace: 0
wiki page content language: en
wiki page sort key: Layered T&E for Safety-Critical Autonomous Systems

Upscaling Engineering of Synthetic Biomachines
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Upscaling_Engineering_of_Synthetic_Biomachines
wiki namespace: 0
wiki page content language: en
wiki page sort key: Upscaling Engineering of Synthetic Biomachines

Control of Functional Bioenabled Materials using Synthetic Cells
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Control_of_Functional_Bioenabled_Materials_using_Synthetic_Cells
wiki namespace: 0
wiki page content language: en
wiki page sort key: Control of Functional Bioenabled Materials using Synthetic Cells

Design and Implementation of Multi-Component Synthetic Cells
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Design_and_Implementation_of_Multi-2DComponent_Synthetic_Cells
wiki namespace: 0
wiki page content language: en
wiki page sort key: Design and Implementation of Multi-Component Synthetic Cells

Developer Cell: A modular, extensible chassis for building synthetic cells
type: Subject
type: Project
page: https://murray.cds.caltech.edu/Developer_Cell-3A_A_modular-2C_extensible_chassis_for_building_synthetic_cells
wiki namespace: 0
wiki page content language: en
wiki page sort key: Developer Cell: A modular, extensible chassis for building synthetic cells

INST
type: DatatypeProperty
page: https://murray.cds.caltech.edu/Property-3A_INST
wiki namespace: 102
wiki page content language: en
wiki page sort key: INST