Search results for "model theory"

showing 10 items of 681 documents

Dynamical heterogeneities in glass-forming materials

1996

ABSTRACTCooperative dynamics around the glass transition leads to complex motional behavior of the individual molecules, resulting in non-exponential relaxation. The nature of this non-exponentiality is clarified theoretically as well as experimentally. The non-exponentiality may be due to heterogeneous relaxation (superposition of exponential processes with different rate constants) or homogeneous relaxation (identical intrinsically non-exponential processes). A precise definition of both limits is given. It is shown that the type of relaxation, i.e. to which degree heterogeneous and homogeneous contributions are present, reflects geometrical properties of the dynamics. The heterogeneous c…

chemistry.chemical_classificationSuperposition principleMaterials scienceOrder (biology)Distribution (mathematics)chemistryRelaxation (physics)PolymerStatistical physicsType (model theory)Glass transitionExponential functionMRS Proceedings
researchProduct

ChemInform Abstract: Cobalt Clusters with Cubane-Type Topologies Based on Trivacant Polyoxometalate Ligands.

2016

Four novel cobalt-substituted polyoxometalates having cobalt cores exhibiting cubane or dicubane topologies have been synthesized and characterized by IR, elemental analysis, electrochemistry, UV–vis spectroscopy, X-ray single-crystal analysis, and magnetic studies. The tetracobalt(II)-substituted polyoxometalate [Co4(OH)3(H2O)6(PW9O34)]4– (1) consists of a trilacunary [B-α-PW9O34]9– unit which accommodates a cubane-like {CoII4O4} core. In the heptacobalt(II,III)-containing polyoxometalates [Co7(OH)6(H2O)6(PW9O34)2]9– (2), [Co7(OH)6(H2O)4(PW9O34)2]n9n– (3), and [Co7(OH)6(H2O)6(P2W15O56)2]15– (4), dicubane-like {CoII6CoIIIO8} cores are encapsulated between two heptadentate [B-α-PW9O34]9– (in…

chemistry.chemical_compoundCrystallographychemistryCubanePolyoxometalatechemistry.chemical_elementGeneral MedicineType (model theory)ElectrochemistrySpectroscopyAlkali metalCobaltExchange modelChemInform
researchProduct

A new interpretation for the structure of the VN bands of ethylene

1971

Abstract Potential surfaces for CC stretch and CH2 twisting of ethylene obtained by the combined SCF CI method lead to the prediction that non-vertical transitions are responsible for the absorption maximum in the VN bands and that the broad diffuse nature of the spectrum in this region could well be caused by the proximity of two states of the same symmetry of the twisted molecule.

chemistry.chemical_compoundEthyleneChemistryStructure (category theory)General Physics and AstronomyMoleculePhysics::Chemical PhysicsPhysical and Theoretical ChemistryAbsorption (electromagnetic radiation)PhotochemistryMolecular physicsSymmetry (physics)Interpretation (model theory)Chemical Physics Letters
researchProduct

Opinion dynamics and stubbornness through mean-field games

2013

This paper provides a mean field game theoretic interpretation of opinion dynamics and stubbornness. The model describes a crowd-seeking homogeneous population of agents, under the influence of one stubborn agent. The game takes on the form of two partial differential equations, the Hamilton-Jacobi-Bellman equation and the Kolmogorov-Fokker-Planck equation for the individual optimal response and the population evolution, respectively. For the game of interest, we establish a mean field equilibrium where all agents reach epsilon-consensus in a neighborhood of the stubborn agent's opinion.

education.field_of_studyPartial differential equationControl and OptimizationDifferential equationMulti-agent systemPopulationComputer Science::Social and Information NetworksControl and Systems Engineering; Modeling and Simulation; Control and OptimizationInterpretation (model theory)Computer Science::Multiagent SystemsStochastic partial differential equationMean field theoryComputer Science::Systems and ControlControl and Systems EngineeringModeling and Simulationopinion dynamicseducationMathematical economicsGame theoryMathematics
researchProduct

Enhancing Optomechanical Coupling via the Josephson Effect

2013

Cavity optomechanics is showing promise for studying quantum mechanics in large systems. However, smallness of the radiation-pressure coupling is a serious hindrance. Here we show how the charge tuning of the Josephson inductance in a single-Cooper-pair transistor (SCPT) can be exploited to arrange a strong radiation pressure -type coupling $g_0$ between mechanical and microwave resonators. In a certain limit of parameters, such a coupling can also be seen as a qubit-mediated coupling of two resonators. We show that this scheme allows reaching extremely high $g_0$. Contrary to the recent proposals for exploiting the non-linearity of a large radiation pressure coupling, the main non-linearit…

electromagnetic fieldsJosephson effectmicromechanical resonatorsPhononta221FOS: Physical sciencesGeneral Physics and AstronomyType (model theory)01 natural sciencesvibrationsSuperconductivity (cond-mat.supr-con)010309 opticsResonatorMesoscale and Nanoscale Physics (cond-mat.mes-hall)0103 physical sciences010306 general physicsta218OptomechanicsPhysicsQuantum Physicsta214ta114Condensed Matter - Mesoscale and Nanoscale PhysicsCondensed matter physicsPhysicsCondensed Matter - SuperconductivityJosephson effectCharge (physics)Coupling (probability)cavity optomechanical systemsQuantum Physics (quant-ph)Coupling coefficient of resonatorsPhysical Review Letters
researchProduct

Estimates for the Differences of Certain Positive Linear Operators

2020

The present paper deals with estimates for differences of certain positive linear operators defined on bounded or unbounded intervals. Our approach involves Baskakov type operators, the kth order Kantorovich modification of the Baskakov operators, the discrete operators associated with Baskakov operators, Meyer&ndash

estimates of differences of operatorsPure mathematicslcsh:MathematicsGeneral Mathematics010102 general mathematicsLinear operatorsMKZ-operatorsBBH-operatorsType (model theory)lcsh:QA1-93901 natural sciencesModulus of continuity010101 applied mathematicsKantorovich modificationsBaskakov operatorBounded functionBaskakov operatorsComputer Science (miscellaneous)Order (group theory)0101 mathematicsEngineering (miscellaneous)positive linear operatorsMathematicsMathematics
researchProduct

Introduction to Mathematical Logic (Edition 2017)

2017

Hyper-textbook for students in mathematical logic, Edition 2017

first order logiclogicresolution methodpredicate logicMathematicsofComputing_GENERALresolutionintuitionistic logicHerbrand theorempropositional logicmodel theoryconstructive logicData_FILESComputingMilieux_COMPUTERSANDEDUCATIONnormal formsmathematical logicHardware_ARITHMETICANDLOGICSTRUCTUREScompleteness theorem
researchProduct

A note on some fundamental results in complete gauge spaces and application

2015

We discuss the extension of some fundamental results in nonlinear analysis to the setting of gauge spaces. In particular, we establish Ekeland type and Caristi type results under suitable hypotheses for mappings and cyclic mappings. Our theorems generalize and complement some analogous results in the literature, also in the sense of ordered sets and oriented graphs. We apply our results to establishing the existence of solution to a second order nonlinear initial value problem.

gauge structureApplied MathematicsMonotonic functionExtension (predicate logic)Type (model theory)Fixed pointordinary differential equationAlgebraApplied MathematicNonlinear systemDifferential geometryfixed pointmonotone operatorInitial value problemGeometry and TopologySettore MAT/03 - GeometriaComplement (set theory)Mathematics
researchProduct

On a Robin (p,q)-equation with a logistic reaction

2019

We consider a nonlinear nonhomogeneous Robin equation driven by the sum of a \(p\)-Laplacian and of a \(q\)-Laplacian (\((p,q)\)-equation) plus an indefinite potential term and a parametric reaction of logistic type (superdiffusive case). We prove a bifurcation-type result describing the changes in the set of positive solutions as the parameter \(\lambda \gt 0\) varies. Also, we show that for every admissible parameter \(\lambda \gt 0\), the problem admits a smallest positive solution.

local minimizersminimal positive solutionsPure mathematicspositive solutionsGeneral MathematicsType (model theory)Lambda01 natural sciencesPositive solutionSet (abstract data type)Maximum principlesuperdiffusive reactionSettore MAT/05 - Analisi Matematicaindefinite potential0101 mathematicsParametric statisticsMathematicsMinimal positive solutionrobin boundary conditionlcsh:T57-57.97010102 general mathematicsRobin boundary conditionTerm (time)010101 applied mathematicsNonlinear systemmaximum principlelcsh:Applied mathematics. Quantitative methodsLocal minimizerOpuscula Mathematica
researchProduct

The Phys-Can observational study: adjuvant chemotherapy is associated with a reduction whereas physical activity level before start of treatment is a…

2020

AbstractBackgroundAdjuvant therapy may cause multiple sideeffects on long term health, including reduced cardiorespiratory fitness (CRF) in patients with breast cancer (1, 2). However, there is currently limited knowledge regarding the effect of different types of adjuvant cancer treatment on CRF in other cancer populations. The primary objective of the present study was to assess whether previously known correlates (age, diagnosis, initial CRF, physical activity level), type of adjuvant treatment and cancer-related fatigue were associated with changes in$$ \dot{V}{O}_2\mathit{\max} $$V̇O2maxin patients with breast, prostate or colorectal cancer.MethodsProspective study with two time points…

medicine.medical_specialtyPhysical Therapy Sports Therapy and RehabilitationType (model theory)GastroenterologyIncremental exercise03 medical and health sciences0302 clinical medicineBreast cancerInternal medicinemedicineAdjuvant therapyOrthopedics and Sports Medicine030212 general & internal medicinelcsh:Sports medicineProspective cohort studyCancer-related fatigueCancer related fatigueOncological treatmentPhysical activitybusiness.industryRehabilitationVO2 maxPublic Health Global Health Social Medicine and Epidemiology030229 sport sciencesVDP::Medisinske Fag: 700::Idrettsmedisinske fag: 850medicine.diseaseConfidence intervalCardiopulmonary exercise testingFolkhälsovetenskap global hälsa socialmedicin och epidemiologimedicine.symptomlcsh:RC1200-1245businessResearch ArticleBMC Sports Science, Medicine and Rehabilitation
researchProduct