Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
Dynamic image analysis requires the estimation of time-varying model parameters (e.g., shape coe cients). This can be11 seen as states of a dynamic model which are restricted to a...
Abstract. In this paper, we deal with the problem of partially observed objects. These objects are defined by a set of points and their shape variations are represented by a statis...
Background: The nucleotide substitution rate matrix is a key parameter of molecular evolution. Several methods for inferring this parameter have been proposed, with different math...
Maribeth Oscamou, Daniel McDonald, Von Bing Yap, G...
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...