Conference Proceeding RDF
pages:- 585
- 586
- 587
- 588
- 589
- 590
- 591
- 592
- 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
- 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
- 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
- Verified Path Following Using Neural Control Lyapunov Functions
- Verifying Conformance of Neural Network Models.
- Verifying Indistinguishability of Privacy-Preserving Protocols
- Verifying the Survival of Time-Energy Entanglement Through Tissue
- Vernier Si-Photonic Phased Array Transceiver for Grating Lobe Suppression and Extended Field-of-View
- Versatile micro-fabricated mirrors with finesse > 700,000