Browsing Faculty of Mathematics and Natural Sciences by Title
Now showing items 9407-9426 of 9927
-
Two-particle Bose–Einstein correlations in pp collisions at √s=13 TeV measured with the ATLAS detector at the LHC
(Peer reviewed; Journal article, 2022)This paper presents studies of Bose–Einstein correlations (BEC) in proton–proton collisions at a centre-of-mass energy of 13 TeV, using data from the ATLAS detector at the CERN Large Hadron Collider. Data were collected ... -
Two-particle differential transverse momentum and number density correlations in p−Pb collisions at 5.02 TeV and Pb-Pb collisions at 2.76 TeV at the CERN Large Hadron Collider
(Peer reviewed; Journal article, 2019-10-10)We present measurements of two-particle differential number correlation functions R 2 and transverse momentum correlation functions P 2 , obtained from p -Pb collisions at 5.02 TeV and Pb-Pb collisions at 2.76 TeV. The ... -
Two-phase flow in porous media: dynamic capillarity and heterogeneous media
(Peer reviewed; Journal article, 2015-08-11)We investigate a two-phase porous media flow model, in which dynamic effects are taken into account in phase pressure difference. We consider a one-dimensional heterogeneous case, with two adjacent homogeneous blocks ... -
Two-Photon Decay of Non-Standard Higgs Bosons
(Master thesis, 1999) -
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 ...