Article RDF
pages:- 3981
- 3982
- 3983
- 3984
- 3985
- 3986
- 3987
- 3988
- 3989
- 3990
- 3991
- 3992
- 3993
- 3994
- 3995
- 3996
- 3997
- 3998
- 3999
- 4000
- 4001
- 4002
- 4003
- 4004
- 4005
- 4006
- 4007
- 4008
- 4009
- 4010
- 4011
- 4012
- 4013
- 4014
- 4015
- 4016
- 4017
- 4018
- 4019
- 4020
- 4021
- more...
- Verification of a Many-Ion Simulator of the Dicke Model Through Slow Quenches across a Phase Transition Journal Article
- Verification of a new NOAA/NSIDC passive microwave sea-ice concentration climate record Journal Article
- Verification of an improved equation-free projective integration method for neoclassical plasma-profile evolution in tokamak geometry Journal Article
- Verification of analog and mixed-signal circuits using timed hybrid Petri nets Conference Proceeding
- Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets Journal Article
- Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods Conference Proceeding
- Verification of approximate infinite-step opacity using barrier certificates Conference Proceeding
- Verification of approximate opacity for switched systems: A compositional approach Journal Article
- 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