Conference Proceeding RDF
pages:- 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
- 674
- 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
- Versatile micro-fabricated mirrors with finesse > 700,000
- VERTEBRATES FROM NEWLY DISCOVERED LACUSTRINE LOCALITIES IN THE LATE OLIGOCENE NSUNGWE FORMATION, RUKWA RIFT BASIN, TANZANIA
- Vertical Integration of UAV Senior Projects in the Curriculum 2000
- Vertical profiles of ozone concentrations and ozone advection fluxes in Southern California measured by the ETL ozone lidar
- Vertical Wind Measurements with High-Resolution Lidars & Impacts on Antarctica Upper Atmosphere Studies
- VERTICAL-SLICE OCEAN-ACOUSTIC TOMOGRAPHY - EXTENDING ABEL INVERSION TO NONAXIAL SOURCES AND RECEIVERS
- Vertically resolved aerosol optical properties over the ARM SGP site
- Very long-term frequency stability: Estimation using a special-purpose statistic
- Very low bit rate foveated video coding for H.263