Browsing Faculty of Mathematics and Natural Sciences by Title
Now showing items 1442-1461 of 10003
-
Construction of the circle in UniMath
(Journal article; Peer reviewed, 2021)We show that the type TZ of Z-torsors has the dependent universal property of the circle, which characterizes it up to a unique homotopy equivalence. The construction uses Voevodsky’s Univalence Axiom and propositional ... -
Constructive and experimental examination of reliability and robustness in dynamically stressed bolted joints
(Master thesis, 2018-12)Loosening and failure of bolts and nuts is, and has historically always been, a challenge for industries all over the world. This thesis examines the bolted connections of a local plough manufacturer (hereafter referred ... -
Consumption of sea lice by lumpfish (Cyclopterus lumpus): qPCR quantification and use of a non-destructive sampling method
(Peer reviewed; Journal article, 2019)In the present study, it was attempted to quantify sea lice grazing in lumpfish by using a recently published qPCR assay. This method utilizes a small aliquot (10 μL) of the stomach fluid of the lumpfish which can be ... -
Contaminant accumulation and biological responses in Atlantic cod (Gadus morhua) caged at a capped waste disposal site in Kollevåg, Western Norway
(Peer reviewed; Journal article, 2019)The aim of this study was to assess whether fish in Kollevåg, a sheltered bay on the western coast of Norway, previously utilized as a waste disposal site, could be affected by environmental contaminants leaking from the ... -
Contemporary evolution caused by fisheries: Contributions from experimental studies
(Doctoral thesis, 2012-11-06)Evolutionary change is occurring within tens of generations or fewer in nature. This contemporary evolution is commonly caused by human activities, as they alter the selective pressures that the populations experience. ... -
A continent-wide detailed geological map dataset of Antarctica
(Journal article; Peer reviewed, 2023)A dataset to describe exposed bedrock and surficial geology of Antarctica has been constructed by the GeoMAP Action Group of the Scientific Committee on Antarctic Research (SCAR) and GNS Science. Our group captured existing ... -
A continous Dependence Result for nonlinear degenerate parabolic Equations with spatially dependent flux Function.
(Department of Applied Mathematics report; 146, Research report, 2000-06) -
Continued warming, salinification and oxygenation of the Greenland Sea gyre
(Peer reviewed; Journal article, 2018-06-18)The Greenland Sea gyre is one of the few areas where the water column is ventilated through open ocean convection. This process brings both anthropogenic carbon and oxygen from the atmosphere and surface ocean into the ... -
Continuity of Formal Power Series Products in Nonlinear Control Theory
(Journal article; Peer reviewed, 2022)Formal power series products appear in nonlinear control theory when systems modeled by Chen–Fliess series are interconnected to form new systems. In fields like adaptive control and learning systems, the coefficients of ... -
Continuous and episodic sedimentation in western Norwegian fjord lakes. A Holocene climatic perspective
(Doctoral thesis, 2011-10-21)A Holocene chronology of hazardous events has been constructed in parallel with a new record of glacier variability from inner Nordfjord in western Norway, based on the analysis of seismic profiles and sediment cores from ... -
Continuous dependence estimates for viscosity solutions of fully nonlinear degenerate elliptic equations.
(Department of Applied Mathematics report, Research report, 2001-08) -
Continuous Levels-of-Detail and Visual Abstraction for Seamless Molecular Visualization
(Peer reviewed; Journal article, 2014-05-06)Molecular visualization is often challenged with rendering of large molecular structures in real time. We introduce a novel approach that enables us to show even large protein complexes. Our method is based on the ... -
A Continuous Max-Flow Approach to Minimal Partitions with Label Cost Prior
(Chapter; Peer reviewed, 2011)This paper investigates a convex relaxation approach for minimum description length (MDL) based image partitioning or labeling, which proposes an energy functional regularized by the spatial smoothness prior joint with a ... -
Continuous Max-Flow for Image Segmentation with Shape Priors
(Master thesis, 2014-06-02)In this thesis we propose a stable method for image segmentation with shape priors. The original Chan-Vese intensity based segmentation model with regularisation term is extended to include shape prior information. We study ... -
Continuous monitoring of the isotopic composition of surface water vapor at Lhasa, southern Tibetan Plateau
(Journal article; Peer reviewed, 2021)The stable isotopes (δ18O and δD) of water vapor are used to characterize continuous variations in large-scale and boundary-layer atmospheric processes. We presented continuous measurements of δ18O in surface water vapor ... -
A continuous tephrostratigraphic record from the Labrador Sea spanning the last 65 ka
(Journal article; Peer reviewed, 2020)Volcanic ash preserved in marine sediment sequences is key for independent synchronization of palaeoclimate records within and across different climate archives. Here we present a continuous tephrostratigraphic record from ... -
Continuous Updating of a Coupled Reservoir-Seismic Model Using an Ensemble Kalman Filter Technique
(Doctoral thesis, 2007-03-29)This work presents the development of a method based on the ensemble Kalman filter (EnKF) for continuous reservoir model updating with respect to the combination of production data, 3D seismic data and time-lapse seismic ... -
Contractional deformation of porous sandstone: Insights from the Aztec Sandstone, SE Nevada, USA
(Peer reviewed; Journal article, 2015-05)Contractional deformation of highly porous sandstones is poorly explored, as compared to extensional deformation of such sedimentary rocks. In this work we explore the highly porous Aztec Sandstone in the footwall to the ... -
Contractional deformation of porous sandstones. Laramide and Sevier deformation of the Navajo and Aztec sandstones in western USA
(Doctoral thesis, 2015-02-16)In response to stress, high porosity sandstones tend to deform and localize strain in the form of deformation bands, which form by rotation, sliding and potentially crushing of grains. Contrary to slip surfaces and fractures, ... -
Contrasting geomorphic and stratigraphic responses to normal fault development during single and multi-phase rifting
(Journal article; Peer reviewed, 2022-01-10)Understanding the impact of tectonics on surface processes and the resultant stratigraphic evolution in multi-phase rifts is challenging, as patterns of erosion and deposition related to older phases of extension are ...