Search
Now showing items 1-9 of 9
(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 / PublishedVersion; Peer reviewed, 2017)
(Research report / Forskningsrapport / PublishedVersionAcceptedVersionPublishedVersionAcceptedVersion; Peer reviewed, 2016)
The rapidly increasing pervasiveness and integration of computers in human and animal society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs ...
(Research report / Forskningsrapport / PublishedVersion; Peer reviewed, 2017)
(Research report / Forskningsrapport / PublishedVersion; Peer reviewed, 2014)
(Research report / Forskningsrapport / PublishedVersion; Peer reviewed, 2018)
Over the past three decades, increasing concentrations of dissolved natural organic matter (DNOM) have been observed in Nordic surface waters. This increase has an effect on the natural environment because DNOM impacts the ...
(Research report / Forskningsrapport; Peer reviewed, 2019)
Som en del av fagfornyelsen skal programmering innføres i flere obligatoriske fag fra høsten 2020. Formålet med denne rapporten er en litteraturgjennomgang av hva forskning på programmering og læring viser, og å undersøke ...
(Research report / Forskningsrapport / PublishedVersion; Peer reviewed, 2018)
This paper describes the two variants OL1 and OL2 of the model submitted to the MIREX 2018 tempo estimation tasks, and compare them with respect to my previous submission for MIREX 2013.
(Research report / Forskningsrapport / PublishedVersion; Peer reviewed, 2018)
The present report documents the conference “Lessons from Indonesia in Comparative Perspectives,” held in Oslo on 29-30 November 2017. The event was the closing conference for the Power, Welfare and Democracy project, which ...