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

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

... Likert-type scale response anchors. ... Level of Acceptability . ... Neutral . ... Level of Appropriateness . ... Level of Importance . ... Level of Agreement . ... Somewhat disagree . ... Somewhat agree . ... Never true . ... Rarely true . ... Sometimes but infrequently true . ... Sometimes true . ... Usually true . ... Always true . ... Somewhat true of me . ... Somewhat true of what I believe . ... Priority: . ... Somewhat priority . ... Priority Level . ... satisfied . ... Somewhat satisfied . ...

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

First Russian Conference "OZONE AND OTHER ENVIRONMENT FRIENDLY OXIDANTS. ... 7-9 June 2005, Moscow . ... State of Art and Perspectives of Ozone Application for Water Treatment in Russian Federation . ... The foreign as well as the native ozonizers are used at these stations. ... State Univ. ... The report on the impulse corona ozonizer (Russian Scientific Centre 'Kurchatov Institute', 'NTC ECOS', Moscow) with ozone synthesized from the undrained air was presented to the participants of the Workshop. ...

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

• Серверные функции OS/2
• Scientific and investigating activities
• OS/2 Клиент в сети Microsoft

Optimization of electrospray ionization conditions for more informative mass spectra in structural research of HS for applications in medicine Mikhail A. Kazachkov1, Ivan V. Dubinenkov1, Alexey S. Kononikhin2,3, Igor A. Popov2,3, Irina V. Perminova1, Eugene N. Nikolaev2,3. ... The signal intensity was calculated as a summary intensity of 6 peaks from mass spectra, which were reproduced for each solvent and had high enough intensity even at not optimal conditions. ...

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

• http://www.mgumus.chem.msu.ru/publication/2010/2010-grigoryev-transhumus.pdf
• http://www.mgumus.chem.msu.ru/publication/2006/2006-perminova-synthesis.pdf
• http://www.mgumus.chem.msu.ru/hit-2010/docs/hit-2010-abstracts.pdf

... Положение об олимпиаде . ... Отборочный этап . ... от Оргкомитет олимпиады школьников "Ломоносов" - Четверг, 25 Февраль 2016, 12:10 . ... от Оргкомитет олимпиады школьников "Ломоносов" - Среда, 3 Февраль 2016, 18:52 . ... от Оргкомитет олимпиады школьников "Ломоносов" - Понедельник, 1 Февраль 2016, 17:12 . ... Оргкомитет олимпиады школьников ?Ломоносов? приглашает вас к сотрудничеству с целью организации и проведения заключительного этапа Олимпиады на вашей базе по различным профилям. ...

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

Experimentation and Personality , 1 Explicating the Black Box through Experimentation : Studies of Individual Differences and Cognitive Processes Howard Lavine Department of Political Science, SUNY ­ Stony Brook Stony Brook, NY 11794-4392 Howard.Lavine@sunysb.edu Corresponding Author Milton Lodge Department of Political Science, SUNY ­ Stony Brook Stony Brook, NY 11794-4392 Milton.Lodge@sunysb.edu James Polichak School of Law, University of Michigan ... The Authoritarian Personality. ...

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

... The factors that play the key role in complex formation are as follows: the rate of protein diffusion to the docking site; long-range electrostatic interactions between protein surfaces, geometric and chemical complementarity of binding areas; molecular mobility at the protein­protein interphase, hydrogen bonds, Van der Waals interactions, hydrophobic interactions, and salt bridges. ... Three-dimensional protein molecules are constructed on the basis of data extracted from the Protein Data Bank. ...

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

• MECHANISMS OF THE ACTION OF A LOW-FREQUENCY MAGNETIC FIELD ON THE INITIAL
• МОДЕЛИРОВАНИЕ ВЗАИМОДЕЙСТВИЯ МАГНИТНОГО ПОЛЯ С ОБЪЕМНЫМИ ВЯЗАНЫМИ СТРУКТУРАМИ
• Effect of Hydration on the Structure, Dynamics and Function of Photosynthetic

О лаборатории . ... Лаборатория теоретической биофизики . ... This Python module parses Gaussian cube files, produced by quite a few QM software packages, and makes volume data available as numpy array as well as some associated properties. ... Нет комментариев " Gaussian Cube files loader " . ... 2011 ERG Research Group . ...

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

• Lipid membrane MD modeling with GROMACS ERG Research Group: Лаборатория
• membrane ERG Research Group: Лаборатория теоретической биофизики
• gromacs ERG Research Group: Лаборатория теоретической биофизики

Host: localhost Database: atomax2 --------------------------------------------------------- -- Server version 3.23.52-nt -- -- Table structure for table ' deliveries ' -- DROP TABLE IF EXISTS deliveries ; CREATE TABLE deliveries ( id_delivery int (11) NOT NULL auto_increment, subj varchar( 255 ) default NULL , author varchar( 255 ) default NULL , type tinyint (4) default ...

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

• http://textbook.sinp.msu.ru/modules/ax_visitors/visitors.mysql
• http://textbook.sinp.msu.ru/modules/ax_visitors/visitors.sql
• SPAW Editor documentation

. Summary of experimental results . The light absorbing capacity of phytoplankton, estimated from Fo , and its photosynthetic activity (estimated as Fv/Fm ) are key characteristics of the primary processes of photosynthesis. We suggested a formula for calculation of the primary production of phytoplankton from these two characteristics and underwater irradiance. The probing data were used to plot vertical profiles of phytoplankton productivity in various regions of the Baltic, Norwegian, and South China

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

... ATOMS, MOLECULES, OPTICS Practical Implementation of Multilevel Quantum Cryptography S. P. Kulika,*, G. A. Maslennikovb, and E. V. Morevac Moscow State University, Moscow, 119992 Russia National University of Singapore, Singapore, 119077 Republic of Singapore c Moscow Engineering Physics Institute ( State University), Moscow, 115409 Russia *e-mail: skulik@qopt. phys .msu.su b a Received October 14, 2005 Abstract--The physical principles of a quantum ... D. Bruss, Phys. Rev. Lett. ...

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

• http://qi.phys.msu.ru/papers/2010-nphoton-4-585.pdf
• http://qi.phys.msu.ru/kulik/Papers/e011802.pdf
• http://qi.phys.msu.ru/papers/2013-lasphyslett-10-045203.pdf

Review articles SINE insertions: powerful tools for molecular systematics Andrew M. Shedlock 1,2 and Norihiro Okada1* Summary Short interspersed repetitive elements, or SINEs, are tRNA-derived retroposons that are dispersed throughout eukaryotic genomes and can be present in well over 104 total copies. ... 2A), only one or perhaps a few highly active "master" SINE loci are capable of amplification, giving rise only to non-propogating offspring copies. ... 4) Independence of SINE insertions. ...

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

• http://vertebrata.bio.msu.ru/Poster_Gatilov.pdf
• http://vertebrata.bio.msu.ru/Imprinting_on_native_pond_odour_in_the_pool_frog.pdf
• http://vertebrata.bio.msu.ru/Sokolov2.pdf

Mechmath admission for internetional students . Specialist degree . ... Master degree . ... Master variants . ... About Faculty . ... Mathematics and Mechanics Faculty was created 1 May 1933 with a recovery of the faculty system inљ Lomonosov MSU . ... The faculty prepares high level experts of wide areas of Mathematics, Mechanics and Applying Mathematics , possessing theoretical knowledge and a technique of scientific experiment . ... 2016 Mechmath admission for internetional students ...

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

... hall in front of room 01, MSU, Main Building . ... room 01, MSU, Main Building . ... Silvia Chelala (Empire State College, State University of New York, Old Westbury, New York, USA) Designing and Teaching Introductory Spanish as a Foreign Language at a Distance . ... FFL, recreation hall, 3rd floor . ... FFL, room 519 . ... FFL, room 501 . ... FFL, . room 107-108 . ... Internet-Supported Teaching . ... FFL, room 106 . ... FFL, room 416 . ... FFL, room 420 . ... FFL, room 210 . ...

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

• Факультет иностранных языков МГУ им.М.В.Ломоносова

ISSUE 1 RUSSIA U.S. BILATERAL ON CYBERSECURITY CRITICAL TERMINOLOGY FOUNDATIONS APRIL 2011 The Russia U.S. Bilateral on Cybersecurity ­ Critical Terminology Foundations Issue 1 The principle editors of this document are: Karl Frederick Rauscher, EastWest Institute and Valery Yaschenko, Information Security Institute of Moscow State University. ... INFORMATION AND CYBER .. ... Scientific Adviser to the Director of the Lomonosov Moscow State University Institute of Information Security Issues. ...

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

• http://www.iisi.msu.ru/UserFiles/File/bayern2009/crain_pres.pdf
• http://www.iisi.msu.ru/UserFiles/File/bayern2009/global_dns.pdf
• Институт Проблем Информационной Безопасности

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

• Selenga-Baikal research

... Real environments where objects are settled down are non-uniform and they are the source of many physical problems of acoustical imaging. ... Two groups of methods of image reconstruction in non-uniform environments are considered, and the basic attention is given to nonlinear phase methods as unlike methods of the first group, wave front inversion by matched filtering processing, they do not require detailed knowledge of parameters of the non-uniform medium. ... Acoustics of non-uniform mediums. ...

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

Cell Biology International 27 (2003) 293­294 Cell Biology International www.elsevier.com/locate/jnlabr/ycbir Short communication Microtubule dynamics in living cells : direct analysis in the internal cytoplasm Ivan A. Vorobjev a a,* , Irina B. Alieva a, Ilya S. Grigoriev b, Gary G. Borisy c Laboratory of Cell Motility, A.N. Belozersky Institute, Moscow State University, Moscow, Russia b Department of ... These data demonstrate that MT growth is impeded at the cell margin. ...

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

• http://cellmotility.genebee.msu.ru/html/articles/jcs.pdf
• http://cellmotility.genebee.msu.ru/html/articles/vorobjev2002CBI.pdf

... Vol. ... Translated from Biofizika; Vol. ... CELL BIOPHYSICS Effects of Electric Field on Spatiotemporal Patterning in the Reaction-Diffusion System A. I. Lobanov-, T. Yu. ... Abstract-A model is proposed that describes electrodiffusion in the layer adjacent to the cell membrane. The model takes into account chemical reactions at the membrane, Coulomb interactions between particles, their random motion (diffusion), and the effect of an external electric field. ... BIOPHYSICS Vol. ...

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

• http://library.biophys.msu.ru/PDF/3326.pdf
• http://library.biophys.msu.ru/PDF/3347.pdf

... MSU Chamber Orchestra . ... Chamber Orchestra of Moscow State University was born in 1967. ... It was originally formed as a chamber orchestra at the School of Mathematics and Mechanics but soon (since September 1967) transformed into a Chamber Orchestra of the Moscow State University. ... The Chamber Orchestra of Moscow State University won the first prizes in the 1-st and 2-nd All-Union festivals of non-professional arts. ... Moscow State University does not have its own School of Music. ...

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

• H. Purcell: The Fairy Queen - Act IV