Sciweavers

2343 search results - page 48 / 469
» MedModel - Healthcare Simulation Software
Sort
View
102
Voted
VMCAI
2010
Springer
15 years 11 months ago
Complexity Bounds for the Verification of Real-Time Software
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahe...
FBIT
2007
IEEE
15 years 8 months ago
An Efficient Soft Tissue Characterization Method for Haptic Rendering of Soft Tissue Deformation in Medical Simulation
The modeling of soft tissue behavior is essential in haptic rendering for virtual reality based medical simulators, which provide a safe and objective medium for training medical ...
Bummo Ahn, Jung Kim
ATAL
2005
Springer
15 years 8 months ago
TACOP: a cognitive agent for a naval training simulation environment
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...
Willem A. van Doesburg, Annerieke Heuvelink, Egon ...
LSSC
2001
Springer
15 years 7 months ago
Numerical Simulation of a Model for Transport and Reaction of Radionuclides
In the last years the interest in computer simulations of radioactive waste scenarios has increased. In this article we present numerical simulations with the software package TRAP...
Jürgen Geiser
133
Voted
ARC
2009
Springer
175views Hardware» more  ARC 2009»
15 years 9 months ago
A Hardware Accelerated Simulation Environment for Spiking Neural Networks
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...
Brendan P. Glackin, Jim Harkin, T. Martin McGinnit...