Blar i Fakultet for ingeniør- og naturvitskap / Faculty of Engineering and Science på tittel
Viser treff 1941-1960 av 2885
-
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. ... -
Observed sediment and solute transport from the Kangerlussuaq sector of the Greenland Ice Sheet (2006–2016)
(Journal article; Peer reviewed, 2018)New measurements of Watson River sediment and solute concentrations and an extended river discharge record improved by acoustic Doppler current profiler (ADCP) measurements are used to calculate the total sediment and ... -
Ocean wave energy converter
(Bachelor thesis, 2022) -
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 å ... -
Offentlige aktørers rolle i overgangen til hydrogen i maritim sektor
(Bachelor thesis, 2021) -
Offshore havvind: Eit nytt oljeeventyr for Noreg?
(Bachelor thesis, 2018) -
Offshore vind til ammoniakk
(Bachelor thesis, 2021) -
Old-growth forest floor richness increases with red deer herbivory intensity
(Journal article; Peer reviewed, 2013)Herbivory is one of the most important biotic disturbance types globally and is important for community structure and composition through species filtering. In northern forest ecosystems the population densities of ... -
Oljebruk i vannkraft fra et helse- og ytre miljøperspektiv
(Bachelor thesis, 2023) -
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 Preemption and Overdetermination in Formal Theories of Causality
(Journal article; Peer reviewed, 2017)One of the key challenges when looking for the causes of a complex event is to determine the causal status of factors that are neither individually necessary nor individually sufficient to produce that event. In order to ... -
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 'impertinence of impermanence' and three other critiques: Reflections on the relationship between experimentation and lasting – or significant? – change
(Peer reviewed; Journal article, 2023)Experimentation, and street experiments in particular, have led to considerable academic and policy advances in sustainable and inclusive (mobility) planning over the past years. With increased popularity and confidence, ... -
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 ...