1,102 research outputs found
Normality Operators and Classical Collapse
No full textIn this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall
Non-Normal Modal Logics: A Challenge to Proof Theory
No full textA general procedure that follows the guidelines of inferentialism is presented for generating G3-style sequent calculi for non-normal modal logics on the basis of neighbourhood semantics
Konformní zobrazení nejen v rovině
No full textNazev prace: Konformnf zobrazenf nej'en v roving Autor; Lucie Markova Katedra (ustav): Matematicky ustav UK Vedoucf bakalafske prace: RNDr. Roman Lavidka, Ph.D. E-mail vedoucfho; [email protected] Abstrakt: V predlozene praci studujeme konforrnm' a antikonformm' zobrazenf v roving i v prostorech vyggfch dimcnzf. Pro pochopenf a dokazanf existence mnoha konformm'ch zobrazenf v roving jsou vylozeny zakladnf partie z kom- piexnf analyzy. Teorieje ilustrovana na mnoha konkretnfch pnldadech, nejdulezi- tejsi'mi jsou stereograficka projekce, inverze a Mobiovy transformace. Dale je v praci vysvetleno, pro^ jsou konformnf zobrazem' vc vyssi'ch dimenzi'ch vzacnd a jak Ize v dimenzi 4 popsat Mobiovy transformace pomocf kvaternionu. Na prilozenem CDje tato prace ve formatu PDF a zdrojove kddy k obrazkum, ktere jsem vytvofiJa v programu Mathematica. Klfcova slova: konformnf zobrazenf, Mobiovy transformace, kvaterniony, zobrazenf zachovavajfcf uhly Title: Conformal mappings not onJy in the pJane Author: Lucie Markova Department: Mathematical Institute of Charles University Supervisor: RNDr. Roman Lavicka, Ph.D. Supervisor's e-mail address: Roman,[email protected] Abstract; In the present work we study conformal and anti-conformal mappings in the plane and in spaces of higher dimensions. Basics of complex..
Konformní zobrazení nejen v rovině
No full textNazev prace: Konformnf zobrazenf nej'en v roving Autor; Lucie Markova Katedra (ustav): Matematicky ustav UK Vedoucf bakalafske prace: RNDr. Roman Lavidka, Ph.D. E-mail vedoucfho; [email protected] Abstrakt: V predlozene praci studujeme konforrnm' a antikonformm' zobrazenf v roving i v prostorech vyggfch dimcnzf. Pro pochopenf a dokazanf existence mnoha konformm'ch zobrazenf v roving jsou vylozeny zakladnf partie z kom- piexnf analyzy. Teorieje ilustrovana na mnoha konkretnfch pnldadech, nejdulezi- tejsi'mi jsou stereograficka projekce, inverze a Mobiovy transformace. Dale je v praci vysvetleno, pro^ jsou konformnf zobrazem' vc vyssi'ch dimenzi'ch vzacnd a jak Ize v dimenzi 4 popsat Mobiovy transformace pomocf kvaternionu. Na prilozenem CDje tato prace ve formatu PDF a zdrojove kddy k obrazkum, ktere jsem vytvofiJa v programu Mathematica. Klfcova slova: konformnf zobrazenf, Mobiovy transformace, kvaterniony, zobrazenf zachovavajfcf uhly Title: Conformal mappings not onJy in the pJane Author: Lucie Markova Department: Mathematical Institute of Charles University Supervisor: RNDr. Roman Lavicka, Ph.D. Supervisor's e-mail address: Roman,[email protected] Abstract; In the present work we study conformal and anti-conformal mappings in the plane and in spaces of higher dimensions. Basics of complex..
Development of automatic luminosity calculation framework
No full textUp-to-date knowledge on the collected number of events and integrated luminosity is crucial for the ALICE data taking and trigger strategy planning. The purpose of the project is to develop a framework for the automatic recalculation of achieved statistics and integrated luminosity on a daily basis using information from the ALICE data base. We have been encouraged encouraged to work on the improvement of available luminosity calculation algorithms, in particular accounting for pile-up corrections. Results are represented in a form of trending plots and summary tables for different trigger classes and stored in the personal web site of the author with an outlook on the possibility to story it in the ALICE monitoring repository
J/ production and polarization in photon-induced reactions in Pb--Pb collisions with ALICE
No full textIntense electromagnetic fields from ultrarelativistic heavy ions can trigger photonuclear reactions, which are used to probe the nuclear gluon distribution and gluonic fluctuations over a large range of Bjorken-. Our study examines ultra-peripheral and nuclear-overlap collisions, reporting on the photoproduction of J/ in peripheral PbPb collision. In particular, the rapidity-dependence of the measured cross section and the measured polarization. We present new Run~2 measurements, including spectra of incoherent J/ in PbPb UPCs at both forward and midrapidity, revealing the substructure of the lead nucleus. Additionally, we observe J/ photoproduction with proton dissociation in pPb collisions, offering fresh insights into proton sub-nucleonic fluctuations. Combining forward and midrapidity data offers a robust test of theoretical models
Study of the p–p–K + and p–p–K - dynamics using the femtoscopy technique
No full textThe interactions of kaons (K) and antikaons (K ̄) with few nucleons (N) were studied so far using kaonic atom data and measurements of kaon production and interaction yields in nuclei. Some details of the three-body KNN and K ̄ NN dynamics are still not well understood, mainly due to the overlap with multi-nucleon interactions in nuclei. An alternative method to probe the dynamics of three-body systems with kaons is to study the final state interaction within triplet of particles emitted in pp collisions at the Large Hadron Collider, which are free from effects due to the presence of bound nucleons. This Letter reports the first femtoscopic study of p–p–K + and p–p–K - correlations measured in high-multiplicity pp collisions at s = 13 TeV by the ALICE Collaboration. The analysis shows that the measured p–p–K + and p–p–K - correlation functions can be interpreted in terms of pairwise interactions in the triplets, indicating that the dynamics of such systems is dominated by the two-body interactions without significant contributions from three-body effects or bound states
Towards the understanding of the genuine three-body interaction for p-p-p and p-p-Lambda
No full textThree-body nuclear forces play an important role in the structure of nuclei and hypernuclei and are also incorporated in models to describe the dynamics of dense baryonic matter, such as in neutron stars. So far, only indirect measurements anchored to the binding energies of nuclei can be used to constrain the three-nucleon force, and if hyperons are considered, the scarce data on hypernuclei impose only weak constraints on the three-body forces. In this work, we present the first direct measurement of the p–p–p and p–p– Λ systems in terms of three-particle correlation functions carried out for pp collisions at s=13 TeV. Three-particle cumulants are extracted from the correlation functions by applying the Kubo formalism, where the three-particle interaction contribution to these correlations can be isolated after subtracting the known two-body interaction terms. A negative cumulant is found for the p–p–p system, hinting to the presence of a residual three-body effect while for p–p– Λ the cumulant is consistent with zero. This measurement demonstrates the accessibility of three-baryon correlations at the LHC
Study of the p–p–K and p–p–K dynamics using the femtoscopy technique
No full textThe interactions of kaons (K) and antikaons (K)
with few nucleons (N) were studied so far using kaonic
atom data and measurements of kaon production and interaction yields in nuclei. Some details of the three-body KNN
and KNN dynamics are still not well understood, mainly
due to the overlap with multi-nucleon interactions in nuclei.
An alternative method to probe the dynamics of three-body
systems with kaons is to study the final state interaction
within triplet of particles emitted in pp collisions at the Large
Hadron Collider, which are free from effects due to the presence of bound nucleons. This Letter reports the first femtoscopic study of p–p–K+ and p–p–K− correlations measured in high-multiplicity pp collisions at √s = 13 TeV
by the ALICE Collaboration. The analysis shows that the
measured p–p–K+ and p–p–K− correlation functions can be
interpreted in terms of pairwise interactions in the triplets,
indicating that the dynamics of such systems is dominated
by the two-body interactions without significant contributions from three-body effects or bound states
- …
