... Paradigm shifts by Kuhn: successive change of one model by another, rather than integration of different paradigms Progress of science: from single- to multi-model approach Some examples from natural science... · theory of light: from vibration of ether to wave-particle duality · laws of motion: from Newton's dynamics to SchrЖdinger 's and Heisenberg's formalism In social and environmental sciences appreciation of the multi-model ...

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

• http://oc.cs.msu.ru/eroven/page.htm

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

... 1998) · - , · : , , , · , TVD · · - X 24 ­ 30 2011, 5 1.4, M0 6, Re 2.25 10o , Tw , Pr 0.7, 15 x* 0.28, 1 III III IV IV X 24 ­ 30 2011, IV 900 2 10 Re * s0 5 10 3 3 2 10 450 103 2 8 102 225 5 104 2 45 10 4 X 24 ­ 30 2011, III 450 103 Re * s0 2 10 2 4.08 102 315 7 104 0.125 180 4 10 4 2 45 10 4 X 24 ­ 30 2011, Qs sVsn 1 Vs2 cs Ts Tw Q0 2 3%, s0 / 0 103 , 1 1%, s0 / 0 103 , 1 X 24 ­ 30 2011, X 24 ­ 30 2011, Pr 1, K 1 1.4, M 2 x X 24 ­ 30 2011, Pr 1, K 1 1.4, 2 X 24 ­ 30 2011, , : ; , . ...

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

... SAI MSU 20-21 March 2014 . ... Programme and presentations . ... Zel'dovich asteroid . ... YaB-100 conferences . ... 20 March . Chair V.M. Lipunov . ... Some unusual ideas in our books with Ya.B. Zel'dovich . ... Coffee break . ... Chair I.D. Novikov . ... Cosmoparticle physics - fundamental relationship of Cosmology and Particle Physics . ... Zel'dovich as the initiator of gravitational wave research (in Russia and in the world) . ... A.G. Doroshkevich . ... Chair A.G. Doroshkevich . ...

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

• YaB-100 - Participants
• SAI Space Monitoring Laboratory

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

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

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

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

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

Instruments and Methods in Physics Research B xxx (2005) xxx­xxx www.elsevier.com/locate/nimb Recent advances in R D of gas cluster ion beam processes and equipment Isao Yamada *, Noriaki Toyoda Laboratory of Advanced Science and Technology for Industry, University of Hyogo, 3-1-2 Kouto, Kamigori, Hyogo 678-1205, Japan Available online Abstract This report reviews a new field of ion beam ... General GCIB apparatus schematic. ... NEDO/METI Project on Gas Cluster Ion Beam Process Technology. ...

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

• http://danp.sinp.msu.ru/Articles_GSIB/nimb237_240_Liquidsource_ClasterIons.pdf
• http://danp.sinp.msu.ru/Articles_GSIB/nimb_GCIB_Ar_Sizeeffects.pdf
• http://danp.sinp.msu.ru/Articles_GSIB/nimb_GCIBSystem_Yamada.pdf

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

189. http://lib.sinp.msu.ru/static/tutorials/52_p4.pdf

190. http://www.soc-phys.chem.msu.ru/rus/prev/zas-2015-12-01/presentation.pdf

191. Astronomy links

192. http://cellmotility.genebee.msu.ru/html/articles/vorobjev83-1.pdf

193. http://srd.sinp.msu.ru/nymmik/models/bazilevskaya_2.pdf

194. http://www.ffl.msu.ru/students/courses/fl-teaching/67-shishkina-intro-to-fundam-of-eng.pdf

195. http://www.inpro.msu.ru/files/nmo/vopros-kredit.pdf

196. Кафедра Исследования Операций

197. http://www.psy.msu.ru/people/izmailov/2001-izmailov_dzhafarov_zimachev.pdf

198. SWX - Данные

199. ЛВМХ - Сотрудники

200. http://www.mgumus.chem.msu.ru/arw/natocamera-ready.doc