Blar i Institutt for matematiske fag på tittel
Viser treff 2388-2407 av 2434
-
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 ... -
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 ... -
Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions
(Journal article; Peer reviewed, 2023)Cryptographic voting protocols have recently seen much interest from practitioners due to their (planned) use in countries such as Estonia, Switzerland, France, and Australia. Practical protocols usually rely on tested ... -
Verifiable Shuffled Decryption
(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
(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
(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
(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
(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
(Doctoral theses at NTNU;2020:263, Doctoral thesis, 2020) -
Volatility and Dependence in Fixed Income Forward Rates with Application to Market Risk of Derivative Portfolios
(Master thesis, 2006)This thesis explores the modeling of volatility and dependence in forward rates in the fixed income market for the purpose of risk estimation in derivative portfolios. A brief background on popular quantile-based risk ... -
Volterra operators on Hardy spaces of Dirichlet series
(Journal article; Peer reviewed, 2019)For a Dirichlet series symbol g.s/ D P n 1 bnn s , the associated Volterra operator Tg acting on a Dirichlet series f .s/ D P n 1 ann s is defined by the integral f 7! Z C1 s f .w/g0 .w/ dw: We show that Tg is a bounded ... -
Vote Selling Resistant Voting
(Peer reviewed; Journal article, 2020)Creating a secure (purely) remote voting scheme which prevents active vote selling is an open problem. Observing that vote selling has a primarily economic motivation, we propose a novel approach to the problem which ... -
Vurdering av matematisk problemløsning: En studie av sammenhengen mellom fokuset på problemløsning i læreplanen i matematikk og oppgavene som gis på eksamen
(Master thesis, 2009)Masteroppgaven fokuserer på vurdering av matematisk problemløsning i grunnskolen under det norske læreplanverket, L97. Den overordnende problemstillingen er: Hvordan er sammenhengen mellom fokuset på problemløsning i ...