Sciweavers

2370 search results - page 132 / 474
» A Framework for the Simulation Experimentation Process
Sort
View
DAC
2004
ACM
16 years 7 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
ISRR
2001
Springer
121views Robotics» more  ISRR 2001»
15 years 10 months ago
Towards a Realistic Medical Simulator using Virtual Environments and Haptic Interaction
This paper presents our experience towards the conception of a virtual reality medical simulator coupled with haptic interaction aimed at training surgeons. This area of research h...
Christian Laugier, César Mendoza, Kenneth S...
BMCBI
2006
131views more  BMCBI 2006»
15 years 6 months ago
SIMAGE: simulation of DNA-microarray gene expression data
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...
Casper J. Albers, Ritsert C. Jansen, Jan Kok, Osca...
ICCSA
2004
Springer
15 years 11 months ago
Molecular Simulation of Reaction and Adsorption in Nanochemical Devices: Increase of Reaction Conversion by Separation of a Prod
We present a novel simulation tool to study fluid mixtures that are simultaneously chemically reacting and adsorbing within a molecularly porous material. The method is a combinat...
William R. Smith, Martin Lísal
IJCNN
2007
IEEE
16 years 20 days ago
Integrating a Flexible Representation Machinery in a Model of Human Concept Learning
— High-order human cognition involves processing of abstract and categorically represented knowledge. Traditionally, it has been considered that there is a single innate internal...
Toshihiko Matsuka, Yasuaki Sakamoto