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

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

• Hamalainen T.D. (ed.), Pimentel A.D. (ed.), Takala J. (ed.) - Lecture Notes in
• Pasareanu C.S. - Model Checking Software: 16th International SPIN Workshop,
• Berekovic M. (Editor), Dimopoulos N. (Editor), Wong S. (Editor) - Embedded

... 2005 A dynamic model of optimal investment in research and development with international knowledge spillovers . Aseev S. , Hutschenreiter G. , Kryazhimskiy A. , Lysenko A. в журнале Mathematical and Computer Modelling of Dynamical Systems , издательство Taylor & Francis (United Kingdom) , том 11, ? ... Kurzhanski A.B. , Varaiya P. в журнале Mathematical and Computer Modelling of Dynamical Systems , издательство Taylor & Francis (United Kingdom) , том 11, ? ...

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

• Mathematical and Computer Modelling - журнал | ИСТИНА - Интеллектуальная
• International Journal of Shape Modeling - журнал | ИСТИНА - Интеллектуальная
• International Journal of Simulation and Process Modelling - журнал | ИСТИНА -

... A modeler is a program that generates a description of a scene or a collection of 3D objects (usually in text format). ... ACIS -- 3D modeling system provides curve, surface, and solid in an OO architecture. ... AL -- a programming language for modeling and animation. ... BRL-CAD -- Constructive Solid Geometry (CSG) based solid modeling system. ... GL-Space -- a free 3-D modeler for the X window system. ... MARS -- 3D modelling animation and redering system. ... Computer Graphics, Images Signals . ...

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

• SAL- Computer Graphics, Images Signals - Modelers - ACIS
• SAL- Computer Graphics, Images Signals - Modelers - Primal Form
• SAL- Computer Graphics, Images Signals - Modelers - WorldEd

... Science . ... 3-d International Laser Graduate School "Modern Problems of Laser Physics LGS-2009 " . ... Main Science and education Scientific Laboratories Laboratory of computer simulations in optics . ... Dergachev Aleksandr Aleksandrovich engineer, Ph.D. Dormidonov Aleksandr Evgen'evich Ph.D. Kandidov Valeriy Petrovich professor, Doctor of science . ... Femtosecond Nonlinear Optics of High Power Laser Radiation . Femtosecond TW Laser Pulse Filamentation in Gases and Condensed Media . ...

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

... A. Kulikovsky, O. Shamardina, A model for PEM fuel cell impedance: oxygen flow in the channel triggers spatial and frequency oscillations of the local impedance . ... O. Shamardina, M.S. Kondratenko, A.V. Chertovich, A.A. Kulikovsky, A simple transient model for a high temperature PEM fuel cell impedance . ... O. Shamardina, A. Chertovich, A.A. Kulikovsky, A.R. Khokhlov, A simple model of a high temperature PEM fuel cell . ... Book of abstracts, vol. 2, part 1, p. 600 . ... Book of abstracts, p. 140...

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

• International Workshop "Theory and Computer Simulation of Polymers: New
• Selected publications of Chertovich, Alexander Viktorovich

... A framework for the ocean-ice-atmosphere-land coupled modeling on massively-parallel architectures" . Kalmykov V.V., Ibrayev R.A. The paper presents a new software for the coupled modeling of the ocean-ice-atmosphere-soil system (SCM OIAS) on massive-parallel computers. ... The architecture of SCM OIAS is described. ... The computational characteristics of the World ocean-Global atmosphere coupled model governed by SCM OIAS has been tested. ...

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

• "Computer modeling of air-and-coal flows in pulsating aerodynamic fields"
• "Numerical modeling and computer algorithm for the process of segregation of
• "Multiprocessor computer modeling in gravitational gas dynamics"

Официальный сайт кафедры Математической теории интеллектуальных систем и . ... Наука . ... A.B. Zizchenko, A.S. Agjiev, S.P. Konovalov, M.V. Kulagin, P.Pogorelko, V.A. Serebriakov, S.V. Znamenskii The Russian web portal of mathematical resources math-net.ru . ... D.N. Babin To the automata models in the information processing . ... A.V. Chechkin Applied intelligent systems . ... A.V. Sokolov, E.A. Aksenova, A.A. Lazutina, A.V. Tarasyuk Mathematical models of dynamic data structure . ...

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

• Intelligent Systems :: Science :: Conference
• Intelligent Systems :: Science :: Conference :: VIII International Conference
• Intelligent Systems :: Science :: Conference :: 9th International Conference

... The Workshop will take place in the city of Samara from September 4 till September 10, 1997. ... P.Baikov (INP MSU), E. Bashkirov (Samara Univ), A. Biryukov (Samara Univ), E. Boos (INP MSU), B. Danilyuk (Samara Univ), A. Demichev (INP MSU), M. Dubinin (INP MSU), M. Dolgopolov (Samara Univ.) P. Ermolov (INP MSU), A. Gorokhov (Samara Univ.) ... V. Savrin (chairman, INP MSU), A. Semenov (INP MSU), N. Sotnikova (INP MSU), N. Sveshnikov (INP MSU), V. Tarasov (INP MSU), I. Tsirova (Samara Univ.) ...

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

• Sergey Yu
• feynxml:main [THEP]
• QFTHEP'99 - information bulletin #1

... Molecular mechanics with Gillespie-Kepert force field (GKFF) was applied to the modelling of zinc(II) and cadmium(II) complexes with amino- and pyridil-containing ligands. Despite active interest to a zinc complexes ( for example, in bioinorganic chemistry), the comprehensive force field for a large number of polydentate ligands is not developed so far. ... We established forcee field parameters and calculated geometry for more than 20 complexes of zinc(II) and cadmium(II) with high accuracy. ...

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

• Chromatogram generator: chromatogram modelling software
• Determination of Reaction Rate Constants in Micelles. A Comparison of the
• Kinetic model and mechanism of Y3Al5O12 formation in hydrothermal and

1] ISO/IEC TR 10000-1:1995 (final text, June 1995), Information technology - Framework and taxonomy of International Standardized Profiles - Part 1:General Principles and Documentation Framework. ... 3] ISO/IEC TR 10000-3:1995 (final text, June 1995), Information technology - Principles and taxonomy of International Standardized Profiles - Part 3: Principles and Taxonomy for Open System Environment Profiles. ... 9] ISO/IEC DIS 14662, Information technology - Open-edi reference model. ...

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

... The main goal of the interdisciplinary MCE conferences is organization of the productive interaction between scientists and higher education staff, preservation of traditions of Russian science and education, training of scientific and pedagogical staff in the field of mathematical modeling and information technologies and attraction of young people into science and education. [ read more.. ... Doctor of Biological Sciences, Professor, Moscow State University and Institute of Gene Biology. ...

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

• Modeling of the processes connected to nucleon cluster effects
• Modelling in school education. the school ? 8 experience.
• Teacher means of mathematic modelling

... About lab . ... Online Journal "Computer graphics and multimedia" (in russian) . ... We found that automatic models are significantly worse at predicting attention than even single-observer eye tracking. We propose a semiautomatic approach that requires eye tracking of only one observer and is based on time consistency of the observer?s attention. ... Gitman Y, Erofeev M, Vatolin D, Bolshakov A, Fedorov A. Semiautomatic Visual-Attention Modeling and Its Application to Video Compression . ...

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

• Semiautomatic Visual-Attention Modeling and Its Application to Video
• Implicit shape models for object detection in 3D point clouds | Graphics and
• Image-based Photorealistic 3-D Face Modeling | Graphics and Media Lab

Laboratories \ Group for Bioinformatics and Modeling Biological Process \ www.sevin.ru Web Portal Functional Possibilities . ... www.sevin.ru Web Portal Functional Possibilities . ... Representation of information (standard technologies of presentation in WEB, plus technologies of data visualization); . ... Portal "Genetic and biological collections of the RF". ... WEB-portal and database of coordinating center on access to genetic and biological collections of the Russian Federation. ...

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

• Laboratories: Group for Bioinformatics and Modeling Biological Process: Goals
• Фундаментальная экология: Новости: 2.02.2004 Европейская конференция по
• Laboratories: Group for Bioinformatics and Modeling Biological Process: Results

Lomonosov Moscow State University was established in 1755 . ... Lomonosov Moscow State University Diary . ... MSU Web Sites . ... MSU Online . Online Tour . ... 119991, Russian Federation, Moscow, MSU, Lenin Hills 1, the Central Building, the Faculty of Geology, 5 floor, room 503 . ... Chair of geology, geochemistry and economics of mineral deposits. Faculty of Geology, Moscow State University . ... Lomonosov Moscow State University . ... Copyright 1997?2016 Lomonosov Moscow State University . ...

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

• FACULTY OF COMPUTATIONAL MATHEMATICS AND CYBERNETICS
• Faculty of Computational Mathematics and Cybernetics
• The scheme of an arrangement of MSU buildings on Leninskiye Gory

. R. I. Podlovchenko 'Finitc Models and Algebraic Model of Programs'// International Workshop 'Automata, algorithms and information technologies' (Kyev, May 19-21, 2010), Abstracts, Kiev, 2010, p. 19. Ключевые слова:

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

• A. Goncharsky. Some problems of computer tomography in wave approximation. //
• Natalia Pertsova. Towards developing a model of Russian derivation // 3rd
• Reshetnyak M. The parametric resonance in the ??-dynamo models. In 'Proceedings

... International Workshop "Few-Body Systems" . July 4 - 7, 2016 . Dubna, Russia http://theor.jinr.ru/~fbs2016/ . The International Conference on Many Particle Spectroscopy of Atoms, Molecules, Clusters and Surfaces MPS-2016 . August 23 - 26, 2016 . Moscow, Russia http://www.mps2016.ru . 5th International Conference on Mathematical Modeling in Physical Sciences . May 23 - 26, 2016 . ... c) Laboratory of mathematical models of quantum scattering processes, 2012 . ...

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

... Laboratory of Mathematical Methods of Image Processing . Chair of Mathematical Physics . ... Dr. Alexey V. Ignatenko . ... Interests: image-based rendering, computer vision . ... Compression of light transport matrix // In: 21-th International Conference on Computer Graphics GraphiCon'2011 . ... PDF . P. Samsonov , A. Ilyin , A. Ignatenko . ... System for Acquisition, Processing and Material Rendering from Images // In: 18-th International Conference on Computer Graphics GraphiCon'2008 . ...

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

• Publications | Laboratory of Mathematical Methods of Image Processing
• Ringing analysis | Laboratory of Mathematical Methods of Image Processing

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

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

• Current Projects
• Research Interests
• History

... Contact information . ... microsoft.cs.msu.su . ... Our goal is to provide researchers from many branches of science, education and industry with innovative tools and methods for solving applied problems using the latest information technologies, modern methods of computation modeling and scientific visualization. ... FetchClimate is deployed as a Windows Azure cloud service. ... The uncertainty can be used in further uncertainty estimation of a computational model that uses FetchClimate. ...

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

• Research Laboratory of Computational Modeling Tools | CMC MSU
• Department of Computing Systems and Automation
• Laboratory of Industrial Mathematics

... Practical courses . ... The architecture of data acquisition and control systems systems and laboratory works employs various types of plug-in boards, CAMAC modules, GPIB boards, original connecting cards and virtual generators, breadboard modules, and sound blasters, which are used as generators of analog signals of different shapes and as analog-to-digital converters. ... Pascal and C++ are employed to program the different blocks of data acquisition and control systems systems. ...

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

• Laboratory of computer simulations in optics
• Publication
• ILC MSU