Conference Proceeding RDF
pages:- 372
- 373
- 374
- 375
- 376
- 377
- 378
- 379
- 380
- 381
- 382
- 383
- 384
- 385
- 386
- 387
- 388
- 389
- 390
- 391
- 392
- 393
- 394
- 395
- 396
- 397
- 398
- 399
- 400
- 401
- 402
- 403
- 404
- 405
- 406
- 407
- 408
- 409
- 410
- 411
- 412
- more...
- Positive Feedback Between West Antarctic Ice Sheet (WAIS) Deglaciation, Decompression-melt-induced Volcanism and Resultant sea-level rise, Abstracts 2016, WAIS Meeting.
- Possibilities for depolarization estimates using simultaneous transmission and reception schemes in polarimetric radars
- POSSIBILITIES OF USING IR SPECTROMETER DATA FOR SIZING CIRRUS CLOUD PARTICLES
- Possible causes for the 1990-1993 decrease in the global tropospheric CO abundances: A three-dimensional sensitivity study
- Possible Periodic Orbit Control Maneuvers for an eLISA Mission
- Possible storm-intensity enhancing factor for the November 3, 1993 magnetic storm
- Possible use of a narrow-field star tracker on the New Millennium SSI mission
- Post-Disaster Reconstruction Training Effectiveness
- Post-Disaster shelter and Settlements Research Priorities
- Post-enabled flip-chip assembly for manufactuable RF-MEMS
- Post-enabled precision flip-chip assembly for variable MEMS capacitor
- POST-MANEUVER COLLISION PROBABILITY ESTIMATION USING POLYNOMIAL CHAOS
- post-MORDM: Mapping policies to synthesize optimization & robustness results for decision-maker compromise
- post-MORDM: Mapping policies to synthesize optimization & robustness results for decision-maker compromise
- 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: 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: 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: 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: Respondent Robotics: Simulating Responses to Likert-Scale Survey Items