Blar i Institutt for datateknologi, elektroteknologi og realfag på tittel
Viser treff 848-867 av 1230
-
OAS DB: A Repository of Specifications to Support OpenAPI Research
(Peer reviewed; Journal article, 2020)There are many specifications used to describe a Web API. One of the most popular ones is OpenAPI. This specification allows one to describe all the resources that can be accessed and manipulated through a REST Web API. ... -
Off-grid Solar Power Systems in Rural Areas
(Bachelor thesis, 2017)Sykehuset «Hatfield Archer Memorial Hospital» lokalisert i Rotifunk, Sierra Leone ble etterlatt i ruiner etter en ødeleggende borgerkrig. I 2005 ble den veldedige organisasjonen Haugesund Rotifunk grunnlagt og satt til å ... -
On Distributed Runtime Verification by Aggregate Computing
(Journal article; Peer reviewed, 2019)Runtime verification is a computing analysis paradigm based on observing a system at runtime (to check its expected behaviour) by means of monitors generated from formal specifications. Distributed runtime verification is ... -
On modelling and validation of the MQTT IoT protocol for M2M communication
(Journal article; Peer reviewed, 2018)Machine to Machine (M2M) communication and Internet of Things (IoT) are becoming still more pervasive with the increase of communicating devices used in cyber-physical environments. A prominent approach to communication ... -
On Neural Associative Memory Structures: Storage and Retrieval of Sequences in a Chain of Tournaments
(Peer reviewed; Journal article, 2021)Associative memories enjoy many interesting properties in terms of error correction capabilities, robustness to noise, storage capacity, and retrieval performance, and their usage spans over a large set of applications. ... -
On reducing model transformation testing overhead
(Peer reviewed; Journal article, 2016)Model-Driven Engineering is essentially based in metamodel definition, model edition and the specification of model transformations (MT). In many cases the development and maintenance of these transformations are still ... -
On the behavior of some APN permutations under swapping points
(Peer reviewed; Journal article, 2021)We define the pAPN-spectrum (which is a measure of how close a function is to being APN) of an (n, n)-function F and investigate how its size changes when two of the outputs of a given function F are swapped. We completely ... -
On the evaluation of android malware detectors against code-obfuscation techniques
(Peer reviewed; Journal article, 2022)The Android mobile platform is the most popular and dominates the cell phone market. With the increasing use of Android, malware developers have become active in circumventing security measures by using various obfuscation ... -
One-dimensional charged kaon femtoscopy in p-Pb collisions at √sNN = 5.02 TeV
(Journal article; Peer reviewed, 2019)The correlations of identical charged kaons were measured in p-Pb collisions at √sNN = 5.02 TeV by the ALICE experiment at the LHC. The femtoscopic invariant radii and correlation strengths were extracted from one-dimensional ... -
One-dimensional pion, kaon, and proton femtoscopy in Pb-Pb collisions at √sNN=2.76 TeV
(Peer reviewed; Journal article, 2015) -
A One-Phase Tree-Structure Method to Mine High Temporal Fuzzy Utility Itemsets
(Peer reviewed; Journal article, 2022)Compared to fuzzy utility itemset mining (FUIM), temporal fuzzy utility itemset mining (TFUIM) has been proposed and paid attention to in recent years. It considers the characteristics of transaction time, sold quantities ... -
Online data compression in the ALICE O2 facility
(Peer reviewed; Journal article, 2017) -
An ontology matching approach for semantic modeling: A case study in smart cities
(Peer reviewed; Journal article, 2021)This paper investigates the semantic modeling of smart cities and proposes two ontology matching frameworks, called Clustering for Ontology Matching-based Instances (COMI) and Pattern mining for Ontology Matching-based ... -
Open heavy flavour reconstruction in the ALICE Central Barrel
(Lecture, 2008)The ALICE experiment will be able to detect open charm and beauty hadrons in proton-proton and heavy ion collisions in the new energy regime of the CERN Large Hadron Collider (LHC). Heavy flavours are a powerful tool to ... -
Open heavy-flavour production and elliptic flow in p-Pb collisions at the LHC with ALICE
(Peer reviewed; Journal article, 2019)Measurements of open heavy flavour production in p–A collisions allow the investigation of Cold Nuclear Matter effects. In addition, they are an important tool for a complementary investigation of the long-range correlations ... -
Opptrening av slagpasienter med nedsatt funksjonsevne gjennom bruk av VR
(Bachelor thesis, 2021) -
Optimal error estimate of the finite element approximation of second order semilinear non-autonomous parabolic PDEs
(Journal article; Peer reviewed, 2020)In this work, numerical approximation of the second order non-autonomous semilinear parabolic partial differential equations (PDEs) is investigated using the classical finite element method. To the best of our knowledge, ... -
Optimal strong convergence rates of some Euler-type timestepping schemes for the finite element discretization SPDEs driven by additive fractional Brownian motion and Poisson random measure
(Peer reviewed; Journal article, 2020)In this paper, we study the numerical approximation of a general second order semilinear stochastic partial differential equation (SPDE) driven by a additive fractional Brownian motion (fBm) with Hurst parameter H>12 and ... -
Origo: Et pedagogisk spill om lineær algebra
(Bachelor thesis, 2024) -
Ormen Lange "tie-in" på Sleipner R
(Bachelor thesis, 2004)Gassen som produseres ved det nye Ormen lange feltet skal hovedsakelig eksporteres til England og en ny rørledning fra prosesseringsanlegget på Nyhamna i Aukra kommune til Easington i England skal bygges. Den nye rørledningen ...