Электронная библиотека Попечительского совета . ... Alagi? S., Arbib M.A. - The Design of Well-Structured and Correct Programs . ... Название: The Design of Well-Structured and Correct Programs . Авторы: Alagi? S., Arbib M.A. Аннотация: . This text synthesizes ten years of research in top-down program design and verification of program correctness. ... Arbib, M.A. 111 246 . ... Compiling a program 14 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Preiss B. - Data Structures and Algorithms With Object-Oriented Design Patterns
• D'Souza D. F., Wills A.C. - Objects, Components, and Frameworks with UML: The
• Sinclair I. - Passive Components For Circuit Design :: Электронная библиотека

... Improvement of Methods and Means of Nonlinear Acoustics for Diagnostics of Concrete of Massive Items, Constructions and Structures . ... For want of distribution of elastic waves in a medium have heterogeneity (located defects, stratification, crack) the performances of an information signal, for example, velocity of distribution, amplitude, spectral component can change the parameters [1]. ... These performances are treated on the specially developed algorithm. ...

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

• Abstract (Invited)

COMPUTER DESIGN OF HETEROCYCLIC RING-OPENING REACTIONS. ... Since the cleavage of ring bond requires appearance of new bond either between th e (endo) atoms of initial cycle, or between initial cycle and external (exo) group, the first case is treated as endoopening, and the another as exo-opening: Endo-Ring Opening Exo-Ring Opening ? 1995 American Institute of Physics 75 7 758 Heterocyclic Ring-Opening Reactions General Methodology and Algorithms 1. ... RULE FOR ENDO-TYPE RJNG OPENING. ...

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

• http://www.chem.msu.ru/eng/misc/babaev/papers/028e.pdf

The Qt API consists the following modules: . Application Classes . ... Widgets . ... Dialogs . ... Classes handling automatic resizing and moving of widgets . Abstract Widgets . Abstract widget classes available for subclassing. ... Classes providing drawing primitives . ... Classes related to the handling of text fonts . ... Classes providing OS-independent I/O and file and directory handling. ... Time And Date Handling . OS-independent Classes for handling date and time. ...

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

... Search SAL: . Miscellaneous Software ( Commercial, Shareware, GPL ) . ... AME -- simulation models tool in ecology, forestry, agriculture and environmental science. ... JStrack -- a hurricane tracking program. ... SAC -- general purpose interactive seismic analysis program. ... EcoSim -- a C++ class library for modelling and simulation of ecological systems. ... Unlimited Simulator -- help create whatever simulation from games to scientific applications. ... Other Scientific Fields . ...

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

• SAL- Other Scientific Fields - Misc - Title [SAL sample entry page]
• SAL- Numerical Analysis - Discrete Methods Related Tools - Janus
• SAL- Numerical Analysis - Discrete Methods Related Tools - Analysis Tool for

... In this first example, we allow an object to fall onto a small radar unit . The resulting Time-Frequency distribution is shown as a contour plot in Fig. 8 (a). Figure: FIGURE GOES SOMEWHERE IN THIS GENERAL VICINITY . ... Its density plot appears as an image in Fig. ... The response has a very high peak, as evidenced from Fig. ...

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

• Dynamic HTML in Communicator
• Coaxial jets
• Heliophysics, Internal structure and seismology

... We consider now change-points in different components of the frequency spectrum of typical EEG signal. ... Only few change-points in power are found in the initial EEG (unless a prominent alpha rhythm is present). ... Change-points in different frequency components of the EEG . ... Change-points in different types of the EEG alpha activity without substantial gradual changes . ... As can be seen from Fig. 7.3, the program reliably detected the change-points despite of such variety of signal patterns...

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

... Multivariate analysis of melting points for homologous series C x H 2 x ? 1 NO ( x = 3?6) . Abstract A multivariate analysis of empirical structure data for isomeric homologues by use of principal component analysis was carried out, and the correlation with experimental melting points was shown. ... Moscow University Chemistry Bulletin . 2013, Vol. ... 4, P. 191 . Copyright (C) Chemistry Dept., ... Copyright (C) Chemisty Department of Moscow State University . ...

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

• Features of the real structure of doped PbTe crystals
• Supramolecular structure and physicochemical properties of the systems
• Moscow University Chemistry Bulletin Vol. 42, No. 2, P. 125 (2001)

... Molecular structure and dynamics of the dimeric human small heat shock protein HSPB6. ... ATP-independent small heat-shock proteins (sHSPs) are an essential component of the cellular chaperoning machinery. ... We addressed the three-dimensional structure and functional properties of HSPB6 in a hybrid study employing X-ray crystallography, solution small-angle X-ray scattering (SAXS), mutagenesis, size-exclusion chromatography and chaperoning assays. ...

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

Internet Engineering Task Force (IETF) M. Nottingham Request for Comments: 7320 BCP: 190 July 2014 Updates: 3986 Category: Best Current Practice ISSN: 2070-1721 URI Design and Ownership Abstract Section 1.1.1 of RFC 3986 defines URI syntax as "a federated and extensible naming system wherein each scheme's specification may further restrict the syntax and semantics of identifiers using that scheme." ... Nottingham Best Current Practice [Page 3] RFC 7320 URI Design Ownership July 2014 1.1. ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc7320.txt.pdf
• http://mirror.msu.net/pub/gentoo-portage/dev-cpp/tbb/tbb-4.3.20150611-r1.ebuild
• http://mirror.msu.net/pub/gentoo-portage/dev-cpp/tbb/tbb-4.3.20150611.ebuild

... Class . ... Provides an abstraction for multidimensional array access, some concrete implementations, and ways to view a MultiArray as if it had a different structure. ... This interface defines the services required by MultiArrayProxy to manipulate indexes and the dimensions of a MultiArray. ... In the following, we use the unadorned term "array" to mean the Java language construct, and the term "multidimensional array" for the mathematical abstraction modeled by the MultiArray class in this...

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

... Wiki . ... wiki: WikiProcessors . ... Processors can be thought of as macro functions to process user-edited text . ... Besides their content, some Wiki processors can also accept parameters , which are then given as key=value pairs after the processor name, on the same line. ... Example 3 : Searching tickets from a wiki page, by keywords. {{{ #!html <form action="/query" method="get"><div> <input type="text" name="keywords" value="~" size="30"/> <input type="submit" value="Search by Keywords"/> <!-...

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

• Protein Structure of HSLU_ECOLI
• TracEnvironment тАУ Tanchiki

... Alternative core new atoms (%) . ... An alignment of a set of structures is a set of positions , to each position some atoms from different structures correspond. ... Geometrical core of a set of structures is a subset of alignment positions those atoms are disposed similarly in all structures. ... For any two positions included into geometrical core, the distances between CA atoms of those positions in all structures may differ not more than the value of the parameter "Distance spreading". ...

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

• wLake program homepage
• Example of alignment
• S : 3D_of_rm_system_components

Wood Plant body Morphology of shoot Introduction to Botany. ... Shipunov BIOL 154.8 Wood Plant body Morphology of shoot Monday test (5 points) 5 Components of bark ( 1) Shipunov BIOL 154.8 Wood Plant body Morphology of shoot Outline 1 Wood Plant body Morphology of shoot Components of shoot Branching Arrangement of leaves 2 3 Shipunov BIOL 154.8 Wood Plant ... Plant Biology. 2nd edition. ... Shipunov BIOL 154.8 ...

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

An abstract-algebraic approach to the construction of computing environments to solve problems in object formulation" . Suvorov V.V. A method for solving mathematical and applied problems in object-oriented representation is proposed. ... A computing environment is created whose dynamics is controlled by the functional and predicative components of the problem's object content. ... Keywords: abstract-algebraic approach, object formulation, data self-transformation, system-creating principle . ...

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

• "Transaction modeling on architectural level of software design"
• A multilevel approach to algorithm and software design for exaflops
• "Three-component velocity field reconstruction algorithms in Stereo PIV"

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

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

• Интеллектуальные системы :: Наука :: :: V international congress on

... V.V.Shevchenko, Sternberg State Astronomical Institute, Moscow University, Universitetsky 13, Moscow 119899, Russia, shev@sai.msu.ru . ... 1.Sternberg State Astronomical Institute, 119899, Moscow, Russia. shev@sai.msu.ru . ... V.V.Shevchenko, Sternberg State Astronomical Institute, Moscow University, Moscow 119992, Russia, shev@sai.msu.ru . ... 119992 Moscow, Russia; . ... 2Sternberg Astronomical Institute, Moscow University, Moscow, 119992, Russia, . ... Moscow, 119992, Russia shev@sai.msu.ru . ...

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

... Unlike the previous digital-only Messages, Arecibo-1974 and Evpatoria-1999, the TAM has complex, three-section structure with different forms of information. Section 1 represents coherent sounding radio signal with slow Doppler wavelength tuning to imitate transmission from Sun's center. ... Section 2 is an analog information and represents musical melodies, performed on the Theremin. ... There were seven musical compositions in the 1st Theremin Concert for Aliens. ...

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

• Data bases of Natural Satellites. Documentation. Structure
• Speckle polarimeter

Next: Transparency of the Stochastic Up: Model of the Galaxy Previous: Frequency distribution of galactic . ... The parameters of the model resulted from a numerical fitting of various data, such as the observed distribution of the young star population and neutral hydrogen, the density of population II stars in the vicinity of the Sun, the galactic rotation curve and the dynamics and distribution of globular clusters ? and dwarf irregular satellites of the Galaxy. ...

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

• Be/X-ray binaries and candidates
• ADS Abstract Service Results
• Abstract

The use of the external module Electrum.dll Electrum.dll file is an external module for the Gibbs program, and is designed to calculate the activity coefficients of the components of gold- silver alloy (solid solution). ... Preparation of the System file To be able to use the module Electrum.dll, you need to include a binary solid solution of metallic gold and silver into the System file, as you create it. ... Similarly, it is set for the Control file when editing the list of Gibbs program options. ...

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

• http://www.geol.msu.ru/deps/geochems/soft/en/Ab_An.doc
• http://www.geol.msu.ru/deps/geochems/soft/en/ZnS_FeS.doc
• http://www.geol.msu.ru/deps/geochems/soft/en/2008.pdf