Conference Proceeding RDF
pages:- 456
- 457
- 458
- 459
- 460
- 461
- 462
- 463
- 464
- 465
- 466
- 467
- 468
- 469
- 470
- 471
- 472
- 473
- 474
- 475
- 476
- 477
- 478
- 479
- 480
- 481
- 482
- 483
- 484
- 485
- 486
- 487
- 488
- 489
- 490
- 491
- 492
- 493
- 494
- 495
- 496
- more...
- Post-Userism Post-Userism
- Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
- Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
- Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems
- Poster Abstract: OmegaThreads: Symbolic Controller Design for omega-regular Objectives
- Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty
- Poster Abstract: The CityLearn Challenge 2020
- POSTER SESSION D: RUNNING HIGH: ACUTE EFFECTS OF LEGAL-MARKET CANNABIS USE ON THE SUBJECTIVE EXPERIENCE OF EXERCISE IN A NATURALISTIC SETTING
- Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems
- Poster: Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach
- Poster: Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs
- Poster: Designing Navigation Aides for Wildland Firefighters
- Poster: Discovery of a single-band Mott insulator in a van der Waals flat-band compound
- Poster: Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach
- Poster: Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach
- Poster: Leadership in Language: Differential Impact of Media Language on Leadership Survey Responses
- Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms
- Poster: OFX: Enabling OpenFlow Extensions for Switch-Level Security Applications
- Poster: Parting the Flames: Interactions of a Flame Sheet with a Juncture Flow
- Poster: Respondent Robotics: Simulating Responses to Likert-Scale Survey Items
- Poster: Smart Cook: Making Cooking Easier with Multimodal Learning
- Postmaneuver Collision Probability Estimation Using Sparse Polynomial Chaos Expansions
- Postpartum haemorrhage and risk of cardiovascular disease in later life: A Scottish population-based record linkage cohort study
- Postpartum haemorrhage occurring in UK midwifery units: A national population-based case-control study to investigate incidence, risk factors and outcomes
- Potential effects of optical solar sail degradation on trajectory design
- Potential energy surfaces and vibrational spectra of phosphine adsorption and decomposition om Si(100)-2x1.
- Potential for Achieving Post-Disaster Functional Recovery for Existing Buildings: Lessons from Earthquakes for Other Hazards
- Potential for Damage to Brittle Structures in Induced Earthquake
- Potential for Mitigating Hurricane Wind Impact on Informally-Constructed Homes in Puerto Rico under Current and Future Climate Scenarios
- Potential for Recoverable Power: Simulated Use of Distributed Power Converters and Various Levels in Partially Shaded Photovoltaic Arrays