Электронная библиотека Попечительского совета . ... Milner R. - Communicating and Mobile Systems: the Pi-Calculus . ... Название: Communicating and Mobile Systems: the Pi-Calculus . ... In this book Robin Milner introduces a new way of modelling communication that reflects its position. ... The pi-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. ... Communicating processes 3 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Baeten J.C.M., Middelburg С.A. - Process Algebra with timing :: Электронная
• Milner R. - Communicating and mobile systems: the symbol for pi-calculus ::
• Krantz W.B. - Scaling Analysis in Modeling Transport and Reaction Processes: A

Configuration Files | Auto Generated Files | ... Porting Notes ] . This version of Apache includes changes allowing it to run on IBM's EBCDIC-based TPF (Transaction Processing Facility) operating system. ... The distributed configuration files (httpd.conf-dist and mime.types, both located in the conf subdirectory) work on TPF with only a couple of operating system specific changes to httpd.conf: . ServerType needs to be "inetd" since TPF does not yet support "standalone" mode. ...

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

• Module mod_actions
• Apache module mod_headers

... In this paper the mechanism of fine crystalline magnesium and lanthanum aluminates formation in sub- and supercritical water was investigated. ... This approach assumes a complete homogenisation of reactionary system at the intermediate stage of the process. By means of X-ray analysis of products of the intermediate stage of synthesis the presence the crystalline phase was revealed by us. ... In the case of MgAl2O4 the similar phase is boehmite, in the case of LaAlO3 - lanthanum hydroxide. ...

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

• Determination of Reaction Rate Constants in Micelles. A Comparison of the
• Moscow University Chemistry Bulletin Vol. 42, No. 6, P. 394 (2001)
• EXCITED STATE PROCESSES IN CROWNED STYRYL DYES

On this page you can compute thermodynamics, opacity and nuclear reaction rates for conditions which exist inside the Sun. ... Logarithmic partial derivative dlogP/dlogT (hi_t) . Logarithmic partial derivative dlogP/dlogRHO (hi_rho) . Logarithmic partial derivative dlogP/dlogX (hi_x) . Logarithmic partial derivative dlogU/dlogT (ksi_t) . ... Input field size does not limit the amount of data entered; you can type or paste thousands of lines (10,000 lines tested with output size over 5MB). ...

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

... CGI Scripts | ... This version of Apache includes changes allowing it to run on IBM's EBCDIC-based TPF (Transaction Processing Facility) operating system. Unless otherwise noted TPF version 4.1 PUT09 is required. ... ScriptAlias /cgi-bin/ /usr/local/apache/cgi-bin/ . A request for http://myserver/cgi-bin/filename.cgi would cause the server to run the script /usr/local/apache/cgi-bin/filename.cgi For this example QZZ1 is the name of the TPF program that will be executed by the CGI script. ...

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

• Module mod_actions

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

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

• http://www.geol.msu.ru/deps/geochems/soft/en/Ab_An.doc
• Download Yuri Shvarov's files

... Next: Changing file names during Up: Additional commands Previous: Images saving mode Contents Index . ... Figure 2.15: Window containing parameters that influence on the way programm process images obtained during scanning. ... Realtime planefit and Realtime autoscaling parameters responsible for the way data would be represented in scanning windows. These parameters doesn't influence on the data. Realtime planefit calculate average slope for every scan line and subtract it from this line. ...

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

• Averaging data

... Physics Department . ... Home :: Directions of Research :: General Approaches to Statistical Thermodynamics of Copolymers of Practical Importance (theory) Phase diagrams of solutions, melts and blends consisting of copolymers obtained during realistic polymerization processes. ... Miscibility Maps and Blends Containing Statistical Copolymers. ... Home :: Directions of Research :: General Approaches to Statistical Thermodynamics of Copolymers of Practical Importance (theory) . ...

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

• Science
• Selected publications of Rambidi, Nikolay Georgievich
• Научный семинар 21.01.2013

The Octotron Approach: Towards Autonomous and Reliable Operation of Supercomputers Alexander Antonov, Dmitry Nikitenko, Pavel Shvets, Sergey Sobolev, Konstantin Stefanov, Vadim Voevodin, Vladimir Voevodin, Sergey Zhumatiy Research Computing Center, Lomonosov Moscow State University, Moscow, Russia {asa,dan,shpavel,sergeys,cstef,vadim,voevodin,serg}@parallel.ru 1 Introduction ... 2 The Octotron System: Model-based Approach Octotron represents the supercomputer model in the form of a graph (Fig. ...

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

• http://hpc.msu.ru/files/HPC/ISC_2015_Posters_submission_14.pdf

THE REETHERM DATA BANK FOR MODELING OF GEOCHEMICAL PROCESSES WITH PARTICIPATION OF RARE-EARTH ELEMENTS K.G.Morgunov, G.R.Kolonin, G.P.Shironosova Institute of Mineralogy and Petrography SB, RAS, Novosibirsk This study was supported by the Russian Fundamental Research Foundation (Project No. 98-05-65299) and by the program Universities of Russia - fundamental researches (grant 2787) Herald DGGGMS RAS 5 (15)'2000 v.2 URL: http://www.scgis ...

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

CONTROL OF THE CHAOTIC OSCILLATIONS IN THE EXCITABLE MEDIUM IN ONE HETEROGENOUS CATALYTIC REACTION Kurkina E., Selezneva J. Mendeleev's University of Chemical Technologies of Russia, Miusskaya sq., ... Unpredictable behavior of the chaotic oscillations, ambiguity of ways of the process to end, high opportunity of realization the negative results leave us no choice but to look for the methods of controlling chaos. ... These reactions develop the chaotic behavior in definite conditions. ...

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

• http://www.mce.biophys.msu.ru/archive/doc31397/eng.pdf
• http://www.mce.biophys.msu.ru/archive/doc62605/eng.pdf
• http://www.mce.biophys.msu.ru/archive/doc15789/doc.pdf

THE LABORATORY OF CHEMISTRY AND PHYSICS OF SENSOR AND SEMICONDUCTOR MATERIALS . ... Reactivity thermoelectric clathrate compounds in interaction with components of the air . The project aims to address the fundamental problems of solid state chemistry - revealing the fundamental regularities of the reactivity of crystalline phases in reactions with air components and processes of formation of oxide layers (coatings) for new materials. ...

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

Abstract This work is devoted to the development of quantum theory of coupled fivefrequence parametric processes in active aperiodic nonlinear photonic crystals, which consist of a process of frequency downconversion and two upconversion processes. ... The spectral density of fluctuations of the quadrature components at frequencies both below and above the frequency of the laser, as well as their mutual spectral density is considered. ...

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

• Laboratory of ultrafast processes in biology
• Laboratory of solid-state lasers and coherent spectroscopy
• Сайт кафедры общей физики и волновых процессов

... Mathematical modeling of multicomponent gas flows with energy intensive chemical processes by the example of ethane pyrolysis" . Stadnichenko O.A., Snytnikov V.N., and Snytnikov Vl.N. A mathematical model describing the three-dimensional gas flow dynamics in a laboratory reactor with diffusion, heat transfer and chemical reactions of the hydrocarbons pyrolysis with their thermal effects and thermal processes is proposed. ...

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

• "Three-component velocity field reconstruction algorithms in Stereo PIV"
• "Spatial modeling of water foam dynamics with moving Lagrangian grids under
• "FPIC3D - a parallel code for modeling the high-energy processes in condensed

... Description of the model of a minimal interaction of a gravity with scalar matter fields. ... Separation of equations for the physical degrees of freedom (a specially chosen gauge). ... Branon mass spectrum in the theory with a potential . Asymmetric background solutions and the defect of the cosmological constant. ... Generation of asymmetric brane Two scalar doublets Mass spectrum equation Solution even function odd function ( ( FL0) + FL1 ) provides an asymmetric brane localization for fermions ...

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

Electron and proton impact ionization of atoms and molecules . Theory of few-body Coulomb scattering This is one of the major topics in the research activity of our laboratory. ... Electron momentum spectroscopy (EMS) EMS is the (e,2e) method involving high incident energy and large momentum transfer. ... We develop a theory of the single- and double-ionization EMS processes in atomic and molecular systems. ... c) Laboratory of mathematical models of quantum scattering processes, 2012 . ...

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

COBORDISMS AND FINITE GROUP ACTIONS IN THE WORK OF TARAS PANOV In works of T. Panov [5]­[7] the cobordism theory and formal group laws are applied to the study of the fixed point sets of Z/p-actions. Characteristic classes and cob ordisms of manifolds with simple Z/p-action. A Z/p-action on a manifold M is called simple if all connected components of the fixed point set have trivial normal bundle. ... El liptic genus for manifolds with an action of the group Z/p. Russian Math. ...

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

Knowledge-based generalization of metabolic networks: A n applicational study Anna Zhukova and David James Sherman Inria / UniversitИ Bordeaux 1 / CNRS joint project-team MAGNOME, 351, cours de la LibИration, F-33405 Talence Cedex, France {anna.zhukova, david.sherman}@inria.fr Genome-scale metabolic networks are complex systems that describe thousands of reactions participating in the organism's metabolism. ... That is why the analysis by a human expert is needed during the network refinement process. ...

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

• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/9.pdf
• http://mccmb.belozersky.msu.ru/2013/abstracts/abstracts/131.pdf
• http://mccmb.belozersky.msu.ru/2015/proceedings/abstracts/24.pdf

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

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

• SAL- Computer Graphics, Images Signals - Processing Visualization - SSA-MTM
• SAL- Scientific Data Processing Visualization - Software Packages - AIPS++
• SAL- Numerical Analysis - Misc - Expokit

This module provides for executing CGI scripts based on media type or request method. ... Source File: mod_actions.c . ... Action . ... Syntax: Action action-type cgi-script . ... Examples: # Requests for files of a particular type: Action image/gif /cgi-bin/images.cgi # Files of a particular file extension AddHandler my-file-type .xyz Action my-file-type /cgi-bin/program.cgi . ... This directive adds an action, which will activate cgi-script when a file is requested using the method of method . ...

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

• The Apache TPF Port