Электронная библиотека Попечительского совета . ... Kaye L. - Mathematics of Logic: A Guide to Completeness Theorems and Their Applications . ... Название: Mathematics of Logic: A Guide to Completeness Theorems and Their Applications . Автор: Kaye L. Аннотация: . ... As applications of the work on first-order logic, two final chapters provide introductions to model theory and non-standard analysis. ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Poon S.-H. - Asset pricing in discrete time: a complete markets approach ::
• Corbae D., Zeman J. - An Introduction to Mathematical Analysis in Economics ::
• Acharjya D.P., Sreekumar - Fundamental Approach to Discrete Mathematics ::

... Client/Server Examples . ... Up: Client/Server Examples Next: Ocean/Atmosphere - Relies on Name Publishing Previous: Client/Server Examples . The following example shows the simplest way to use the client/server interface. ... Up: Client/Server Examples Next: Simple Client-Server Example. ... MPI_Open_port(MPI_INFO_NULL, port_name); MPI_Publish_name("ocean", MPI_INFO_NULL, port_name); . ... MPI_Comm_connect( port_name, MPI_INFO_NULL, 0, MPI_COMM_WORLD, &server ); . ... Центры . ...

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

• Clarification of MPI_FINALIZE | PARALLEL.RU - Информационно-аналитический центр
• Progress | PARALLEL.RU - Информационно-аналитический центр по параллельным
• Examples | PARALLEL.RU - Информационно-аналитический центр по параллельным

This example program looks like a complete modern application. ... ApplicationWindow :: ApplicationWindow () : QMainWindow ( 0, example application main window ) { printer = new QPrinter ; printer- setMinMax( 1, 10 ); QPixmap openIcon, saveIcon, printIcon; fileTools = new QToolBar ( this, file operations ); openIcon = QPixmap( fileopen ); QToolButton * fileOpen = new QToolButton ( openIcon, Open File , 0, this, SLOT ( load ()), fileTools, open ...

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

The problem of turbulence is one of the most important and challenging problem of the modern science. ... An experimental investigation of turbulent flows with special experimental setup and equipment, which allow to obtain reliable data with good precision, is very difficult and expensive process. ... The natural assumption for the theory of turbulence is that there exist some (unknown yet) general and universal properties for wide range of different turbulent flows. ...

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

• Zen: tp search en
• SAL: Mathematics
• SAL- Mathematics - Computer Algebra Systems - MuPAD

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

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

• Command name completion
• Filename completion with the C shell
• Filename completion with the TC shell

... LDAP is the Lightweight Directory Access Protocol, and is a protocol used to access "Directory Servers". ... Search surname entry $sr= ldap _ search ($ds, o=My Company, c=US , sn=S* ); echo Search result is .$sr. p ; echo Number of entires returned is . ldap _count_ entries ($ds,$sr). p ; echo Getting entries ... p ; $info = ldap _ get _ entries ($ds, $sr); ... ldap_get_attributes -- Get attributes from a search result entry . ... ldap_get_entries -- Get all result entries...

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

... Home > Scientific laboratories > IM . ... The Laboratory of Industrial Mathematics (LIM) headed by Professor V.M. Goloviznin was established in the Faculty of Computational Mathematics and Cybernetics (CMC) of Lomonosov Moscow State University in 2011. ... In the area of energy and space, examples of topical engineering problems LIM is involved in, include the numerical simulation of new-generation atomic plants and computational aeroacoustics. ... Source URL: http://en.cs.msu.ru/laboratories/im . ...

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

• Laboratory of Industrial Mathematics | CMC MSU

... Changed: . The new modular template system is more flexible, efficient, and easily updated than the old set-up, where each template is a complete HTML file. ... TMPL:INCLUDE{"file"}% : Includes a template file. ... Note: The template directives work only for templates, they do not get processed in topic text. ... All common template parts are defined in one master template, twiki.tmpl , that all other templates include. ... TMPL:INCLUDE{"twiki"}% %TMPL:DEF{"titleaction"}% (oops) %TMPL:END% . ...

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

• VarSEARCH - TWiki - TWiki - (printable)
• TWikiTemplates - TWiki - TWiki

Astronomy Picture of the Day . ... 3.09.2004 . ... Credit: NASA , NOAA Explanation: A major hurricane is heading for Florida . Hurricane Frances , one of the stronger storm systems of modern times, may cross the eastern coast of Florida sometime tomorrow. ... Tropical cyclones, called hurricanes in Earth's Western Hemisphere and typhoons in the Eastern Hemisphere, get their immense energy from warm evaporated ocean water. ... September 2004 . ... U. Based on Astronomy Picture Of the Day ...

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

• Астронет > Hurricane Frances Approaches Florida
• Journal "Peremennye Zvezdy"
• A Complete Solar Cycle from SOHO

... To run the <LAYER> version of the example, select: flower.htm . ... However, if the page had several layers with absolute positions, and you wanted to place another layer in a relative position to one of the existing layers, you could use inline JavaScript to calculate the value for LEFT or TOP . ... In this example, there is really no need to use inline JavaScript to position the last flower layer, since you could just let the TOP value default to its natural value, as in the other flower layers. ...

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

• Long description of example of cell background calculation
• Long description of example illustrating background calculation
• Keyword arguments and default arguments

License v2 # $Id$ # @ECLASS: bash-completion-r1.eclass # @MAINTAINER: # mgorny@gentoo.org # @BLURB: A few quick functions to install bash-completion files # @EXAMPLE: # # @CODE # EAPI =5 # # src_configure() { # econf \ # --with-bash-completion-dir= $(get_bashcompdir) # } # # src_install() { # default # # newbashcomp contrib/${PN}. bash-completion ${PN} # } # @CODE inherit toolchain-funcs case ${ EAPI :-0} in 0|1|2|3|4|5|6) ;; *) die EAPI ${ ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc606.txt.pdf
• http://mirror.msu.net/pub/gentoo-portage/games-simulation/flightgear/flightgear-3.4.0.ebuild
• http://mirror.msu.net/pub/gentoo-portage/games-simulation/flightgear/flightgear-9999.ebuild

... The same can be said about a simple semaphore set. ... A hypothetical print spool manager will utilize semaphore sets to monitor access to each printer. ... Since each printer is only physically capable of printing one job at a time, each of our five semaphores in our set will be initialized to a value of 1 (one), meaning that they are all online, and accepting requests. ... The print manager looks at the semaphore set, and finds the first semaphore which has a value of one. ...

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

• Contents
• Overview of the Directory Tree
• perchild - Apache HTTP Server

Brain Research Group >> Research >> Change-point analysis ... << previous next >> . ... Unless in many other approaches to the analysis of different signal coupling, the information entering the analysis of synchronization in our approach is explicitly represented in the form of elementary, instantaneous events (the change-points). ... Hence the use of correlation/coherency estimates in parallel with change-point analysis seems to be quite rational. ...

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

... Methods and concepts of vortex flow visualization in the problems of computational fluid dynamics" . Volkov K.N., Emelyanov V.N., Teterina I.V., and Yakovchuk M.S. A number of concepts and methods for the visual representation of numerical results obtained when solving fluid and gas dynamics problems related to the simulation of vortex flows are considered. ... Keywords: scientific visualization, computational fluid dynamics, fluid flow, vortex, vector field, tensor field, jet, cavity, channel. ...

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

• "Calculation of optimal coefficients for quadrature formulas by the complete
• A parallel multilevel nested dissection algorithm for shared-memory computing
• "Numerical solution of some spectral problems for the Stokes equations"

... My research topic is application of the theory of dynamical systems to models of excitable media. ... One of the remarkable examples of an excitable medium is heart tissue. ... We have observed dynamics of phase singularities using some of the techniques for PS detection on the base of just one framework three-variable Fenton-Karma model with different parameters sets to reproduce various mechanisms of spiral wave breakup which in principle can occur in cardiac tissue. ...

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

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

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

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

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

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

• Image-based 3D reconstruction of urban scenes | Graphics and Media Lab
• Automatic building texture completion | Graphics and Media Lab
• Graphics and Media Lab | CMC department, Lomonosov Moscow State University

Modeling of single top tW+b signal at the LHC Slava Bunichev Moscow State University In collaboration with E. Boos and L. Dudko http://comphep.sinp.msu.ru Single top quark production at the LHC: leading order diagrams for single top production t-channel s-channel associated tW production Single Top tWb processes at the LHC: tWb channel gives a significant contribution to the Single Top signal at the LHC Discriminate single top tWb and tt-bar events 2. ...

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

• http://qfthep.sinp.msu.ru/talks2011/anomalous_wtb_qfthep11.pdf

... Feature of exciplexes with complete and partial electron transfer formed are analyzed. ... For exciplexes with complete charge transfer (the degree of charge transfer z>0.8 and the energy gap between CT- and LE-states in vacuum (driving force of electron transfer) (H220 - H110) < -0.3 eV), the main contribution to the exciplex energy gives the energy of electron transfer. ... Exciplex energy is substantially lower than that of LE-state even when (H220 - H110) > 0. ...

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

• Entrance Examinations - Preliminary Round
• Moscow University Chemistry Bulletin Vol. 50, No. 5, P. 297 (2009)

... Goals and Tasks . ... General classification of social structures in ants was developed, and the main types of temporal and constant social structures, as well as the ways of their formation and restructuring were determined. ... On the basis of comparative morphological and functional analysis of the wings of Coleopterans , the original theory of beetle wings evolution was grounded. ... One of the main research objects . ...

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

• Laboratories: Laboratory for Ecology of Arid Territories: Publications
• Экологический Форум - Фундаментальная Экология: Over virtually the complete
• Экологический Форум - Фундаментальная Экология: i just completed a whole