Browsing Institutt for informatikk by Title
Now showing items 1922-1941 of 4914
-
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)Structural Operational Semantics (SOS) provides a general format to describe a model as a transition system with very powerful synchronization mechanisms. Actor systems are distributed, asynchronously communicating units ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2021)Nowadays, due to the exponential and continuous expansion of new paradigms such as Internet of Things (IoT), Internet of Vehicles (IoV) and 6G, the world is witnessing a tremendous and sharp increase of network traffic. ...
-
From talk to text production with EssayCritic : Scaffolds in the early phases of the writing process (Master thesis / Masteroppgave, 2010)As computers are steadily gaining entry to places of learning, people seek to use them to the fullest. Not only can they be used as an instrument toward gaining knowledge and experience, they can also take an active role ...
-
(Master thesis / Masteroppgave, 2023)Workarounds have been extensively researched in different contexts in the developed world, but the same type of focus has not been invested on the phenomenon in developing countries. In these contexts, WhatsApp has emerged ...
-
(Doctoral thesis / Doktoravhandling, 2022)This thesis explores frugal digital innovation potentials for addressing health information systems challenges in resource-constrained settings. The main aim is to understand the technological, institutional, and social ...
-
(Master thesis / Masteroppgave, 2022)Digital solutions play an increasingly central role in promoting and delivering healthcare in low- and middle income countries (LMICs), but such digital interventions have a high failure rate. Parts of the reason, many ...
-
(Master thesis / Masteroppgave, 2022)
-
(Doctoral thesis / Research report / Doktoravhandling / Forskningsrapport, 1997)
-
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2011)The problem addressed in this paper is that we want to sort an integer array a [] of length n on a multi core machine with k cores. Amdahl’s law tells us that the inherent sequential part of any algorithm will in the end ...
-
(Master thesis / Masteroppgave, 2021)
-
(Chapter / Bokkapittel / PublishedVersion; Peer reviewed, 2023)Current approaches to program synthesis with Large Language Models (LLMs) exhibit a "near miss syndrome": they tend to generate programs that semantically resemble the correct answer (as measured by text similarity metrics ...
-
A fully general operational semantics for UML sequence diagrams with potential and mandatory choice (Research report / Forskningsrapport, 2007)UML sequence diagrams is a specification language that has proved itself to be of great value in system development. When put to applications such as simulation, testing and other kinds of automated analysis there is a ...
-
(Master thesis / Hovedoppgave, 2004)Abstract Through an interpretive case study of three organizations that have implemented InfoHelper; a computerized information system running on a mobile technology, this thesis looks into how information technologies ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)Abstract The organization and coordination of fish schools provide a valuable model to investigate the genetic architecture of affiliative behaviours and dissect the mechanisms underlying social behaviours and personalities. ...
-
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2014)We present Funky Sole Music, a musical interface employing a sole embedded with three force sensitive resistors in combination with a novel algorithm for continuous movement classification. A heuristics-based music engine ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2021)The availability of inertial navigation sensors in smartphones has facilitated the development of pedestrian dead reckoning (PDR) models on a large scale. These models often consist of a step detection algorithm combined ...
-
(Master thesis / Masteroppgave, 2016)The worlds consumption of IPv4 addresses has exhausted the RIRs resource pools of available IPv4 address space. By the end of 2015, every RIR, except AFRINIC, had allocated all their blocks not reserved for IPv6 transitioning. ...
-
(Book / Bok / PublishedVersion; Peer reviewed, 1999)As originally published by John Wiley & Sons, Ltd.
-
Future Video Frame Synthesis: Extending Deep Voxel Flow With Adversarial NetworksRestricted Access (Master thesis / Masteroppgave, 2020)