Search results for "Discrete Mathematics"

showing 10 items of 1728 documents

Miscellaneous Graph Preliminaries

2020

Summary This article contains many auxiliary theorems which were missing in the Mizar Mathematical Library [2] to the best of the author’s knowledge. Most of them regard graph theory as formalized in the GLIB series (cf. [8]) and most of them are preliminaries needed in [7] or other forthcoming articles.

05c07Discrete mathematicsComputational Mathematicsvertex degreesgraph theoryApplied MathematicsQA1-939Graph (abstract data type)Graph theory68v20MathematicsMathematicsFormalized Mathematics
researchProduct

"Table 30" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Barrel MS vertex efficiencies (in %) for baryogenesis $\chi \rightarrow \nu b \bar{b}$ benchmark samples ($m_{h}=125$ GeV). The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0Higgs portal baryogenesisLLPComputer Science::Discrete Mathematics$pp \rightarrow h \rightarrow \chi\chi$displaced hadronic jetsHigh Energy Physics::ExperimentSIG
researchProduct

"Table 41" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Endcap MS vertex efficiencies (in %) for baryogenesis $\chi \rightarrow \nu b \bar{b}$ benchmark samples ($m_{h}=125$ GeV). The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0Higgs portal baryogenesisLLPComputer Science::Discrete Mathematics$pp \rightarrow h \rightarrow \chi\chi$displaced hadronic jetsHigh Energy Physics::ExperimentSIG
researchProduct

"Table 31" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Barrel MS vertex efficiencies (in %) for baryogenesis $\chi \rightarrow cbs$ benchmark samples ($m_{h}=125$ GeV). The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0Higgs portal baryogenesisLLPComputer Science::Discrete Mathematics$pp \rightarrow h \rightarrow \chi\chi$displaced hadronic jetsSIG
researchProduct

"Table 33" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Barrel MS vertex efficiencies (in %) for baryogenesis $\chi \rightarrow \tau\tau\nu$ benchmark samples ($m_{h}=125$ GeV). The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0Higgs portal baryogenesisLLPComputer Science::Discrete Mathematics$pp \rightarrow h \rightarrow \chi\chi$displaced hadronic jetsSIG
researchProduct

"Table 42" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Endcap MS vertex efficiencies (in %) for baryogenesis $\chi \rightarrow cbs$ benchmark samples ($m_{h}=125$ GeV). The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0Higgs portal baryogenesisLLPComputer Science::Discrete Mathematics$pp \rightarrow h \rightarrow \chi\chi$displaced hadronic jetsSIG
researchProduct

"Table 32" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Barrel MS vertex efficiencies (in %) for baryogenesis $\chi \rightarrow lcb$ benchmark samples ($m_{h}=125$ GeV). The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0Higgs portal baryogenesisLLPComputer Science::Discrete Mathematics$pp \rightarrow h \rightarrow \chi\chi$displaced hadronic jetsSIG
researchProduct

"Table 43" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Endcap MS vertex efficiencies (in %) for baryogenesis $\chi \rightarrow lcb$ benchmark samples ($m_{h}=125$ GeV). The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0Higgs portal baryogenesisLLPComputer Science::Discrete Mathematics$pp \rightarrow h \rightarrow \chi\chi$displaced hadronic jetsSIG
researchProduct

"Table 24" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Barrel MS vertex efficiencies (in %) for $m_{\Phi}=125$ GeV scalar benchmark samples. The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0LLPComputer Science::Discrete Mathematics$pp \rightarrow \varPhi \rightarrow ss$displaced hadronic jetsScalar portalSIG
researchProduct

"Table 36" of "Search for long-lived particles produced in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS …

2018

Endcap MS vertex efficiencies (in %) for $m_{\Phi}=200$ GeV scalar benchmark samples. The vertex reconstruction efficiency is defined as the fraction of simulated LLP decays in the MS fiducial volume that match a reconstructed vertex ($\Delta R(\textrm{LLP,vertex}) = 0.4$) passing the baseline event selection and satisfying the vertex isolation criteria. A vertex is considered matched to a displaced decay if the vertex is within $\Delta R = 0.4$ of the simulated decay position. The MS vertex efficiency is parameterized as a function of the LLP decay position.

13000.0LLPComputer Science::Discrete Mathematics$pp \rightarrow \varPhi \rightarrow ss$displaced hadronic jetsScalar portalSIG
researchProduct