Search results for "Theorem"

showing 10 items of 1250 documents

Worldwide trends in blood pressure from 1975 to 2015: a pooled analysis of 1479 population-based measurement studies with 19.1 million participants

2017

Background Raised blood pressure is an important risk factor for cardiovascular diseases and chronic kidney disease. We estimated worldwide trends in mean systolic and mean diastolic blood pressure, and the prevalence of, and number of people with, raised blood pressure, defined as systolic blood pressure of 140 mm Hg or higher or diastolic blood pressure of 90 mm Hg or higher. Methods For this analysis, we pooled national, subnational, or community population-based studies that had measured blood pressure in adults aged 18 years and older. We used a Bayesian hierarchical model to estimate trends from 1975 to 2015 in mean systolic and mean diastolic blood pressure, and the prevalence of rai…

presión sanguíneahypertensionSettore MED/09 - Medicina Internaunited-stateshumanosBlood Pressuresystematic analysisGlobal HealthRisk FactorsGeneral & Internal MedicinePrevalencefactores de riesgoHumanssecular trendscardiovascular risk-factorsMedicine (all)global burdenprevalenciaBayes Theoremgender-differences//purl.org/pe-repo/ocde/ford#3.02.00 [https]sodium-intakehealth examination surveyslow-incometeorema de Bayes
researchProduct

The existence of solutions for the modified (p(x), q(x))-Kirchhoff equation

2022

We consider the Dirichlet problem-Delta(Kp)(p(x))u(x) - Delta(Kq)(q(x))u(x) = f(x, u(x), del u(x)) in Omega, u vertical bar(partial derivative Omega) = 0,driven by the sum of a p(x)-Laplacian operator and of a q(x)-Laplacian operator, both of them weighted by indefinite (sign-changing) Kirchhoff type terms. We establish the existence of weak solution and strong generalized solution, using topological tools (properties of Galerkin basis and of Nemitsky map). In the particular case of a positive Kirchhoff term, we obtain the existence of weak solution (= strong generalized solution), using the properties of pseudomonotone operators.

pseudomonotone operatorGalerkin basisSettore MAT/05 - Analisi MatematicaKirchhoff termBrouwer fixed point theoremNemitsky map
researchProduct

Correspondence between generalized binomial field states and coherent atomic states

2008

We show that the N-photon generalized binomial states of electromagnetic field may be put in a bijective mapping with the coherent atomic states of N two-level atoms. We exploit this correspondence to simply obtain both known and new properties of the N-photon generalized binomial states. In particular, an over-complete basis of these binomial states and an orthonormal basis are obtained. Finally, the squeezing properties of generalized binomial state are analyzed.

quantum statesBinomial (polynomial)Basis (linear algebra)Binomial approximationGeneral Physics and AstronomyState (functional analysis)Gaussian binomial coefficientsymbols.namesakeQuantum mechanicssymbolsCoherent statesMultinomial theoremGeneral Materials ScienceOrthonormal basisStatistical physicsPhysical and Theoretical ChemistryMathematicsThe European Physical Journal Special Topics
researchProduct

Topics in calculus and geometry on metric spaces

2022

In this thesis we present an overview of some important known facts related to topology, geometry and calculus on metric spaces. We discuss the well known problem of the existence of a lipschitz equivalent metric to a given quasiultrametric, revisiting known results and counterexamples and providing some new theorems, in an unified approach. Also, in the general setting of a quasi-metric doubling space, suitable partition of unity lemmas allows us to obtain, in step two Carnot groups, the well known Whitney’s extension theorem for a given real function of class C^m defined on a closed subset of the whole space: this result relies on relevant properties of the symmetrized Taylor’s polynomial…

quasi-ultrametric spacecalculuCarnot groupconvexityLipschitz functionmetric spaceWhitney type extension theoremextension theoremdoubling spacepartitionSettore MAT/05 - Analisi Matematicasemi-distance distancepaces of homogeneous typequasi-metric spacesmetrization theoremof unity lemma
researchProduct

Introduction to Mathematical Logic, Edition 2021

2021

Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux and resolution methods. Herbrand's theorem. Sections 1, 2, 3 represent an extended translation of the corresponding chapters of the book: V. Detlovs, Elements of Mathematical Logic, Riga, University of Latvia, 1964, 252 pp. (in Latvian).

resolution methodHerbrand's theoremmodel theoryComputer Science::Logic in Computer Sciencepredicate logicmathematical logic:MATHEMATICS::Algebra geometry and mathematical analysis::Mathematical logic [Research Subject Categories]propositional logictableaux methodcompleteness theorems
researchProduct

Some fixed point theorems for occasionally weakly compatible mappings in probabilistic semi-metric spaces

2009

We prove some common fixed point theorems in probabilistic semi-metric spaces for occasionally weakly compatible mappings satisfying a generalized contractive condition. We give also results of common fixed point for mappings satisfying a condition of integral type.

semi-metric spacesSettore MAT/05 - Analisi MatematicaOccasionally weakly compatible mappingcommon fixed point theorem
researchProduct

Continuum: A spatiotemporal data model to represent and qualify filiation relationships

2013

International audience; This work introduces an ontology-based spatio-temporal data model to represent entities evolving in space and time. A dynamic phenomenon generates a complex relationship network between the entities involved in the process. At the abstract level, the relationships can be identity or topological filiations. The existence of an identity filiation depends on whether the object changes its identity or not. On the other hand, topological filiations are based exclusively on the spatial component, like in the case of growth, reduction, merging or splitting. When combining identity and topological filiations, six filiation relationships are obtained, forming a second abstrac…

spatial dynamicsTheoretical computer sciencefiliationintegrity constraintsSpatio-temporal modelingspatio-temporal evolutionComputer scienceOntology (information science)Object (computer science)computer.software_genreSemantic data modelConsistency (database systems)[ INFO.INFO-HC ] Computer Science [cs]/Human-Computer Interaction [cs.HC]Data modelData integrityI.2.4 [ARTIFICIAL INTELLIGENCE]: Knowledge Representation Formalisms and Methods - Semantic networks. I.2.3 [ARTIFICIAL INTELLIGENCE]: Deduction and Theorem Proving - Inference engines.Identity (object-oriented programming)semanticreasoningData mining[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC][INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]computerSemantic Web
researchProduct

The Spatial Overlap of Police Calls Reporting Street-Level and Behind-Closed-Doors Crime: A Bayesian Modeling Approach

2021

Traditionally, intimate-partner violence has been considered a special type of crime that occurs behind closed doors, with different characteristics from street-level crime. The aim of this study is to analyze the spatial overlap of police calls reporting street-level and behind-closed-doors crime. We analyzed geocoded police calls in the 552 census-block groups of the city of Valencia, Spain, related to street-level crime (N = 26,624) and to intimate-partner violence against women (N = 11,673). A Bayesian joint model was run to analyze the spatial overlap. In addition, two Bayesian hierarchical models controlled for different neighborhood characteristics to analyze the relative risks. Resu…

street-level crimeHealth Toxicology and MutagenesisBayesian probabilityPsychological interventionDistribution (economics)Bayesian inferenceArticleCorrelationStatisticsHumansDoors0501 psychology and cognitive sciencesCities0505 lawviolence behind closed doorsbusiness.industry05 social sciencesRPublic Health Environmental and Occupational HealthBayes TheoremPolicejoint modelingGeographySpainintimate-partner violenceGeocoding050501 criminologyMedicineDomestic violenceFemaleneighborhoodsCrimebusinessBayesian spatial analysis050104 developmental & child psychologyInternational Journal of Environmental Research and Public Health
researchProduct

Emmy Noether in Bryn Mawr

2020

In the annals of higher education for women, two elite colleges were particularly important for mathematics: Girton College, in Cambridge, England and Bryn Mawr College, near Philadelphia, Pennsylvania.

symbols.namesakeAnnalsHigher educationbusiness.industryElitesymbolsNoether's theorembusinessClassics
researchProduct

The Homogeneous Poisson Point Process

2008

symbols.namesakeComplete spatial randomnessUniqueness theorem for Poisson's equationCompound Poisson processMathematical analysisDiscrete Poisson equationHomogeneous poisson point processsymbolsFractional Poisson processMathematics
researchProduct