Search results for " formal"

showing 10 items of 273 documents

Etude théorique de spectres de molécules toupies sphériques à l'aide du formalisme d'ensembles tensoriels irréductibles

2022

Vibrational-rotational spectroscopy of molecules of the spherical top type, in particular, SiH4 and GeH4 molecules, as well as their isotopologues, is of interest in various fields of science and technology, especially in astrophysics and planetology. One of the most important discoveries in the study of the atmospheres of giant planets is the discovery of german and silane gases in the atmospheres of Saturn, Titan, and Jupiter. Despite many years of research on the vibrational-rotational spectra of molecules of german, silane, and their deuterated modifications, many spectral ranges are still unexplored. However, a complete study of the atmospheres of giant planets is possible only in the …

GeH4[PHYS.PHYS.PHYS-OPTICS] Physics [physics]/Physics [physics]/Optics [physics.optics]Paramètres spectroscopiquesITO formalismFormalisme OTIMolécules toupies sphériquesForme de raiesSiD4Spherical top type moleculesSpectroscopic parametersLine shape analysis
researchProduct

Bartlett formalism generating functions and Z-transforms in fluctuation and noise theory

1983

Abstract “La theorie des fonctions generatrices s'adapte elle meme et avec la plus grande generalite aux questions des probabilite les plus difficiles.” (Laplace, 1812) “An important part of probability theory consists of the derivation of the probability distribution of the sum of n random variables, each of which obeys a given probability law, and the development of asymptotic forms of these distributions valid for increasing n. Probability generating functions owe their dominant position to the simplification they permit to both problems. Their employment to obtain the successive moments of a probability distribution and to solve the difference equations of probability theory is ancillar…

Generating FunctionPopulation DynamicBartlett formalismMoment-generating functionNoise TheoryConvolution of probability distributionsAlgebra of random variablesStochastic ProceNuclear Energy and EngineeringProbability theoryJoint probability distributionCalculusApplied mathematicsProbability distributionRandom variableSettore ING-IND/19 - Impianti NucleariLaw of the unconscious statisticianMathematicsAnnals of Nuclear Energy
researchProduct

Statistical physics: Some basic principles of fluctuation and noise theory

1983

Abstract Models have traditionally played a significant role in statistical mechanics. In view of the complexity of the system which statistical mechanics attempt to describe, this is not at all surprising. The study of simplified models has frequently revealed the underlying mathematical structure of many physical questions and in so doing the study of models has contributed directly to a clarification of several paradoxes which beset statistical mechanics. In this paper some of the models which appear to be useful for the discussion of non-equilibrium phenomena are examined in some detail. As usual these models are extremely simplified versions of the actual situations. It is, finally, as…

Generating FunctionPopulation DynamicStatistical mechanicsBartlett formalismNoise TheoryEpistemologyTheoretical physicsStochastic ProceNuclear Energy and EngineeringThe SymbolicNoise (video)Mathematical structureSettore ING-IND/19 - Impianti NucleariMathematicsAnnals of Nuclear Energy
researchProduct

Languages associated with saturated formations of groups

2013

International audience; In a previous paper, the authors have shown that Eilenberg's variety theorem can be extended to more general structures, called formations. In this paper, we give a general method to describe the languages corresponding to saturated formations of groups, which are widely studied in group theory. We recover in this way a number of known results about the languages corresponding to the classes of nilpotent groups, soluble groups and supersoluble groups. Our method also applies to new examples, like the class of groups having a Sylow tower.; Dans un article précédent, les auteurs avaient montré comment étendre le théorème des variétés d'Eilenberg à des structures plus g…

Group formationGeneral MathematicsFinite monoid[INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]0102 computer and information sciences01 natural sciencesregular languageRegular languageÁlgebra0101 mathematicsValenciaMathematicsFinite groupbiologyApplied Mathematics010102 general mathematicsACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal LanguagesRegular languagebiology.organism_classificationAlgebra010201 computation theory & mathematicsMSC 68Q70 20D10 20F17 20M25finite groupsaturated formationformationsFinite automata
researchProduct

A generic TG-186 shielded applicator for commissioning model-based dose calculation algorithms for high-dose-rate Ir-192 brachytherapy

2017

PurposeA joint working group was created by the American Association of Physicists in Medicine (AAPM), the European Society for Radiotherapy and Oncology (ESTRO), and the Australasian Brachytherapy Group (ABG) with the charge, among others, to develop a set of well-defined test case plans and perform calculations and comparisons with model-based dose calculation algorithms (MBDCAs). Its main goal is to facilitate a smooth transition from the AAPM Task Group No. 43 (TG-43) dose calculation formalism, widely being used in clinical practice for brachytherapy, to the one proposed by Task Group No. 186 (TG-186) for MBDCAs. To do so, in this work a hypothetical, generic high-dose rate (HDR) Ir-19…

HDR brachytherapymedicine.medical_specialtyComputer sciencemedicine.medical_treatmentBrachytherapyEQUATION SOLVERIr-192computer.software_genreGEC-ESTROImaging phantom030218 nuclear medicine & medical imaginglaw.invention03 medical and health sciences0302 clinical medicineMONTE-CARLOlawVoxelGEOMETRIESShielded cableAAPMmedicineMedical physicsRadiation treatment planningGEANT4business.industryMonte Carlo methodsGeneral MedicineDOSIMETRIC ACCURACYTRANSPORTmodel based dose calculation3. Good healthRadiation therapyTG-186030220 oncology & carcinogenesisAbsorbed doseSIMULATIONshielded applicatorTG-43 FORMALISMNuclear medicinebusinessDose rateAlgorithmcomputer
researchProduct

Do Uncertainty and Fuzziness Present Themselves (and Behave) in the Same Way in Hard and Human Sciences?

2010

In the present paper the question whether uncertainty and fuzziness present themselves and behave in the same way (or not) in hard and human sciences will be briefly discussed. This problem came out from the attempt to answer the question asked by Lotfi Zadeh on the (apparent) strangeness of a very limited use of fuzzy sets in human sciences.

Hard and soft scienceSettore INF/01 - Informaticabusiness.industryUncertainty fuzziness hard sciences human sciences two cultures use of formal methods in human sciences.Fuzzy setHuman scienceArtificial intelligenceStrangenessType-2 fuzzy sets and systemsbusinessMathematics
researchProduct

Positivism, Legal Validity, and the Separation of Law and Morals

2014

The essay discusses the import of the separability thesis both for legal positivism and for contemporary legal practice. First, the place of the separability thesis in legal positivism will be explored, distinguishing between “standard positivism” and “post-Hartian positivism.” Then I will consider various kinds of relations between law and morality that are worthy of jurisprudential interest, and explore, from a positivist point of view, what kind of relations between law and morality must be rejected, what kind of such relations should be taken into account, and what kind of such relations are indeed of no import at all. The upshot of this analysis consists in highlighting the distinction…

Here and nowmedia_common.quotation_subjectMoral reasoningMoralityEpistemologyLegal positivismLegal validityLawLegal formalismSociologyLegal practiceLawPositivismmedia_commonRatio Juris
researchProduct

Brane-world and loop cosmology from a gravity–matter coupling perspective

2015

We show that the effective brane-world and the loop quantum cosmology background expansion histories can be reproduced from a modified gravity perspective in terms of an $f(R)$ gravity action plus a $g(R)$ term non-minimally coupled with the matter Lagrangian. The reconstruction algorithm that we provide depends on a free function of the matter density that must be specified in each case and allows to obtain analytical solutions always. In the simplest cases, the function $f(R)$ is quadratic in the Ricci scalar, $R$, whereas $g(R)$ is linear. Our approach is compared with recent results in the literature. We show that working in the Palatini formalism there is no need to impose any constrai…

High Energy Physics - TheoryModified gravityNuclear and High Energy Physicsf(R) theoriesFOS: Physical sciencesGeneral Relativity and Quantum Cosmology (gr-qc)Palatini formalismGeneral Relativity and Quantum CosmologyCosmologyGeneral Relativity and Quantum Cosmologysymbols.namesakeQuadratic equationGravity–matter couplingLoop quantum cosmologyMathematical physicsPhysicsReconstruction algorithmlcsh:QC1-999High Energy Physics - Theory (hep-th)Quadratic cosmologysymbolsf(R) gravityBranelcsh:PhysicsLagrangianScalar curvaturePhysics Letters B
researchProduct

Pinch technique and the Batalin-Vilkovisky formalism

2002

In this paper we take the first step towards a non-diagrammatic formulation of the Pinch Technique. In particular we proceed into a systematic identification of the parts of the one-loop and two-loop Feynman diagrams that are exchanged during the pinching process in terms of unphysical ghost Green's functions; the latter appear in the standard Slavnov-Taylor identity satisfied by the tree-level and one-loop three-gluon vertex. This identification allows for the consistent generalization of the intrinsic pinch technique to two loops, through the collective treatment of entire sets of diagrams, instead of the laborious algebraic manipulation of individual graphs, and sets up the stage for the…

High Energy Physics - TheoryPhysicsNuclear and High Energy PhysicsBatalin–Vilkovisky formalismBackground field methodFOS: Physical sciencesFísicaYang–Mills theoryHigh Energy Physics - Phenomenologysymbols.namesakeHigh Energy Physics::TheoryHigh Energy Physics - Phenomenology (hep-ph)High Energy Physics - Theory (hep-th)PinchsymbolsFeynman diagramQuantum field theoryQuantumS-matrixMathematical physics
researchProduct

Planck scale physics and topology change through an exactly solvable model

2014

We consider the collapse of a charged radiation fluid in a Planck-suppressed quadratic extension of General Relativity (GR) formulated à la Palatini. We obtain exact analytical solutions that extend the charged Vaidya-type solution of GR, which allows to explore in detail new physics at the Planck scale. Starting from Minkowski space, we find that the collapsing fluid generates wormholes supported by the electric field. We discuss the relevance of our findings in relation to the quantum foam structure of space–time and the meaning of curvature divergences in this theory.

High Energy Physics - TheoryPhysicsNuclear and High Energy PhysicsModified gravityPlanck scaleTopology changeLibrary scienceFOS: Physical sciencesPlanck-scale physicsGeneral Relativity and Quantum Cosmology (gr-qc)Palatini formalismGeneral Relativity and Quantum Cosmologysymbols.namesakeTheoretical physicsGeneral Relativity and Quantum CosmologyHigh Energy Physics - Theory (hep-th)Dynamical Vaidya solutionsResearch councilFísica AplicadasymbolsPartial support
researchProduct