Results 11 to 20 of about 5,429,849 (294)
Experimental Measurements and Computer Simulation of Fission Product Gamma-Ray Spectra [PDF]
, 1997 Airborne gamma ray spectrometry using high volume scintillation detectors, optionally in conjunction with Ge detectors, has potential for making rapid environmental measurements in response to nuclear accidents. An experimental investigation and computer
Sanderson, D.C.W. +4 more
core +8 more sources
Clinically-Driven Virtual Patient Cohorts Generation: An Application to Aorta
Frontiers in Physiology, 2021 The combination of machine learning methods together with computational modeling and simulation of the cardiovascular system brings the possibility of obtaining very valuable information about new therapies or clinical devices through in-silico ...
Pau Romero +6 more
doaj +1 more source
Mechanical Engineering Journal, 2023 The significance of probabilistic risk assessments (PRAs) of nuclear power plants against external events was re-recognized after the Fukushima Daiichi Nuclear Power Plant accident.
Kotaro KUBO +5 more
doaj +1 more source
A Novel Imbalanced Ensemble Learning in Software Defect Predication
IEEE Access, 2021 With the availability of high-speed Internet and the advent of Internet of Things devices, modern software systems are growing in both size and complexity. Software defect prediction (SDP) guarantees the high quality of such complex systems. However, the
Jianming Zheng +4 more
doaj +1 more source
Advanced Modeling and Simulation in Engineering Sciences, 2022 This work addresses research questions arising from the application of geometrically exact beam theory in the context of fluid-structure interaction (FSI).
Nora Hagmeyer +3 more
doaj +1 more source
Frontiers in Neuroinformatics, 2022 An open challenge on the road to unraveling the brain's multilevel organization is establishing techniques to research connectivity and dynamics at different scales in time and space, as well as the links between them.
Patrick Herbers +15 more
doaj +1 more source
The Checking of Computer Logic by Simulation on a Computer [PDF]
The Computer Journal, 1963 The proposed specification of the Sabrac digital computer was first discussed in papers presented to the International Conference on Information Processing (Lehman, 1959) and to the First Annual Conference of the British Computer Society. Since that time the specification of the machine has changed considerably.
Meir M. Lehman, Rayna Eshed, Z. Netter
openaire +2 more sources
Predecessor and Permutation Existence Problems for Sequential Dynamical Systems. [PDF]
Discrete Mathematics & Theoretical Computer Science, 2003 A class of finite discrete dynamical systems, called Sequential Dynamical Systems (SDSs), was introduced in [BR99] as a formal model for analyzing simulation systems.
Christopher L. Barrett +5 more
doaj +1 more source
Computing Stuttering Simulations [PDF]
, 2009 Stuttering bisimulation is a well-known behavioral equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preorder induces a coarser behavioral equivalence that preserves the existential fragment ECTL-{X,G}, namely ECTL without the next-time X and globally G operators.
RANZATO, FRANCESCO, TAPPARO, FRANCESCO
openaire +2 more sources
Simulation as an intuition building tool for factory physics [PDF]
, 2007 In today's manufacturing environment it is absolutely critical to be competitive in order to guarantee a company's sustainability. One way to achieve this sustainability is to count on management's ability to effectively make decisions dealing with its ...
González Gómez, José Arturo +1 more
core +2 more sources