Results 31 to 40 of about 596,156 (298)
Spectral analysis of forecast error investigated with an observing system simulation experiment [PDF]
Tellus: Series A, Dynamic Meteorology and Oceanography, 2015 The spectra of analysis and forecast error are examined using the observing system simulation experiment framework developed at the National Aeronautics and Space Administration Global Modeling and Assimilation Office.
Nikki C. Privé, Ronald M. Errico
doaj +1 more source
Jurnal Pendidikan: Teori, Penelitian, dan Pengembangan, 2021 : The aims of this study is to investigate the effect of guided inquiry learning and verification of metacognitive knowledge of Grade XI science students on hydrolysis topic. The research used quasi experiment design. The analysis is done using t-test at
Sri Eni Armiati +2 more
doaj +1 more source
The MICE luminosity monitor [PDF]
, 2013 The MICE experiment will provide the first measurement of ionisation cooling, a technique suitable for reducing the transverse emittance of a tertiary muon beam in a future neutrino factory accelerator facility.
Dobbs, A., Forrest, D,, Soler, F.J.P.
core +1 more source
Drug Design, Development and Therapy, 2022 Ping Na Zhang,1,* Jing Yi Tang,1,* Ke Zhen Yang,2,* Qi Yan Zheng,1 Zhao Cheng Dong,1 Yun Ling Geng,1 Yu Ning Liu,1 Wei Jing Liu1 1Renal Research Institution of Beijing University of Chinese Medicine, and Key Laboratory of Chinese Internal ...
Zhang PN +7 more
doaj
Trustworthy Runtime Verification via Bisimulation (Experience Report)
Proceedings of the ACM on Programming Languages, 2023 When runtime verification is used to monitor safety-critical systems, it is essential that monitoring code behaves correctly. The Copilot runtime verification framework pursues this goal by automatically generating C monitor programs from a high-level DSL embedded in Haskell.
Ryan G. Scott +4 more
openaire +1 more source
Efficiency of Software Testing Techniques: A Controlled Experiment Replication and Network Meta-analysis [PDF]
e-Informatica Software Engineering Journal, 2017 Background: Common approaches to software verification include static testing techniques, such as code reading, and dynamic testing techniques, such as black-box and white-box testing. Objective: With the aim of gaining a~better understanding of software
Omar S. Gómez +2 more
doaj +1 more source
Distributed Aperture Coherence-synthetic Radar Technology
Leida xuebao, 2017 The distributed aperture coherence-synthetic radar could accomplish long-range and high-precision detection performance according to include multi-unit radars and energy synthesize in space.
Lu Yaobing, Gao Hongwei, Zhou Baoliang
doaj +1 more source
Testing conformal mapping with kitchen aluminum foil
, 2016 We report an experimental verification of conformal mapping with kitchen aluminum foil. This experiment can be reproduced in any laboratory by undergraduate students and it is therefore an ideal experiment to introduce the concept of conformal mapping ...
Cooke, D. A., Crivelli, P., Haas, S.
core +1 more source
Dynamics Verification Experiment of the Stewart Parallel Manipulator
International Journal of Advanced Robotic Systems, 2015 As the basis of dynamic analysis and driving force calculation, dynamic models and dynamic parameters are important issues in mechanical design and control.
Zhu-Feng Shao +2 more
doaj +1 more source
Programming Language Features for Refinement
, 2016 Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language, but
Koenig, Jason, Leino, K. Rustan M.
core +2 more sources