281. http://compmech.math.msu.su/publ/parallel_time.pdf
... class applied_topology(ost.Topology.Abstract): #, # p1 self.edges[p1] # p2 p1 7 self.edges = { p1: [p1_1,...,p1_k1] p2: [p2_1,...,p2_k2] ... pM: [pM_1,...,p1_kM] } # p2 # , p1 def proximity(self, p1, p2): # in bool # self.edges[p1] p2 return p2 in self.edges[p1] 3.1.1.2. . class applied_topology(ost.Topology.Abstract): #, # p1 self.edges[p1] # p2 p1 self.edges = { p1: [p1_1,...,p1_k1] p2: [p2_1,...,p2_k2] ... pM: [pM_1,...,p1_kM] } # p # , p def neighborhood(self, p): return self.edges[p] . ...
282. http://savenkov.lvk.cs.msu.su/mc/lect01.pdf
... 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. ...
283. Bibliography
... CDF Collaboration), Phys. Rev. Lett. ... A.S. Belyaev, E.E. Boos, L.V. Dudko ``Single top quark at future hadron colliders: Complete signal and background study'', Phys.Rev. D59 (1999) 075001. ... E.L. Bereger and H.Contopanagos, Phys. Lett.B 361 , 115 (1995); Phys. Rev. D 54 3085 (1996) . ... A.P. Heinson, A.S. Belyaev, E.E. Boos, Phys. Rev. D 56 , 3114 (1997) . ... M. Smith and S. Willenbrock, Phys. Rev. D54 , 6696 (1996); T. Stelzer, Z. Sullivan, and S. Willenbrock, Phys. Rev. D56 , 5919 (1997). ...
284. Кафедра квантовой теории и физики высоких энергий
... О профессорах кафедры . ... Квантовая теория . ... Выполнение этих курсовых позволит студенту стать соавтором научных работ, или как минимум приобрести опыт работы с актуальными проблемами квантовой теории и физики фундаментальных взаимодействий, а также с современными вычислительными технологиями, без которых невозможно никакое содержательное исследование в этой области физики. ... Научный консультант - профессор А.В.Киселев, ГНЦ ИФВЭ . ... Научный консультант - с.н.с. Р.А.Рютин, CERN и ГНЦ ИФВЭ . ...
285. http://www.dubrovinlab.msu.ru/files/Dubna2012.pdf
b e d e v P h y s i c a l I n s t i t u t e o f R A S , M o s c ow 1 27 April, 2012 A l e x a n d e r C h e s n o ko v , M axim Pavlo v (1 L avren t'en tndtico m po fsiH od ro p pno ach s, S ib erian D ivisio n o f R A S , prio,vo si1 2rsk ; 2 S ector o f m o m v I s e t u t e o t i y n a d y r a m ic e 27 A N l 20 bi 1 / 19 Vlasov (Collisionless Boltzmann) Kinetic Equation t ...
286. Все публикации | Кафедра общей топологии и геометрии
Кафедра общей топологии и геометрии . ... Публикации . ... Сипачева О.В. , The Topology of Free Topological Groups, Journal of Mathematical Sciences, vol. 131, no. 4, 2005, pp. ... Сипачева О.В. , Топология свободной топологической группы, Общая топология и топологическая алгебра. ... Резниченко Е.А. , Сипачева О.В. , The Fr\'echet--Urysohn and $\alpha_2$-properties in separable spaces, groups, and locally convex spaces, 13th Summer Conf. on General Topology and Its Applications, Mexico, 1998, pp.~ ...
287. http://lizard.phys.msu.su/home/science/Dmitriev-Zvyagin-10-Uspekhi-final.pdf
... It is sometimes called the `thermoelectric figure-of-merit,' although this name is more often given to the dimensionless combination ZT sS 2 T X K In the above formulas, s, S, and K are respectively the material electrical conductivity, thermopower (Seebeck coefficient), and thermal conductivity, and T is the operating temperature or the average temperature T1 T2 a2 of the converter, with T1 and T2 being the respective cold and hot end temperatures. ... We first consider the thermal conductivity. ...
288. http://sun.sai.msu.ru/texts/somov-1-10Lect.pdf
Introduction to PLASMA ASTROPHYSICS (Selected 10 lectures) Boris V. Somov Astronomical Institute and Faculty of Physics Moscow State University Pushino-na-Oke, 2008 Contents Ab out These Lectures 1 Particles and Fields: Exact Self-Consistent Description 1.1 Liouville's theorem . . . . . . . . . . . . . . . . . . . 1.1.1 Continuity in phase space . . . . . . . . . 1.1.2 The character of particle interactions 1.1.3 The Lorentz force, gravity . . . . . . . . . 1.1.4 Collisional friction . . . . . . . . . . . .
289. http://srd.sinp.msu.ru/nymmik/models/MEMO2004.pdf
INTERNATIONAL STANDARD ISO TS 15391 Technical specification Version 2004 October ______________________________________________________________ Space Environment (Natural and Artificial) Probabilistic model for fluences and peak fluxes of solar energetic particles Part I Protons Memorandum Reference No. ISO 15391 SPACE ENVIRONMENT (NATURAL AND ARTIFICIAL) Probabilistic model for fluences and peak fluxes of solar energetic particles: Part I - protons 1 Memorandum-2004 (October) (Memorandum is compiled by
290. Программа конференции - ORM 2007
... кафедра Исследования операций . ... Приветствие Традиционные темы конференции Основные даты Оформление тезисов Регистрация Программа конференции Размещение Программный коммитет Организационный коммитет Координаторы Контактная информация . ... 10-14 апреля 2007 Программа конференции . ... академик РАН А.А. Петров . ... А.В. Кузнецова, В.И.Лукьянов, О.А.Максакова, И.С.Меньшиков, О.Р. Меньшикова, О.В. Сенько . ... секция . ... МГУ, ВМК, ауд. ... 11 апреля 2007 . ... среда, 11 апреля 2007, ауд. ...
291. Список участников и темы докладов конференции 'Маргиналии-2008'
Список участников и темы их докладов . ... Алпатов Владимир Михайлович - д. филол. н., зам. директора Института востоковедения РАН: 'Дневник Е.Г. Ольденбург - источник об истории советской науки' . ... Бергельсон Мира Борисовна - д. филол. н., доцент, проф. кафедры лингвистики и информационных технологий ф-та иностранных языков и регионоведения МГУ: 'How much culture we need to figure out misunderstanding: cognitive, cultural and interactional aspects of story telling' (на англ.) ...
292. http://www-hep.sinp.msu.ru/hep/images/stories/lehep_otchet_2009.doc
... Published in Phys.Rev.Lett.103:092001,2009. e-Print: arXiv:0903.0850 [hep-ex] Дополнительная информация доступна на странице: http://www- d0.fnal.gov/Run2Physics/top/singletop_observation/singletop_observation_upda ted.html 7) Measurement of the t-channel single top quark production cross section. ... Published in Phys.Rev.Lett.102:092002,2009. e-Print: arXiv:0901.0151 [hep-ex] Проведен анализ возможного проявления тяжелого заряженного скаляра в рождении и распаде топ-кварка. ... B672: 106-115,2009....
293. SPAW Editor documentation
About SPAW Editor . ... As of final version 1.0 of the control you'll need to rename the file spaw_control.default.config.php in config sub-directory to spaw_control.config.php when installing control for the first time. ... All of the SPAW Editor configuration options are located in the config/spaw_control.config.php file. ... This file will be included in img_library.php (Image library dialog script). $request_uri variable will be set to the URL of the page where SPAW Editor instance resides. ...
294. NPG-explorer
... Download NPG-explorer . ... Build nucleotide pangenome . ... Here we provide a table for 3 Brucella genomes: all: embl :CP002459 BRUMM chr1 c Brucella melitensis M28 chromosome 1 all: embl :CP002460 BRUMM chr2 c Brucella melitensis M28 chromosome 2 all: embl :CP003176 BRUAO chr1 c Brucella abortus A13334 chromosome 1 all: embl :CP003177 BRUAO chr2 c Brucella abortus A13334 chromosome 2 all: embl :CP002078 BRUPB chr1 c Brucella pinnipedialis B2/94 chromosome 1 all: ... Fix bugs....
295. http://np-chair.sinp.msu.ru/download/epja100510-offprints.pdf
... An extended set of observables of the nuclear quasi-free (p, d + ) reaction including the triple differential cross-section for coincidence measurements, its analyzing power in case of polarized proton beams and, also, the parameters of the polarization of the excited recoil nucleus and the produced deuteron are considered in the framework of the distorted-wave impulse approximation using the reaction 16 O(p, d + )15 N at a proton energy of 650 MeV as an example. ...
[