Conference Proceeding RDF
pages:- 593
- 594
- 595
- 596
- 597
- 598
- 599
- 600
- 601
- 602
- 603
- 604
- 605
- 606
- 607
- 608
- 609
- 610
- 611
- 612
- 613
- 614
- 615
- 616
- 617
- 618
- 619
- 620
- 621
- 622
- 623
- 624
- 625
- 626
- 627
- 628
- 629
- 630
- 631
- 632
- 633
- Variational multiscale modeling with discontinuous subscales: analysis and application to scalar transport
- Variations in aerologically derived Arctic precipitation and snowfall
- Variations in cloud chemistry with drop size and their effects on aerosol processing in winter clouds
- Variations in Reflections as a Method for Teaching and Assessment of Engineering Ethics
- Variations of cirrus cloud particle sizes with temperature: Results of remote sensing and direct measurements
- Variations of surface air temperature and sea-ice extent in the western Antarctic Peninsula region
- Varroa: A paradigm shift on what and where they feed
- Vascular Endothelial Dysfunction Induced by a Western-Style Diet Can Be Transferred via Fecal Microbiota Transplant in Mice
- Vast-scale Outdoor Navigation Using Adaptive Relative Bundle Adjustment
- VCSEL/CMOS smart pixel arrays for free-space optical interconnects
- Vector magnetic fields, sub-surface stresses and evolution of magnetic helicity
- Vector-Valued Property Elicitation
- Vectorization, communication aggregation, and reuse in stochastic and temporal dimensions
- Vegetation response to climate warming across multiple interglacials inferred from High Arctic lake sediment
- Vehicle Mounted Inverted-L Antenna for High-Frequency (HF) Communications
- Vehicle-Scale Simulations of Hypersonic Flows using the MMT Chemical Kinetics Model
- VELACS - OVERVIEW OF NUMERICAL PREDICTIONS FOR MODEL NO-12
- Velocity Measurements in a Ground-test Ramjet using Dual Frequency Comb Spectroscopy
- Velocity Measurements in Ground-test Scramjet using Dual Frequency Comb Spectroscopy
- Venus Spectrophotometry During the MESSENGER Mission Fly-By
- Verb Class Induction with Partial Supervision
- VerbNet Representations: Subevent Semantics for Transfer Verbs
- Verification and synthesis of interconnected embedded control systems under timing contracts
- Verification of analog and mixed-signal circuits using timed hybrid Petri nets
- Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods
- Verification of approximate infinite-step opacity using barrier certificates
- Verification of Approximate Opacity via Barrier Certificates
- Verification of Automotive Control Applications using S-TaLiRo
- Verification of delayed-reset domino circuits using ATACS
- Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates