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