Blar i Faculty of Mathematics and Natural Sciences på tittel
Viser treff 1319-1338 av 9782
-
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 ... -
Computational science in the eighteenth century. Test cases for the methods of Newton, Raphson, and Halley: 1685 to 1745
(Peer reviewed; Journal article, 2020)This is an overview of examples and problems posed in the late 1600s up to the mid 1700s for the purpose of testing or explaining the two different implementations of the Newton-Raphson method, Newton’s method as described ... -
Computational search for isotopic semifields and planar functions in characteristic 3
(Master thesis, 2023-09-01)In this thesis, we investigate the possibility of finding new planar functions and corresponding semifields in characteristic 3 by the construction of isotopic semifields from the known families and sporadic instances of ... -
Computationally Efficient Methods for Seismic Modeling and Inversion
(Doctoral thesis, 2020-11-18)This thesis presents new methods for the modeling of seismic waveforms based on ray theory and ray-Born integrals. The waveforms are used in forward modeling, imaging and full waveform inversion and are computed in 3D ... -
Computer-aided proofs and algorithms in analysis
(Doctoral thesis, 2013-06-14)The computational power has increased dramatically since the appearance of the first computers, making them a vital tool in the analysis of dynamical systems. We present further applications of those two basic ideas, namely ... -
Computing Connected Components on Multiple GPUs
(Master thesis, 2018-12-19)We look at multiple GPU programming, using the connected components algorithm as the basis when we look into libraries and runtime environment for multiple GPU programming. We also show that Rem is a fast parallel algorithm, ... -
Computing cutwidth and pathwidth of semi-complete digraphs via degree orderings
(Peer reviewed; Journal article, 2013)The notions of cutwidth and pathwidth of digraphs play a central role in the containment theory for tournaments, or more generally semi-complete digraphs, developed in a recent series of papers by Chudnovsky, Fradkin, Kim, ... -
Computing minimal triangulation in Time o(n^2.376)
(Journal article, 2005)