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

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

... Cultural Mediation of National History and Identity . ... Second International Conference in Tampere , Finland . ... This sense of national identity, of history and possible futures, is communicated by cultural and institutional forces and integrated, individually and collectively, into our sense of a common shared nationhood. ... Through a semiological analysis of television texts, it is demonstrated how, by a re-interpretation of Russian history, new cultural and national identities are...

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

• Я-концепция и теория когнитивного диссонанса: обзор зарубежной литературы
• Serge Moscovici. Social Representations Theory and Social Constructionism

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

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

Карты глубинных срезов для 6 уровней (синее - скорость выше стандартной, красное - ниже ) (для увеличения масштаба - нажать на картинку) ( Здесь анимация ) . Избранные вертикальные профили (кружки - очаги землетрясений) (для увеличения масштаба - нажать на картинку) . ... b) Марианский желоб (16 o СШ, 135 o ВД- 18 o СШ, 150.6 o ВД) . ... d) Перу (13 o ЮШ, 78 o ЗД- 12.5 o ЮШ, 62.6 o ЗД) . e) Новая Гвинея (12 o ЮШ, 143 o ВД- 2.5 o ЮШ, 146.8 o ВД) . ...

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

... The subjects of the Colloquium-458 cover important problems dealing with the verification of constitutive equations, the organization of experiments, the connection between microstructures and mechanical properties and the effective utilization of the modern FEM packages. ... Institute of Mechanics, Lomonosov Moscow State University, Michurinsky Prospekt, 1, 117192, Moscow, Russia . ... S.-Petersburg, 195251, Russia. ... Institute for Problems in Mechanics of Russian Academy of Sciences . ...

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

• EUROMECH Colloquium-458

... The Informativeness of Coherence Analysis in EEG Studies A. P. Kulaichev UDC 612.821.6 Translated from Zhurnal Vysshei Nervnoi Deyatel'nosti imeni I. P. Pavlova, Vol. ... KEY WORDS: coherence, spectral analysis, EEG non-stationarity, amplitude modulation. ... In particular, the two fundamental differences between EEG signals and most other physical signals are not considered: a) fundamental non-stationarity; b) amplitude modulation at all frequency ranges. ... Coherence in technical addenda. ...

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

• http://www.protein.bio.msu.ru/~akula/JourVND1104007KulaichevLO.pdf

... Properties of Stellar Populations in Isolated Lenticular Galaxies I. Yu. ... The resulting average ages of the stellar population in bulges and discs fill an entire range of possible values from 1.5 to 15 Gyr which indicates the absence in the isolated lenticular galaxies, unlike in the members of groups and clusters, of a certain epoch when the structural components are formed: they could have been formed at a redshift of z > 2 as well as only several billion years ago. ... 69 NGC 2350 No. ...

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

• http://sn.sai.msu.ru/~sil/preprints/203546.ps.gz
• http://sn.sai.msu.ru/~sil/preprints/iau245sil.pdf
• http://sn.sai.msu.ru/~sil/preprints/bul_eng.pdf

... UHECR SINP MSU . ... News . ... TUS Ultra high energy cosmic ray detector on-board the Lomonosov satellite . ... According to existing estimations it can be a prominent source of ultra high energy cosmic rays (UHECR). ... In either case, the newly born magnetar is an attractive site for producing ultrahigh-energy cosmic rays (particles with individual energies exceeding 10 18 e V ; UHECRs). ... A new mechanism for the acceleration of ultra high energy cosmic rays (UHECR) is presented here. ...

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

• Новости КЛПВЭ

1, 120103 (2012) . ... 2012 120103-1 1, 120103 (2012) . ... xi ,yk ) : i,k =- 3 ( hy 2 i,k-1 - i,k 1 )- 2 i,k-1 . ... 2 2 + 2 i,k = hx2 hy i-1,k +i+1 = hx2 ,k + i,k-1 + hy 2 i,k+1 + i,k . ... 1, 120103 (2012) max 2, max -- ; -- . ... 2012 120103-8 1, 120103 (2012) Numerical mo delling of propagation pro cess and sedimentation of ablated particles in the scheme of a direct laser dusting . ... 492) 247-96-21, e-mail: aantipov@vlsu.ru. 2. -- .-. , ; .: (492) 253-33-58 e-mail: aarak@vlsu.ru. 3. -- ; . ...

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

... Moscow State University Belozersky Institute of Physico-Chemical Biology . The Department of Electron Microscopy offers positions in the area of molecular biology of the cell for excellent and highly motivated biologists at under-graduate or post-graduate level. Students : We are constantly offering diploma thesis and PhD thesis projects for students in cell biology and biophysics. The applicant is expected to have a strong interest in either experimental activity or computer modeling. ...

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

... Living systems depository "Noah's Ark" . ... About the project . ... The project of the Moscow State University "Noah's Ark" is dedicated to the creation of multi-functional network storage of biological material. ... Creation of temporary prototypes of living systems depository bank for storage and research of the collected material. ... Development of algorithms for the information processes analysis in living systems for receiving, filing and processing of various types of biological data. ...

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

• Biological information | depozitariy

... The students of the Faculty of Geography study territorial distribution and spatial development patterns of various natural phenomena as well as social and economic objects. ... The academic program includes courses with lectures, seminars, laboratory and field training in natural sciences and humanities which form 4 blocks: . ... In addition to the field stations of the Faculty, the students have an opportunity to have their field training in scientific institutions and different companies. ...

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

• Administration
• Selenga-Baikal research

... Structure of Data . ... Catalog . ... Catalog: 206 clusters 32 clusters: known before 12 clusters: parameters from BVRI photometry @ SAO 1-m 0 clusters: parameters from UBVRI photometry @ Maidanak 1.5-m 26 clusters: parameters from 2MASS 168 clusters: new (2MASS) 142 clusters: parameters from 2MASS 26 clusters: embedded 0 clusters: parameters from BVRI photometry @ SAO 1-m 3 clusters: parameters from UBVI photometry @ ARIES 1.04-m 0 clusters: parameters from UBVRI photometry @ Maidanak 1.5-m . ...

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