Blar i Faculty of Mathematics and Natural Sciences på tittel
Viser treff 9387-9406 av 9898
-
Two-photon double ionization of helium by attosecond laser pulses: Evidence of highly correlated electron motion
(Peer reviewed; Journal article, 2012)We apply a recently developed ab initio numerical framework to investigate the angular distributions of the emitted electrons in the immediate proximity of the threshold for the two-photon double ionization of helium. ... -
Two-pion femtoscopy in p-Pb collisions at \(\sqrt{s_{\rm NN}}=5.02\) TeV
(Peer reviewed; Journal article, 2015-03)We report the results of the femtoscopic analysis of pairs of identical pions measured in p-Pb collisions at \(\sqrt{s_{\mathrm{NN}}}=5.02\) TeV. Femtoscopic radii are determined as a function of event multiplicity and ... -
Two-scale preconditioning for two-phase nonlinear flows in porous media
(Peer reviewed; Journal article, 2015)Solving realistic problems related to flow in porous media to desired accuracy may be prohibitively expensive with available computing resources. Multiscale effects and nonlinearities in the governing equations are among ... -
The two-step development of a duplex retina involves distinct events of cone and rod neurogenesis and differentiation
(Peer reviewed; Journal article, 2016-08)Unlike in mammals, persistent postembryonic retinal growth is a characteristic feature of fish, which includes major remodeling events that affect all cell types including photoreceptors. Consequently, visual capabilities ... -
Two-tensor Fiber Tractography
(Peer reviewed; Journal article, 2007)Estimating white matter fiber pathways from a diffusion tensor MRI dataset has many important applications in medical research. However, the standard approach of performing tracking on single-tensor estimates per voxel is ... -
A two-way nesting procedure for an ocean model with application to the Norwegian Sea.
(Department of Applied Mathematics report, Research report, 2000-11) -
Two-year moored records of dense-water production and flow through a gap in the Mid-Atlantic Ridge north of Iceland
(Master thesis, 2020-03-11) -
A type system for counting instances of software components
(Peer reviewed; Journal article, 2012)We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ... -
A Type System for the Safe Instantiation of Components
(Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, Journal article, 2003-09-02)Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component ... -
A Type System for Usage of Software Components
(Lecture Notes in Computer Science, Chapter; Peer reviewed, 2009)The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ... -
Type Systems for Guaranteeing Resource Bounds of Component Software
(Doctoral thesis, 2006-05-15)Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ... -
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 ...