Search results for "Theorem"
showing 10 items of 1250 documents
Expansion of the CRF19_cpx Variant in Spain
2015
Abstract Background HIV-1 CRF19_cpx, is a recombinant variant found almost exclusively in Cuba and recently associated to a faster AIDS onset. Infection with this variant leads to higher viral loads and levels of RANTES and CXCR4 co-receptor use. Objectives The goal of this study was to assess the presence of CRF19_cpx in the Spanish province of Valencia, given its high pathogenicity. Study design 1294 HIV-1 protease-reverse transcriptase (PR/RT) sequences were obtained in Valencia (Spain), between 2005 and 2014. After subtyping, the detected CRF19_cpx sequences were aligned with 201 CRF19_cpx and 66 subtype D sequences retrieved from LANL, and subjected to maximum-likelihood phylogenetic a…
Phylogenetic analyses of endoparasitic Acanthocephala based on mitochondrial genomes suggest secondary loss of sensory organs
2012
The metazoan taxon Syndermata (Monogononta, Bdelloidea, Seisonidea, Acanthocephala) comprises species with vastly different lifestyles. The focus of this study is on the phylogeny within the syndermatan subtaxon Acanthocephala (thorny-headed worms, obligate endoparasites). In order to investigate the controversially discussed phylogenetic relationships of acanthocephalan subtaxa we have sequenced the mitochondrial (mt) genomes of Echinorhynchus truttae (Palaeacanthocephala), Paratenuisentis ambiguus (Eoacanthocephala), Macracanthorhynchus hirudinaceus (Archiacanthocephala), and Philodina citrina (Bdelloidea). In doing so, we present the largest molecular phylogenetic dataset so far for this…
Molecular phylogeny of the Notostraca
2012
Abstract We used a combined analysis of one nuclear (28S rDNA) and three mitochondrial markers (COI, 12S rDNA, 16S rDNA) to infer the molecular phylogeny of the Notostraca, represented by samples from the six continents that are inhabited by this group of branchiopod crustaceans. Our results confirm the monophyly of both extant notostracan genera Triops and Lepidurus with good support in model based and maximum parsimony analyses. We used branchiopod fossils as a calibration to infer divergence times among notostracan lineages and accounted for rate heterogeneity among lineages by applying relaxed-clock models. Our divergence date estimates indicate an initial diversification into the gener…
Unbounded Linear Operators in Hilbert Spaces
2002
In order to make this monograph self-contained, we summarize in this chapter some basic definitions and results for unbounded linear operators in a Hilbert space. In Section 1.1, we recall the definitions of C*-algebras and von Neumann algebras. In Section 1.2, we define and investigate the notion of closedness, the closure and the adjoint of an unbounded linear operator in a Hilbert space. Section 1.3 is devoted to the Cayley transform approach to the self-adjointness of a symmetric operator. Section 1.4 deals with the self-adjoint extendability of a symmetric operator with help of the deficiency spaces. In Section 1.5, we extend to unbounded self-adjoint operators the spectral theorem and…
Performability of Actions
2021
AbstractAction theory may be regarded as a theoretical foundation of AI, because it provides in a logically coherent way the principles of performing actions by agents. But, more importantly, action theory offers a formal ontology mainly based on set-theoretic constructs. This ontology isolates various types of actions as structured entities: atomic, sequential, compound, ordered, situational actions etc., and it is a solid and non-removable foundation of any rational activity. The paper is mainly concerned with a bunch of issues centered around the notion of performability of actions. It seems that the problem of performability of actions, though of basic importance for purely practical ap…
Genome wide linkage disequilibrium and genetic structure in Sicilian dairy sheep breeds
2014
Background The recent availability of sheep genome-wide SNP panels allows providing background information concerning genome structure in domestic animals. The aim of this work was to investigate the patterns of linkage disequilibrium (LD), the genetic diversity and population structure in Valle del Belice, Comisana, and Pinzirita dairy sheep breeds using the Illumina Ovine SNP50K Genotyping array. Results Average r2 between adjacent SNPs across all chromosomes was 0.155 ± 0.204 for Valle del Belice, 0.156 ± 0.208 for Comisana, and 0.128 ± 0.188 for Pinzirita breeds, and some variations in LD value across chromosomes were observed, in particular for Valle del Belice and Comisana breeds. Ave…
Chronic high risk of intimate partner violence against women in disadvantaged neighborhoods: An eight-year space-time analysis
2020
Abstract We conducted a small-area ecological longitudinal study to analyze neighborhood contextual influences on the spatio-temporal variations in intimate partner violence against women (IPVAW) risk in a southern European city over an eight-year period. We used geocoded data of IPVAW cases with associated protection orders (n = 5867) in the city of Valencia, Spain (2011–2018). The city's 552 census block groups were used as the neighborhood units. Neighborhood-level covariates were: income, education, immigrant concentration, residential instability, alcohol outlet density, and criminality. We used a Bayesian autoregressive approach to spatio-temporal disease mapping. Neighborhoods with l…
Mapping geographical inequalities in childhood diarrhoeal morbidity and mortality in low-income and middle-income countries, 2000-17: analysis for th…
2020
Background: Across low-income and middle-income countries (LMICs), one in ten deaths in children younger than 5 years is attributable to diarrhoea. The substantial between-country variation in both diarrhoea incidence and mortality is attributable to interventions that protect children, prevent infection, and treat disease. Identifying subnational regions with the highest burden and mapping associated risk factors can aid in reducing preventable childhood diarrhoea. Methods: We used Bayesian model-based geostatistics and a geolocated dataset comprising 15 072 746 children younger than 5 years from 466 surveys in 94 LMICs, in combination with findings of the Global Burden of Diseases, Injuri…
On the variations of the Betti numbers of regular levels of Morse flows
2011
Abstract We generalize results in Cruz and de Rezende (1999) [7] by completely describing how the Betti numbers of the boundary of an orientable manifold vary after attaching a handle, when the homology coefficients are in Z, Q, R or Z p Z with p prime. First we apply this result to the Conley index theory of Lyapunov graphs. Next we consider the Ogasa invariant associated with handle decompositions of manifolds. We make use of the above results in order to obtain upper bounds for the Ogasa invariant of product manifolds.
Stability analysis and H∞ controller synthesis of discrete-time switched systems with time delay
2014
Abstract This paper studies the problems of stability analysis and H ∞ controller synthesis of switched systems with time-varying delay based on an input–output approach. The attention is focused on developing a new method to further reduce the conservatism of the existing results. The system under consideration is transformed into an interconnection system, and the scaled small gain condition for the interconnection systems is introduced. Based on the system transformation and the scaled small gain theorem, an improved delay-dependent stability criterion is proposed such that the interconnection system is asymptotically stable, which is also proved to guarantee the asymptotic stability of …