Buscar
Mostrando ítems 1-10 de 26421
The Relative Role of Climate Variation and Control Interventions on Malaria Elimination Efforts in El Oro, Ecuador: A Modeling Study
(Frontiers Media, 2020)
Malaria is a vector-borne disease of significant public health concern. Despite widespread success of many elimination initiatives, elimination efforts in some regions of the world have stalled. Barriers to malaria elimination ...
Elimination and recursions in the scattering equations
(2016-05-10)
We use the elimination theory to explicitly construct the (n-3)! order polynomial in one of the variables of the scattering equations. The answer can be given either in terms of a determinant of Sylvester type of dimension ...
Elementary recursive quantifier elimination based on Thom encoding and sign determination
(Elsevier Science, 2017-08)
We describe a new quantifier elimination algorithm for real closed fields based onThom encoding and sign determination. The complexity of this algorithm is elemen-tary recursive and its proof of correctness is completely ...
Biparental chromosome elimination in artificial interspecific hybrids of Pennisetum purpureum and Pennisetum glaucum
(Crop Science Society of America, 2020)
Disimplicial arcs, transitive vertices, and disimplicial eliminations
(Discrete Mathematics and Theoretical Computer Science, 2015-09)
In this article we deal with the problems of finding the disimplicial arcs of a digraph and recognizing some interesting graph classes defined by their existence. A diclique of a digraph is a pair V → W of sets of vertices ...
Elimination of quantifiers of a theory of real closed rings.
(2022-10-09)
Let T* be the theory of lattice-ordered subrings, without minimal (non zero) idempontents, convex in von Neumann regular real closed rings that are divisible-proyectable and sc-regular. In this paper, a local divisibility ...
Challenges for malaria elimination in Brazil
(BioMed Central, 2016)
Abstract
Brazil currently contributes 42 % of all malaria cases reported in the Latin America and the Caribbean, a region where major progress towards malaria elimination has been achieved in recent years. ...
Biliary drug excretion
(Springer, 2021)
Biliary excretion refers to the elimination of endogenous and exogenous compounds (and their metabolites) predominantly by secretion through the canalicular membrane into the canaliculus, a space formed between the apical ...
Reductive hydrogen elimination by an iron metal center. Feq (q=+ 1,0,-1). A semiempirical molecular orbital study
(Facultad Experimental de Ciencias de la Universidad del Zulia, 2011)