Sciweavers

309 search results - page 9 / 62
» A quantitative approach to functional debugging
Sort
View
ISBI
2009
IEEE
14 years 2 months ago
Quantitative Validation of Optical Flow Based Myocardial Strain Measures Using Sonomicrometry
Dynamic cardiac metrics, including myocardial strains and displacements, provide a quantitative approach to evaluate cardiac function. However, in current clinical diagnosis, larg...
Qi Duan, Katherine Parker, Auranuch Lorsakul, Elsa...
BMCBI
2006
85views more  BMCBI 2006»
13 years 7 months ago
Use of physiological constraints to identify quantitative design principles for gene expression in yeast adaptation to heat shoc
Background: Understanding the relationship between gene expression changes, enzyme activity shifts, and the corresponding physiological adaptive response of organisms to environme...
Ester Vilaprinyó, Rui Alves, Albert Sorriba...
NIPS
1994
13 years 8 months ago
The Electrotonic Transformation: a Tool for Relating Neuronal Form to Function
The spatial distribution and time course of electrical signals in neurons have important theoretical and practical consequences. Because it is difficult to infer how neuronal form...
Nicholas T. Carnevale, Kenneth Y. Tsai, Brenda J. ...
PADL
2004
Springer
14 years 22 days ago
Observing Functional Logic Computations
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
Bernd Brassel, Olaf Chitil, Michael Hanus, Frank H...
AMOST
2005
ACM
14 years 29 days ago
Using information about functions in selecting test cases
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
Markus Clermont, David Lorge Parnas