Blar i Faculty of Mathematics and Natural Sciences på tittel
Viser treff 1325-1344 av 9860
-
Composition of multilevel domain-specific modelling languages
(Journal article; Peer reviewed, 2023)Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM ... -
Compositional reservoir simulation with emphasis on the IMPSAT formulation
(Doctoral thesis, 2006-04-07) -
Compositional turnover and variation in Eemian pollen sequences in Europe
(Peer reviewed; Journal article, 2019)The Eemian interglacial represents a natural experiment on how past vegetation with negligible human impact responded to amplified temperature changes compared to the Holocene. Here, we assemble 47 carefully selected Eemian ... -
Compositions of dissolved organic matter in the ice-covered waters above the Aurora hydrothermal vent system, Gakkel Ridge, Arctic Ocean
(Journal article; Peer reviewed, 2022)Hydrothermal vents modify and displace subsurface dissolved organic matter (DOM) into the ocean. Once in the ocean, this DOM is transported together with elements, particles, dissolved gases and biomass along with the ... -
A comprehensive assessment of the intertidal biodiversity along the Portuguese coast in the early 2000s
(Journal article; Peer reviewed, 2021)Background The unprecedented rates of current biodiversity loss have motivated a renewed interest in environmental and biodiversity monitoring. The need for sustained monitoring strategies has prompted not only the ... -
Comprehensive characterization of glial cells in the urochordate Ciona intestinalis
(Doctoral thesis, 2021-05-31)There are two main classes of cells that are present in the nervous system: neurons and glia. Neurons are the signalling units of the nervous system and are responsible to transmit electrical and chemical signals to other ... -
Comprehensive measurements of \(t\)-channel single top-quark production cross sections at \(\sqrt{s} = 7\) TeV with the ATLAS detector
(Peer reviewed; Journal article, 2014-12-11)This article presents measurements of the \(t\).channel single top-quark \(t\) and top-antiquark \(\bar{t}\) total production cross sections \(\sigma(tq)\) and \(\sigma(\bar{t}q)\). their ratio \(R_{t}=\sigma(tq)/\si ... -
A comprehensive phylogeographic study of Arion vulgaris Moquin-Tandon, 1855 (Gastropoda: Pulmonata: Arionidae) in Europe
(Peer reviewed; Journal article, 2019-12-17)Arion vulgaris Moquin-Tandon, 1855 is regarded as one of the 100 most invasive species in Europe. The native distribution range of this species is uncertain, but for many years, the Iberian Peninsula has been considered ... -
Compressing permutation groups into grammars and polytopes. A graph embedding approach
(Journal article; Peer reviewed, 2020)It can be shown that each permutation group G ⊑ 𝕊_n can be embedded, in a well defined sense, in a connected graph with O(n+|G|) vertices. Some groups, however, require much fewer vertices. For instance, 𝕊_n itself can ... -
Compressional wave phase velocity measurements during hydrate growth in partially and fully water saturated sandstone
(Journal article; Peer reviewed, 2022)The compressional wave phase velocity (cP) has been measured as a function of hydrate saturation (SH) during hydrate growth in Bentheim sandstone. The Fourier spectrum signal processing technique was used to specifically ... -
Computation of Treespan. A Generalization of Bandwidth to Treelike Structures
(Master thesis, 2012-06-14)Motivated by a search game, Fomin, Heggernes and Telle [Algorithmica, 2005] defined the graph parameter treespan, a generalization of the well studied parameter bandwidth. Treespan is the maximum number of appearances of ... -
Computational analysis of the evolutionary dynamics of proteins on a genomic scale
(Doctoral thesis, 2007-01-16)Biology is primarily concerned with the study of all phenotypic aspects of living organisms and evolutionary biology is more specifically interested in elucidating how different phenotypes evolved. Proteins (and RNA ... -
Computational animal welfare: towards cognitive architecture models of animal sentience, emotion and wellbeing
(Journal article; Peer reviewed, 2020)To understand animal wellbeing, we need to consider subjective phenomena and sentience. This is challenging, since these properties are private and cannot be observed directly. Certain motivations, emotions and related ... -
Computational Applications in Secondary Metabolite Discovery (CAiSMD): an online workshop
(Journal article; Peer reviewed, 2021-09-06)We report the major conclusions of the online open-access workshop “Computational Applications in Secondary Metabolite Discovery (CAiSMD)” that took place from 08 to 10 March 2021. Invited speakers from academia and industry ... -
Computational complexity aspects of super domination
(Journal article; Peer reviewed, 2023)Let G be a graph. A dominating set D ⊆ V (G) is a super dominating set if for every vertex x ∈ V (G) \ D there exists y ∈ D such that NG (y) ∩ (V (G) \ D)) = {x}. The cardinality of a smallest super dominating set of G is ... -
Computational fluid dynamics simulations of hydrogen releases and vented deflagrations in large enclosures
(Peer reviewed; Journal article, 2020-01)This paper presents model predictions obtained with the CFD tool FLACS for hydrogen releases and vented deflagrations in containers and larger enclosures. The paper consists of two parts. The first part compares experimental ... -
Computational investigation of 0-APN monomials
(Master thesis, 2022-05-18)This thesis is dedicated to exploring methods for deciding whether a power function $F(x) = x^d$ is 0-APN. Any APN function is 0-APN, and so 0-APN-ness is a necessary condition for APN-ness. APN functions are cryptographically ... -
Computational issues in parameter estimation for hidden Markov models with template model builder
(Journal article; Peer reviewed, 2023)A popular way to estimate the parameters of a hidden Markov model (HMM) is direct numerical maximization (DNM) of the (log-)likelihood function. The advantages of employing the TMB [Kristensen K, Nielsen A, Berg C, et al. ... -
Computational methods and tools to predict cytochrome P450 metabolism for drug discovery
(Peer reviewed; Journal article, 2019)In this review, we present important, recent developments in the computational prediction of cytochrome P450 (CYP) metabolism in the context of drug discovery. We discuss in silico models for the various aspects of CYP ... -
Computational Science in the 17th Century. Numerical Solution of Algebraic Equations: Digit–by–Digit Computation
(Chapter, 2022)In this paper we give a complete overview of test–problems by Viète from 1600, Harriot from 1631 and Oughtred from 1647. The original material is not easily accessible due to archaic language and lack of conciseness. Viéte’s ...