A member of a class of evolution systems is defined by averaBing a oneparameter family of invertible transformations G with a semigroup T The resulting evolution system, U(t,s) G(t)T(t-s)G(s) -1, preserves continuity and strong continuity, and in case G is a linear family, may have an identifiable generator and resolvent both of which are constructed from T. Occurrences of the class of evolutio...

The aim of the present thesis is to provide an e ective computationalframework for the analysis and quanti cation of the longitudinal structural changesin Alzheimer's disease (AD). The framework is based on the di eomorphic non-rigidregistration parameterized by stationary velocity elds (SVFs), and is hierachicallydeveloped to account for the di erent levels of variability which...

Abstract. The existence of crack evolutions based on critical points of the energy functional is proved, in the case of a cohesive zone model with prescribed crack path. It turns out that evolutions of this type satisfy a maximum stress criterion for the crack initiation. With an explicit example, it is shown that evolutions based on the absolute minimization of the energy functional do not enj...

Using text previewers to browse code and documentation has uncovered some of the basic limitations of classical typesetting systems. Problems arise from the use of embedded markup, the reliance on context-free grammars, and monolithic typesetter design. Some aspects of each of these problems are discussed. A typesetter architecture is proposed that does not require markup or grammars, and that ...