... 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/ )

... This book contains scientific papers prepared by researchers of Moscow State University and Autonomous University of Puebla in accordance with a special Russian--Mexican scientific program. ... Institute of Mathematical Studies of Complex Systems, Moscow State University . ... Institute of Nuclear Physics, Moscow State University . ... The book is edited by Rector of Moscow State University Dr. V.A. Sadovnichii and Rector of Autonomous University of Puebla Dr. E. Doger Guerero. ...

Еще в разделе: (Показать все результаты (>210) - num-anal.srcc.msu.ru/ )

... Затем полученный файл был подан на вход программе fdnaml , которая поочередно реконструировала методом максимального правдоподобия дерево с каждой реплики. fdnaml leafs.fasta -ttratio 1 - auto . ... Исходное дерево . Конcенсусное дерево . ... 100.0-| ... Таблица разбиений для этого дерева выглядит точно так же, как для оригинального дерева: . ... Jacknife работает с кусками оригинальных выравниваний, что видимо уменьшает вероятность появления случайных "ветвей-выбросов". designed by Alex Makarov ...

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

• Alex Makarov. Personal Page. Modelling and reconstruction of trees I.
• allpy: 4e4d53155e42
• allpy: 2c0391cca127

. M.Sc. 1998. Diploma work in Magnetoacoustics, Kursk State Pedagogical University, Physics&Mathematcs Faculty. Thesis title: "Cherenkov-type magnetoelastic waves in the cylinder" . Ph.D. 2000 Kursk State Technical University. Thesis title: "The mathematical modeling of the Cerencov-type magnetoacoustic waves in solids" . D.Sc. 2011 Voronezh State University. Thesis title: "Analysis of multiscale structures and modeling dynamics of their formation based on hierarchical diffusion approach "

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

• http://chaos.phys.msu.ru/postnicov/cv.html
• http://chaos.phys.msu.ru/prokhorov/diplom/diplom.htm
• http://chaos.phys.msu.ru/prokhorov/index.htm

... My field of specialization is Stability Theory, Nonlinear Dynamics, Asymptotic Methods, Mechanics of Solids, System Identification, Optimal Control, Economic Growth. ... A.O. Belyakov and A.P. Seyranian (2012). ... A.O. Belyakov and A.P. Seyranian, . ... A.P. Seyranian and A.O. Belyakov, Swing dynamics. ... A.O. Belyakov, A.P. Seyranian, and A. Luongo, Regular and chaotic dynamics of the swing. 6th EUROMECH Nonlinear Dynamics Conference (ENOC 2008) , Saint Petersburg, Russia, June, 30 - July, 4 2008...

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

Block |from|to(exclusive)|gaps 0|0|5|0 1|0|6|0 2|18|29|0 3|16|20|0 4|25|32|0 5|6|16|0 6|32|41|0 7|20|25|0 # Block |Sequence 0| file :/ data / npidb / pdb / pdb_new / models / 2k1n.MDL1.pdb :A:0:8:53 0| file :/ data / npidb / pdb / pdb_new / models / 2k1n.MDL1.pdb :D:0:8:53 0| file :/ data / npidb / pdb / pdb_new / models / 2k1n.MDL1.pdb :B:0:8:53 1| file :/ data / npidb / ...

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

• http://monkey.belozersky.msu.su/npidb/pdb/pdb_new/Block_3D/PF00320.22.fasta.hb
• http://monkey.belozersky.msu.su/npidb/pdb/pdb_new/Block_3D/PF07362.7.fasta.hb
• http://monkey.belozersky.msu.su/npidb/pdb/pdb_new/Block_3D/PF00096.21.fasta.hb

... Course "Computer Physics" for 1st and 2nd year students of Physics . ... The audience is 1st and 2nd year students of Physics. ... It consists of a short lecture course, seminars, and a large number of computer labs. ... 1985-1994 : Lectured a specialized course on "Computer Physics"for the 3rd year students of Physics, Department of Physics, and attendees of the continuing education department, International Laser Center of Moscow State University. ... 2016 Quantum Information Laboratory. ...

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

... The Department of Operations Research . ... Coordinators Contacts . ... on Operations Research, . ... Moscow, April 10-14, 2007 Coordinators . ... 1) New models and methods . Prof. V.V. Morozov . ... 3) Multiple objective decision making . ... Prof. I.G. Pospelov, Prof. A.A. Shananin . ... Prof. A.A. Belolipetckiy . ... 9) Game-theoretic models . ... Symposium A: Analysis of the markets and decision making in electric power industry . ... Symposium B: Models of political decision making. ...

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

• Traditional topics of the conference - ORM 2007

... 960), Faculty of Philology, 1st Building of Humanities, Lomonosov Moscow State University, Vorob'jovy Gory, Moskva, 119899, Russia . ... Department of Russian Linguistics, . ... Getting of Ph.D. degree for a dissertation "Factors and Regularities of Analyticity Development in Language" (Moscow State University, Department of Structural and Computational Linguistics) . ... A member of Moscow University Academic Council for defending doctoral degrees in Slavic and Russian Linguistics (2001 - till now)...

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

• MSU-LGCLL:: Papers submitted to QUALICO-94
• Basic Assumptions about a Sign's Life Cycle for Mathematical Modelling of
• МГУ-ЛОКЛЛ:: Библиография основных работ А.А. Поликарпова за последние годы

... Applications of Molecular Mechanics to Metal Complexes" . ... Molecular mechanics study of the mixed-ligand lanthanide complexes using Gillespie-Kepert model . ... Within MM-GK, the same parameters are applicable to complexes of different coordination numbers/polyhedra. ... Gillespie-Kepert model . ... Using derived computational parameters, we calculated the geometry of 39 lanthanide ion nonaaqua complexes, 6 octaaqua complexes and 18 beta- diketonate and aqua-beta-diketonate complexes. ...

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

• Study of amino- and pyridyl-containing zinc(II) and cadmium(II) complexes by
• Molecular Mechanics Calculations of beta-Diketonate, Aqua, And

... ISO/IEC 10746-1: Basic Reference Model of Open Distributed Processing Part 1: Overview and Guide to the use of the Reference Model, July 1994. ... ISO/IEC 10746-2: Basic Reference Model of Open Distributed Processing Part 2: Descriptive Model, 1994. ... ISO/IEC 10746-3: Basic Reference Model of Open Distributed Processing Part 3: Prescriptive Model, February 1994. ... ISO/IEC 10746-4: Basic Reference Model of Open Distributed Processing Part 4: Architectural Semantics, 1994. ...

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

• Linux on Sony VAIO mini-HOWTO
• Linux and Psion HOWTO
• The Apache TPF Port

. Название публикации . T-cadherin suppresses the cell proliferation of mouse melanoma B16F10 and tumor angiogenesis in the model of chorioallantoic membrane . Авторы . E.I. Yurlova, K.A. Rubina, V.Yu. Sysoeva, G.V. Sharonov, E.V. Semina, Ye.V. Parfenova, V.A. Tkachuk . Дата . 31.12.2009 23:00:00 . Название журнала . Cell Differentiation and Proliferation. Том . Vol.41 . Номер . 4. первая страница . 217 . последняя страница . 226. Купить нет на складе . 2009 ФФМ МГУ, 2009

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

Brain Research Group >> Research >> Change-point analysis ... << previous next >> . ... It is necessary to note that a change-point detection method which we applied to a real EEG signal was developed on the basis of the piecewise stationarity model of the signal. ... The data presented in this Chapter demonstrate that the effective detection of the change-points opens the way for a number of new methods of the analysis of complex signals such as the EEG. ...

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

• Laboratory for Neurophysiology and Neuro-Computer Interfaces (NNCI) (former
• Parametric segmentation of the EEG
• Alexander Kaplan * Александр Каплан

.

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

• Laboratory of Mechanics of Multiphase Media

... For the investigations of the phenomenon leading to non inflation (squidding) of parachute, the influence of canopy permeability and upstream flow on the character of pressure distribution along framework model, imitating round parachute, was studied experimentally. ... The pressure sensors: 13 ones inside and 13 - outside the canopy have been placed for the study of distribution of internal and external pressure on the surface of the model. ... Variant 1. ... Parachute Science] . ...

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

• Education
• Scientific Achievements

... The latter should be taken into account and carefully modeled as a fluid-structure interaction (FSI) problem. A patient- specific FSI analysis is impossible because it predicts only estimated hemodynamic features which are based on assumptions regarding material properties. The objective of this study is to develop a new methodology that assimilates medical imaging data for quantitative hemodynamic data extraction. ...

Еще в разделе: (Показать все результаты (>33) - hit-conf.imec.msu.ru/ )

... Practical courses . ... The architecture of data acquisition and control systems systems and laboratory works employs various types of plug-in boards, CAMAC modules, GPIB boards, original connecting cards and virtual generators, breadboard modules, and sound blasters, which are used as generators of analog signals of different shapes and as analog-to-digital converters. ... Pascal and C++ are employed to program the different blocks of data acquisition and control systems systems. ...

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

• Publication
• Публикация
• Grant detail

... The applied mathematics (with Honors), Kazan State University, Kazan, Russia (USSR), 1980. nd Alexander Lazarev Research Interests Discrete optimization: combinatory problems, modeling, decomposition algorithms, applications to production planning and scheduling. ... Kazan, Publishing house of the Kazan mathematical society, 1998. - 285 p. Lazarev A.A., Gafarov E.R. Scheduling Theory. ... Computer centre of the Russian Academy of Sciences - 2006. - 134 p. Lazarev A.A., Gafarov E.R. Scheduling Theory...

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

... Какие ядерные реакции идут в звездах на НГП? ... Какие граничные условия используются при построении модели звезды? ... Опишите распределение конвективных зон в звездах находящихся на НГП в зависимости от массы. ... Рассчитайте 6 моделей звезд на НГП для нескольких значений масс и химических составов, указанных преподавателем. Например, модели для следующих значений относительного содержания (по массе) водорода X и металличности Z: X =0.7; Z=0.03; с массами 0.5, 1.25 и 5 M ? ... R ядра /R * . ...

Еще в разделе: (Показать все результаты (>221) - observ.pereplet.ru/ )

• Справка по STEV

... The traditional answer to this question is unequivocal: тАЬno, public scholarship cannot and should not exist.тАЭ To popularize knowledge is to simplify, and simplification risks the loss of nuance and complexity, the very essence of scholarly knowledge. ... The public sphere can know but a distorted version of scholarly knowledge. ... You need JavaScript enabled to view it. (with Summer School-2016 in the subject line) before April 25, 2016. ... Summer School Archives . ...

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