Results 201 to 210 of about 13,813 (236)
Some of the next articles are maybe not open access.
Simulating Simulations to Lower Cost of Simulation Solutions
AIAA Modeling and Simulation Technologies Conference and Exhibit, 2002Great engineering value is obtained using simulations in place o f systems before they are built or when the systems are unavailable. As systems have gotten more complicated, simulations have gotten more complicated. Now, many simulations are as (or more) complicated than the systems which inspired the use of simulati on in the first place.
Cal Cluff, Tom Strelich
openaire +1 more source
1995
We present a simulation for endoscopic procedures. The anatomy of the patient is represented by 3D polyhedral models, computed from tomographic images. The simulation program can be used as a training system, or for prior simulation of complicated individual cases to reduce the error rate and to decide on the feasibility of biopsies.
Bernhard Geiger, Ron Kikinis
openaire +1 more source
We present a simulation for endoscopic procedures. The anatomy of the patient is represented by 3D polyhedral models, computed from tomographic images. The simulation program can be used as a training system, or for prior simulation of complicated individual cases to reduce the error rate and to decide on the feasibility of biopsies.
Bernhard Geiger, Ron Kikinis
openaire +1 more source
Fundamenta Informaticae, 2014
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties.
openaire +2 more sources
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties.
openaire +2 more sources
Artificial Intelligence, 1986
Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and ...
openaire +1 more source
Qualitative simulation is a key inference process in qualitative causal reasoning. However, the precise meaning of the different proposals and their relation with differential equations is often unclear. In this paper, we present a precise definition of qualitative structure and behavior descriptions as abstractions of differential equations and ...
openaire +1 more source
Sensors to Detect Sarin Simulant
Critical Reviews in Analytical Chemistry, 2021Marcin Bielecki, Zygfryd Witkiewicz
exaly
A combined cowhide/gelatine soft tissue simulant for ballistic studies
Forensic Science International, 2022Wim Kerkhoff
exaly
Measurement and calibration of DEM parameters of lunar soil simulant
Acta Astronautica, 2022Meng Zou, Yingchun Qi
exaly
Cold sintering as a promising ISRU technique: A case study of Mars regolith simulant
Icarus, 2023Levent Karacasulu +2 more
exaly