Fluctuation in EAS development and estimates of energy and composition of the primary radiation by L. Dedenko, SINP, MSU 1) surface scintillation detectors (SD) 2) detectors of the Vavilov-Cherenkov radiation (VCR) 3) underground detectors of muons (UD) (with the threshold energy ~1 GeV). Yakutsk array Detectors readings · The various particles · of Extensive Air Showers (EAS) · at the observation level · hit detectors · and induce some signals sampled as · detector readings 18.05.2011. IWS. ...

Еще в разделе: (Показать все результаты (>4) - tunka.sinp.msu.ru/ )

Available on CMS information server CMS NOTE 2000/065 The Compact Muon Solenoid Experiment Mailing address: CMS CERN, CH­1211 GENEVA 23, Switzerland CMS Note ``SingleTop'' ­ an event generator for the single top quark production at the LHC. ... But this process has sufficiently different signature which is similar to the top quark pair production signature. ... The events for the two main processes of the single top quark production at the LHC are available in the CMS processes data base PEVLIB [14]. ...

Еще в разделе: (Показать все результаты (>3) - top.sinp.msu.ru/ )

... For full UV energy Euv (erg) radiated in TLE the corresponding number of photons of wavelength =300-400 nm (with average energy 3.5 eV) is: Nph=Euv/3.5в1.6 10-12 (1) We considered 2 options of the pinhole camera focal distance: 1. focal distance is short so that the circle of diameter 40 km is observed by one pixel and 2. focal distance is long so that the 40 km circle is observed in many camera pixels. ... Full energy released in UV in the atmosphere is determined by the pixel signal. ...

Еще в разделе: (Показать все результаты (>3) - cosrad.sinp.msu.ru/ )

... The luminescence time dependence for two types of core/shell QDs (CdSe/CdS and CdTe/CdSe ) were investigated and were compared with behavior of naked ones (CdSe). ... Three different types of QDs were used in this work: simple core CdSe QDs, core/shell CdSe/CdS QDs and type II core/shell CdTe/CdSe heterostructures in charge carrier division regime (Fig.1). ... So core/shell nanocrystals demonstrate intermediate behavior between CdSe core-type QDs and CdTe/CdSe core/shell heterostructures. ...

Еще в разделе: (Показать все результаты (>9) - www.lssm.inorg.chem.msu.ru/ )

• The Laboratory of chemistry and physics of sensor and

The beamer class Manual for version 3.06. \begin{frame} \frametitle{There Is No Largest Prime Number} \framesubtitle{The proof uses \textit{reductio ad absurdum}.} \begin{theorem} There is no largest prime number. \end{theorem} \begin{proof} \begin{enumerate} \item<1-| alert@1> Suppose $p$ were the largest prime number. \item<2-> Let $q$ be the product of the first $p$ numbers. \item<3-> Then $q+1$ is not divisible by any of them. \item<1-> Thus $q+1$ is also prime and greater than $p$.\qedhere

Еще в разделе: (Показать все результаты (>2) - oc.cs.msu.su/ )

• http://oc.cs.msu.su/smirnov/PPP/how_to_install_PSCyr.txt

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ­ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } «», «bbb» -- , : · ­ , , · ­ , , · ­ , · ­ . ... 1977 ­ LTL, · , 1981 ­ (CTL), · , , 1981 , , 1982 ­ model checking ( ), · , 1986 ­ model checking ( ), · , 1989 ­ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

Еще в разделе: (Показать все результаты (>2) - savenkov.lvk.cs.msu.su/ )

• http://savenkov.lvk.cs.msu.su/mc/lect04.pdf