Search results for "F2"

showing 10 items of 316 documents

Kinetics of dimer F2 type center annealing in MgF2 crystals

2018

Authors are greatly indebted to V. Lisitsyn, A. Ch. Lushchik and R.Vila for stimulating discussions. This work has been carried out within the framework of the EUROfusion Consortium and has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement number 633053. The views and opinions expressed herein do not necessarily reflect those of the European Commission. The calculations were performed using facilities of the Stuttgart Supercomputer Center (project DEFTD 12939).

DiffusionAnnealing kinetics:NATURAL SCIENCES:Physics [Research Subject Categories]MgF2F2 centersRadiation defectsF centers
researchProduct

The generalised type-theoretic interpretation of constructive set theory

2006

We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive instead of being formulated via the propositions-as-types representation. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.

Discrete mathematicsLogicConstructive set theoryType (model theory)Translation (geometry)Constructive Set TheoryInterpretation (model theory)AlgebraPhilosophyType theoryDependent type theoryDependent Type TheoryComputer Science::Logic in Computer Science03F25Constructive set theory Dependent type theoryMathematics03F50
researchProduct

On a normal form of symmetric maps of [0, 1]

1980

A class of continuous symmetric mappings of [0, 1] into itself is considered leaving invariant a measure absolutely continuous with respect to the Lebesgue measure.

Discrete mathematicsPure mathematicsLebesgue measureLebesgue's number lemmaStatistical and Nonlinear Physics58F20Absolute continuityLebesgue integrationLebesgue–Stieltjes integrationsymbols.namesakeNonlinear system28D05symbolsInvariant (mathematics)Borel measureMathematical PhysicsMathematicsCommunications in Mathematical Physics
researchProduct

"Table 1" of "Measurement of inclusive rho0, f0(980), f2(1270), K*2(1430)0 and f'2(1525) production in Z0 decays."

1999

Differential production cross sections. The error is the quadratic combination of the errors from the fits and the systematic uncertainty.

E+ E- --> F0(980) XInclusiveSingle Differential Cross SectionE+ E- --> F2(1270) XE+ E- --> Z0E+ E- ScatteringExclusive91.2DSIG/DXE+ E- --> RHO0 X
researchProduct

"Table 2" of "Measurement of inclusive rho0, f0(980), f2(1270), K*2(1430)0 and f'2(1525) production in Z0 decays."

1999

Integrated rates extrapolated to the full x range.

E+ E- --> F2PRIME(1525) XE+ E- --> F2(1270) XStrange productionE+ E- --> HADRONSE+ E- --> Z0Integrated Cross Section91.2Cross SectionSIGMULTE+ E- --> F0(980) XInclusiveE+ E- --> K2*(1430) XE+ E- ScatteringExclusiveR measurementE+ E- --> RHO0 X
researchProduct

"Table 2" of "First measurement of f2-prime (1525) production in Z0 hadronic decays"

1996

No description provided.

E+ E- --> F2PRIME(1525) XInclusiveE+ E- ScatteringIntegrated Cross SectionE+ E- --> ZExclusive91.2Cross SectionSIGE+ E- --> (HADRONS) 2HADRON
researchProduct

"Table 1" of "First measurement of f2-prime (1525) production in Z0 hadronic decays"

1996

SIG in (1/SIG) is the total hadronic cross section.

E+ E- --> F2PRIME(1525) XInclusiveSingle Differential Cross SectionInformationSystems_MODELSANDPRINCIPLESComputingMilieux_THECOMPUTINGPROFESSIONGeneralLiterature_INTRODUCTORYANDSURVEYInformationSystems_INFORMATIONINTERFACESANDPRESENTATION(e.g.HCI)E+ E- Scattering91.2InformationSystems_MISCELLANEOUSDSIG/DX
researchProduct

"Table 4" of "Measurement of inclusive production of light meson resonances in hadronic decays of the Z0"

1993

Average multiplicity per hadronic event. Extrapolation to x = 0 using the x shape predicted by JETSET 7.3 PS.

E+ E- --> HADRONS XInclusiveE+ E- --> F2(1270) XE+ E- --> Z0E+ E- ScatteringExclusive91.2MULT
researchProduct

"Table 5" of "Measurement of inclusive production of light meson resonances in hadronic decays of the Z0"

1993

No description provided.

E+ E- --> HADRONS XInclusiveE+ E- --> F2(1270) XZ ProductionE+ E- ScatteringIntegrated Cross Section91.2E+ E- --> Z0 XCross SectionSIGE+ E- --> RHO0 X
researchProduct

"Table 6" of "Measurement of inclusive production of light meson resonances in hadronic decays of the Z0"

1993

No description provided.

E+ E- --> HADRONS XInclusiveE+ E- --> F2(1270) XZ ProductionE+ E- ScatteringIntegrated Cross SectionExclusive91.2E+ E- --> Z0 XE+ E- --> F0(975)Cross SectionSIG
researchProduct