Browsing Institutt for matematiske fag by Title

Now showing items 2596-2615 of 2642

    • Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions 

      Aranha, Diego F.; Baum, Carsten; Gjøsteen, Kristian; Silde, Tjerand Aga (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 

      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 ...

    • Waves in Excitable Media 

      Theisen, Bjørn Bjørge (Master thesis, 2012)
      This thesis is dedicated to the study of Barkley's equation, a stiff diffusion-reaction equation describing waves in excitable media. Several numerical solution methods will be derived and studied, range from the simple ...

    • Waves of maximal height for a class of nonlocal equations with homogeneous symbols 

      Bruell, Gabriele; Dhara, Raj Narayan (Peer reviewed; Journal article, 2021)
      We discuss the existence and regularity of periodic traveling-wave solutions of a class of nonlocal equations with homogeneous symbol of order −r , where r > 1. Based on the properties of the nonlocal convolution operator, ...

    • Waves of maximal height for a class of nonlocal equations with inhomogeneous symbols 

      Le, Hung (Journal article, 2022)
      In this paper, we consider a class of nonlocal equations where the convolution kernel is given by a Bessel potential symbol of order α for α>1. Based on the properties of the convolution operator, we apply a global bifurcation ...

    • Weak entropy solutions to a model in induction hardening, existence and weak-strong uniqueness 

      Hömberg, Dietmar Josef; Lasarzik, Robert (Journal article, 2021)
      In this paper, we investigate a model describing induction hardening of steel. The related system consists of an energy balance, an ordinary differential equation (ODE) for the different phases of steel, and Maxwell’s ...

    • Weighted approximation in C 

      Fornæss, John Erik; Wu, Jujie (Journal article; Peer reviewed, 2019)
      We prove that if {φj}j is a sequence of subharmonic functions which are increasing to some subharmonic function φ in C , then the union of all the weighted Hilbert spaces H(φj) is dense in the weighted Hilbert ...