Den tredje arbeidsgruppen i FNs klimapanel (IPCC) fikk i 1996 oppgaven med å utvikle en spesialrapport om utslippsscenarier (Special Report on Emission Scenarios, SRES). Utslippsscenarier er beskrivelser av hvordan man ...

This report has been commissioned by the World Business Council for Sustainable Development and written in August 2001. The aim of the report is to present and analyze the newest developments in the climate negotiations, ...

Revised version July 2014

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 ...

I denne oppgaven studeres den politiske prosessen knyttet til et direktivforslag for å forbedre kjønnsbalansen i europeiske bedriftsstyrer. Direktivforslaget ble fremmet av EU-kommisjonen høsten 2012 og har blitt vedtatt ...

The GI Working Group“Programming Languages and Computing Concepts” arranges since 1984 each spring a workshop in the the “Physikzentrum Bad Honnef” (a convention centre of the German Physical Society). The meeting serves ...

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 ...

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. ...

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. ...