Long pages

Showing below up to 50 results in range #951 to #1,000.

951. (hist) ‎Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints ‎[1,462 bytes]
952. (hist) ‎Uncertain semantics, representation nuisances, and necessary invariance properties of bootstrapping agents ‎[1,461 bytes]
953. (hist) ‎Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information ‎[1,461 bytes]
954. (hist) ‎Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability ‎[1,456 bytes]
955. (hist) ‎An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis ‎[1,456 bytes]
956. (hist) ‎Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts ‎[1,455 bytes]
957. (hist) ‎Analysis of Dynamics in Escaping Flight Initiation in Drosophila ‎[1,454 bytes]
958. (hist) ‎Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic ‎[1,452 bytes]
959. (hist) ‎Systems Level Model of Dietary Effects on Cognition via the Microbiome-Gut-Brain Axis ‎[1,447 bytes]
960. (hist) ‎On Quantized Consensus by Means of Gossip Algorithm -- Part II: Convergence Time ‎[1,445 bytes]
961. (hist) ‎Funding ‎[1,443 bytes]
962. (hist) ‎How is the Internet a feedback system? ‎[1,441 bytes]
963. (hist) ‎Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions ‎[1,436 bytes]
964. (hist) ‎Long-distance communication in synthetic bacterial consortia through active signal propagation ‎[1,434 bytes]
965. (hist) ‎Receding Horizon Control of a Vectored Thrust Flight Experiment ‎[1,433 bytes]
966. (hist) ‎EECI 2020: Minimum Violation Planning ‎[1,427 bytes]
967. (hist) ‎Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic ‎[1,427 bytes]
968. (hist) ‎Effective Transition Rates for Epitaxial Growth Using Fast Modulation ‎[1,425 bytes]
969. (hist) ‎Guidelines for Designing the Antithetic Feedback Motif ‎[1,424 bytes]
970. (hist) ‎Consensus Protocols for Networks of Dynamic Agents ‎[1,424 bytes]
971. (hist) ‎SURF 2020: Social-Aware Robot Navigation ‎[1,421 bytes]
972. (hist) ‎.cfg file ‎[1,421 bytes]
973. (hist) ‎Optimal Control of Nonlinear Systems with Temporal Logic Specifications ‎[1,420 bytes]
974. (hist) ‎Connections II accomodations ‎[1,420 bytes]
975. (hist) ‎Analysis of a Digital Clock for Molecular Computing ‎[1,419 bytes]
976. (hist) ‎Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach ‎[1,418 bytes]
977. (hist) ‎Convergence Properties of Dynamic Agents Consensus Networks with Broken Links ‎[1,417 bytes]
978. (hist) ‎Nov 2009 meetings ‎[1,415 bytes]
979. (hist) ‎Distributed Structural Stabilization and Tracking for Formations of Dynamic Multi-Agents ‎[1,411 bytes]
980. (hist) ‎Optimal Control of Affine Connection Control Systems: A Variational Approach ‎[1,410 bytes]
981. (hist) ‎Temperature Dependence of Biomolecular Circuit Designs ‎[1,408 bytes]
982. (hist) ‎Effect of Narrowband Channels on the Control ‎[1,407 bytes]
983. (hist) ‎Single day construction of multi-gene circuits with 3G assembly ‎[1,404 bytes]
984. (hist) ‎Molecular Programming Architectures, Abstractions, Algorithms, and Applications ‎[1,403 bytes]
985. (hist) ‎Bistable State Switch Enables Ultrasensitive Feedback Control in Heterogeneous Microbial Populations ‎[1,402 bytes]
986. (hist) ‎EECI 2020: Temporal Logic ‎[1,401 bytes]
987. (hist) ‎Modeling and control of the effects of bilateral asymmetries in insect flight ‎[1,400 bytes]
988. (hist) ‎Future Directions in Control in an Information-Rich World ‎[1,398 bytes]
989. (hist) ‎Resource Competition as a Source of Non-Minimum Phase Behavior in Transcription-Translation Systems ‎[1,395 bytes]
990. (hist) ‎Model Predictive Control for an Uncertain Smart Thermal Grid ‎[1,395 bytes]
991. (hist) ‎The Geometry and Control of Dissipative Systems ‎[1,391 bytes]
992. (hist) ‎2005-06 Group Meeting Schedule ‎[1,389 bytes]
993. (hist) ‎Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli ‎[1,387 bytes]
994. (hist) ‎Efficient local validation of partially ordered models via Baysian directed sampling ‎[1,385 bytes]
995. (hist) ‎Efficient reactive controller synthesis for a fragment of linear temporal logic ‎[1,384 bytes]
996. (hist) ‎August 2006 meeting schedule ‎[1,384 bytes]
997. (hist) ‎Population regulation in microbial consortia using dual feedback control ‎[1,383 bytes]
998. (hist) ‎Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids ‎[1,383 bytes]
999. (hist) ‎On Decentralized Classification using a Network of Mobile Sensors ‎[1,382 bytes]
1000. (hist) ‎Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications ‎[1,380 bytes]