This thesis presents a formal model of object-oriented concepts; in particular we focus on the concepts found useful by experienced designers of reusable software components. The value of the formal model is shown by ...

An important problem in image analysis is to segment an image into regions with different class-labels. This is releveant in applications in medicine and cartography. In a proper statistical framework this problem may be ...

We show that to every recursive total continuous functional there is a total functional below it that is S1-S9 computable in the hierarchy of partial continuous functionals, or equivalently, that is PCF-definable in the ...

The report summarizes the work performed at the Department of Mathematics, during the first two years of the European research project GITEC-TWO (contract ENV4-U96-0297). Some of the result will subsequently be published ...

Chern-Simons-Ginzburg-Landau (CSGL) theory is an attempt of a phenomenological description of the fractional quantum Hall effect. The CSGL theory is studied mainly without considering the direct applications of the results. ...

Sparse arrays provide a large aperture with few elements. Through an exhaustive search of all possible thinning patterns for small linear sparse arrays, the Fourier properties of arrays with optimal coarray properties are ...

This document gives an overview the standard methods used to model and analyze the performance of queuing systems. This includes both analytical techniques and simulation methodology. Simulation must be used when the ...

A discrete-event simulation environment, called GMSim, based on the generalized semi-Markov process (GSMP) framework is described. The tool is completely generic and extendible by Tcl script programming. Application specific ...