Search
Now showing items 1-10 of 146
(Research report / Forskningsrapport, 2013)
Two independent sets of analytical solutions, one based on matrix inversion and one based on iteration, are derived for the displacement field and corresponding stress state in multi-layer cylinders subjected to pressure ...
(Research report / Forskningsrapport, 2010)
(Research report / Forskningsrapport / SubmittedVersion; Peer reviewed, 2012)
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades. Dynamic SOS is built on top of theModular SOS of P.Mosses, with an underlying category theory ...
(Research report / Forskningsrapport, 2012)
CLIMIT project no. 208122
(Research report / Forskningsrapport, 2011)
Feil nr (409) på tittelbladet. Skal være Research report nr 406.
(Research report / Forskningsrapport, 2010)
In this paper, we propose a probabilistic extension of the Creol modeling language, called PCreol, for which we give the operational semantics in Probabilistic Rewrite Logic. We give details on the implementation of a ...
(Research report / Forskningsrapport, 2013)
We study backward stochastic differential equations (BSDE's) for time-changed Lévy noises when the time-change is independent of the Lévy process. We prove existence and uniqueness of the solutions. Explicit formulae for ...
(Research report / Forskningsrapport, 2013)
We consider a problem of optimal control of an infinite horizon system governed by forward-backward stochastic differential equations with delay. Sufficient and necessary maximum principles for optimal control under partial ...
(Research report / Forskningsrapport, 2012)
Revised version July 2014
(Research report / Forskningsrapport, 2012)
In the present paper results given in Natvig (1990) are generalized to a multistate, strongly coherent, nonrepairable system of independent components by considering the reduction in remaining system time above a certain ...