Browsing Institutt for matematiske fag by Title
Now showing items 2506-2525 of 2569
-
Value of information analysis for subsurface energy resources applications
(Journal article; Peer reviewed, 2019)A computationally efficient method to estimate the value of information in the context of subsurface energy resources applications is proposed. The value of information is a decision analytic metric quantifying the incremental ... -
Value of information analysis in the context of leakage detection in CO2 storage
(Master thesis, 2019)Karbonfangst og -lagring er en lovende strategi for å redusere utslipp av CO2 til atmosfæren og i disse tider forberedes et fullskala prosjekt i Norge. CO2 vil bli injesert i dype geologiske formasjoner, og blant stedene ... -
Value of information analysis of snow measurements for the scheduling of hydropower production
(Journal article; Peer reviewed, 2017)The scheduling of a hydropower plant is challenging because of inflow uncertainty. During spring there is increased uncertainty when the snow melts. By gathering snow measurements, one learns more about the future inflow, ... -
Value of information of in-situ inspections of mooring lines
(Peer reviewed; Journal article, 2021)Mooring systems that are used to secure position keeping of floating offshore oil and gas facilities are subject to deterioration processes, such as pitting corrosion and fatigue crack growth. Past investigations show that ... -
Value of information of time-lapse seismic data by simulation-regression: comparison with double-loop Monte Carlo
(Peer reviewed; Journal article, 2019)Simulation-regression is a computationally efficient methodology to estimate the value of information (VOI), as it involves directly estimating the value outcomes corresponding to different data realizations by building a ... -
VaR Estimation for Crude Oil Data via Different Approaches: Historical Simulations, EVT Model, and ACER Method
(Master thesis, 2018)This thesis implements different approaches to predict the one-day ahead Value at Risk (VaR) of crude oil return data. The Historical Simulation (HS) approach, a non-parametric model, randomly resamples past observations ... -
Variable selection in Cox-models using the L1-regularization path algorithm
(Master thesis, 2010)The thesis give an overview of survival modelling and inference in Cox-models with high-dimensional covariates. -
Variable step size commutator free Lie group integrators
(Journal article; Peer reviewed, 2019)We introduce variable step size commutator free Lie group integrators, where the error control is achieved using embedded Runge–Kutta pairs. These are schemes for the integration of initial value problems posed on homogeneous ... -
Variation for Piecewise Constant Functions on Triangular Meshes with Applications in Imaging
(Journal article, 2023)We propose a novel discrete concept for the total generalized variation (TGV), which was originally derived to reduce the staircasing effect in classical total variation regularization, in image denoising problems. We ... -
Variational image regularization with Euler's elastica using a discrete gradient scheme
(Journal article; Peer reviewed, 2018)This paper concerns an optimization algorithm for unconstrained nonconvex problems where the objective function has sparse connections between the unknowns. The algorithm is based on applying a dissipation preserving ... -
Variational Methods for Coherence Enhancing Image Denoising
(Master thesis, 2017)Image denoising by regularization of coherence enhancing functionals have become increasingly standard due to their structural preservation properties. One example of coherence enhancing regularization is formulated by ... -
Varying disease-mediated selection at different life-history stages of Atlantic salmon in fresh water
(Journal article; Peer reviewed, 2011)Laboratory studies on associations between disease resistance and susceptibility and major histocompatibility (MH) genes in Atlantic salmon Salmo salar have shown the importance of immunogenetics in understanding the ... -
Vector Quantized Time Series Generation using Diffusion Models
(Master thesis, 2023)Tidsrekkegenerasjon (TSG) er en type generativ modellering som fokuserer på å lære fordelingen av tidsrekker. En ny tilnærming til TSG, kalt TimeVQVDM, er foreslått for å kombinere vektorkvantisering med diffusjonsmodell ... -
Vector Quantized Time Series Generation with a Bidirectional Prior Model
(Journal article; Peer reviewed, 2023)Time series generation (TSG) studies have mainly focused on the use of Generative Adversarial Networks (GANs) combined with recurrent neural network (RNN) variants. However, the fundamental limitations and challenges of ... -
Vectorial penalisation in vector optimisation in real linear-topological spaces
(Peer reviewed; Journal article, 2023)The aim of this paper is to present a vectorial penalisation approach for vector optimisation problems in which the vector-valued objective function acts between real linear-topological spaces X and Y, where the image space ... -
Verdier Duality for Stable ∞-categories
(Master thesis, 2023)Vi beviser Luries ∞-kategoriske versjon av Verdier-dualitet. For å oppnå dette introduserer vi ∞-kategorier og noen viktige resultat og konstruksjoner. Mer spesifikt, så introduserer vi grenser og kogrenser og presenterer ... -
A Verifiable and Practical Lattice-Based Decryption Mix Net with External Auditing
(Peer reviewed; Journal article, 2020)Mix nets are often used to provide privacy in modern security protocols, through shuffling. Some of the most important applications, such as secure electronic voting, require mix nets that are verifiable. In the literature, ... -
Verifiable Decryption for BGV
(Peer reviewed; Journal article, 2022)In this work we present a direct construction for verifiable decryption for the BGV encryption scheme by combining existing zero-knowledge proofs for linear relations and bounded values. This is one of the first constructions ... -
Verifiable Decryption in the Head
(Peer reviewed; Journal article, 2022)In this work we present a new approach to verifiable decryption which converts a 2-party passively secure distributed decryption protocol into a 1-party proof of correct decryption. This leads to an efficient and simple ... -
Verifiable Homomorphic Tallying for the Schulze Vote Counting Scheme
(Peer reviewed; Journal article, 2019)The encryption of ballots is crucial to maintaining integrity and anonymity in electronic voting schemes. It enables, amongst other things, each voter to verify that their encrypted ballot has been recorded as cast, by ...