Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Miha...
Abstract. Long term responses of the heart to e.g. infarction or surgical intervention are related to response of the tissue to changes in the mechanical environment. The tissue re...
Wilco Kroon, Tammo Delhaas, Theo Arts, Peter Boven...
Abstract. In this paper, a statistical atlas of DT-MRIs based on a population of nine ex vivo normal canine hearts is compared with a human cardiac DT-MRI and a commonly used synth...
Jean-Marc Peyrat, Maxime Sermesant, Xavier Pennec,...