Article RDF
pages:- 3957
- 3958
- 3959
- 3960
- 3961
- 3962
- 3963
- 3964
- 3965
- 3966
- 3967
- 3968
- 3969
- 3970
- 3971
- 3972
- 3973
- 3974
- 3975
- 3976
- 3977
- 3978
- 3979
- 3980
- 3981
- 3982
- 3983
- 3984
- 3985
- 3986
- 3987
- 3988
- 3989
- 3990
- 3991
- 3992
- 3993
- 3994
- 3995
- 3996
- 3997
- more...
- Verification of Approximate Opacity via Barrier Certificates Journal Article
- Verification of Approximate Opacity via Barrier Certificates Conference Proceeding
- Verification of Automotive Control Applications using S-TaLiRo Conference Proceeding
- Verification of Convection-Allowing WRF Model Forecasts of the Planetary Boundary Layer Using Sounding Observations Journal Article
- Verification of delayed-reset domino circuits using ATACS Conference Proceeding
- Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates Conference Proceeding
- Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis Conference Proceeding
- Verification of gyrokinetic δf simulations of electron temperature gradient turbulence Journal Article
- Verification of Hyperproperties for Dynamical Systems via Barrier Certificates Journal Article
- Verification of long wavelength electromagnetic modes with a gyrokinetic-fluid hybrid model in the XGC code Journal Article
- Verification of moisture budgets during drifting snow conditions in a cold wind tunnel Journal Article
- Verification of Operational Forecast Models in Cases of Extratropical Transition of North Atlantic Hurricanes Journal Article
- Verification of Radiative Transfer Schemes for the EHT Journal Article
- Verification of real-time WSA-ENLIL plus Cone simulations of CME arrival-time at the CCMC from 2010 to 2016 Journal Article
- Verification of RUC surface forecasts at major US airport hubs Conference Proceeding
- Verification of RUC-2 and Eta model precipitation forecasts Conference Proceeding
- Verification of RUC-2 and Eta model precipitation forecasts Conference Proceeding
- Verification of RUC2 precipitation forecasts using the NCEP multisensor analysis Conference Proceeding
- Verification of scaling laws for degrading PLA-b-PEG-b-PLA hydrogels Journal Article
- Verification of Switched Stochastic Systems via Barrier Certificates Conference Proceeding
- Verification of the multi-layer SNOWPACK model with different water transport schemes Journal Article
- Verification of timed circuits with failure directed abstractions Conference Proceeding
- Verification of timed circuits with failure-directed abstractions Journal Article
- Verification of timed systems using POSETs Conference Proceeding
- Verification of Video Frame Latency Telemetry for UAV Systems Using a Secondary Optical Method Conference Proceeding
- Verification Results from the 2017 HMT-WPC Flash Flood and Intense Rainfall Experiment Journal Article
- Verified Path Following Using Neural Control Lyapunov Functions Conference Proceeding
- Verified Three-Way Program Merge Journal Article
- Verifying and Redefining the Weather Prediction Center's Excessive Rainfall Outlook Forecast Product Journal Article
- Verifying Conformance of Neural Network Models. Conference Proceeding