Conference Proceeding RDF
pages:- 633
- 634
- 635
- 636
- 637
- 638
- 639
- 640
- 641
- 642
- 643
- 644
- 645
- 646
- 647
- 648
- 649
- 650
- 651
- 652
- 653
- 654
- 655
- 656
- 657
- 658
- 659
- 660
- 661
- 662
- 663
- 664
- 665
- 666
- 667
- 668
- 669
- 670
- 671
- 672
- 673
- 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 and validation of the SIRTF infrared spectrograph
- 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 Approximate Prognosability 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 Controller Architecture for a Universal DC Fast Charging Front-End