Blar i Institutt for matematiske fag på tittel
Viser treff 1904-1923 av 2434
-
SDElib: Creating, solving and analyzing stochastic differential equations - A program written in Python 3.5
(Master thesis, 2017)This paper is about a Python package called sdelib intended to work with stochastic differential equations (SDEs). The package can solve SDEs, estimate strong and weak orders of convergence of SDEs, and plot stability ... -
Seasonal distribution of an opportunistic apex predator (Tursiops truncatus) in marine coastal habitats of the Western Mediterranean Sea
(Peer reviewed; Journal article, 2022)Assessing the distribution of marine apex–predators is pivotal to understanding community interactions and defining management goals. However, several challenges arise in both estimates and predictions considering the ... -
Seasonal diversity dynamics of a boreal zooplankton community under climate impact
(Journal article; Peer reviewed, 2022)Seasonality and long-term environmental variability afect species diversity through their efects on the dynamics of species. To investigate such efects, we ftted a dynamic and heterogeneous species abundance model generating ... -
The second moment of Sn(t) on the Riemann hypothesis
(Journal article; Peer reviewed, 2021) -
A second-order numerical method for the aggregation equations
(Peer reviewed; Journal article, 2020)Abstract: Inspired by so-called TVD limiter-based second-order schemes for hyperbolic conservation laws, we develop a formally second-order accurate numerical method for multi-dimensional aggregation equations. The method ... -
Secure Messaging with Crypho
(Master thesis, 2020)I denne oppgaven gir vi et overblikk over meldingsapplikasjonene, Crypho og Signal, som bruker ende-til-ende-kryptering med symmetrisk kryptering. Vi bruker en spill-basert metode til å undersøke sikkerheten til kanaler ... -
Security analysis of blind signatures and group signatures
(Master thesis, 2007)We present the latest formal security definitions for blind signature schemes and for group signature schemes. We start by introducing theory about algorithms, probability distributions, distinguishers, protocol attacks ... -
Security Analysis of Electronic Identity Schemes
(Master thesis, 2009)This report is about electronic identity (eID) schemes and a security analysis in the Universal Composable (UC) security framework of Transport Layer Security (TLS) and OpenID. The security analysis show that secure ... -
Security Analysis of the NTRUEncrypt Public Key Encryption Scheme
(Master thesis, 2007)The public key cryptosystem NTRUEncrypt is analyzed with a main focus on lattice based attacks. We give a brief overview of NTRUEncrypt and the padding scheme NAEP. We propose NTRU-KEM, a key encapsulation method using ... -
Security for Electronic Voting Systems
(Doctoral theses at NTNU;2023:381, Doctoral thesis, 2023) -
Security Model for Privacy-Preserving Blockchain-Based Cryptocurrency Systems
(Lecture Notes in Computer Science;13983, Chapter, 2023)Privacy-preserving blockchain-based cryptocurrency systems have become quite popular as a way to provide confidential payments. These cryptocurrency systems differ in their designs, underlying cryptography, and confidentiality ... -
Security notions for cloud storage and deduplication
(Journal article; Peer reviewed, 2018)Cloud storage is in widespread use by individuals and enterprises but introduces a wide array of attack vectors. A basic step for users is to encrypt their data, yet it is not obvious what security properties are required ... -
Security of Signatures in The Quantum Random Oracle Model
(Master thesis, 2023)Målet med denne oppgaven er å studere beviselig sikkerhet i \emph{post-kvante kryptografi} (PQC) og andvende dette mot CRYSTALs gitter baserte signatur Dilithium. Først definerer vi den nødvendige teorien for å forstå ... -
Segal Spaces in Homotopy Type Theory
(Master thesis, 2022)Homotopi type teori er et grunnleggende språk for å gjøre homotopi invariant matematikk, og dermed ville en forventet at det var et naturlig rammeverk å studere (∞,1)-kategorier i. Desverre er det for øyeblikket et åpent ... -
Segal spaces, spans, and semicategories
(Peer reviewed; Journal article, 2021)We show that Segal spaces, and more generally category objects in an -category , can be identified with associative algebras in the double -category of spans in . We use this observation to prove that “having identities” ... -
Seismic AVO Inversion with Fast Approximate Markov Chain Monte Carlo with Application to the Alvheim Field
(Master thesis, 2024)Inverse problemer kan løses i et Bayesiansk rammeverk. Da kombineres a priori kunnskap om modellparametre med en rimelighetsmodell for observerte data, for å konstruere en posterior-fordeling for modellparameterne. Markov ... -
Seismic waveform inversion using the iterative ensemble Kalman smoother
(Doctoral theses at NTNU;2020:323, Doctoral thesis, 2020) -
The Selection Kalman Model - Data assimilation for spatio-temporal variables with multimodal spatial histograms
(Doctoral theses at NTNU;2020:212, Doctoral thesis, 2021) -
Self-Force Reduced Finite Element Poisson Solvers for Monte Carlo Particle Transport Simulators
(Master thesis, 2016)The purpose of this master's thesis is to implement a Finite Element Poisson solver for a Monte Carlo particle transport simulator without the influence of self-forces. Self-forces are unphysical forces that come into ... -
Semi Lagrangian Schemes for Parabolic HJB Equations
(Master thesis, 2009)We study semi Lagrangian schemes for solving parabolic HJB equations. Efficient implementations using implicit time discretizations are presented. Iteration methods for solving linear systems and dealing with the non ...