Blar i Institutt for matematiske fag på tittel

Viser treff 2312-2331 av 2353

    • 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)

    • Volatility and Dependence in Fixed Income Forward Rates with Application to Market Risk of Derivative Portfolios 

      Vesterdal, Bjørn Erlend (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 

      Brevig, Ole Fredrik; Perfekt, Karl-Mikael; Seip, Kristian (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 

      Boyd, Colin Alexander; Haines, Thomas Edmund; Rønne, Peter (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 

      Leer, Lene Grøterud (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 ...

    • WalnutDSA: Another attempt at braid group cryptography 

      Ringerud, Magnus (Master thesis, 2019)
      Hovedformålet med denne oppgaven er å studere det digitale signatursystemet WalnutDSA, som ble foreslått til det amerikanske National Institute of Standards and Technology (NIST) sin ``Post-Quantum Cryptography Standardization'' ...

    • Wavefront aberration correction in medical ultrasound imaging 

      Varslot, Trond (Doktoravhandlinger ved NTNU, 1503-8181; 2004:165, Doctoral thesis, 2004)
      Medisinsk ultralydavbildning er et relativt rimelig verktøy som er i utstrakte bruk på dagens sykehus og tildels også legekontor. En underliggende antakelse ved dagens avbildningsteknikker er at vevet som skal avbildes i ...

    • Wavelet Techniques in Medical Imaging: Classification of UltraSound Images using the Windowed Scattering Transform 

      Finsberg, Henrik Nicolay (Master thesis, 2014)
      In this thesis we will study wavelet techniques for image classification in ultrasound(US) images. The aim is to develop a method for classifying the degree of inflammation in finger-joints.We develop and apply the techniques ...

    • Wavelets and irregular time series 

      Andreassen, Børge Solli (Master thesis, 2012)
      In this thesis we study time series containing pressure measurements from a three phase flow pipeline at the Ekofisk oil field. The pipeline transports a mixture of oil, water and gas from $15$ wells for approximately ...