Article RDF
pages:- 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
- 3998
- more...
- Verification of a fully implicit particle-in-cell method for the v(parallel to)-formalism of electromagnetic gyrokinetics in the XGC code Journal Article
- 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