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

Evolutionary Ecology Research, 1999, 1: 423­441 Allocation of energy between growth and reproduction: The Pontryagin Maximum Principle solution for the case of age - and season -dependent mortality Jan Kozlowski1* and Anatoly T. Teriokhin2 1 Institute of Environmental Sciences, Jagiellonian University, Oleandry 2A, 30-063 KrakСw, Poland and 2Department of Biology, Moscow State University, Moscow 119899, Russia ABSTRACT Optimal allocation of energy to ... Life span is 5 years. ...

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

• http://ecology.genebee.msu.ru/3_SOTR/CV_Terekhin_publ/2009_Bonferroni_deMeeus.doc
• http://ecology.genebee.msu.ru/3_SOTR/CV_Terekhin_publ/2004_Dimorph_HumBiol.pdf
• http://ecology.genebee.msu.ru/3_SOTR/CV_Terekhin_publ/2003_Envir_human_EER.pdf

Symbolic circuit-matrix processor and evaluator . ... This software is reliable over the range of benchmark circuit complexity (both *.CIR and *.MAT file). ... SYMBOL is a symbolic-algebra package which in contrast to REDUCE, MACSYMA, MAPLE, MATHEMATICA, MathLAB, MathCAD and other known multi-purpose systems is especially intended for analysis of any lumped, linear, time-invariant circuit. ... pure ASCII text . ... CIRSYM - SYMbolic CIRcuit processor used to format ASCII text file *.out for CALCSYM. ...

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

... E-mail . ... Этот e-mail защищен от спам-ботов. Для его просмотра в вашем браузере должна быть включена поддержка Java-script . ... Ведущий специалист . ... Главный специалист . ...

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

. A , ABBREV , ACRONYM , ADDRESS , APP , APPLET , AREA , AU , B , BANNER , BASE , BASEFONT , BDO , BGSOUND , BIG , BLINK , BLOCKQUOTE , BODY , BQ , BR , CAPTION , CENTER , CITE , CODE , COL , COLGROUP , CREDIT , DD , DEL , DFN , DIR , DIV , DL , DT , EM , EMBED , FN , FIG , FONT , FORM , FRAME , FRAMESET , H1 , H2 , H3 , H4 , H5 , H6 , HEAD , HP , HR , HTML , I , IMG , INPUT , INS , ISINDEX , KBD , LANG , LH , LI , LINK , LISTING , MAP , MARQUEE , MENU , META , NEXTID , NOBR , NOEMBED , NOFRAMES , NOTE , OL

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

• Calendar Converter

... A new mechanical model of parametrically excited pendulum is proposed. ... Schemes of equivalent parametric pendula We consider the pendulum presented in Fig. 1 which is governed by the same dimensionless equation as the pendulum with vertically vibrating pivot in Fig. 2, see [1, 2] and references therein. ... Stability of inverted position As we see in Fig. 3 (for q < 0 see also Fig. 7) the inverted vertical position, = , see Figs. 5 and 6, can be not only stabilized but also destabilized by...

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

• http://belyakov.imec.msu.ru/papers/Belyakov_Seyranian_6pages2011.pdf

Chemical Physics 409 (2012) 61-73 Contents lists available at SciVerse ScienceDirect Chemical Physics journal h omepage: www.elsevi er.c om/locate/chemphys Orientation distribution function and order parameters of oriented spin probe as determined by EPR spectroscopy Andrey Kh. ... 4о Fig. ... Orientation distribution functions obtained by simulation of spectra in Fig. 10: (a) using OP approach (parameters in column 1 of Table 6); (b) using OD approach (parameters in column 3 of Table 6). ...

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

• http://www.chem.msu.ru/eng/misc/babaev/papers/153e.pdf
• http://www.chem.msu.ru/eng/misc/babaev/papers/027e.pdf
• http://www.chem.msu.ru/eng/misc/babaev/papers/149e.pdf

... Ershov 7 Ilia A. Dementiev Spectrophotometric kinetic study and analytical implications of the glucose oxidase-catalyzed reduction of [M III (LL) 2Cl2 ] c complexes by D-glucose (MpOs and Ru, LLp2,2b-bipyridine and 1,10-phenanthroline type ligands) Received: 1 July 1998 / Accepted: 13 January 1999 Abstract Glucose oxidase-catalyzed reduction of cis[M III (LL) 2Cl2 ] c (MpOs and Ru) complexes to cis[M II (LL) ... A common feature for Os III and RFc c is a surfactant effect. ...

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

• http://www.enzyme.chem.msu.ru/ryabov/pdf/O_97.pdf
• Group of microbial biochemistry and biotechnology

Peer-review policies of the journal "Vestnik Moskovskogo Universiteta. ... Antropologia» Authors submit their manuscripts in printed format (2 copies) together with the electronic version ("*.rtf") on CD/DVD and via email. ... 11, Research Institute and Museum of Anthropology, Lomonosov Moscow State University, Deputy Editor of the journal "Vestnik Moskovskogo Universiteta. ... It is obligatory that the Editors send to authors copies of the reviews or motivated rejection of the manuscripts. ...

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

• http://www.antropos.msu.ru/vestnic/e2013_2.doc
• НИИ и Музей антропологии | Вестник Московского университета. Серия XXIII.

... Subject to the MOIP Charter both natural and legal persons may become the members of the Society upon paying admission fees and acknowledging the Charter and program documents. ... Persons may be elected as the Society?s full and corresponding members on a show of hands at the Society?s Council (Presidium) meeting if nominated by a section and recommended by at least two full Society?s members. ... The Society?s full members have the following rights: . ... 2015 Moscow Society of Naturalists . ...

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

Literature . ... Computers and Statistical Data Analysis. ... In Russian. ... Basic notions and methods of applied statistical analysis and usage of leading Russian and American statistical software tools: STADIA, STATGRAPHICS. ... The second edition has much more detailed depiction of temporal series analysis methods, review of statistical packages for Windows and recommendations on their choosing. ... Kulaichev A.P. Data Analysis Methods And Tools for Windows . ... In English and In Russian. ...

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

Preconcentration Laboratory . Laboratory of Chromatography . ... Laboratory of Kinetics Methods of Anaysis . ... Sorption-spectroscopy methods for determination of organic . ... Room-temperature ionic liquds, computational chemistry . ... New detection methods in ion and ion-pair chromatography . ... For that purpose, methods of selective preconcentration are developed along with the methods of determination of analytes directly in the sensing film or in the permeate after membrane diffusion. ...

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

... 1998 1 : Defended the Doctorate Degree Thesis on "Models of Cosmic Ray Particle Fluxes (Development and Applications)". ... Space Weather . ... Nymmik R.A., Radiation Environment Induced by Cosmic Ray Particle Fluxes in International Space Station Orbit According to Recent Solar and Galactic Cosmic Ray Models, Adv. ... Nymmik R.A., Radiation Environment Induced by Cosmic Ray Particle Fluxes in International Space Station Orbit According to Recent Solar and Galactic Cosmic Ray Models, Adv.Space Res. ...

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

... Multi-threaded search engines . ... Unfortunately, most documents on search engines I saw in the Internet were either lists of hyperlinks without any comments, or discussions about how many documents are in the database of ... (here is the name of a search engine) and what method of counting of the number of documents was used. No words about the efficiency, i.e. how many documents on some subject I can find using this search engine, especially in comparison with the other ones. ...

175. Department of Oceanology

176. http://www.rsr-online.ru/doc/norm/354.doc

177. http://asa.guru.ru/papers/pap3.ps

178. тест ?6 по английскому языку

179. http://shg.phys.msu.ru/ruscon/articles/pdf/02_apb74_653.pdf

180. http://smdc.sinp.msu.ru/doc/Fortran90UsersGuide.pdf