Search results for " Mathematics"
showing 7 items of 10797 documents
On continua whose hyperspace of subcontinua is σ-locally connected
1999
Abstract We provide a structural characterization of all continua X whose hyperspace C ( X ) of all subcontinua is the countable union of Peano continua. Applying this result we prove that there exists a uniformly path connected continuum X with no continuous mapping from C ( X ) onto X.
Теория алгоритмов и программ
1986
Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.
Search for scalar leptoquarks in pp collisions at $\sqrt{s}$=13 TeV with the ATLAS experiment
2016
An inclusive search for a new-physics signature of lepton-jet resonances has been performed by the ATLAS experiment. Scalar leptoquarks, pair-produced in pp collisions at s √s = 13 TeV at the large hadron collider, have been considered. An integrated luminosity of 3.2 fb-1, corresponding to the full 2015 dataset was used. First (second) generation leptoquarks were sought in events with two electrons (muons) and two or more jets. The observed event yield in each channel is consistent with Standard Model background expectations. The observed (expected) lower limits on the leptoquark mass at 95% confidence level are 1100 and 1050 GeV (1160 and 1040 GeV) for first and second generation leptoqua…
Beam-induced and cosmic-ray backgrounds observed in the ATLAS detector during the LHC 2012 proton-proton running period
2016
This paper discusses various observations on beam-induced and cosmic-ray backgrounds in the ATLAS detector during the LHC 2012 proton-proton run. Building on published results based on 2011 data, the correlations between background and residual pressure of the beam vacuum are revisited. Ghost charge evolution over 2012 and its role for backgrounds are evaluated. New methods to monitor ghost charge with beam-gas rates are presented and observations of LHC abort gap population by ghost charge are discussed in detail. Fake jets from colliding bunches and from ghost charge are analysed with improved methods, showing that ghost charge in individual radio-frequency buckets of the LHC can be resol…
Теория алгоритмов и программ. Выпуск 3
1977
Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.
Математическое моделирование: Пикладные задачи математической физики
1994
Теоретические вопросы программирования
1988
Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.