Conference Proceeding RDF
pages:- 401
- 402
- 403
- 404
- 405
- 406
- 407
- 408
- 409
- 410
- 411
- 412
- 413
- 414
- 415
- 416
- 417
- 418
- 419
- 420
- 421
- 422
- 423
- 424
- 425
- 426
- 427
- 428
- 429
- 430
- 431
- 432
- 433
- 434
- 435
- 436
- 437
- 438
- 439
- 440
- 441
- more...
- Post-polymerization ion-exchange and chemical modification of cross-linked lyotropic liquid crystal networks.
- Post-Prandial Inotropic Response in Python Cardiomyocytes is Supported by Distinct Metabolic Adaptation
- Post-translational modifications of the Human Papillomavirus type 16 Major capsid protein that mediate virion assembly and viral infectivity.
- Post-userism
- 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 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: 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
- Potential commercial use of the International Space Station by the Biotechnology/Pharmaceutical/Biomedical Sector
- Potential effects of optical solar sail degradation on trajectory design
- 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 Recoverable Power: Simulated Use of Distributed Power Converters and Various Levels in Partially Shaded Photovoltaic Arrays
- Potential function as a variable: Advances in using simulations of multiple states to solve hard biomolecular problems
- Potential Impact of Climate Change on Municipal Buildings in South Africa