Search results for "Theorem"

showing 10 items of 1250 documents

On the History of Differentiable Manifolds

2012

International audience; We discuss central aspects of history of the concept of an affine dif-ferentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

implicit functionWhitney's theoremprinciple of virtual worksMathematics::History and Overviewrigiddifferentiable manifold implicit function semantics Lindenbaum-Tarski algebraLindenbaum-Tarski algebra[MATH.MATH-LO]Mathematics [math]/Logic [math.LO][MATH.MATH-DG]Mathematics [math]/Differential Geometry [math.DG][MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO][MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO][MATH.MATH-LO] Mathematics [math]/Logic [math.LO][MATH.MATH-DG] Mathematics [math]/Differential Geometry [math.DG]semanticssyntaxdesignatordifferentiable manifold
researchProduct

Design and Realization of a Bidirectional Full Bridge Converter with Improved Modulation Strategies

2020

In this paper a Full-Bridge Converter (FBC) for bidirectional power transfer is presented. The proposed FBC is an isolated DC-DC bidirectional converter, connected to a double voltage source&mdash

isolated DC-DC bidirectional converterComputer Networks and CommunicationsComputer science020209 energylcsh:TK7800-836002 engineering and technologySettore ING-IND/32 - Convertitori Macchine E Azionamenti Elettrici7. Clean energySettore ING-INF/01 - Elettronicafull-bridge converterlaw.inventionFull bridge converterlaw0202 electrical engineering electronic engineering information engineeringElectronic engineeringMaximum power transfer theoremElectrical and Electronic EngineeringTransformerfull-bridge converter; isolated DC-DC bidirectional converter; phase shift modulation; supercapacitorssupercapacitors020208 electrical & electronic engineeringlcsh:Electronicsphase shift modulationHardware and ArchitectureControl and Systems EngineeringSignal ProcessingVoltageElectronics
researchProduct

MODELLING VAGUE KNOWLEDGE FOR DECISION SUPPORT IN PLANNING ARCHAEOLOGICAL PROSPECTIONS

2012

Abstract. Most archaeological predictive models lack significance because fuzziness of data and uncertainty in knowledge about human behaviour and natural processes are hardly ever considered. One possibility to cope with such uncertainties is utilization of probability based approaches like Bayes Theorem or Dempster-Shafer-Theory. We analyzed an area of 50 km2 in Rhineland Palatinate (Germany) near a Celtic oppidum by use of Dempster-Shafer's theory of evidence for predicting spatial probability distribution of archaeological sites. This technique incorporates uncertainty by assigning various weights of evidence to defined variables, in that way estimating the probability for supporting a …

lcsh:Applied optics. PhotonicsDecision support systemGeographic information systemSettlement (structural)Computer sciencebusiness.industryProcess (engineering)lcsh:TDistribution (economics)lcsh:TA1501-1820computer.file_formatArchaeologylcsh:TechnologyBayes' theoremlcsh:TA1-2040StatisticsRaster graphicsbusinesslcsh:Engineering (General). Civil engineering (General)computerSelection (genetic algorithm)ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences
researchProduct

All-Possible-Couplings Approach to Measuring Probabilistic Context.

2013

From behavioral sciences to biology to quantum mechanics, one encounters situations where (i) a system outputs several random variables in response to several inputs, (ii) for each of these responses only some of the inputs may "directly" influence them, but (iii) other inputs provide a "context" for this response by influencing its probabilistic relations to other responses. These contextual influences are very different, say, in classical kinetic theory and in the entanglement paradigm of quantum mechanics, which are traditionally interpreted as representing different forms of physical determinism. One can mathematically construct systems with other types of contextuality, whether or not …

lcsh:MedicineQuantum entanglementSocial and Behavioral Sciences01 natural sciencesQuantitative Biology - Quantitative MethodsJoint probability distributionPsychologyStatistical physicslcsh:ScienceQuantumQuantitative Methods (q-bio.QM)60B99 (Primary) 81Q99 91E45 (Secondary)PhysicsQuantum PhysicsMultidisciplinaryApplied MathematicsPhysics05 social sciencesComplex SystemsMental HealthMedicineMathematics - ProbabilityAlgorithmsResearch ArticleFOS: Physical sciencesContext (language use)Physical determinism050105 experimental psychologyProbability theory0103 physical sciencesFOS: Mathematics0501 psychology and cognitive sciences010306 general physicsQuantum MechanicsProbabilityta113BehaviorModels Statisticallcsh:RProbability (math.PR)Probabilistic logicRandom VariablesProbability TheoryKochen–Specker theoremFOS: Biological sciencesQuantum Theorylcsh:QQuantum EntanglementQuantum Physics (quant-ph)Mathematics
researchProduct

MR3631681 Reviewed Nigsch, E. A.(A-WIENM) On a nonlinear Peetre's theorem in full Colombeau algebras. (English summary) Comment. Math. Univ. Carolin.…

2017

Colombeau algebras are defined as quotients of spaces containing the representatives of generalized functions given by smooth mappings: R:C∞(Ω,D(Ω))→C∞(Ω), where Ω is an open subset of Rn. In this paper the notion of locality defined by the author for a representative R of a nonlinear generalized function is characterized in such a way that the representative depends only on its ∞-jet. Finally, the author examines the possibility of defining a notion of order for the mapping R.

local functionColombeau algebraSettore MAT/05 - Analisi Matematicanonlinear Peetre's theorem
researchProduct

Property (gb) through local spectral theory

2014

Property (gb) for a bounded linear operator T on a Banach space X means that the points c of the approximate point spectrum for which c I-T is upper semi B-Weyl are exactly the poles of the resolvent. In this paper we shall give several characterizations of property (gb). These characterizations are obtained by using typical tools from local spectral theory. We also show that property (gb) holds for large classes of operators and prove the stability of property (gb) under some commuting perturbations.

local spectral theory. Weyl type theoremsMathematical Proceedings of the Royal Irish Academy
researchProduct

Solvability of a first order system in three-dimensional non-smooth domains

1985

summary:A system of first order partial differential equations is studied which is defined by the divergence and rotation operators in a bounded nonsmooth domain $\Omega\subset \bold R^3$. On the boundary $\delta\Omega$, the vanishing normal component is prescribed. A variational formulation is given and its solvability is investigated.

magnetostatics in vacuum [keyword]msc:65N10Friedrich’s inequality [keyword]bounded domain with Lipschitz boundary [keyword]msc:78A30boundary value problem [keyword]msc:76A02Trace theorems [keyword]msc:35Q99
researchProduct

Impact or No Impact for Women With Mild Knee Osteoarthritis: A Bayesian Meta‐Analysis of Two Randomized Controlled Trials With Contrasting Interventi…

2022

Objective We aim to predict the probability of a benefit from two contrasting exercise programs for a woman with a new diagnosis of mild knee osteoarthritis (OA). The short and long-term effects of aquatic resistance training (ART) and high-impact aerobic land training (HLT) compared with the control will be estimated. Methods Original data sets from two previously conducted randomised controlled trials (RCT) were combined and used in a Bayesian meta-analysis. Group differences in multiple response variables were estimated. Variables included cardiorespiratory fitness, dynamic maximum leg muscle power, maximal isometric knee extension and flexion force, pain, other symptoms and quality of l…

medicine.medical_specialtyBayesian probabilityPsychological interventionIsometric exerciselaw.invention03 medical and health sciences0302 clinical medicineRheumatologyRandomized controlled trialQuality of lifelawHumansMedicineRandomized Controlled Trials as Topic030203 arthritis & rheumatologybusiness.industryBayes TheoremResistance TrainingCardiorespiratory fitnessOsteoarthritis KneeOutcome (probability)Exercise TherapyMeta-analysisQuality of LifePhysical therapyFemalebusinessArthritis Care & Research
researchProduct

A radiomics evaluation of 2D and 3D MRI texture features to classify brain metastases from lung cancer and melanoma

2017

[EN] Brain metastases are occasionally detected before diagnosing their primary site of origin. In these cases, simple visual examination of medical images of the metastases is not enough to identify the primary cancer, so an extensive evaluation is needed. To avoid this procedure, a radiomics approach on magnetic resonance (MR) images of the metastatic lesions is proposed to classify two of the most frequent origins (lung cancer and melanoma). In this study, 50 T1-weighted MR images of brain metastases from 30 patients were analyzed: 27 of lung cancer and 23 of melanoma origin. A total of 43 statistical texture features were extracted from the segmented lesions in 2D and 3D. Five predictiv…

medicine.medical_specialtyMetastatic lesionsLung Neoplasms030218 nuclear medicine & medical imagingTECNOLOGIA ELECTRONICA03 medical and health sciencesNaive Bayes classifier0302 clinical medicineRadiomicsmedicineHumansLung cancerMelanomaSite of originmedicine.diagnostic_testbusiness.industryBrain NeoplasmsMelanomaMagnetic resonance imagingBayes Theoremmedicine.diseasePrimary cancerMagnetic Resonance Imaging030220 oncology & carcinogenesisRadiologybusiness
researchProduct

A Multivariate Age-Structured Stochastic Model with Immunization Strategies to Describe Bronchiolitis Dynamics

2021

Bronchiolitis has a high morbidity in children under 2 years old. Respiratory syncytial virus (RSV) is the most common pathogen causing the disease. At present, there is only a costly humanized monoclonal RSV-specific antibody to prevent RSV. However, different immunization strategies are being developed. Hence, evaluation and comparison of their impact is important for policymakers. The analysis of the disease with a Bayesian stochastic compartmental model provided an improved and more natural description of its dynamics. However, the consideration of different age groups is still needed, since disease transmission greatly varies with age. In this work, we propose a multivariate age-struct…

medicine.medical_specialtyMultivariate statisticsStochastic modellingstochastic Bayesian modelHealth Toxicology and Mutagenesisrespiratory syncytial virusBayesian probabilityDiseaseRespiratory Syncytial Virus InfectionsPoisson distributioninfectious diseasesArticle03 medical and health sciencessymbols.namesakemultivariate age-structured model0302 clinical medicine030225 pediatricsMedicineHumans030212 general & internal medicineIntensive care medicineChildAge structuredimmunization programsbusiness.industryPublic Health Environmental and Occupational HealthInfant NewbornRInfantBayes TheoremImmunization (finance)medicine.diseaseRespiratory Syncytial VirusesBronchiolitisChild PreschoolsymbolsMedicineImmunizationbronchiolitisbusinessInternational Journal of Environmental Research and Public Health
researchProduct