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
- 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
- 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
- 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-SLICE OCEAN-ACOUSTIC TOMOGRAPHY - EXTENDING ABEL INVERSION TO NONAXIAL SOURCES AND RECEIVERS
- Vertically pointing profilers used to calibrate and monitor the reflectivity estimated by scanning radars
- Vertically resolved aerosol optical properties over the ARM SGP site
- Very long-term frequency stability: Estimation using a special-purpose statistic
- VI-SLAM for Subterranean Environments
- Viability of Virtual Cloud Providers (13.46% Acceptance Rate)
- Vibration and sound radiation from a sandwich cylindrical shell with prismatic core
- Vibration sensitivity of microwave components
- Vibration Sensitivity of Optical Components: A Survey
- Vibration-induced PM noise in oscillators and measurements of correlation with vibration sensors'
- Vibration-induced PM noise measurements of a rigid optical fiber spool
- Vibrational overtone spectroscopy of HOONO under supersonic jet-cooled conditions.
- VIBRO-ACOUSTIC WAVE INTERACTION IN CRACKED PLATE MODELED WITH PERIDYNAMICS