Pages without language links

From Murray Wiki
Jump to navigationJump to search

The following pages do not link to other language versions.

Showing below up to 50 results in range #1,471 to #1,520.

View ( | ) (20 | 50 | 100 | 250 | 500)

  1. SURF 2014: Improved methods of discretization for temporal logic planning
  2. SURF 2014: Invariant Refinement for Receding Horizon Temporal Logic Planning
  3. SURF 2014: Rapid prototyping of moderate complexity biomolecular circuits
  4. SURF 2014: Switching control synthesis in the presence of uncertainty and general loads for an aircraft electric power system testbed
  5. SURF 2014: Symbolic Verification of Nonlinear Hybrid Systems using Theorem Provers
  6. SURF 2015
  7. SURF 2015: Design of equilibrium and transient distributions of stochastic biochemical reaction networks
  8. SURF 2015: Design space exploration of the violacein pathway in TX-TL
  9. SURF 2015: Designing biomolecular temperature sensors
  10. SURF 2015: Formal synthesis of switching protocols for estimation and control of aircraft electric power systems
  11. SURF 2015: Improved State Estimation and Control of a Pioneer 3-DX for a Resilient Spacecraft Executive
  12. SURF 2015: Machine-readable protocols and rapid-prototyping for synthetic biology research
  13. SURF 2015: Optimal Trajectory Generation under Environmental Uncertainties using Signal Temporal Logic Specifications
  14. SURF 2015: Platform-based design for robotics applications
  15. SURF 2015: Provably-correct control synthesis for automotive active safety systems
  16. SURF 2015: Quantitating Differences in Gene Expresion in Linear and Plasmid DNA in a Cell-Free Expression (TXTL) System
  17. SURF 2015: Rapid prototyping of moderate complexity biomolecular circuits
  18. SURF 2017
  19. SURF 2017: Data-driven models for temporal logic control
  20. SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines
  21. SURF 2017: Integrase based circuits for sequential and temporal control of gene expression
  22. SURF 2017: Length and time scales of cell-cell signalling circuits in agar
  23. SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications
  24. SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications
  25. SURF 2017: Synthetic modules for control of bacterial growth
  26. SURF 2018
  27. SURF 2018: Contract-based Design of Control Systems
  28. SURF 2018: Engineering metabolic cross-feeding relationships for robust microbial consortia
  29. SURF 2018: Evolutionary Stability of Genetic Circuits
  30. SURF 2018: Experimental verification of a semi-autonomous vehicle design based on human intention
  31. SURF 2018: Integrase-based genetic circuits
  32. SURF 2018: Modeling the Effect of Intracellular Signaling Mechanisms on Population Dynamic Behaviors in the Context of Paradoxical Signaling
  33. SURF 2018: Resource Usage in TX-TL
  34. SURF 2018: Synthetic modules for regulation of bacterial growth
  35. SURF 2018: Test design for temporal logic controllers
  36. SURF 2019
  37. SURF 2019: Engineering a synthetic high-bandwidth intercellular communication system through plasmid conjugation
  38. SURF 2019: Evolutionary Stability of Genetic Circuits
  39. SURF 2019: Geometry of Control-Invariant Sets
  40. SURF 2019: Modeling and Analysis on Robust Synthetic Consortia with Localized Functions
  41. SURF 2019: River Mapping with Autonomous Surface Vehicles for Flood Hazard Monitoring
  42. SURF 2019: Synthetic modules for regulation of bacterial growth
  43. SURF 2020
  44. SURF 2020: Applications of synthetic differentiation
  45. SURF 2020: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines
  46. SURF 2020: Hardware Implementation of Contract-Based Design for Automated Valet Parking System
  47. SURF 2020: Rules of the Road--a top-down approach for guaranteeing correct behavior for self-driving cars
  48. SURF 2020: Social-Aware Robot Navigation
  49. SURF 2020: System identification of bacterial gene expression as a function of population dynamics
  50. SURF 2020: Test and Evaluation for Autonomy

View ( | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://murray.cds.caltech.edu/Special:WithoutInterwiki"