Электронная библиотека . ... Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск . ... Поиск по указателям . Результат поиска . Книга . Страницы для поиска . ... Bilaniuk S. - A Problem Course in Mathematical Logic (vol. ... 3f., 30, 32, 34f., 39f., 86; see also: Restricted decision problem . ... Ackermann W. - Solvable Cases of the Decision Problem . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Поиск книг, содержащих Tautology :: Электронная библиотека попечительского
• Поиск книг, содержащих Binary tree :: Электронная библиотека попечительского
• Поиск книг, содержащих Greedy algorithm :: Электронная библиотека

... Science . ... 3-d International Laser Graduate School "Modern Problems of Laser Physics LGS-2009 " . ... Main Science and education Scientific Laboratories Laboratory of computer simulations in optics . ... Dergachev Aleksandr Aleksandrovich engineer, Ph.D. Dormidonov Aleksandr Evgen'evich Ph.D. Kandidov Valeriy Petrovich professor, Doctor of science . ... Femtosecond Nonlinear Optics of High Power Laser Radiation . Femtosecond TW Laser Pulse Filamentation in Gases and Condensed Media . ...

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

• Laboratory of theoretical problems in optics

... 119991, Moscow, GSP-1, Leninskiye Gory, MSU, 2nd Educational Building, CMC Faculty, rooms 590, 591 (Head of the laboratory), 62 . The Laboratory was established in 2001 to provide teaching and research in mathematical foundations of cryptography, cryptoanalysis, information and software security. ... The Laboratory of Mathematical Problems of Computer Security is performing a thorough research on mathematical problems in cryptoanalysis, information security, and program verification. ...

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

• Laboratory of Mathematical Problems of Computer Security
• Information for foreigners who wish to study at our Faculty
• Information for foreigners who wish to study at our Faculty | CMC MSU

... The applied mathematics (with Honors), Kazan State University, Kazan, Russia (USSR), 1980. nd Alexander Lazarev Research Interests Discrete optimization: combinatory problems, modeling, decomposition algorithms, applications to production planning and scheduling. ... Kazan, Publishing house of the Kazan mathematical society, 1998. - 285 p. Lazarev A.A., Gafarov E.R. Scheduling Theory. ... Computer centre of the Russian Academy of Sciences - 2006. - 134 p. Lazarev A.A., Gafarov E.R. Scheduling Theory...

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

A computer tomography problem in wave approximation" . Goncharsky A.V., Romanov S.Y. This paper deals with the development of methods and algorithms for solving direct and inverse engineering seismic problems on parallel-architecture clusters. The methods employed are based on tomography approaches in the framework of a scalar wave hyperbolic-type model with consideration of a special experiment design. ... The work was supported by the Russian Foundation for Basic Research (05--01--08068). ...

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

• Basic research of intelligence: a way to creation of advanced computer
• "Multiprocessor computer modeling in gravitational gas dynamics"
• "A genetic scheduling algorithm for distributed heterogeneous computer systems"

Maple . Maple V is a powerful mathematical problem-solving and visualization system used world-wide in education, research, and industry. ... Maple V also has a programming language (like Pascal) which allows to extend the library of 2500+ functions. ... Home Site: . http://www.maplesoft.com/ . ... Maple User Group (MUG) is a mailing list dedicated to Maple V users. ... User Comments: . ... SAL Home | Mathematics | Computer Algebra Systems . ... Copyright 1995-2001 by Herng-Jeng Jou . ...

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

• SAL- Mathematics - Computer Algebra Systems - Kalamaris
• SAL- Mathematics - Computer Algebra Systems - GAMS
• SAL- Mathematics - Computer Algebra Systems - MAGMA

... Previous message: [Computer_algebra] Re: Approved . Next message: [Computer_algebra] Call For Papers and Participation: COMPUTER ALGEBRA AND CODING THEORY . ... Alexey Zobnin, MSU, Faculty of Mechanics and Mathematics Standard Bases of Ideals in Differential Polynomial Rings We consider standard bases (also known as differential Groebner bases by = Carra Ferro and Ollivier) in a ring of ordinary differential polynomials = in one indeterminate. ...

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

• [Computer_algebra] Seminat on September 17. Time is shifted!
• [Computer_algebra] Meeting on September 17
• [Computer_algebra] CA Seminar on December 24

... The main problem is increasing the recognition rate of some recognition engines, working in some restricted domains, such as telephone time-table question-answer systems and so on. ... Our algorithms allow user to get recognition variants, which are right sentences in some formal language. ... We suppose that BRE can produce a set of recognition variants in the form of the "complex chain". ... Length of complex chain is the number of vertexes in its graph. ... const*n^2 . ...

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

• Intelligent Systems :: Research
• Intelligent Systems :: Research :: Computer Solver
• Intelligent Systems :: Science :: Conference

... This 0.5 - year course is devoted to the principles of mathematical modeling in human investigation on physical, economical and social natures. ... Modern Operating Systems . ... This is introductory course to computer network technologies. ... It covers vary basically ISO OSI RM, TCP/IP protocol stack, Ethernet and WiFi principles, core network technologies, PSTN and GSM, main threats and vulnerabilities, and also popular cryptographic technologies and secure network protocols. ...

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

• Master program "Mathematical and computer methods of image processing" |
• Master program "Software for Computer Networks" | Магистерское и послевузовское
• Mathematical Models of Complex Systems: Theory, Algorithms, Applications |

... Войти в систему . ... Agouzal Abdellatif , Lipnikov Konstantin, Vassilevski Yuri V. в журнале Mathematics and Computers in Simulation , издательство Elsevier BV (Netherlands) , том 81, ? ... 2001 Computer algebra for dynamical systems and mechanics - Foreword . Edneral V.F. , Steinberg S. в журнале Mathematics and Computers in Simulation , издательство Elsevier BV (Netherlands) , том 57, ? ... в журнале Mathematics and Computers in Simulation , издательство Elsevier BV (Netherlands) , том 57, ? ...

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

• Mathematical and Computer Modelling - журнал | ИСТИНА - Интеллектуальная
• Journal of Computer and Systems Sciences International - журнал | ИСТИНА -
• Computers and Mathematics with Applications - журнал | ИСТИНА -

... Proceedings 2009 . Proceedings 2008 . ... Proceedings 2004 . ... The laboratory practical work is an integral part of any physical course. ... In this connection, usage of the laboratory practical work organized via a computer and information technologies is expedient. The computer allows modeling the process of carrying out experiment practically of any area of physics and makes teaching methods more visual. In the current paper the alternative of a computer practical work is offered. ...

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

• Introduction problems of object-oriented programming in school course
• The dissertations didital library of the RSL: problems and solutions
• The applied aspects of linear algebra on the higher mathematics computer

... Laboratory of Mathematical Methods of Image Processing . ... Image analysis . ... Ringing effect . ... It can be efficiently used as a post-processing method for global image deblurring methods . ... Development of edge width estimation algorithm is important for image enhancement and image quality analysis methods. ... Ringing effect so known as Gibbs phenomenon in mathematical methods of image processing is the annoying effect in images and video appeared as rippling artifact near sharp edges. ...

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

• Computer Tomography image filtering | Laboratory of Mathematical Methods of
• Publications | Laboratory of Mathematical Methods of Image Processing
• Image resampling | Laboratory of Mathematical Methods of Image Processing

A. Goncharsky. Some problems of computer tomography in wave approximation. Thesis of paper on '5-th International Conference 'Inverse Problems: Modeling and Simulation ', 2010, Antalya, Turkey. ...

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

• Laboratory of Systems for Automated Image Processing
• D. Orlovsky, S. Piskarev, R. Spigler. On approximation of inverse problems for
• Laboratory of Informatics

... 1967-1972: Undergraduate: M.V. Lomonosov Moscow State University, Department ofТљMechanics and Mathematics. ... 1980-1987: The Deputy Dean for science and research, Department ofТљMechanics and Mathematics, M.V. Lomonosov Moscow State University . ... 1997-2001: The Deputy Minister ofТљthe Education ofТљthe Russian Federation . ... since 2003: Head ofТљDepartment ofТљMechanics, Steklov Mathematical Institute, Russian Academy ofТљSciences . ... Institute of Computer Science Izhevsk, 2005 - 2016 . ...

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

• Institute of Computer Sciences - Staff - Borisov Alexey V
• Institute of Computer Sciences - Publications
• Institute of Computer Sciences - Staff - Kilin Alexander Alexandrovich

... Department of Mathematics, . Faculty of Physics, MSU . ... Mathematical analysis 2 . Numerical Methods (A.N. Bogolyubov) . ... Asymptotic methods in nonlinear problems of mathematical physics . ... Extremal problems . ... Methods of finite differences in mathematical physics . ... 13 th Annual workshop will be organized by the of Department of Mathematics of Physics Faculty at Moscow State University , Moscow, Russia. ... Department of Mathematics, Faculty of Physics, Lomonosov MSU 2014-2016 ...

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

Evolution as a hard combinatorial problem D. Grigoriev, CNRS, Universitґ de Lille, dmitry.grigoryev@math.univ-lille1.fr e J.Reinitz, Dept.of Statistics, Chicago University, reinitz@galton.uchicago.edu S. Vakulenko, Institute for Mechanical Engineering Problems, Saint Petersburg, vakulenfr@mail.ru A. Weber, Computer Science Department, University of Bonn, weber@cs.uni-bonn.de We consider complexity emergence problem and formation of complex organs. ... The number n >> 1 is the gene number. ...

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

... MSU's HPC HISTORY . ... In 1956, Research Computing Center (RCC) of Moscow State University received its first computer тАЬStrelaтАЭ. ... BESM-6 computer was and still is considered to be of great importance to USSRтАЩs/RussiaтАЩs history of computer development. ... Same year RCC received its first BESM-6 computer, and despite its serial number 13 it proved to be lucky for the Center. ... Research Computing Center (RCC) of Lomonosov Moscow State University . ... Excursions to Supercomputing Center ...

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

• APPLICATIONS: Mathematics | Moscow University Supercomputing Center
• X-COM: DISTRIBUTED COMPUTING SOFTWARE | Moscow University Supercomputing Center
• APPLICATIONS: Plasma Physics | Moscow University Supercomputing Center

... DEVELOPMENT OF EXPLICIT CYCLIC SCHEMES . WITH CHEBYSHEV?S POLYNOMIALS FOR SPACE NEUTRON KINETICS . ... Questions have been studied to use effectively explicit schemes for solving spatial kinetics. ... Algorithms have been developed to solve spatial kinetic equations on the basis of explicit cyclic schemes with time varying steps designed by V.I. Lebedev [1] as well as schemes of local iterations proposed by O.V. Lokutsievskiy and V.O. Lokutsievskiy [2]. ... Code development. ...

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

• RAMPA - CASE for portable parallel programs development
• DVM-system. Goals and structure

... General Information . ... 119991, Moscow, Russia, Leninskie Gory 1/52, Faculty of Computational Mathematics and Cybernetics 2nd educational building . ... The Faculty of Computational Mathematics and Cybernetics of Lomonosov Moscow State University (CMC MSU) was founded in 1970. ... Nowadays, the Faculty is a world leading training centre in the field of on Applied Mathematics and Computer Science. ... Mathematical and program software for computing systems and computer networks (4 years full-time) ...

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

• FACULTY OF MECHANICS AND MATHEMATICS
• Faculty of Computational Mathematics and Cybernetics
• Research Priorities in Sciences and Humanities at Moscow State University

... Наука >> Вычислительная математика >> Теория и алгоритмы | ... 0 ] (обратно к тексту) Полная версия настоящего эссе: www.mi.ras.ru/~razborov/computerra.ps . 1 ] (обратно к тексту) S. Smale, "Mathematical problems for the next century", Mathematical Intelligencer , 1998, vol. 20, number 2, pages 7-15. [ 2 ] (обратно к тексту) А. Саломаа, "Криптография с открытым ключом", М.: "Мир", 1996. ... 6] А. Разборов, " P=NP , или Проблема перебора: взгляд из 90-х", www.mi.ras.ru/~razborov/phasis.ps . ...

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