Search
Now showing items 1-10 of 125
(Research report / Forskningsrapport, 2014)
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. ...
(Research report / Forskningsrapport, 2014)
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 ...
(Research report / Forskningsrapport, 2014)
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. ...
(Research report / Forskningsrapport, 2014)
(Research report / Forskningsrapport, 2013)
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 ...
(Research report / Forskningsrapport / PublishedVersion, 2013)
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 ...
(Research report / Forskningsrapport, 2014)
We prove that a selection of quality of information optimisation problems related to event detection in sensor networks are NP-hard.
(Research report / Forskningsrapport, 2014)
(Research report / Forskningsrapport, 2014)
A semi-analytical model for ultimate strength prediction of simply supported, rectangular, composite plates has been presented previously. The model is based on large deflection theory in combination with first order shear ...
(Research report / Forskningsrapport, 2014)
Hierarchical models defined by means of directed, acyclic graphs are a power- ful and widely used tool for Bayesian analysis of problems of varying degrees of complexity. A simulation based method for model criticism in ...