List of Publications Elena A. Kudryavtseva March 2007 1. Gerver, M. L. and Kudryavtseva, E. A. (1995): A theorem on precedence relations generated by completely positive kernels. ... Russian Math. ... Gonё calves, D.L., Kudryavtseva, E., and Zieschang, H. (2001): Intersection index of curves on surfaces and applications to quadratic equations in free groups. ... Gonё calves, D.L., Kudryavtseva, E., and Zieschang, H. (2002): Ro ots of mappings on nonorientable surfaces and equations in free groups. ...

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

• List of participants

... Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. ... Lorem ipsum dolor sit amet, consetetur sadipscing elitr. ... Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. <div class="myclass">...</div> . ... Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna. ...

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

• Category List
• Главная

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

European Credit Transfer System: ECTS ECTS ECTS : ECTS ( ) ­ 1. ... ECTS - - EUROPEAN CREDIT TRANSFER SYSTEM: European Credit Transfer System (ECTS) ­ , , ­ , . ... ECTS , : (, , 2000 ), « ( ­)» (-, 2001 ), « » (, 2002 ), EUA « ­ » (, 2002 ) . 2003 ). ... 2004 ., ECTS» 2002-2010 . ... ECTS, 30 Z, (4 ) ­ 240 Z; (5 ) ­ 300 Z; (6 ) ­ 360 Z. , , , , . ... 1 ­ ( + ) b) ­ 60 1 c) , (: ­ 120; 180; ­ 240; ­ 300; ­ 360). ... http://www.rsvpu.ru/ects/ects.htm). ... ECTS, « » , , (http://www.mifp.ru). ...

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

• http://www.inpro.msu.ru/files/nmo/oop.pdf

... Reports on progress and error are always recorded in the log file of the program. ... UT date of the measurement finish in YYYY-MM-DD format UT time of the measurement finish in hh:mm:ss format Average flux in A aperture Average flux in B aperture Average flux in C aperture Average flux in D aperture Normalized variance of flux in A aperture Normalized variance of flux in B aperture Normalized variance of flux in C aperture Normalized variance of flux in D ...

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

• . The . MASS . Group .
• curl.sai.msu.ru

... Alexander A. Moskovsky . ... Software Designer : . ... Projects: . Janitor II, Custodian III for Matrix Logic - utilities for DOCS Open EDMS (electronic document management system), C++/Win32 platform. ~2 man-year project with 5 persons team. iBuzz - (for ibuzz.com ) large client-server system (Win32, Enterprize Java Beans, Oracle, Sun/Solaris). ... Lunch Ordering Web System. ... Software Resources International , former Digital Moscow Software Center, . ... Physical Chemistry chair, . ...

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

... Andrey A. Mironov [page] . Aleksandra B. Rakhmaninova [page] . Mikhail S. Gelfand [page] . Dmitri D. Pervouchine [page] . ... Lena Stavrovskaya [page] . PhD Students . Dmitriy Vinogradov [page] . ... Yura Korostelev [page] . Katya Khrameeva [page] . ... Undergrad Students . ... SDPpred (Specificity-Determining Positions Prediction) Server [version 0.1] . ... RNA kinetics . Server for multiple alignment of RNA sequences . ... Subscribe to Mironov group meeting . ...

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

Distributed systems as pattern formation models: space-time behavior investigation and elements of dynamics control". ... A new method of local dynamics analysis of coupled map lattices (CML) was proposed. ... New effects of global behavior of CML was found. Maps can represent some systems. ... And the points represent state of the system, which was determined by Rybalko method (Lambda values; color = period = order, black = zero period = chaos) and the period of cycle (P values). ...

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

• Activities
• Staff
• Science

... 15 2.1 Stuxnet .. ... 25 2.2 Wiper .. ... IT- ( , ) , Stuxnet, Flame, Gauss, Duqu, Wiper Icefog. ... Microsoft Windows (DLL) . ... 17 ; -- Microsoft, ­ , ­ ; , ; Windows rootkit, ; ; «» Siemens, ; , , , rootkit . ... MS08-067 ( 2009 Kido, 20 ) MS10-061 (zero-day ); (zero-day ) MS10-073 (Windows 2000 XP) MS10-092 (Windows Vista, x64), , ; Stuxnet peer-to-peer (P2P) ; , , ; e SIMATIC, Siemens, , , . ... 38 - : http://www.securelist.com/ru/blog/207764003/Flame_Bunny_Frog_Munch_i_BeetleJuic e ­ Hiew. ...

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

• http://www.iisi.msu.ru/UserFiles/File/bayern2009/global_dns.pdf
• http://www.iisi.msu.ru/UserFiles/File/bayern2009/twomey.doc
• http://www.iisi.msu.ru/UserFiles/File/publications/Project_2015.pdf

... Electronic journal Issue 4. 10 september 2004 Paliulis N., Chlivickas E. E-government as a Challenge of Public Management Development Introduction. ... This also includes the transfer of various data from hardcopies (documents) to digital media (databases), provision of information and services to citizens and businesses via electronic means (websites, e-mails, etc.) ... The main obstacle for the development of electronic public services is the small number of Internet users in Lithuania. ...

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

• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./ulrich.pdf
• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./vorontchuk.pdf
• http://e-journal.spa.msu.ru/uploads/vestnik/2004/vipusk_4._sentjabr_2004_g./briedis.pdf

Apache2 Ubuntu Default Page . It works! This is the default welcome page used to test the correct operation of the Apache2 server after installation on Ubuntu systems. ... Ubuntu's Apache2 default configuration is different from the upstream default configuration, and split into several files optimized for interaction with Ubuntu tools. ... The configuration layout for an Apache2 web server installation on Ubuntu systems is as follows: /etc/apache2/ |-- apache2.conf | ... Document Roots . ...

192. http://www.spa.msu.ru/uploads/files/novosti/programm.pdf

193. http://imaging.cs.msu.ru/pub/2008.cyprus.yurin_kravtsov.scripting.en.pdf

194. http://angel.cmc.msu.ru/~basrav/files/publications.pdf

195. MsuNews.Ru | Новости МГУ | НИИ Механики МГУ им. М.В. Ломоносова примет участие

196. Useful Information :: CIE

197. http://ofvp.phys.msu.ru/en/science_education/diploma/annot/2006/Nikolaev_Shmalhausen_en.pdf

198. UV atmosphere (mini-EUSO) experiment onboard Russian segment of the ISS

199. International School ?Computer simulation of advanced materials?, 16?21 July

200. English version - Социологический факультет МГУ