... He distributes these gifts in sacks (each sack can contain from 1 to n items) and puts the sacks with gifts around the Christmas tree (only the content of the sacks and their ordering on the circle around the tree are important). ... A river falling into a sea forms a delta which is a system of branches consisting of channels without inner intersections. (a) Suppose that in a given delta there are exactly n different (i.e. differing by at least one channel) routes down the stream. ...

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

• http://www.universe.msu.ru/files/z-12.pdf

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

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

• http://savenkov.lvk.cs.msu.su/mc/lect04.pdf
• http://savenkov.lvk.cs.msu.su/mc/lect02.pdf

О кафедре . Сотрудники . ... Публикуем материалы сотрудников кафедры . ... Кафедра математических и компьютерных методов анализа создана приказом ректора МГУ в 2008 году. ... Сотрудники кафедры проводят научные исследования в следующих областях: аналитическая теория чисел, математический анализ, теоретико-числовые методы в криптографии, сложность вычислений, компьютерная криптография, компьютерная геофизика. ... 2016, Кафедра математических и компьютерных методов анализа. ...

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

... Moscow State University Russian Language Centre . Moscow State University . ... Learn Russian at the Moscow State University! ... 28.05.2004 . New full on-line Russian language reference on our website! (more.. ... On April, 29, 2004 the rector of the Moscow M.V.Lomonosov State University academician V.A.Sadovnichy signed the order on creation of the Moscow school of economy of the Moscow M.V.Lomonosov State University. (more.. ... Space tourist calls Russian language his greatest challenge . ...

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

MPI. ... C: #include <mpi.h> 14 MPI MPI- C (case sensitive): error = MPI_Xxxxx(parameter,.. ... Send : , , ­ Receive: , , 27 MPI () MPI - , (blocking) (non-blocking) ­ Blocking: ­ Non-blocking: , 28 MPI (modes) (Mode) Synchronous send Buffered send Standard send Ready send Receive (Completion Condition) ( ), ( ) ( ), 29 MPI «-» () (MODE) Standard send Synchronous send Buffered send Ready send Receive MPI MPI _ Send MPI _ Ssend MPI _ Bsend MPI _ Rsend ...

Еще в разделе: (Показать все результаты (>9) - angel.cmc.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. ...

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

• МОДЕЛИРОВАНИЕ ВЗАИМОДЕЙСТВИЯ МАГНИТНОГО ПОЛЯ С ОБЪЕМНЫМИ ВЯЗАНЫМИ СТРУКТУРАМИ

... class applied_topology(ost.Topology.Abstract): #, # p1 self.edges[p1] # p2 p1 7 self.edges = { p1: [p1_1,...,p1_k1] p2: [p2_1,...,p2_k2] ... pM: [pM_1,...,p1_kM] } # p2 # , p1 def proximity(self, p1, p2): # in bool # self.edges[p1] p2 return p2 in self.edges[p1] 3.1.1.2. . class applied_topology(ost.Topology.Abstract): #, # p1 self.edges[p1] # p2 p1 self.edges = { p1: [p1_1,...,p1_k1] p2: [p2_1,...,p2_k2] ... pM: [pM_1,...,p1_kM] } # p # , p def neighborhood(self, p): return self.edges[p] . ...

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

• Список публикаций - Е. Б. Кудашев - Кафедра вычислительной механики

... Computing Center of the Moscow State University was founded in 1955 on the basis of the Computing laboratory of the Faculty of Mechanics and Mathematics. This has been the first Computing Center affiliated to an educational institution and one of the first of its kind in the USSR. ... The founder of the Center and its first Director was Prof. Ivan Semyonovich Berezin, whose influence on the directions and style of research in the Center could be felt over many years. ... highly qualified staff; . ...

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

• Научно-исследовательский вычислительный центр МГУ
• Kazakevich, Olga. Endangered Languages Documentation and Description: Should
• Kazakevich, Olga. Documentation and description of the Northern Selkup local

... J. 15(2): 263-268 ї RUSSIAN ENTOMOLOGICAL JOURNAL, 2006 3I, a new program for creating Internet-accessible interactive keys and taxonomic databases and its application for taxonomy of Cicadina (Homoptera) 3I - новая программа для создания интерактивных определительных таблиц и таксономических баз данных для Интернета и ее применение в систематике цикадовых (Homoptera: Cicadina) Dmitry A. Dmitriev Д.А. Дмитриев Illinois Natural History Survey, 1816 South Oak Street, Champaign IL 61820, USA. ...

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

• Russian Journal of Theriology
• Early Pleistocene mammalian fauna of Sarkel (Lower Don River area, Russia):

... Issues of the year 2010 . ... Instructions for Authors . ... The scientific English language journal ‘GEOGRAPHY, ENVIRONMENT, SUSTAINABILITY’ aims at informing and covering the results of research and global achievements in the sphere of geography, environmental conservation and sustainable development in the changing world. ... In the text the surname of the author and the year of publication of the reference should be given in square brackets, i.e. [Author1, Author2, 2008]. ...

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

• CONTENTS ? 3 - 2015
• CONTENT 4 (6) 2013
• CONTENTS ?2 - 2009

... Cultural Mediation of National History and Identity . ... Second International Conference in Tampere , Finland . ... This sense of national identity, of history and possible futures, is communicated by cultural and institutional forces and integrated, individually and collectively, into our sense of a common shared nationhood. ... Through a semiological analysis of television texts, it is demonstrated how, by a re-interpretation of Russian history, new cultural and national identities are...

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

... Parent Directory - 1-1-GeneralTopology-Conspectus-2009.pdf 26-Aug-2009 19:49 189K 1-1-GeneralTopology-Conspectus-Addendum-5-5-2009.pdf 09-Sep-2009 12:56 131K 1-4-Examples-Addendum.pdf 22-Sep-2009 11:50 89K Alexandrov-168-169.pdf 08-Sep-2009 12:36 225K ControlWorks/ 05-Sep-2009 15:50 - FAQ/ 08-Sep-2009 13:53 - Poincare.pdf 08-Nov-2007 15:29 296K Program-2009.pdf 16-Aug-2009 12:31 89K Test1-2009.pdf 28-Aug-2009 15:42 83K UchPr-2009.htm ...

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

• C*-algebras: Talks
• C*-algebras and elliptic theory

... education . ... Functional Nanomaterials . ... Composite Nanomaterials Master?s Program . ... admission in January 2010 . ... MSU Faculty of Chemistry announces a new Master?s Program in Composite Nanomaterials, 510500 Chemistry. The program is under the aegis of MSU Nanotechnology Education and Research Center. ... The program is aimed mainly at graduates and young scientists, including Candidates of Science, in chemistry or physics (additional higher education.) ...

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

• International School ?Computer simulation of advanced materials?, 16?21 July
• Composite Nanomaterials Master?s Program | MSU Nanotechnology Education and
• Registration for the International School ?Computer simulation of advanced

... It is shown that theoretical methods developed for description of hopping transport in disordered inorganic solids, such as amorphous semiconductors, can also be successfully applied to description of hopping transport in organic disordered systems, such as conjugated or molecularly doped polymers. We concentrate our discussion on percolation approach and show its universal applicability to systems with different distributions of localized state energies. ...

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

• Generalized pair approximation in the description of ate AC conductivity of a
• Percolation Approach to Hopping Transport in Organic Disordered Solids
• First-principles calculations of physical properties of crystals

Alexander S. Antonov . ... M.V.Lomonossov Moscow State University . ... June 4, 1999, Moscow State University . ... 1994-2000: programmer, Laboratory of Parallel Information Technologies, Research Computer Center, Moscow State University . ... A.S. Antonov, A.M. Teplov. ... Antonov A.S., Voevodin Vl.V., Sobolev S.I., Filamophitskiy M.P. Internet-Auditorium of Lomonosov Moscow State University // Abstracts of the All-Russian scientific conference "Scientific Services Internet" (Novorossiysk, 2000). ...

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

... Science Park . ... Agency for networking, information and communication technologies ( NETINFOKOM LLC) ank-nic@rambler.ru http://www.msunews.ru/ . ... Developing the infrastructure and information support needed for projects that provide an interdisciplinary exchange of science information and the potential for collective work on the base of network services and technologies. ... The company has a great deal of experience in the design, development and penetration of laboratory information systems. ...

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

• MSU Science Park - Venue & Space

... Кафедра математического моделирования и информатики . ... Добро пожаловать на сайт кафедры математического моделирования и информатики , заведующий кафедрой ? ... студент младших курсов и хотите делать у нас курсовую или поступать к нам, ознакомьтесь с основными направлениями деятельности кафедры и предлагаемыми темами курсовых работ. Может быть, вам нужны материалы по программированию , теории вероятностей , специальным курсам или математическим дисциплинам по выбору . ... Программирование . ...

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

• Welcome! | Chair of Computer Methods of Physics
• User account | Chair of Computer Methods of Physics
• Contacts | Chair of Computer Methods of Physics

Кафедра высокопроизводительных вычислений МГУ . Главная . ... Главной задачей кафедры является организация и осуществление на высоком уровне учебно-воспитательной работы по подготовке специалистов высокой профессиональной квалификации по высокопроизводительным вычислениям на многопроцессорных ЭВМ из числа студентов 2-5 курсов механико-математического факультета , физического факультета , факультета вычислительной математики и кибернетики, химического факультета и других факультетов ...

159. Department of Supercomputers and Quantum Informatics | CMC MSU

160. http://storage.bioinf.fbb.msu.ru/~mazin/laci.fasta