Sciweavers

254 search results - page 36 / 51
» Discrete Simulations of Biochemical Dynamics
Sort
View
IPPS
1999
IEEE
13 years 12 months ago
An Object-Oriented Environment for Sparse Parallel Computation on Adaptive Grids
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
Salvatore Filippone, Michele Colajanni, Dario Pasc...
CIBB
2009
13 years 8 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
ICCS
2007
Springer
14 years 1 months ago
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
Shoupeng Han, Kedi Huang
IJCNN
2006
IEEE
14 years 1 months ago
Event modeling of message interchange in stochastic neural ensembles
— We propose a modeling framework based on the event-driven paradigm for populations of neurons which interchange messages. Unlike other strategies our approach is focused on the...
Vicenç Gómez, Andreas Kaltenbrunner,...
FLAIRS
2004
13 years 9 months ago
Cellular Automata Approach to Aircraft Corrosion Pit Growth
Corrosion is one of the degrading mechanisms that greatly affect the structural integrity of aerospace components. Corrosion begins with small imperfections in the given material ...
Ramana Pidaparti, Mathew J. Palakal, Long Fong