Browsing Faculty of Mathematics and Natural Sciences by Title
Now showing items 9422-9441 of 9927
-
Type Systems for Resource Use in Component Software
(Master thesis, 2006)In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it ... -
Type theoretical databases
(Journal article; Peer reviewed, 2020)We show how the display-map category of finite (symmetric) simplicial complexes can be seen as representing the totality of database schemas and instances in a single mathematical structure. We give a sound interpretation ... -
Types of pulsating aurora: Comparison of model and EISCAT electron density observations
(Journal article; Peer reviewed, 2022)Energetic particle precipitation associated with pulsating aurora (PsA) can reach down to lower mesospheric altitudes and deplete ozone. It is well documented that pulsating aurora is a common phenomenon during substorm ... -
Typical Sequences Revisited - Computing Width Parameters of Graphs
(Journal article; Peer reviewed, 2021)In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized ... -
Typical Sequences Revisited – Computing Width Parameters of Graphs
(Journal article; Peer reviewed, 2020)In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized ... -
U-Pb zircon provenance of metamorphosed clastic sediments in a developing rift (Dom Feliciano Belt, Uruguay and Kaoko Belt, Namibia)
(Master thesis, 2014-11-17)Geochronological studies of the westernmost part of the Kaoko Belt in Namibia, the Coastal Terrane, revealed zircons with distinct Neoproterozoic ages, that are no known from other parts of this orogen and an exotic origin ... -
Udvikling af elevers matematiske forståelse gennem helklassediskussion
(Journal article; Peer reviewed, 2021)I denne artikel vil jeg på baggrund af udvalgt litteratur og empiri diskutere og give eksempler på, hvordan en matematiklærer kan gennemføre en dialog på klassen. Klasserumsdialoger kritiseres ofte, og somme tider med god ... -
Ulike interesser på ulike trinn? - En komparativ studie av elevers interesse for å lære biologi, med fokus på elevtyper, klasser og trinn
(Master thesis, 2020-06-18)Denne masteroppgaven har som formål å undersøke og beskrive elevers interesse for å lære biologi ved å benytte klyngeanalyse til å identifisere elevtyper. Oppgaven bruker et kvantitativt forskningsdesign med spørreskjema ... -
Ulrich bundles on a general blow-up of the plane
(Journal article; Peer reviewed, 2023)We prove that on X n , the plane blown-up at n very general points, there are Ulrich line bundles with respect to a line bundle corresponding to curves of degree m passing simply through the n blown-up points, with m ≤ 2√n ... -
The Ultimate GUI Framework: Are We There Yet?
(Journal article; Peer reviewed, 2023)The programming community seems to be forever searching for the ultimate user interface programming approach and the accompanying framework. We describe the landscape of recent efforts in this quest through describing ... -
Ultralydsmålinger under høyt trykk - En undersøkelse av solubilisering av 1-heksanol i natrium dodecylsulfat som funksjon av trykk
(Master thesis, 2005)Ny apparatur for lydhastighetsmålinger under trykk har blitt testet, og tilpasset rubidium-klokke teknikk. Det ble deretter gjort studier på solubiliseringsprosessen som funksjon av trykk, der en variert mengde av 1-heksanol ... -
Ultramafic rock carbonation: Constraints from listvenite core BT1B, Oman Drilling Project
(Journal article; Peer reviewed, 2020)The occurrence of the quartz-carbonate alteration assemblage (listvenite) in ophiolites indicates that ultramafic rock represents an effective sink for dissolved CO2. However, the majority of earlier studies of ultramafic ... -
Ultrasonic measurement systems with diffraction correction for gas
(Master thesis, 2017-09-30) -
Ultrastructure of the anterior organ and posteriorfunnel-shaped canal of Gyrocotyle urna Wagener, 1852(Cestoda: Gyrocotylidea)
(Peer reviewed; Journal article, 2015-05-22)Using scanning and transmission electron microscopy, ultrastructure of the anterior organ and posterior funnel-shaped canal of Gyrocotyle urna Wagener, 1852 (Cestoda: Gyrocotylidea) from ratfish, Chimaera monstrosa ... -
The UN decade of ocean science for sustainable development
(Peer reviewed; Journal article, 2019-07-31)Our civilization needs a clean, resilient, productive, safe, well-observed, documented and predicted ocean. “The ocean we need for the future we want” was the motto of the Intergovernmental Oceanographic Commission proposal ... -
An Unaccounted Fraction of Marine Biogenic CaCO3 Particles
(Peer reviewed; Journal article, 2012-10-23)Biogenic production and sedimentation of calcium carbonate in the ocean, referred to as the carbonate pump, has profound implications for the ocean carbon cycle, and relate both to global climate, ocean acidification and ... -
Unaccounted mortality in purse seine fisheries. Quantification and mitigation of slipping mortality
(Doctoral thesis, 2014-06-06)Purse seining is an efficient fishing method that is used to catch most of the world’s pelagic fish species. In some of these fisheries slipping is used to adjust catch size, increase catch value or to release illegal ... -
UncertainData.jl: a Julia package for working with measurements and datasets with uncertainties
(Journal article; Peer reviewed, 2019-11-01)UncertainData.jl provides an interface to represent data with associated uncertainties for the Julia programming language (Bezanson, Edelman, Karpinski, & Shah, 2017). Unlike Measurements.jl (Giordano, 2016), which deals ... -
Uncertainties in Arctic sea ice thickness and volume: new estimates and implications for trends
(Peer reviewed; Journal article, 2014-04-22)Sea ice volume has decreased in the last decades, evoked by changes in sea ice area and thickness. Estimates of sea ice area and thickness rely on a number of geophysical parameters which introduce large uncertainties. To ...