Published on Department of the Automation for Scientific Research CMC MSU ( http://ani.cs.msu.su ) . ... Department of the Automation for Scientific Research (ASR) was founded in 1988 on the basis of research and teaching group of the Mathematical Physics Department (former Department of Computational Mathematics). ... Under his guidance the department performs wide spectrum of research in the field of computer simulation of complex systems and processes. ...

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

• Учебные курсы ведущих университетов мира
• Courses

Welcome to ASC14 To whom it may concern With the supports from the High Performance Computing (HPC) experts and organizations, the ASC13 Student Supercomputer Challenge has concluded with great success. ... We are calling for registration and preliminary contest preparation. ... Some of them may finally take HPC as a career option, such as some students from National Defense University team have already contributed to the Tianhe-1A and Tianhe2. ... Award Overall Gold Winner: 100K RMB (~16000 USD) . ...

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

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

... N.M. Emanuel Institute of Biochemical Physics, Russian Academy of Sciences . A.N. Bach Institute of Biochemistry, Russian Academy of Sciences . Advanced Biomedical Computing Center , National Cancer Institute at Frederick, MD, USA . Department of Chemistry, University of Southern California , Los Angeles, CA, USA . Department of Biomolecular Mechanisms, Max-Planck Institute for Medical Research, Heidelberg, Germany . ... Joint Supercomputer Center of the Russian Academy of Sciences . ...

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

• Current Projects
• People
• Laboratory of Chemical Cybernetics

... Department of Computational mathematics and cybernetics , Lomonosov Moscow State University . ... Thesis title "Machine learning approach for automatic performance tuning of parallel program", supervisor Dr. Nina N. Popova. ... High-performance computing, automatic performance tuning, machine learning algorithms, evolutionary and bio-inspired programming, parallel algorithms in VLSI design . ... Algorithms and framework for automatic selection and tuning parameters of parallel sparse linear solvers....

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

University Satellites and . Space Science Education . ... BAUMANENTS spacecraft which was developed by Bauman Moscow State Technical University in association with Federal Unitary Enterprise NPO Mashinostroenie has on board a set of instrumentation for conducting scientific experiments including satellite modem Qualcomm GSP 1620. ... Within additional experiment which will be conducted if possible, information coming from the modem will be used to define orbit parameters of the satellite. ...

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

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

108. MsuNews.Ru | Новости МГУ | В рамках проекта 'Generation next' британская

109. admin | The Department of Talented Youth Affairs and Professional Orientation

110. Факультет иностранных языков МГУ. Центр Дистанционного обучения.

111. Events

112. Успешные примеры использования

113. JCatalog >> Journal information >>

114. Главная страница