... Cousot R. (ed.) - Lecture Notes in Computer Science (3385). Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings . ... Название: Lecture Notes in Computer Science (3385). ... The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005. ... Рубрика: Computer science / . ...

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

• Журнал ACM transactions on modeling and computer simulation :: Электронная
• Dewar J.D. - Computer Modelling of Concrete Mixtures :: Электронная библиотека
• Fang K.-T. - Design and modeling for computer experiments :: Электронная

... Anisotropy effects investigations by resistivity method. ... I.N.Modin. ... Pervago E.V., Bobachev A.A., Modin I.N., Shevnin V.A. Report, presented at Annual SAGEEP conference, April 1995, Orlando, Florida, USA. 1 p. RESISTIVITY PROSPECTING IN URBAN REGIONS . ... Bobachev A.A., Modin I.N., Pervago E.V.Proceedings of 5th EEGS-ES Meeting in Budapest, Hungary, September 1999. ... Bobachev A.A. Modin I.N., Pervago E.V., Shevnin V.A.Proceedings of 5th EEGS-ES Meeting in Budapest, Hungary, September 1999....

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

• Researchs
• Anis. Page2

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

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

• FACULTY OF MECHANICS AND MATHEMATICS

... Development of a computer-based information system for Russian folklore studies . Computer systems SKAZKA and SKAZKA-2 are developing by A.V. Rafaeva. The aim of this work is to make program tools for structural analysis of folktale plots and motives. ... 112 – 113; Rafaeva A.V. Analiz rodstvennykh otnoshenij s pomosh’ju sistemy SKAZKA (Analysis of Relate Terms with the Help of SKAZKA Program) // Problemy kompjuternoj lingvistiki: Sbornik nauchnykh trudov, 1. ...

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

Laboratory of Systems for Automated Image Processing . ... Development of efficient methods for solving inverse problems of x-ray and wave tomography . ... Wave Tomography . ... The methods of solving inverse problems as coefficient inverse problems can provide information about the internal structure of the object even in the case of limited data tomography. ... One of the main challenges faced by ultrasonic tomography is the development of mathematical methods for solving inverse problems. ...

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

• Laboratory of Informatics
• Natalia Pertsova. Towards developing a model of Russian derivation // 3rd
• RCC Address

Moscow State University Belozersky Institute of Physico-Chemical Biology . Department of Electron Microscopy is a sub-division of A.N. Belozersky Institute of Physico-Chemical Biology . ... We are interested of how eukaryotic cell is organized, formed and functioned. Since A.N. Belozersky Institute of Physico-Chemical Biology is one of the scientific departments of Moscow State University ? ... Understanding the metaphase chromosome architecture remains a basic challenge in cell biology. ...

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

The Chair of Mathematical Theory of Intelligent Systems and . ... Research . ... Information Monitoring . ... Search in Databases . ... It is possible this apparatus in an applied investigations on recognition of consecutive information. ... Investigation of possibility of using the additional (non-acoustic) sources of information for speech recognition. ... Investigations of possibilities of usage of methods of fussy logic, optimal control and others in solving of problems of speech recognition. ...

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

• Intelligent Systems :: Science :: Conference
• Intelligent Systems :: Research :: :: Contacts
• Intelligent Systems :: Science :: Scientific Publications

... Chair of Computer Methods of Physics . Department of Physics, M.V. Lomonosov Moscow State University . Welcome to the website of Chair of Computer Methods in Physics! ... methods of analysis and interpretation of experiments (computing and measurements systems theory) . mathematical methods of image analysis and interpretation . methods of fuzzy and uncertain fuzzy . ... Department of Physics M.V. Lomonosov Moscow State University , Chair of Computer Methods of Physics , 2014 . ...

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

• Contacts | Chair of Computer Methods of Physics
• User account | Chair of Computer Methods of Physics

... Toxic heavy metal pollutants can cause great harm to terrestrial ecosystems. ... The focus of this work will be to link short-term (months) and long-term (years) microbial community dynamics and pollutant tolerance with varying levels of metal (lead) contamination. ... Spatial variability of podzol properties in forest ecosystems under air pollution impact. ... Koptsik, S., Koptsik, G., and Eruslankina, L. Heavy metals in subarctic forest ecosystems: soil pollution and impacts on plant diversity. ...

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

• Risks of heavy metal inputs to agricultural and forest ecosystems in russia and

... Department of Mathematics, . Faculty of Physics, MSU . ... Differential equations . ... Mathematical analysis 2 . Numerical Methods (A.N. Bogolyubov) . ... Abstract differential equations with applications in mathematical physics . ... Asymptotic methods in nonlinear problems of mathematical physics . ... Methods of finite differences in mathematical physics . ... Inverse problems in mathematical physics . ... Department of Mathematics, Faculty of Physics, Lomonosov MSU 2014-2016 ...

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

... Department . ... Department of the Automation for Scientific Research (ASR) was founded in 1988 on the basis of research and teaching group of the Mathematical Physics Department (former Department of Computational Mathematics). ... Under his guidance the department performs wide spectrum of research in the field of computer simulation of complex systems and processes. ... 2008?2016 ASR Department , CMC Faculty , Lomonosov MSU . ...

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

• Courses | Department of the Automation for Scientific Research CMC MSU
• Alexander Pozdneev at the ASMS 2008 Conference | Department of the Automation
• Alexander Valeryevich Pozdneev | Department of the Automation for Scientific

The laboratory is engaged in fabricating high-efficiency catalysts and working out model descriptions of kinetics and mechanisms of the processes which take place in chemical power sources. The electrochemical techniques of catalysts preparation aimed to obtaining microloadings of platinum metals are developed, and the approaches to the regulating of the quantity and dispersion of deposited metal (by means of varying the support type, deposition potential, electrolyte composition, etc) are found. ...

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

• Laboratory of Electrical Double Layer and Electrode Kinetics

... Lectures, Questions & Answers . ... Evgeny V. Antipov (Faculty of Chemistry, Moscow State University) New cathode materials for lithium batteries . Questions and Answers . ... Questions . Vladimir I. Feldman (Faculty of Chemistry, Moscow State University) Physics and chemistry of solvated electron . ... Galina A. Tsirlina (Faculty of Chemistry, Moscow State University) Diversity of electrochemistry: the specific problems of molecular models and their experimental verification . ...

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

... Лазарев А.А. , Werner F. в журнале Mathematical and Computer Modelling , издательство Pergamon Press Ltd. ... Lazarev A.A. , Werner F. в журнале Mathematical and Computer Modelling , издательство Pergamon Press Ltd. ... Vasin A.A. , Stepanov D. в журнале Mathematical and Computer Modelling , издательство Pergamon Press Ltd. ... Bikov A.A. , Popov V.Y. , Sveshnikov A.G. , Klibanov M. , Volkova I.O. , Tikhonravov A.V. в журнале Mathematical and Computer Modelling , издательство Pergamon Press Ltd. ...

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

• Mathematical and Computer Modelling of Dynamical Systems - журнал | ИСТИНА -
• Journal of Computer-Aided Molecular Design - журнал | ИСТИНА - Интеллектуальная
• Russian Journal of Numerical Analysis and Mathematical Modelling - журнал |

... Software called "Chromatogram Generator" was developed for IBM-compatible computers. This software allows the approximation of chromatographic peaks with several mathematical functions and their superposition, the construction of series of chromatograms with various parameters (or with smooth variations of single or several parameters), the construction of the graphical image of chromatogram with minimum size and the ability to be added to a chromatographic database. ...

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

• Oleg I. Gromov
• Ar-I2 Interactions: the Models Based on the Diatomics-in-Molecule Approach
• Georgy M. Zhidomirov

... UHECR SINP MSU . About laboratory . ... mini-EUSO (UV atmosphere) . News . UHECR news . ... Publications . ... TUS Ultra high energy cosmic ray detector on-board the Lomonosov satellite . ... Similarity analysis of the streamer zone of Blue Jets . ... It was also noticed that BJ are similar to the streamer zone of a leader (streamer corona) and the modeling studies based on the streamers fractal structure were conducted. ... The energy spectrum of X-rays from rocket-triggered lightning . ...

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

• High energy electromagnetic cascades in extragalactic space: physics and
• Similarity analysis of the streamer zone of Blue Jets
• Publications UHECR

... 247th American Chemical Society National Meeting and Exposition "Chemistry and materials for energy" , March 16-20, Dallas, TX Talk: A.V. Nemukhin "QM/MM-based modeling of structure and spectra of fluorescent proteins" . ... IV International Symposium "Topical Problems of Biophotonics", July 21-27, Nizhny Novgorod Invited talk: M.G. Khrenova , A.V. Nemukhin, A.P. Savitsky "Molecular modeling of the Forster resonance energy transfer between fluorescent proteins" . ...

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

• Current Projects
• History
• People

.

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

• Laboratory of Mechanics of Multiphase Media

... Numerical modelling of the solar internal structure" . ... In this poster we propose a hypothesis that within fixed assumptions about internal physics (opacity, thermodynamics, nuclear reactions) a strict relation between the surface helium abundance and the entropy of the adiabatic part of the convective zone exists for all solar models. ... S.V.Ayukov "Standard Solar Models Using Different Opacity Tables" . ... Parameters of the solar convection zone in evolutionary and seismic models" . ...

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

• Long description of example illustrating the separated borders model
• Publication List
• Long description of example illustrating the collapsing borders model

Next: Initial binary parameters Up: Population synthesis of Previous: Introduction . Monte-Carlo method for statistical simulation of binary evolution was originally proposed by Kornilov & Lipunov (1983a,b) for massive binaries and developed later by Lipunov & Postnov (1987) for low-massive binaries. ... Recently Leitherer & Heckman (1995) have modelled star formation for elliptical and spiral galaxies, taking into consideration only the single stars. ... Initial binary parameters . ...

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

• References for Scenario Machine
• My Publications
• PROBLEMS OF THEORETICAL COSMOLOGY - UISS2000