Article RDF
pages:- 2724
- 2725
- 2726
- 2727
- 2728
- 2729
- 2730
- 2731
- 2732
- 2733
- 2734
- 2735
- 2736
- 2737
- 2738
- 2739
- 2740
- 2741
- 2742
- 2743
- 2744
- 2745
- 2746
- 2747
- 2748
- 2749
- 2750
- 2751
- 2752
- 2753
- 2754
- 2755
- 2756
- 2757
- 2758
- 2759
- 2760
- 2761
- 2762
- 2763
- 2764
- more...
- Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems Conference Proceeding
- Poster Abstract: OmegaThreads: Symbolic Controller Design for omega-regular Objectives Conference Proceeding
- Poster Abstract: Sampling-based Approach to Robust STL Synthesis for Complex Systems under Uncertainty Conference Proceeding
- POSTER SESSION D: RUNNING HIGH: ACUTE EFFECTS OF LEGAL-MARKET CANNABIS USE ON THE SUBJECTIVE EXPERIENCE OF EXERCISE IN A NATURALISTIC SETTING Conference Proceeding
- Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems Conference Proceeding
- Poster: Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach Conference Proceeding
- Poster: Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs Conference Proceeding
- Poster: Designing Navigation Aides for Wildland Firefighters Conference Proceeding
- Poster: Discovery of a single-band Mott insulator in a van der Waals flat-band compound Conference Proceeding
- Poster: Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach Conference Proceeding
- Poster: Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach Conference Proceeding
- Poster: Leadership in Language: Differential Impact of Media Language on Leadership Survey Responses Conference Proceeding
- Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms Conference Proceeding
- Poster: OFX: Enabling OpenFlow Extensions for Switch-Level Security Applications Conference Proceeding
- Poster: Parting the Flames: Interactions of a Flame Sheet with a Juncture Flow Conference Proceeding
- Poster: Respondent Robotics: Simulating Responses to Likert-Scale Survey Items Conference Proceeding
- Poster: Smart Cook: Making Cooking Easier with Multimodal Learning Conference Proceeding
- Posterity Is Now Journal Article
- POSTEXERCISE HYPOTENSION - KEY FEATURES, MECHANISMS, AND CLINICAL-SIGNIFICANCE Journal Article
- POSTEXERCISE HYPOTENSION - REPLY Journal Article
- Postexercise thermoregulatory behavior and recovery from exercise in desert iguanas Journal Article
- POSTFIRE STAND DEVELOPMENT OF AUSTROCEDRUS-NOTHOFAGUS FORESTS IN NORTHERN PATAGONIA Journal Article
- Postfragmentation density function for bacterial aggregates in laminar flow Journal Article
- Postfragmentation density function for bacterial aggregates in laminar flow Journal Article
- Postfragmentation density function for bacterial aggregates in laminar flow (vol 83, 041911, 2011) Journal Article
- Postglacial Carbon Cycling History of a Northeastern Baffin Island Lake Catchment Inferred From Ramped Pyrolysis Oxidation and Radiocarbon Dating Journal Article
- POSTGLACIAL EMERGENCE AND DISTRIBUTION OF LATE WEICHSELIAN ICE-SHEET LOADS IN THE NORTHERN BARENTS AND KARA SEAS, RUSSIA Journal Article
- Postglacial emergence and Late Quaternary glaciation on northern Novaya Zemlya, Arctic Russia Journal Article
- Postglacial emergence of western Franz Josef Land, Russia, and retreat of the Barents Sea ice sheet Journal Article
- Postglacial history of the Patagonian forest/steppe ecotone (41-43°S) Journal Article