Search results for "Theorem"
showing 10 items of 1250 documents
Topological systems and Artin glueing
2012
Abstract Using methods of categorical fuzzy topology, the paper shows a relation between topological systems of S. Vickers and Artin glueing of M. Artin. Inspired by the problem of interrelations between algebra and topology, we show the necessary and sufficient conditions for the category, obtained by Artin glueing along an adjoint functor, to be (co)algebraic and (co)monadic, incorporating the respective result of G. Wraith. As a result, we confirm the algebraic nature of the category of topological systems, showing that it is monadic.
MR2553995 (2010h:26008): Mihail, Alexandru The Arzela-Ascoli theorem for partial defined functions. An. Univ. Bucureşti Mat. 57 (2008), no. 2, 259–26…
2008
In this paper the author gives a generalization of the Arzela-Ascoli theorem for partial defined functions, i.e., for functions defined in a nonempty subset of a metric space X and taking values in a metric space Y. To this end suitable definitions of local and uniform convergence for partial defined functions are introduced. As an application a different proof of a known result concerning the existence of Lipschitz selections for Lipschitz multifunctions is given. Reviewed by Luisa Di Piazza
Search for patterns by combining cosmic-ray energy and arrival directions at the Pierre Auger Observatory
2015
Energy-dependent patterns in the arrival directions of cosmic rays are searched for using data of the Pierre Auger Observatory. We investigate local regions around the highest-energy cosmic rays with E ≥ 6×1019 eV by analyzing cosmic rays with energies above E ≥ 5×1018 eV arriving within an angular separation of approximately 15∘. We characterize the energy distributions inside these regions by two independent methods, one searching for angular dependence of energy-energy correlations and one searching for collimation of energy along the local system of principal axes of the energy distribution. No significant patterns are found with this analysis. The comparison of these measurements with …
Diffeomorphisms, Noether charges, and the canonical formalism in two-dimensional dilaton gravity
1995
We carry out a parallel study of the covariant phase space and the conservation laws of local symmetries in two-dimensional dilaton gravity. Our analysis is based on the fact that the Lagrangian can be brought to a form that vanishes on-shell giving rise to a well-defined covariant potential for the symplectic current. We explicitly compute the symplectic structure and its potential and show that the requirement to be finite and independent of the Cauchy surface restricts the asymptotic symmetries.
Multiplicity results for systems of asymptotically linear second order equations
2002
Abstract We prove the existence and multiplicity of solutions, with prescribed nodal properties, for a BVP associated with a system of asymptotically linear second order equations. The applicability of an abstract continuation theorem is ensured by upper and lower bounds on the number of zeros of each component of a solution.
Multiplicity results for asymptotically linear equations, using the rotation number approach
2007
By using a topological approach and the relation between rotation numbers and weighted eigenvalues, we give some multiplicity results for the boundary value problem u′′ + f(t, u) = 0, u(0) = u(T) = 0, under suitable assumptions on f(t, x)/x at zero and infinity. Solutions are characterized by their nodal properties.
Bayesian dynamic modeling of time series of dengue disease case counts
2017
The aim of this study is to model the association between weekly time series of dengue case counts and meteorological variables, in a high-incidence city of Colombia, applying Bayesian hierarchical dynamic generalized linear models over the period January 2008 to August 2015. Additionally, we evaluate the model’s short-term performance for predicting dengue cases. The methodology shows dynamic Poisson log link models including constant or time-varying coefficients for the meteorological variables. Calendar effects were modeled using constant or first- or second-order random walk time-varying coefficients. The meteorological variables were modeled using constant coefficients and first-order …
A NEW COMPLEXITY FUNCTION FOR WORDS BASED ON PERIODICITY
2013
Motivated by the extension of the critical factorization theorem to infinite words, we study the (local) periodicity function, i.e. the function that, for any position in a word, gives the size of the shortest square centered in that position. We prove that this function characterizes any binary word up to exchange of letters. We then introduce a new complexity function for words (the periodicity complexity) that, for any position in the word, gives the average value of the periodicity function up to that position. The new complexity function is independent from the other commonly used complexity measures as, for instance, the factor complexity. Indeed, whereas any infinite word with bound…
Systematic review and mixed treatment comparison meta-analysis of randomized clinical trials of primary oral antifungal prophylaxis in allogeneic hem…
2014
Background Antifungal prophylaxis is a promising strategy for reducing invasive fungal infections (IFIs) in allogeneic hematopoietic cell transplant (alloHCT) recipients, but the optimum prophylactic agent is unknown. We used mixed treatment comparison (MTC) meta-analysis to compare clinical trials examining the use of oral antifungals for prophylaxis in alloHCT recipients, with the goal of informing medical decision-making. Methods Randomized controlled trials (RCTs) of fluconazole, itraconazole, posaconazole, and voriconazole for primary antifungal prophylaxis were identified through a systematic literature review. Outcomes of interest (incidence of IFI/invasive aspergillosis/invasive can…
SANIST: optimization of a technology for compound identification based on the European Union directive with applications in forensic, pharmaceutical …
2016
Electrospray Ionization and collision induced dissociation tandem mass spectrometry are usually employed to obtain compound identification through a mass spectra match. Different algorithms have been developed for this purpose (for example the nist match algorithm). These approaches compare the tandem mass spectra of the unknown analyte with the tandem mass spectra spectra of known compounds inserted in a database. The compounds are usually identified on the basis of spectral match value associated with a probability of recognition. However, this approach is not usually applied to multiple reaction monitoring transition spectra achieved by means of triple quadrupole apparatus, mainly due to…