Marc Vaillant, Christos Davatzikos and R. Nick Bryan Neuroimaging Laboratory Department of Radiology Johns Hopkins School of Medicine 600 N. Wolfe street, Baltimore MD 21287 WWW: http://ditzel.rad.jhu.edu Abstract Parametric representations of anatomical structures provide useful mathematical descriptions for many medical imaging applications, including morphological analysis of the brain. In t...

Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expressions that may contain parameters. These parameters may represent, for instance, values of input parameters to the program, or maximal iteration counts for loops. We describe a technique for fully automatic parametri...

From the user’s point of view, the reliability of a software component depends on its environment as well as its usage profile. The environment of a component includes the external services invoked by the component and the hardware and software it is deployed on. The usage profile determines which services of the component are needed and describes all possible call sequences in form of a Markov...

Abstract interpretation theory formalizes the idea of abstraction of mathematical structures, in particular those involved in the specification of properties and proof methods of computer systems. Verification by abstract interpretation is illustrated on the particular cases of predicate abstraction, which is revisited to handle infinitary abstractions, and on the new parametric predicate abstr...

When choosing a parametric statistical model two important considerations are mathematical soundness and substantive relevance. In this paper, we illustrate and exemplify that a number of issues arise from these considerations, even in relatively simple settings, such as ordinal regression, linear mixed models, models for cross-classified data and generalized linear mixed models. Many of our po...

We propose a new mathematical framework for estimating pulse arrival time PAT . Existing methods of estimating PAT rely on local characteristic points or global parametric models: local characteristic point methods detect points such as foot points, max points, or max slope points, while global parametric methods fit a parametric form to the anacrotic phase of pulse signals. Each approach has i...