Conference Proceeding RDF
pages:- 536
- 537
- 538
- 539
- 540
- 541
- 542
- 543
- 544
- 545
- 546
- 547
- 548
- 549
- 550
- 551
- 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
- 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 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.
- Vernier Si-Photonic Phased Array Transceiver for Grating Lobe Suppression and Extended Field-of-View
- Versatile Fidelity Estimation with Confidence
- Versatile micro-fabricated mirrors with finesse > 700,000
- 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
- VIBRO-ACOUSTIC WAVE INTERACTION IN CRACKED PLATE MODELED WITH PERIDYNAMICS