Sciweavers

13043 search results - page 367 / 2609
» Simulation of the research process
Sort
View
DSS
2006
75views more  DSS 2006»
15 years 6 months ago
Model alignment of anthrax attack simulations
This paper describes our experience aligning two simulation models of disease progression after biological attacks. The first model is the Incubation-Prodromal-Fulminant (IPF) mod...
Li-Chiou Chen, Kathleen M. Carley, Douglas B. Frid...
ICRA
2006
IEEE
95views Robotics» more  ICRA 2006»
16 years 23 days ago
Numerical Simulations and Lab Tests for Design of MR-compatible Robots
— A numerical simulation of the magnetic field in the imaging volume of a magnetic resonance imaging (MRI) scanner and a method for quick searches for electromagnetic noise sour...
Kiyoyuki Chinzei, Kiyoshi Yoshinaka, Toshikatsu Wa...
FDL
2003
IEEE
16 years 11 hour ago
Synchronization of analogue and digital solvers in mixed-signal simulation on a SystemC platform
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...
Tom J. Kazmierski, Hessa Al-Junaid
FDL
2003
IEEE
16 years 11 hour ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
GECCO
2009
Springer
15 years 11 months ago
Using simulated annealing for producing software architectures
Automatic design of software architecture by use of genetic algorithms has already been shown to be feasible. A natural problem is to augment – if not replace – genetic algori...
Outi Räihä, Erkki Mäkinen, Timo Por...