Article RDF
pages:- 3979
- 3980
- 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
- more...
- 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
- Verified Path Following Using Neural Control Lyapunov Functions Conference Proceeding
- Verified Three-Way Program Merge Journal Article
- Verifying Conformance of Neural Network Models. Conference Proceeding
- Verifying Indistinguishability of Privacy-Preserving Protocols Journal Article
- Verifying Indistinguishability of Privacy-Preserving Protocols Conference Proceeding
- Verifying robust time-optimal commands for multimode flexible spacecraft Journal Article
- Verifying the function and localization of genetically encoded Ca2+ sensors and converting FRET ratios to Ca2+ concentrations. Journal Article
- Verifying the Survival of Time-Energy Entanglement Through Tissue Conference Proceeding
- Verisimilitude and distance in logical space Journal Article
- VERISIMILITUDE BY POWER RELATIONS Journal Article
- Verisimilitude by Power Relations: A Response to Oddie Journal Article
- VERISIMILITUDE REVIEWED Journal Article
- Vernacular letters Journal Article
- Vernalization and the chilling requirement to exit bud dormancy: shared or separate regulation? Journal Article