Sciweavers

6431 search results - page 362 / 1287
» Model Building by Resolution
Sort
View
169
Voted
FIMH
2005
Springer
16 years 8 days ago
Estimating Local Apparent Conductivity with a 2-D Electrophysiological Model of the Heart
Abstract. In this article we study the problem of estimating the parameters of a 2-D electrophysiological model of the heart from a set of temporal recordings of extracellular pote...
Valérie Moreau-Villéger, Hervé...
IEAAIE
2004
Springer
16 years 3 days ago
Cell Modeling Using Agent-Based Formalisms
The systems biology community is building increasingly complex models and simulations of cells and other biological entities. This community is beginning to look at alternatives t...
Ken Webb, Tony White
GLVLSI
2002
IEEE
118views VLSI» more  GLVLSI 2002»
15 years 11 months ago
Novel interconnect modeling by using high-order compact finite difference methods
— The high-order compact finite difference (HCFD) method is adapted for interconnect modeling. Based on the compact finite difference method, the HCFD method employs the Chebys...
Qinwei Xu, Pinaki Mazumder
HASE
2007
IEEE
15 years 10 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 10 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann