Электронная библиотека Попечительского совета . ... Bilaniuk S. - A Problem Course in Mathematical Logic (vol. ... Название: A Problem Course in Mathematical Logic (vol. ... Автор: Bilaniuk S. Аннотация: . This is the Volume II of a text for a problem-oriented undergraduate course in mathematical logic. ... Decision problem 1 . ... Halting problem 17 22 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Pisier G. - Similarity Problems and Completely Bounded Maps :: Электронная
• Lotov V.I. - Complete asymptotic expansion in two-boundary problems for random
• Поиск книг, содержащих NP-complete problem (NP-полная задача) :: Электронная

... Science and education . ... Scientific Laboratories . ... 3-d International Laser Graduate School "Modern Problems of Laser Physics LGS-2009 " . ... Main Science and education Scientific Laboratories Laboratory of theoretical problems in optics . ... Andreev Anatoliy Vasil'evich professor, Doctor of science . Konovko Andrey Andreevich Associate professor, Ph.D. Ponomarev Yuriy Vladimirovich Associate professor, Ph.D. Shutova Ol'ga Anatol'evna assistant professor, Ph.D. Ph.D. students . ...

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

... The Finite and the Infinite: A New view on the problem . ... The indisputable fact that all the material phenomena making up he Universe without exception are finite, confirms this statement. ... It should be stressed in this connection that there are convincing theoretical and experimental data proving the number of the potential changes and transformations of the material phenomena making up the Universe is finite. ...

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

NP-Completeness . Software with efficient algorithm designing for hard computational problems. It includes a new NP-complete problem named SAT01, which is suitable for reduction to it and for solving algorithms development. ... Home Site: . ... None . ... User Comments: . ... SAL Home | Numerical Analysis | Optimization . Comments? SAL@KachinaTech.COM . Copyright 1995-2001 by Herng-Jeng Jou . Copyright 1997-2001 by Kachina Technologies, Inc. ...

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

• Intro
• Zen: tp search en
• SAL- Programming - Languages Compilers - [B/D]

... Problems in testing . ... The MPICH test suite, in examples/test , performs a fairly complete test of an MPI implementation. If there is an error, it usually indicates a problem with the implementation of MPI; if you encounter such a problem, please report it to mpi-bugs@mcs.anl.gov . ... Up: Problems in testing Next: Acknowledgments Previous: Problems in testing . ... Q: The test pt2pt/structf fails with . ... A: This is not an error; it is a gap in the MPI definition. ... Центры . ...

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

V.A. Morozov . Regularization Methods for Ill-Posed Problems . ... This monograph presents the theory and methods of approximate solutions of basic classes of ill-posed problems. It develops an abstract approach that is characterized by the following: widespread use of methods of functional analysis; concentration on general necessory and sufficient conditions of solvability and unique solvability of corresponding problems. The basic methods discussed is the methods of psendosolutions. ...

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

• Katrich N.S.How can biodiversity decide ecological problems e-conference
• D. Orlovsky, S. Piskarev, R. Spigler. On approximation of inverse problems for
• N.L. Gol'dman. Uniqueness classes in inverse problems for parabolic equations

... About lab . ... Selected publications . ... Projects . ... Medical image analysis . ... Selected completed projects . Text recognition . Geometric image parsing . Multiple object detection . ... Old projects . ... Online Journal "Computer graphics and multimedia" (in russian) . ... Text detection and recognition in natural images . ... 1) Automatic detection and understanding the text in natural images, such as photographs of city outdoors or building indoors, is a challenging problem. ...

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

... Departments . ... Head of the department: Moiseev Evgeny, Academician of RAS, Professor, Dr. Sc., Dean of the Faculty CMC MSU Contact information . ... Main topics are: boundary value and spectral problems for PDEs of elliptic and mixed type, spectral analysis, boundary control problems for oscillating processes, linear integral equations, completeness and basis properties of functional systems. ... Functional Analysis by Prof. Moiseev, 64 hours, 5th semester. ... Functional Analysis by Assoc. ...

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

• Department of Functional Analysis and its Applications

... Let the control system be given by the equation dx = X (x, u) = X, u U, dt where X is a vector field on the configuration space M , x M , u is the control parameter, U is the set of admissible values of u. With the vector field X we canonically associate a scalar-valued fiberwise linear function HX on the cotangent bundle T M , HX ( , u) = , X ( , u) , T M , u U, where : T M - M is the canonical pro jection. ...

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

• Program Международная конференция Дифференциальные уравнения и топология ,

... Numerical conditioning analysis of two-dimensional problems in electrical impedance tomography" . Gavrilov S.V. A two-dimensional problem of electrical impedance tomography with a piecewise constant electrical conductivity with two known values is considered. ... The numerical conditioning analysis of this problem is performed with a respect to the type and number of electrical potential excitations at the outer boundary. ...

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

• "Some general conditions for regularization of ill-posed variational problems"
• "Load balancing of processors when solving the problems of fluid and gas
• "Numerical solution of some spectral problems for the Stokes equations"

The Chair of Mathematical Theory of Intelligent Systems and . ... Research . ... Computer Solver . ... Computer Teacher . development of computer teaching systems . ... Demos . ... Demo program (to setup it on your computer you should copy the setup file to some directory on your hard disk and then unzip it). Presentation (in Microsoft Power Point format) . Demo program (to setup it on your computer you should copy the setup file to some directory on your hard disk and then run it). ...

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

• Intelligent Systems :: Research :: :: Research
• Intelligent Systems :: Staff :: Babin Dmitry Nickolayevich
• Intelligent Systems :: Staff :: Zhuk Dmitriy

... Real environments where objects are settled down are non-uniform and they are the source of many physical problems of acoustical imaging. ... Two groups of methods of image reconstruction in non-uniform environments are considered, and the basic attention is given to nonlinear phase methods as unlike methods of the first group, wave front inversion by matched filtering processing, they do not require detailed knowledge of parameters of the non-uniform medium. ... Acoustics of non-uniform mediums. ...

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

Filename completion is only available if the the environment variables EDITOR and/or VISUAL are set to either emacs , gmacs or vi . For example: EDITOR=emacs . ... To complete a file or directory name with emacs or gmacs set press the ESC key twice. ls -l on<ESC><ESC> line_help . If the filename is not completed enter more characters until the filename can be uniquely identified. ... To complete a file or directory name with vi set press the \ (backward slash) key. ls -l on\ line_help . ...

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

• Filename completion with the TC shell
• Filename completion with the Bourne Again SHell
• Filename completion with the C shell

Next: Initial conditions Up: Old neutron star distribution Previous: Introduction . The problem to be solved is to find stationary space distribution of stars which have had certain initial space and velocity distributions and move in a given potential. ... In principle, the most straightforward way to obtain the solution is to integrate directly the equations of motion for a sufficiently large number of stars with different initial conditions. ... Then space density is given by . ...

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

• No Title
• Initial conditions
• PROBLEMS OF THEORETICAL COSMOLOGY - UISS2000

... 12, 43 ­ 44 (2012) / DOI 10.1002/pamm.201210013 Cases of Complete Integrability in Transcendental Functions in Dynamics and Certain Invariant Indices Maxim V. Shamolin1, 1 Institute of Mechanics, Lomonosov Moscow State University, Michurinskii Ave., 1, 119899 Moscow, Russian Federation The results of this work appeared in the process of studying a certain problem on the rigid body motion in a medium with resistance, where we needed to deal with first integrals having nonstandard properties. ...

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

• http://shamolin2.imec.msu.ru/art-133-1.pdf
• http://shamolin2.imec.msu.ru/art-98-1.pdf
• Mathematical Reviews

Brain Research Group >> Research >> Change-point analysis ... << previous next >> . ... It is necessary to note that a change-point detection method which we applied to a real EEG signal was developed on the basis of the piecewise stationarity model of the signal. ... The data presented in this Chapter demonstrate that the effective detection of the change-points opens the way for a number of new methods of the analysis of complex signals such as the EEG. ...

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

• Other prospects of the change-point based analysis
• Change-points in EEG components with different pattern
• Change-points at different levels of the hierarchy of EEG segmental...

... In many areas of physics, in particular, in gravitation and quantum field theory, to solve the physical problem one has to find solutions of nonlinear ordinary differential equations or systems of such equations. ... At the same time there exist methods, which allow to find special solutions of systems of ordinary differential equations in the form of elementary or elliptic functions, reducing the initial system to a system of nonlinear algebraic equations. ...

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

• [RU-NGI] File transfer problem
• Description of particles
• The problem

. N.N.Bogoliubov Institute for Theoretical Problems of Microphysics . M.V.Lomonosov Moscow State University . Choose encoding: . The URL for ITPM MSU Web Page is http://itpm.msu.su . If you have remarks or suggestions please send your comments to . (C) Copyright ITPM MSU 1997, 1998, 1999

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

• Mixing UUCP and RFC-822
• mod_charset_lite - Apache HTTP Server
• The Linux Kernel (Copyright Notice)

PHP Manual . ... If you are still stuck, someone on the PHP installation mailing list may be able to help you. ... If you want to get help on the mailing list, please try to be precise and give the necessary details about your environment (which operating system, what PHP version, what web server, if you are running PHP as CGI or a server module, etc.), and preferably enough code to make others able to reproduce and test your problem. If you think you have found a bug in PHP, please report it. ...

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

• Installation
• Stopping and Restarting Apache
• readline_completion_function

Growth Estimates of Perturbations in Eigenvalue Problems for the Rayleigh Equation / Georgievskii D.V. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. ...

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

• Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika N 2/2014
• Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika
• Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika N 5/2011