Results 71 to 80 of about 163,944 (210)
Verification of Monte Carlo transport codes by activation experiments
, 2013 With the increasing energies and intensities of heavy-ion accelerator facilities, the problem of an excessive activation of the accelerator components caused by beam losses becomes more and more important.
Chetvertkova, Vera
core
Experiment design for formal verification via stochastic optimal control.
, 2016 A measurement-based statistical verification approach is developed for systems with partly unknown dynamics. Grey-box systems, which are specified as a model class, are subject to identification experiments that enable accepting or rejecting system ...
Haesaert, S. +12 more
core +1 more source
Facilitating creative equality in art-science: A methodological experiment
, 2017 In this paper we bring together thoughts and experiences of employing facilitation towards creative emancipation in art-science based on our experiences of working on an art-science project.
Goldschmidt, Pippa, Wienroth, Matthias
core +1 more source
X17 anomaly and prospects for its verification with NA64 experiment
, 2020 The ATOMKI collaboration reported a 7$\sigma$ excess in the angular distribution of $e^{+}e^{-}$ events in the nuclear de-excitation of $^8$Be, which was recently confirmed by new results on other nuclei, $^4$He.
Laura Molina bueno, Molina Bueno, Laura
core +1 more source
Space geodesy altimetry Verification Experiment Design Study /VEDS/ Final report
, 1970 Verification experiment design for satellite-borne geodetic altimeter operating over ...
Coppenrath, L. F., Weiss, E.
core
Crowding Out Trust: The Adverse Effects of Verification. An Experiment.
, 2002 Through an experiment, this study investigates the effects that verification has on honest traders. This paper demonstrates that by reducing the scope for trust verification can have a negative effect on the behaviour of honest individuals. Specifically,
Guerra, Gerardo A.
core
Verification of contextuality by noncontextual experiments
Physical Review AWe uncover features of generalized contextuality by connecting it to the Kirkwood-Dirac (KD) quasiprobability distribution. Quantum states can be represented by KD distributions, which take values in the complex unit disk. Only for “KD-positive” states are the KD distributions joint probability distributions.
Jonathan J. Thio +4 more
openaire +1 more source
Consumer Willingness to Pay for Livestock Credence Attribute Claim Verification
A choice experiment was used to determine consumer value for verification of livestock production process attributes. Willingness to pay for verification of production process attributes varied for both milk and pork chops across attributes and verifying
Wolf, Christopher A. +2 more
core
Experiment on Verification of a Planetary Rover Controller
, 2004 International audienceIn this paper, we report an experiment on the verification of the K9 Rover Executive, an experimental platform for autonomous vehicles targeted for the exploration of the Martian surface developed at NASA Ames.
Orfanidou, Eleni +3 more
core
Library Construction for Embedded System Verification: An Experiment with JPetStore
, 2007 RED整合CRD的技術和HRD的技術而成為能處理時間自動機和線性混合自動機之圖像式TCTL樹狀時態邏輯檢證/模擬工具。為了要將RED能處理稠密時間系統及線性混合系統的圖像式驗證技術分享出去，並發展出RED更多的應用方式，以及提供一個更有彈性且更具效率的正規模型建構途徑，我們著手開發RED的函式庫介面：REDLIB。並且在這篇論文中，以用JAVA寫成之全新的電子寵物商店範例JPetStore為例進行實驗，展示如何以REDLIB來建構出正規模型和發展出更多之應用可能。RED(Region-Encoding ...
Cai, Lin-Zan, 蔡麟讚
core