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

... Three peaks of the catalytic activity were found on the plot of activity versus surfactant hydration degree (the size of the micellar inner cavity) which corresponded to functions of the enzyme in various oligomeric forms: monomeric, dimeric, and octameric. ... In the case of the covalently-linked non-dissociating dimeric enzyme, the peak which corresponded to the monomeric form of the enzyme was found to disappear from the catalytic activity curve. ...

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

• Group "Biomedical applications for proteins and enzymes. Pharma Biotechnology"
• proj_now
• About Lab

Brain Research Group >> Research >> Change-point analysis ... << previous next >> . ... Application of the change-point analysis to the investigation of the brain's electrical activity. ... The EEG is also an effective tool for brain disease and traumatic lesion diagnostics. ... It is evident, however, that effective control of body functioning requires strict constraining of the number of degrees of freedom at all levels of the brain structural and functional hierarchy. ...

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

• EEG feature extraction

Oxana V. Dzhosan oxanad@mail.ru Scientific Data Visualization System for HighPerformance Computing MSU_VIZ Visualization system MSU_VIZ for Blue Gene /P Blue Gene /P MSU_VIZ Blue Gene /P front-end MSU_VIZ PC workstation Display MSU_VIZ 2D display - Data calculation - Video rendering - Video enhancement - Video compression - Video resizing - Display ... It is used for stereoscopic displays. ...

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

• NetCDF User's Guide for C
• Foreword

Tools for monitoring of data exchange in real-time avionics systems V.V. Balashov, V.A. Balakhanov, A.G. Bakhmurov, M.V. Chistolinov, P.E. Shestov, R.L. Smeliansky, N.V. Youshchenko Lomonosov Moscow State University, Dept. of Computational Mathematics and Cybernetics, Laboratory of Computer Systems e-mail: {hbd,baldis,bahmurov,mike,osmin,smel,yoush}@lvk.cs.msu.su Abstract In this paper we present a toolset for monitoring of data exchange through onboard channels of real-time avionics (RTA) systems. ...

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

• http://lvk.cs.msu.su/~dimawolf/ArchEVM/Lection12.pdf

Institution: Moscow State Universiy, Institute of Nuclear Physics . Address: Moscow State University . Institute of Nuclear Physics Vorob'evy Gory Moscow 119899, Russia . ... Phone: (7-095)-939-12-57 . Fax: (7-095)-939-58-88 . ... Publications (pdf-file) . V.L. Korotkikh publications, reports et al. on cite ISTINA . To Vladimir Korotkikh Home Page . Publications after 1977 year in SLAC archive . E852 Experiment . ... To Laboratory of Strong Interactions Home Page . ...

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

• Home Page of I. Lokhtin
• Etapi- Comments 3/1/97

... Mosekilde E. Department of Physics, Technical University of Denmark, Kgs. ... The purpose of this talk is to demonstrate the essential role that nonlinear dynamic phenomena play in normal physiological regulation and in the development of various diseases. ... Regulation of pressures and flows in the individual nephron involves the interaction between the tubuloglomerular feedback mechanism (TGF) and the oscillatory response of the activated afferent arteriole. ... 2007 Biophysics dep., ...

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

системы автоматизации, автоматизированные системы , информационные системы , мобильные и встраиваемые системы , программное обеспечение, вычислительные системы , средства связи,базы данных, информационные технологии,технологии программирования, обработка изображения, параллельные вычисления, информационное моделирование,математическое моделирование, вычислительный эксперимент, информатика,методы вычислений, численный анализ, numerical ...

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

... Astronomy search engine . ... PhysicsWeb Home Page . ... Sternberg Astronomical Institute . ... Astro Space Center Home Page . ... Landau Institute for Theoretical Physics . ... Astronomy and Space Physics Dept of Kiev University . ... NATIONAL RADIO ASTRONOMY OBSERVATORY Home Page . University of Hawaii - Institute for Astronomy . ... Space Telescope Science Institute Home Page . ... Sky & Telescope: The Essential Magazine of Astronomy . ... Springer LINK - Physics Online Library . ... Home . ...

Еще в разделе: (Показать все результаты (>301) - astro.uni-altai.ru/ )

... Microstructure deeply influences the properties and thus the functionality of a material. In an X-ray diffraction pattern, the microstructure information is usually extracted from the breadth and shape of line profiles. ... Доклад ?Structure/microstructure and their interplay in nanomaterials and layered systems? оказался очень полезным и интересным для ученых, работающих в области неорганического синтеза и физико-химических методов исследования. ...

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

• International School ?Computer simulation of advanced materials?, 16?21 July
• Molecular physiology | MSU Nanotechnology Education and Research Center
• Schools | MSU Nanotechnology Education and Research Center

... High Brightness RTM . ... Fig.1a: 70-MeV pulsed race-track microtron . Many applications require compact, inexpensive and efficient source of electron beam in energy range 10-100 MeV. ... Beam is focused by accelerating structure, which acts as RF quadrupole singlet, quadrupole triplets (12) installed at the even orbits return path and by electromagnet quadrupole singlet (9) installed at common axis. ... Fig.1b: 70-MeV RTM Schematic . ... Energy gain: 4.8 MeV / orbit . Orbits: 14 . ...

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

• RTM-CS

... English grammar: a)Grammatical mythology b) The structure of words c) Parts of Speach d)The structure of sentences 4. English vocabulary : a) the nature of the lexicon b) The sources of the lexicon c) The structure of the lexicon : : :1.Old English 2.Middle English 3.Early Modern English 4.Modern English 5.World English 6.The sound system ( phonetics and phonology 7.The vowels(monophthongs,diphthongs,triphthongs) 8.Classification of vowels 9.Consonants 10.Types of consonants ...

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

• Наш факультет