Browsing Research Articles (Mathematical Sciences) by Title
Now showing items 221 of 43

Benchmarking multirate codon models
(Public Library of Science, 20100721)The single rate codon model of nonsynonymous substitution is ubiquitous in phylogenetic modeling. Indeed, the use of a nonsynonymous to synonymous substitution rate ratio parameter has facilitated the interpretation of ...

Calculating the output distribution of stack filters that are erosiondilation cascades, in particular LULUfilters
(Cornell University Library, 2011)ENGLISH ABSTRACT: Two procedures to compute the output distribution 0S of certain stack filters S (so called erosiondilation cascades) are given. One rests on the disjunctive normal form of S and also yields the rank ...

Codon test : modeling amino acid substitution preferences in coding sequences
(PLOS Computational Biology, 201008)Codon models of evolution have facilitated the interpretation of selective forces operating on genomes. These models, however, assume a single rate of nonsynonymous substitution irrespective of the nature of amino acids ...

Compactly generating all satisfying truth assignments of a horn formula
(Delft University in cooperation with IOS Press, 201201)ENGLISH ABSTRACT: While it was known that all models of a Horn formula can be generated in outputpolynomial time, here we present an explicit algorithm as opposed to the rather vague oraclescheme suggested in the proof ...

Computational and theoretical analysis of human diseases associated with infectious pathogens
(Hindawi, 2015)Mathematical models and computer simulations are useful experimental tools for building and testing theories, assessing quantitative conjectures, answering specific questions, determining sensitivities to changes in parameter ...

Computing the output distribution of a stack filter from the DNF of its positive Boolean function
(Cornell University Library, 2010)ENGLISH ABSTRACT: The majority of nonlinear filters used in practise are stack filters. An algorithm is presented which calculates the output distribution of an arbitrary stack filter S from the disjunctive normal form ...

Computing various types of lattices freely generated by posets
(Edizioni CERFIM Centro di Ricerche in Fisica e MatematicaResearch Center for Mathematics and Physics  Locarno  Switzerland, 2000)see item for abstract

Correcting the bias of empirical frequency parameter estimators in codon models
(Public Library of Science  PLOS, 201007)Markov models of codon substitution are powerful inferential tools for studying biological processes such as natural selection and preferences in amino acid substitution. The equilibrium character distributions of these ...

Decomposing the hypercube Qn into n isomorphic edgedisjoint trees
(Elsevier, 201202)The problem of finding edgedisjoint trees in a hypercube arises for example in the context of parallel computing [3]. Independently of applications it is of high aesthetic appeal. The hypercube of dimension n, denoted ...

Detecting individual sites subject to episodic diversifying selection
(Public Library of Science, 20120702)The imprint of natural selection on protein coding genes is often difficult to identify because selection is frequently transient or episodic, i.e. it affects only a subset of lineages. Existing computational techniques, ...

Entropy generation in a couple stress fluid flow through a vertical channel filled with saturated porous media
(MDPI, 20131025)The present work investigates numerically the inherent irreversibility in a steady flow of a couple stress fluid through a vertical channel packed with saturated porous substances. The First and Second Laws of Thermodynamics ...

Francis Guthrie : a colourful life
(Springer, 201209)In 1852, in London, Francis Guthrie posed the question of colouring a map with four colours only, the question that eventually became known as the Four Colour Problem. The problem is famous, but what else do we know of ...

Frequent toggling between alternative amino acids Is driven by selection in HIV1
(Public Library of Science, 2008)Host immune responses against infectious pathogens exert strong selective pressures favouring the emergence of escape mutations that prevent immune recognition. Escape mutations within or flanking functionally conserved ...

A geometrical model for testing bilateral symmetry of bamboo leaf with a simplified Gielis equation
(Wiley Open Access, 2016)The size and shape of plant leaves change with growth, and an accurate description of leaf shape is crucial for describing plant morphogenesis and development. Bilateral symmetry, which has been widely observed but poorly ...

The geometry of unitary 2representations of finite groups and their 2characters
(Springer Link, 201102)Motivated by topological quantum field theory, we investigate the geometric aspects of unitary 2representations of finite groups on 2Hilbert spaces, and their 2characters. We show how the basic ideas of geometric ...

Invading a mutualistic network : to be or not to be similar
(Wiley Open Access, 2016)Biological invasion remains a major threat to biodiversity in general and a disruptor to mutualistic interactions in particular. While a number of empirical studies have directly explored the role of invasion in mutualistic ...

Is invasion success of Australian trees mediated by their native biogeography, phylogenetic history, or both?
(Oxford University Press on behalf of the Annals of Botany Company, 2017)For a plant species to become invasive it has to progress along the introductionnaturalizationinvasion (INI) continuum which reflects the joint direction of niche breadth. Identification of traits that correlate with and ...

Left ventricular segmentation from MRI datasets with edge modelling conditional random fields
(BioMed Central, 201307)Background: This paper considers automatic segmentation of the left cardiac ventricle in short axis magnetic resonance images. Various aspects, such as the presence of papillary muscles near the endocardium border, makes ...

Model checking rational agents
(IEEE  Institute of Electrical and Electronics Engineers, 200410)Agentoriented programming techniques seem appropriate for developing systems that operate in complex, dynamic, and unpredictable environments. We aim to address this requirement by developing modelchecking techniques for ...

Modeling HIV1 drug resistance as episodic directional selection
(PLOS Computational Biology, 201105)The evolution of substitutions conferring drug resistance to HIV1 is both episodic, occurring when patients are on antiretroviral therapy, and strongly directional, with sitespecific resistant residues increasing in ...