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

• http://savenkov.lvk.cs.msu.su/mc/lect02.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. ...

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

• http://vertebrata.bio.msu.ru/Imprinting_on_native_pond_odour_in_the_pool_frog.pdf
• Leaders of the Department

... The method uses calculated AMMs to calibrate approximate dependencies and allows the construction of molecular charge distribution for any sieve in two steps. ... Figure 5. (a) Electrostatic potential values (EP, au) with respect to the O2-O5-O5 plane (the three atoms are shown in the low right corner) of the XRD non optimized model of APC calculated with the STO-3G basis set; (b) electrostatic field values (EF, au); (c) EF evaluation errors presented as (1 - EFapp(L = 4)/EFcal(L = 4))(100 (%). ...

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

• http://beams.chem.msu.ru/doc/JCPSA613314144101_1.pdf
• http://beams.chem.msu.ru/doc/Dynamical_systems_Theory_and_applications.pdf
• http://beams.chem.msu.ru/sotrudniki/larin/IJIM99.pdf

... The characteristics of the materials we have selected, the procedure of winding the optic fibers and the coating process are described in detail. ... The `passive' inner cylinder, shown in the left part of the picture, was machined from an anticorodal aluminum rod while the conical part is used to lead the optic fibers from the coils down to the axis of the hydrophone. ... 6: The sensor after the coating process: the hydrophone (right) and the box --7-- containing the two fiber Bragg gratings. ...

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

• http://antares.sinp.msu.ru/docs/Gracheva_Bamberg_22.09.11.pdf
• http://antares.sinp.msu.ru/docs/highQC_2011_Bamberg.pdf
• http://antares.sinp.msu.ru/seminar/Kulikovskiy.pdf

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

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

• http://www.suny.msu.ru/ru/JRichmond30Anniversary.doc
• Центр по делам России и США :: Публикации

Dynamo Theory and Earth's Magnetic Field Paul Demorest May 21, 2001 1 Intro duction The Earth's magnetic field belongs in that class of physical phenomena which are commonplace yet also very complex. ... 3 Single Disc Dynamo Before we dive into the mess of equations and approximations that describe how fluid motion and magnetic field interact, it is useful to demonstrate a very simple system which exhibits dynamo action. ... A system without fluid motion cannot support a magnetic field indefinitely. ...

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

• http://ocean.phys.msu.ru/courses/stathyd/2001%20Ferrari%20et%20al.%2C%20The%20temperature-salinity%20relationship%20of%20the%20mixed%20layer.pdf

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

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

... Astronomy search engine . ... PhysicsWeb Home Page . ... Sternberg Astronomical Institute . ... Astro Space Center Home Page . ... Landau Institute for Theoretical Physics . ... Astronomy and Space Physics Dept of Kiev University . ... NATIONAL RADIO ASTRONOMY OBSERVATORY Home Page . University of Hawaii - Institute for Astronomy . ... Space Telescope Science Institute Home Page . ... Sky & Telescope: The Essential Magazine of Astronomy . ... Springer LINK - Physics Online Library . ... Home . ...

Еще в разделе: (Показать все результаты (>162) - astro.uni-altai.ru/ )

... Cleo batch system is purposed to control parallel tasks on computer clusters. It controls one or more task queues. tasks sceduling (all MPI implemetations are supported, most other parallel environments are supported too) . ... controllable user limits (max used cpus, task work time, etc.) . ... Any task in main will be queued to daughter queues if there aren't enough free own cpus (not shared with daughters). When daughter queues will get enough cpus for this task, it will be runned in main . ...

250. http://www.spa.msu.ru/uploads/files/bakalavriat/03.04.13.pdf

251. http://rnp-group.genebee.msu.ru/pages/pdf/nar2004.pdf

252. http://sn.sai.msu.ru/~sil/preprints/204780.pdf