The present report is concerned with the evolution of boundary layers during runup of solitary waves on a beach in a wave tank of depth 0.2m. It comprises both theory and high resolution PIV measurements of velocity profiles. ...

Several formal models combine probabilistic and nondeterministic features. To allow their probabilistic simulation and statistical model checking by means of pseudo-random number sampling, all sources of nondeterminism ...

Unbounded data structures, advanced functions and data types, and/or different forms of communication are often needed to model large and complex probabilistic real-time systems such as wireless sensor network algorithms. ...

We consider a class of Hilbert-space valued SDE’s where the drift coefficients are non- Lipschitzian in the sense of Hölder-continuity. Using a novel technique based on Malliavin calculus we show in this paper the existence ...

Denne rapporten presenterer resultater fra forskningsprosjektet ”Utenlandsadopterte barns tidlige utvikling i sine nye familier” som gjennomføres ved Institutt for spesialpedagogikk, Universitetet i Oslo. Prosjektet startet ...

We prove that a selection of quality of information optimisation problems related to event detection in sensor networks are NP-hard.