... 1, 119899 Moscow, Russian Federation shamolin@imec.msu.ru ABSTRACT This work is devoted to the development of qualitative methods in the theory of nonconservative systems that arise, e.g., in such fields of science as the dynamics of a rigid body interacting with a resisting medium, oscillation theory, etc. ... References [1] M.V. Shamolin, Methods of Analysis of Dynamical Systems with Variable Dissipation in Dynamics of a Rigid Body [in Russian]. ...

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

• http://shamolin2.imec.msu.ru/art-136-1.pdf
• http://shamolin2.imec.msu.ru/art-102.pdf
• http://shamolin2.imec.msu.ru/art-98-1.pdf

Sign in Register . ... Resources . ... info@ecfs.msu.ru . All contacts . ... Home Forum Ongoing consultations/ Текущие онлайн конференции . ... Search in section Everywhere Основная дискуссия -Ongoing consultations/ Текущие онлайн конференции -Прошедшие онлайн конференции -Общая дискуссия -Евразийское почвенное партнерство . ... last comment . ... Last answer . ... Contacts . The Department of land resources . ...

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

• Forums | ECFS
• Topic 2: Barriers to Sustainable Soil Management in Eurasia / Барьеры на пути к

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

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

Intel, .. ... Virtual Machines - Versatile Platforms for Systems and Processes. ... 2006. ... Intel® 64 and IA-32 Architectures Software Developer's Manual Volume 1: Basic Architecture. ... Pin -- a dynamic binary instrumentation tool. http://www.pintool.org/. ... Using Simics for virtualized systems development.-- 2007.http://www.virtutech.com/whitepapers 6. ... The 16th IEEE International Symposium on High-Performance Computer Architecture (HPCA). 2010.- ...

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

• http://master.cmc.msu.ru/files/Software_Protection.pdf

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

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

• Sergei Shishkin
• EEG feature extraction
• Sergei Shishkin * Сергей Шишкин

... For those who is interested in thermodynamic modeling . Yuri Shvarov . This page is aimed mainly at the users of the software package HCh for thermodynamic (equilibrium) modeling of (geo)chemical systems and processes. However, some files presented here may also be of some interest to those who do not use HCh. ... HCh for DOS . ... User's guide for the Unitherm program intended for maintaining thermodynamic databases and calculation of thermodynamic properties of substances . ...

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

• "Смирновские чтения". Кафедра геологии и геохимии полезных ископаемых
• Faculty of geology Moscow State Lomonosov University
• Faculty of Geology >> Departments

Sum of Squares of polynomials technique for stability and bounds in fluid dynamics S. Chernyshenko (Imperial College London) and P. Goulart (ETH Zurich) This talk will introduce a new method for proving global stability of fluid flows using recently developed optimization methods based on sum-of- squares (SOS) decomposition to construct a polynomial Lyapunov function. ... Such polynomial functions can be searched for efficiently using the SOS technique. ...

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

... Sergey Burikov was born on 9th of November 1978 in Moscow. In 1996, he applied to the Faculty of Physics of Moscow State University and after graduating from it became a Ph.D. Student. ... Sergey has 51 publications, including 32 papers in refereed journals. ... Sergey gives course on . Modern methods and possibilities of Raman laser spectroscopy. ... 2016 Laboratory of laser spectroscopy of solutions of supramolecular compounds and nanostructures . ...

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

• Sergey Burikov
• Group of laser spectroscopy of solutions of supramolecular compounds and
• Tatiana Dolenko

... Alexander A. Moskovsky . ... Software Designer : . ... Projects: . Janitor II, Custodian III for Matrix Logic - utilities for DOCS Open EDMS (electronic document management system), C++/Win32 platform. ~2 man-year project with 5 persons team. iBuzz - (for ibuzz.com ) large client-server system (Win32, Enterprize Java Beans, Oracle, Sun/Solaris). ... Lunch Ordering Web System. ... Software Resources International , former Digital Moscow Software Center, . ... Physical Chemistry chair, . ...

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

• Current Projects
• Publications
• Research Interests

... The Science Operation Department is composed of Astronomers, Telescope Instruments Operators(TIOs) and Data Handling Administrators(DHAs). ... Astronomers have proposed several methods to quantitatively measure the amount of turbulence above the telescope, which the most common ones is Differential Image Motion Monitor (DIMM). In optical testing, the Hartmann test is the common method to test the quality of optical components. ... Hartmann mask consists of 48 lenses. ...

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

... Master . ... SAI MSU . Conference was supported by PLC "MO "OPTIKA" . ... Morning session . Chair Hugo Levato (ICATE, Argentina) . ... Vladimir Lipunov ( MSU , SAI ) . ... Evgeniy Gorbovskoy (MSU, SAI) & . А lexander Belinskiy (MSU, SAI) . ... Chair Claudio Mallamaci (OAFA, Argentina) . ... Using MASTER Net in the MSU educational process . ... Chair Victor Kornilov (MSU, SAI) . ... Nikolay Budnev (ISU ) . ... Excursion to the Moscow Kremlin . ... Joint MASTER and Russian Pereplet session. ...

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

• SAI Space Monitoring Laboratory
• YaB-100 - Programme

... 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? оказался очень полезным и интересным для ученых, работающих в области неорганического синтеза и физико-химических методов исследования. ...

Еще в разделе: (Показать все результаты (>33) - 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

... СУНЦ МГУ . ... Краткая информация . ... Материалы экзаменов 1-го тура прошлых лет . ... Кафедры . ... Сотрудники . ... Кафедра химии . ... Сезонные школы СУНЦ МГУ . ... Олимпиадные сборы СУНЦ МГУ . Интернет-ресурсы СУНЦ МГУ . ... Заочная школа СУНЦ МГУ . ... Главная Подразделения Кафедры Кафедра химии Chemistry Chair . Chemistry chair of AESC MSU was founded at 13 November 1989 by professor of MSU Chemistry department Yu. ... Natalia Igorevna Morozova, docent, PhD (Chem.) ... Chemistry Chair . ...

194. http://matematika.phys.msu.ru/files/seminar/189/Naidu_SPaTS_Presentation_MoscowStateUniversity_2012_06_23_Abstract+and+Biography.pdf

195. THEORETICAL PRINCIPLES AND METHODS OF REMEDIATION OF SOILS POLLUTED WITH HEAVY

196. http://www.socio.msu.ru/vestnik/archive/2010/3/13.pdf

197. News | Department of Mechanics and Mathematics

198. About Journal