Now showing items 2304-2323 of 2357

    • Value of information analysis in the context of leakage detection in CO2 storage 

      Scott William Christopher Bunting (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 

      ødegaard, heidi; Eidsvik, Jo; Fleten, Stein-Erik (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 

      Mendoza Espinosa, Jorge; Paglia, Jacopo; Eidsvik, Jo; Kohler, Jochen (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 

      Dutta, Geetartha; Mukerji, Tapan; Eidsvik, Jo (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 

      Nguyen, Trang (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 

      Tuji, Mahder Assefa (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 

      Curry, Charles Henry Alexander; Owren, Brynjulf (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 

      Baumgartner, Lukas; Bergmann, Ronny; Herzog, Roland; Schmidt, Stephan; Vidal Núñez, José (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 

      Ringholm, Torbjørn; Lazic, Jasmina; Schönlieb, Carola-Bibiane (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 

      Åsmot, Lasse (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 

      de Eyto, E; McGinnity, P; Huisman, Jisca; Coughlan, J; Consuegra, S; Farrell, K; O´Toole, C; Tufto, Jarle; Megens, HJ; Jordan, W; Cross, T.; Stet, Rene J.M. (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 

      Tufte, Martin Gudahl (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 

      Lee, Daesoo; Malacarne, Sara; Aune, Erlend (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 ...
    • Verdier Duality for Stable ∞-categories 

      Sørli, Preben Hast (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 

      Boyen, Xavier; Haines, Thomas Edmund; Müller, Johannes (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 

      Silde, Tjerand (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 

      Gjøsteen, Kristian; Haines, Thomas Edmund; Müller, Johannes; Rønne, Peter B.; Silde, Tjerand (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 

      Haines, Thomas Edmund; Pattinson, Dirk; Tiwari, Mukesh (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 ...
    • Verifiable Shuffled Decryption 

      Strand, Martin (Master thesis, 2013)
      We describe the Verifiable Shuffled Decryption problem, and present five solutions based on adapting several existing verifiable shuffles. All but one may have potential for implementation, the choice of which would depend ...
    • Verified Verifiers for Verifying Elections 

      Haines, Thomas Edmund; Gore, Rajeev; Tiwari, Mukesh (Journal article; Peer reviewed, 2019)
      The security and trustworthiness of elections is critical to democracy; alas, securing elections is notoriously hard. Powerful cryptographic techniques for verifying the integrity of electronic voting have been developed ...