• 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 ...
    • Vertical-horizontal decomposition of Laplacians and cohomologies of manifolds with trivial tangent bundles 

      Rollenske, Sonke; Tomassini, Adriano; Wang, Xu (Journal article; Peer reviewed, 2019)
      In this paper, we obtain a vertical–horizontal decomposition formula of Laplacians on manifolds with a special foliation structure. Two Nomizu-type theorems for cohomologies of nilmanifolds follow as applications.
    • "Vi har boka og forholder oss til den": En sosiokulturell analyse av matematikklæreres valg av læremidler 

      Grøstad, Siri (Master thesis, 2014)
      I denne studien har jeg arbeidet ut i fra to forskningsspørsmål. Jeg har forsøkt å kartlegge lærer-nes bruke av læreboka i matematikk, med fokus på mengde i forhold til andre læremidler, og jeg har lagt sosiokulturelle ...
    • Video understanding with the Youtube-8M dataset 

      Kopczynski, Piotr Ludvig (Master thesis, 2022)
      I dette prosjektet ble dyplæringsmodeller trent på Youtube-8M datasettet, som er et stort benchmark for for multi-label videoklassifisering, og evaluert ved hjelp av F1-score. De trente modellene brukte forskjellige metoder ...
    • Viscosity solutions of p-Laplace type equations 

      Høeg, Fredrik Arbo (Doctoral theses at NTNU;2020:263, Doctoral thesis, 2020)