... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ґ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } ??, ?bbb? -- , : Ї ґ , , Ї ґ , , Ї ґ , Ї ґ . ... 1977 ґ LTL, Ї , 1981 ґ (CTL), Ї , , 1981 , , 1982 ґ model checking ( ), Ї , 1986 ґ model checking ( ), Ї , 1989 ґ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

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

A GENETIC ALGORHYTM FOR OPTIMIZING A NEURAL NETWORK CAPABLE TO LEARN FOR FOOD SEARCHING IN A RADIAL MAZE Budilova E.V., Chepurnova N.E., Chepurnov S.A, Teriokhin A.T. M.V.Lomonosov Moscow State University, Dept. of Biology. ... The upper platform has a hole in the middle and several radially directed tubular canals ("arms") each of which can contain a peace of food and has doors opening only in the centrifugal direction. ... The task of the animal is to visit only those arms which contain food. ...

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

... One of the project objectives was to investigate practical efficiency of some modern iterative methods, including multigrid techniques and domain decomposition methods as well as methods for small compressible materials. ... Hence, the project research initiated because of INTAS financial support contributes in setting up modern computational techniques in tire design. ... Research on efficiency of iterative methods was conducted at the department of Mechanics of Composites about ten years ago. ...

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

... CUDA Center of Excellence | MSU . ... Lomonosov Moscow State University (MSU) was awarded an NVIDIA CUDA Center of Excellence (CCOE) in 2011 for being one of the first Russian universities to recognize the importance of emerging GPU technologies and first to embrace CUDA. ... Lomonosov Moscow State University (MSU) is renowned as one of the leading computer science centers excelling in application of computational resources to address most vital scientific problems. ...

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

arXiv:1102.5698v1 [math.AT] 28 Feb 2011 Generalization of the Sullivan construction for Transitive Lie Algebroids Mishchenko, Alexander S. (Moscow, Russia) and Ribeiro, Jose (Braga, Portugal) March 1, 2011 1 Preliminaries and Formulation of the ... Namely, for transitive Lie algebroid A T M M one can define an underlying Sullivan model as graded algebra s (A; M ) of piecewise smooth p differential forms on smooth manifold M with smooth combinatorial structure. ...

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

• http://higeom.math.msu.su/people/garber/talks/2010Texas.pdf
• INVITED ADDRESSES:

... Traditionally this relationship was approximated by a power law, but recent theories predict a triphasic Species Area Relationship (SAR) in logarithmic space characterized by steeper increases in species richness at both small and large spatial scales Ї Range sizes were drawn from the empirical frequency distributions of each taxon and domain (black areas in Supplementary Fig . 3) and were placed into a ... 2012) Universal speciesґarea and endemicsґarea relationships at continental scales...

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

• Algae as indicators of enviromental quality
• Index of /shipunov/school/biol_154/2010_2011

В газете The Northeastern Voice (Northeastern University) вышла статья про стажировку студентов Высшей школы бизнеса МГУ в Бостоне. ... Puffer and McCarthy, who have worked for years with Moscow State University faculty, said MSU professor Alexander Naumov who has also taught at Northeastern, and who coauthored a book with Puffer proposed the program earlier in the year. ...

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

• Конкурс на лучшее эссе года

Another mechanical model of parametrically excited pendulum and stabilization of its inverted equilibrium position Anton O. Belyakov 1 Lomonosov Moscow State University 2 Vienna University of Technology 8th European Nonlinear Dynamics Conference (ENOC 2014) Vienna, July 7, 2014 Scheme of a parametric pendulum y O l (t ) - g m 2 r1 + m 2 Equations of motion mr 2 1 d d2 + c1 + m g l (t ) sin () = 0 dt 2 dt (1) Dimensionless equation Three dimensionless parameters and ...

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

• Anton O. Belyakov

... Philosophical Transactions of the Royal Society (Biological Sciences) . ... Biochimica et Biophysica Acta (Elsevier Science) . ... Discrete and Continuous Dynamical Systems, Series B (American Institute of Mathematical Sciences) . ... Physics in Medicine and Biology (Institute of Physics) . ... Mathematical Medicine and Biology: A Journal of the IMA . Mathematical Medicine and Biology will publish original articles with a significant mathematical content addressing topics in medicine and biology. ...

130. http://tunka.sinp.msu.ru/en/presentation/Ptuskin.pdf

131. http://www.elch.chem.msu.ru/mole/lecture/nazmutdinov.pdf

132. Index of /files

133. Joint Semiconductors Surface Study group

134. http://dis.bio.msu.ru/States/Fursova_Mil'ko_levich/Spisok.pdf

135. It was Christian dior who invented the Fresh look that revolutionised the way

136. MMOnline | Информационный портал о мехмате МГУ

137. http://acoustics.phys.msu.su/conf2003.htm

138. Alexander Valeryevich Pozdneev

139. http://osk.msu.ru/forum/?_debug=1

140. Non-monotone kinetics of persistent photoconductivity in compensated a-Si:H