Conference Proceeding RDF
pages:- 552
- 553
- 554
- 555
- 556
- 557
- 558
- 559
- 560
- 561
- 562
- 563
- 564
- 565
- 566
- 567
- 568
- 569
- 570
- 571
- 572
- 573
- 574
- 575
- 576
- 577
- 578
- 579
- 580
- 581
- 582
- 583
- 584
- 585
- 586
- 587
- 588
- 589
- 590
- 591
- 592
- 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
- Vehicular Low-Profile Dual-Band Antenna for Advanced Tyre Monitoring Systems
- 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 digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis
- Verification of RUC surface forecasts at major US airport hubs
- Verification of RUC-2 and Eta model precipitation forecasts
- Verification of RUC-2 and Eta model precipitation forecasts
- Verification of RUC2 precipitation forecasts using the NCEP multisensor analysis
- Verification of Switched Stochastic Systems via Barrier Certificates
- Verification of timed circuits with failure directed abstractions
- Verification of timed systems using POSETs
- Verification of Video Frame Latency Telemetry for UAV Systems Using a Secondary Optical Method