Browsing Matematisk institutt by Title
Now showing items 3724-3743 of 3782
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2022)In the language {0,1,∘,⪯}, where 0 and 1 are constant symbols, ∘ is a binary function symbol and ⪯ is a binary relation symbol, we formulate two theories, WD and D, that are mutually interpretable with the theory of ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)We show that we can interpret concatenation theories in arithmetical theories without coding sequences by identifying binary strings with 2 × 2 matrices with determinant 1.
-
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2022)We study a first-order theory of finite full binary trees with an axiom schema of open induction. We show that this theory is sequential by constructing a direct interpretation of Adjunctive Set Theory in a very weak ...
-
(Research report / Forskningsrapport, 1989)
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2017)We discuss the construction of robust preconditioners for finite element approximations of Biot’s consolidation model in poroelasticity. More precisely, we study finite element methods based on generalizations of the ...
-
(Master thesis / Masteroppgave, 2021)With the advent of Industry 4.0, Predictive Maintenance (PdM) has garnered a lot of interest, both academically and in the industry. This thesis will be developing and using machine learning methods for PdM, using real ...
-
(Master thesis / Masteroppgave, 2009)In this study, I examined data from a large cohort of HIV infected individuals of both genders from a small township of Bangwe in Malawi to demonstrate the influence of general weight loss, a reported AIDS wasting syndrome ...
-
(Master thesis / Masteroppgave, 2013)In this thesis I analyze two datasets about cervix cancer supplied by the Norwegian Radium Hospital. The datasets are measured by two different methods, the cDNA microarray technology and the Illumina BeadArray technology, ...
-
(Research report / Forskningsrapport, 2001)A Meyer-Tanaka formula involving weighted local time is derived for fractional Brownian motion and geometric fractional Brownian motion. The formula is applied to the study of the stop-loss-start-gain (SLSG) portfolio in ...
-
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2020)Continuous representations are fundamental for modeling sampled data and performing computations and numerical simulations directly on the model or its elements. To effectively and efficiently address the approximation of ...
-
(Research report / Forskningsrapport, 2007)We present a random walk approximation to fractional Brownian motion where the increments of the fractional random walk are defined as a weighted sum of the past increments of a Bernoulli random walk.
-
(Research report / Forskningsrapport, 1988)
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2022)Abstract Bipartite incidence graph sampling provides a unified representation of many sampling situations for the purpose of estimation, including the existing unconventional sampling methods, such as indirect, network or ...
-
(Master thesis / Masteroppgave, 2023)We begin with a treatment of classical algebraic number theory and algebraic $K$-theory. After introducing the notion of a (Steinberg) symbol, we use Tate's result on the structure of $K_2(\Q)$ to prove quadratic reciprocity. ...
-
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2021)The purpose of this paper is to discuss representations of high order C0 finite element spaces on simplicial meshes in any dimension. When computing with high order piecewise polynomials the conditioning of the basis is ...
-
(Master thesis / Masteroppgave, 2008)In reservoir simulation, the modeling and the representation of wells are critical factors. The standard approach for well modeling is to couple the well to the reservoir through the use of a well index, which relates the ...
-
(Research report / Forskningsrapport, 2006)We propose and analyse a finite volume scheme of the Godunov type that preserves discrete steady states. The scheme works in resonance regime as well as for problems with discontinuous flux. Moreover, no additional ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2022)We continue the analysis of nonlinear conservation laws on networks initiated in [M. Musch, U. S. Fjordholm, and N. H. Risebro, Netw. Heterog. Media, 17 (2022), pp. 101--128] by extending our analysis to a large class of ...
-
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2023)
-
(Research report / Forskningsrapport, 2003)We consider a scalar conservation law modeling the settling of particles in an ideal clarifier-thickener unit. The conservation law has a nonconvex flux which is spatially dependent on two discontinuous parameters. We ...