4 SPIN. ... 0 1 Hello, world! ( ) ";" , active proctype main() { printf("Hello, world!\n") } ґ , >spin hello.pml Hello, world! 1 process created Hello, world! ... mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( turn == P) - printf( Produce\n ); turn = C od } active proctype consumer() { do :: ( turn == C) - printf( Consume\n ); turn = P od } ( 1) ґ 0, (op on sequence) (guard) ґ mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( ...

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

• http://savenkov.lvk.cs.msu.su/mc/lect02.pdf

Revised: 21 May 2014, Accepted: 27 May 2014, Published online in Wiley Online Library (wileyonlinelibrary.com) DOI: 10.1002/jmr.2399 Force -induced globule-coil transition in laminin binding protein and its role for viral- cell membrane fusion Boris N. Zaitseva, Fabrizio Benedettib,e, Andrey G. Mikhaylovb, Denis V. Korneeva, Sergey K. Sekatskiib*, Tanya Karakouzb, Pavel ... 2008, 2010). ... This should permit us to elucidate still unclear aspects of viral-cell membrane interaction and fusion. ...

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

• RecentChanges

... Soc. 376, 1033ґ1046 (2007) doi:10.1111/j.1365-2966.2007.11549.x Kinematics and stellar populations of the dwarf elliptical galaxy IC 3653 I. V. Chilingarian,1 1 2 ,2,3 P. Prugniel, 2,4 O. K. Sil'chenko1 and V. L. Afanasiev 5 Sternberg Astronomical Institute of the Moscow State University, Universitetsky pr. ... Fitting the spectra with synthetic single stellar populations (SSP), we found an SSPequivalent age of 5 Gyr and nearly solar metallicity [Fe/H] =-0.06 dex. ... 2007 The Authors. ...

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

• http://sn.sai.msu.ru/~sil/preprints/203546.ps.gz
• http://sn.sai.msu.ru/~sil/preprints/my_an.pdf
• MPFS reduction routines HELP

... Сильные мира free software и open source . ... Очень рекомендую читать оригиналы на английском, потому как особый "вкус текста" неизбежно теряется, даже если (редко когда) перевод хороший: . Что такое свободное ПО (оригинал) (перевод) . Введение в предмет, определение философии свободного программного обеспечения. ... Двадцать лет свободному ПО: Что дальше? (оригинал) (перевод) . ... GNU . ... Знаменитый GNU Manifesto, множество текстов о природе свободного ПО и свободы людей вообще. ...

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

... История курсов . ... close this panel . ... Выпускной класс . Старшие классы . Младшие классы . ... Прием на курсы . ... График мероприятий . ... Телефоны, адреса . График работы . ... Приветствуем вас на сайте Общеуниверситетских подготовительных курсов.  ... Обращаясь на курсы через форму "Задать вопрос", будьте внимательны при написании своего электронного адреса.  . ... Сайт общеуниверситетских . подготовительных курсов  . ...

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

... О КАФЕДРЕ ? ... GENERAL INFORMATION ABOUT THE CHAIR . ... Кафедра ЮНЕСКО по изучению глобальных проблем и возникающих социальных и этических вызовов для больших городов и их населения на факультете глобальных процессов Московского государственного университета имени М.В. Ломоносова . ... Cоздание кафедры ЮНЕСКО на факультете глобальных процессов МГУ открыло новые возможности для научных исследований в области возникающих глобальных социальных и этических проблем  и для их преподавания. ...

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

News of PARALLEL.RU par-news на mail.parallel.ru . Вт Дек 11 17:52:32 MSK 2012 . ... Выпуск 337 . 11 декабря 2012 г. ------------- Опубликовано решение состоявшегося 4 декабря 2012 года в МГУ имени М.В.Ломоносова годичного собрания Суперкомпьютерного консорциума университетов России. http ://hpc-russia.ru/20121204/decision2012.pdf http ://hpc-russia.ru/20121204.html ------------- НОВОСТИ МИРА ВЫСОКОПРОИЗВОДИТЕЛЬНЫХ ВЫЧИСЛЕНИЙ http :// parallel.ru / ...

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

• PARALLEL.RU - Новости, выпуск #327 [30/05/2012]
• PARALLEL.RU - Новости, выпуск #350 [06/08/2013]
• PARALLEL.RU - Новости, выпуск #387 [17/06/2015]

О НЕУСТОЙЧИВОСТИ СХОДЯЩИХСЯ УДАРНЫХ ВОЛН ПОЛИГОНАЛЬНОЙ ФОРМЫ А.В. Конюхов, А.П. Лихачев Объединенный институт высоких температур РАН, Москва Как известно [1], сходящиеся цилиндрические (сферические) ударные волны неустойчивы по отношению к потере пространственной симметрии с тенденцией к возникновению полигональной (полиэдральной) формы. ... Whitham, G. B., 1974 Linear and Non-linear Waves. ... Schwendeman, D. W., Whitham, G. B. On converging shock waves // Proc. R. Soc. ...

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

• http://hit-conf.imec.msu.ru/books/NeZaTeGiUs_2010.pdf
• http://hit-conf.imec.msu.ru/2012/abstracts/Kurbatsky.doc
• http://hit-conf.imec.msu.ru/2012/abstracts/Kolmychkov.doc

... Annex (e.g. 3.1) (3) Paragraph/ Figure/Table/ Note (e.g. Table 1) 4 Type of comment2 5 Comment (justification for change) by the MB Date: (6) Document: (7) Secretariat observations on each comment submitted Proposed change by the MB RU RU RU RU 2 2 2 2 Row 2 Row 4 Row 4 Row 5 ed ed ed te SEPs are not fluxes , but particles It is desirable to add that Wolf number is also known as the sunspot number. ... CLOSED: Accepted and implemented in modified form CLOSED: Accepted and RU 2 Row 16 . ...

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

• Rikho Nymmik

... PhDi . ... SOFTWARE PACKAGE FOR CALCULATIONS OF PHASE DIAGRAMS . elaborated and developed by laboratory scientists) . The software package contains a database of thermodynamic properties for about 200 systems and a software based on a so called convex hulls approach. ... binary systems in coordinates Temperature - Composition at fixed pressure and Pressure ? ... Colloquium on 24.12.12 20 Dec 2012 . ... Colloquium on 23.11.12 22 Nov 2012 . ... Laboratory of Chemical Thermodynamics . ...

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

• Carbamide Laboratory of Chemical Thermodynamics

... defmacro defprinter ( name args &body body ) . ... body ) ) . ... defprinter :property ( type name &rest body ) . print-statement-with-body stream body nil "public ~a ~a" type name ) ) . ... defprinter :get ( &rest body ) . print-statement-with-body stream body nil "get" ) ) . ... defprinter :constructor ( name args &rest body ) . ... defprinter :class ( name &rest body ) . print-statement-with-body stream body t "public class ~a" name ) ) . ... defprinter :namespace ( name &rest body ) . ...

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

... Математически процедуры реконструкции заключаются в решении обратной задачи электроэнцилографии и электрокадиографии. ... Она решается при помощи методов конечных элементов или граничных элементов. ... Метод Тихонова, как показали численные эксперименты, дает неплохие результаты в задаче построения электрических карт. ... Задача состоит в поиске оптимального метода. ... Поскольку методы решения обратных задач обычно итерационные, то алгоритмы решения прямой задачи должны быть быстрыми и надежными. ...

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

Economic, industry and corporate trends A report from the Economist Intelligence Unit sponsored by Cisco Systems Foresight 2020 Economic, industry and corporate trends Contents Preface Executive summary Chapter 1: The world economy Chapter 2: Industries Automotive Consumer goods and retailing Energy Financial services Healthcare and pharmaceuticals Manufacturing Public sector Telecoms Chapter 3: The company Appendix I: Survey results 2 3 6 22 24 30 36 43 50 57 62 67 74 86 Appendix II: Methodology for

298. http://www.geol.msu.ru/obsh/uch_ch1.doc

299. Новости | Кафедра НДСиПУ

300. http://anspa.msu.ru/linkpics/News/5-9.04China.doc