... Cervenka R., Trencansky I. - The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems . ... Название: The Agent Modeling Language - AML: A Comprehensive Approach to Modeling Multi-Agent Systems . ... Multi-agent systems are already a focus of studies for more than 25 years. Despite substantial effort of an active research community, modeling of multi-agent systems still lacks complete and proper definition, general acceptance, and practical application. ...

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

• Booch G., Rumbaugh J., Jacobson I. - The Unified Modeling Language User Guide
• Evitts P. - A UML Pattern Language :: Электронная библиотека попечительского
• ChengXiang Zhai - Statistical Language Models for Information Retrieval ::

Fortran-DVM . ... Language description . ... 2.2 Syntax of FDVM directives . ... 4.2 Distribution of dynamic arrays . ... 6 Remote data specification . ... 6.2 SHADOW type references . ... 6.2.2 Synchronous specification of independent references of SHADOW type for single loop . ... 6.2.5 Asynchronous specification of independent references of SHADOW type . ... 6.3.3 Asynchronous specification of REMOTE type references . ... 6.4.2 Asynchronous specification of REDUCTION type references . ...

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

• C-DVM language description

ACL2 . ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 is a very large, multipurpose system. You can use it as a programming language, a specification language, a modeling language, a formal mathematical logic, or a semi-automatic theorem prover, just to name its most common uses. ... None . ... User Comments: . ... SAL Home | ... Languages Compilers . ... Copyright 1995-2001 by Herng-Jeng Jou . ...

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

• SAL- Programming - Languages Compilers - PAMELA
• SAL- Programming - Languages Compilers - UML
• SAL- Computer Graphics, Images Signals - Misc - AFML

... Mathematical models and methods in VLSI design . ... General models and statements about the complexity of combinatorial tasks, methods for development of fast algorithms (method of dynamic programming, ?divide and conquer?, ?method of model extension?) are considered. ... Mathematical models of contemporary electronic circuits are considered and basic approaches to solving task of logic synthesis, as well as tasks of VLSI modules placement and interconnection routing are described. ...

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

• Master program "Mathematical Models of Complex Systems" | Магистерское и
• Master programљ"Decision Engineering in Economics and Finance" | Магистерское и
• Mathematical Models of Complex Systems: Theory, Algorithms, Applications |

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

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

• Image-based 3D reconstruction of urban scenes | Graphics and Media Lab
• Semiautomatic Visual-Attention Modeling and Its Application to Video
• Displacement and Normal Map Creation For Pairs of Arbitrary Polygonal Models

Important Dates Submission deadline: June 2, 2008 Notification of acceptance: June 16, 2008 Deadline for final papers: June 30, 2008 Conference: September 6 ­ 13, 2008 Conference Chair Valery Solovyev, professor Kazan State University (Russia) E-mail: cml2008@list.ru Conferences of series "Cognitive Modeling" have been held with success since 1998. In 2000 the direction was specified as "Cognitive Modeling in Linguistics" (CML). ... In 2008 the Conference will take place in Bechichi, Montenegro. ...

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

• http://www.philol.msu.ru/~otipl/new/main/people/kibrik-aa/research_interests...
• MSU-LGCLL:: Curriculum Vitae of Anatoliy Anatolyevich Polikarpov
• Title: Russian Language Training via INTERNET. Internet-based educational

Papers submitted to QUALICO-94 . ... Anoshkina J.G. Morphological Processor for the Russian Language . ... Baskevich V.M. Statistical Analysis of Lexical Units in Texts of Different Functional Styles) . ... Breiter M.A. Length of a Chinese Word in Relation to its other Systemic Features . ... Kazakevich O.A. Minor Languages of Russian on Computer . ... Moscalenko T.A. Quantitative Analysis of Different Levels Lexical Units Distribution in Legislative Texts: Word forms, Lexemes, Hyperlexemes] . ...

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

• MSU-LGCLL:: Curriculum Vitae of Anatoliy Anatolyevich Polikarpov
• Melnikov G.P.- Systemology and Linguistic Aspects of Cybernetics
• Basic Assumptions about a Sign's Life Cycle for Mathematical Modelling of

... The LI or list item element is used for items in both ordered and unordered lists. ... An SGML identifier used as the target for hypertext links or for naming particular elements in associated style sheets. ... CLASS . This a space separated list of SGML NAME tokens and is used to subclass tag names. ... CLEAR . This attribute is common to all block-like elements. ... The CLEAR attribute allows you to move down unconditionally: . clear=left . move down until left margin is clear . ...

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

• Admonishments
• Paragraphs
• Credits

The construction of a T-system formal model and the proof of its correctness" . Vodomerov A.N. We study the methods of program parallelization used in the T-system (an automatic parallelization tool for applied programs). ... In this paper we present a formal model describing the T-system basic constructions on the basis of operational approach. Our model is used to prove the correctness of T-system mechanisms. PostScript (in Russian) (204KB) . PDF (in Russian) (190KB) . ...

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

• Regularization of multilingual topic models
• "A method of automatic constructing a model of a parallel program in terms of
• "Software architecture modeling"

DISSIPATIVE STOCHASTIC DYNAMIC MODEL OF LANGUAGE SIGNS EVOLUTION Poddubny V., Polikarpov A. 1 Tomsk State University, 36, Lenina Av., ... ASP is measured by the maximum amount of possible meanings acquired by a sign during all its life-span. ... The next question appears: what mathematical model of the process of the language sign evolution forecasts the momentary polysemy distribution, identical to the empirical distributions, got, for instance, from representative explanatory dictionaries? ...

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

• http://www.mce.biophys.msu.ru/archive/doc150820/eng.pdf
• http://www.mce.biophys.msu.ru/files/mce14eng.pdf
• MCE-2016

extra:model:main ]] . CompHEP . ... Please address any questions concerning models to their authors. Authors of a model keep all rights. Any CompHEP user may apply a model respecting conditions defined by the authors. ... Model ==== ** Model description ** * Name: modelname * Author: modelauthor * Short description: * Long description: see [[http://www.univ.com/author/auth|modelauthor]] * {{http://comphep.sinp.msu.ru/extra/model/auth.zip|auth.zip}}, 123KB * References: - ref 1 - ref 2 .. ...

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

• overview [CompHEP]
• news [CompHEP]
• downloads [CompHEP]

... Physics Department . ... The structure model of a cubic aperiodic phase ('quasicrystal without forbidden symmetry axes') // J. Phys.: Cond. ... Model for the transformation of an icosahedral phase into a B2 crystalline phase // J. Phys. Cond. ... Seminar of the Polymer Council of RAS . Seminar in Polymer Physics . ...

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

• Main - Chair of Polymer and Crystal Physics
• Polymers with Associating Groups (experiment + theory + computer experiment) -

Network Working Group N. Williams Request for Comments: 5554 Sun Updates: 2743 May 2009 Category: Standards Track Clarifications and Extensions to the Generic Security Service Application Program Interface (GSS-API) for the Use of Channel Bindings Status of This Memo This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. ... Generic Structure for GSS-API Channel Bindings .. ... Security Considerations .. ...

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

• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc5554.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/pdfrfc/rfc3823.txt.pdf
• http://mirror.msu.net/pub/rfc-editor/rfc-ed-all/rfc3823.txt

... Paradigm shifts by Kuhn: successive change of one model by another, rather than integration of different paradigms Progress of science: from single- to multi-model approach Some examples from natural science... · theory of light: from vibration of ether to wave-particle duality · laws of motion: from Newton's dynamics to SchrЖdinger 's and Heisenberg's formalism In social and environmental sciences appreciation of the multi-model ...

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

• CURRICULUM VITAE

... The results of recent developments on modelling of supramolecular ordering and macroscopic properties of molecular liquids and mixtures are reviewed. ... The hierarchy of theoretical models of molecular aggregates is considered. The nonideal mixture of molecular aggregates, polyvariant as regards structure and composition, is discussed. ... Macroscopic manifestations of supramolecular ordering in a set of the physicochemical properties of molecular liquids and mixtures are discussed. ...

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

• Ar-I2 Interactions: the Models Based on the Diatomics-in-Molecule Approach
• Molecular Modeling in Chromatostructural Analysis as a New Approach in GC/MS of
• Liquid Systems Supramolecular Organization: Modelling of Properties, Phenomena,

... Contact information . ... 119991, Moscow, GSP-1, Leninskiye Gory, MSU, 2nd Educational Building, CMC Faculty . ... 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. ... The uncertainty can be used in further uncertainty estimation of a computational model that uses FetchClimate. ...

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

• Department of Algorithmic Languages
• Research Laboratory of Computational Modeling Tools
• Department of Algorithmic Languages | CMC MSU

... Problems and tasks of the research programme . ... Glossary of the laboratory-chair . ... On the Institute . ... Laboratory-chair of modelling the natural references of time . ... System modelling . ... Extremal principles of natural science. What is system entropy? ... On the way to understanding the time phenomenon: constructions of time in natural science. ... Time in the existence of natural systems. Natural references of the "course" of time. ... Specific times of natural science. ...

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

• O.S.Razumovsky. Models of Time in Physics and Cosmology
• Russian Interdisciplinary Temporology Seminar

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Department of the English Language Abstract Categorical Models of Quantum Mechanics By Alexander Zapryagaev, group 304 21 October 2014 The report deals with the axiomatic approach to the phenomena of quantum computation and algorithms. ... Finally, the logic behind quantum operations is discussed: it is revealed that the ideas of quantum algorithms have a strong connection to Jean-Yves Girard's linear logic. ...

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

... Scientific Staff . ... Sci. Mathematics Modeling”, Dr. Biol. ... Ecology”, main research associate (bioinformatics, mathematical modelling, ecology, genetics, information systems on WINDOWS and LINUX base platforms); (Henry Ford European Conservation Awards – National Award 1998). ... Sci., research associate (bioinformatics, mathematical modeling, genetics, biochemistry, molecular biology). ... Sci., research associate (bioinformatics, mathematical modeling, ecology of biosystems). ...

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

• Экологический Форум - Фундаментальная Экология: They are very model in advance
• Laboratories: Laboratory for Ecology and Morphology of Marine Invertebrates:
• Laboratories: Group for Bioinformatics and Modeling Biological Process: Goals

Next: Dynamic Invocation Interface Up: Java Interface Previous: Java Interface . The theory of conceptual graphs (CG) has been developed to model the semantics of natural language (see [ 8 ]). ... The nodes of the graph are either concept or relation nodes . Due to the bipartite nature of the graphs, two concept nodes may only be connected via a relation node. ... Figure 6.1: љ A simple conceptual graph with two concepts and one relation. ...

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

• Anatomy of an operation declaration
• Linux Threads Home Page: How are Linux kernel threads accessed?
• Linux Threads Home Page: Are there languages that support threads?