509 search results - page 95 / 102 » On the completeness of compositional reasoning methods |
BMCBI
2010
13 years 7 months ago
2010
Background: Complex diseases are multifactorial traits caused by both genetic and environmental factors. They represent the major part of human diseases and include those with lar...
BMCBI
2008
13 years 7 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
SIAMSC
2008
13 years 7 months ago
2008
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...
MAM
2007
13 years 7 months ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...
PAMI
2011
13 years 2 months ago
2011
—A majority of the existing stereo matching algorithms assume that the corresponding color values are similar to each other. However, it is not so in practice as image color valu...