... calg:archive07 ]] . THEP . ... archive07 . ... Computing in THEP (FAQ) . ... Grobner bases and related methods, 2006 . ... Specialization of functional programs by supercompilation . ... Wednesday, December 19, at 16.20 in 780 room of building VMK, Moscow State University. ... The simplest task of program specialization is to construct another program q_p(y) such that q_p(y) = p(x_0, y) on the domain of the program p and the program q_p(y) is more optimal than the p (with respect to run-time). ...

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

• Seminar on Computer Algebra in 16 January 2002
• intas:cern-intas03:task2 [THEP]
• Exact Solution for Nonintegrable Systems

The Chair of Mathematical Theory of Intelligent Systems and . ... of Moscow State University Official Website . ... Staff . ... Alexander Borisovich Kholodenko was born on November 15, 1976 in Moscow. ... Alexander Kholodenko graduated from the Faculty of Mechanics and Mathematics in 1999 as a student in mathematics and in 2002 as a post-graduate student in mathematics. ... Kholodenko A.B. About the creation of statistic language models for Russian speech recognition systems. Intelligent systems. ...

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

• Intelligent Systems :: Research :: Computer Teacher
• Intelligent Systems :: Science :: Conference
• Intelligent Systems :: Research :: Computer Solver

... 2) to undertake multuaspectual reseach of textual and dictionary data using developing software, including combination and comparison of various classifications of textual and dictionary elements of Natural Language. Up to now in majority of cases systems for text processing, on the one hand, and systems for accumulation and analysis of dictionary data, on the other, are elaborated separately. ... It provides a user with ability to control and analyse some textual data. ...

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

• MSU-LGCLL:: Papers submitted to QUALICO-94
• Melnikov G.P.- Systemology and Linguistic Aspects of Cybernetics
• MSU-LGCLL:: Curriculum Vitae of Anatoliy Anatolyevich Polikarpov

... Acting Head of the Laboratory: Gamayunov Dennis, Senior Research Fellow, PhD. Contact information . ... The Laboratory of Information Systems Security was founded in 2011 at Computational Mathematics and Cybernetics Faculty of Lomonosov Moscow State University (CMC MSU) on the basis of Information Systems in Education and Research Laboratory. Primary activities of the Laboratory are: 1) research and development in the area of cybersecurity and information systems security and 2) education. ...

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

• Laboratory of Information Systems Security
• Department of Algorithmic Languages
• Information for foreigners who wish to study at our Faculty

... Bibliography . ... Design and evaluation of primitives for parallel I/O. In Proceedings of Supercomputing '93 , pages 452--461, 1993. ... Technical report, American National Standards Institute, 1995. 5] Message Passing Interface Forum. MPI: A Message-Passing Interface standard. The International Journal of Supercomputer Applications and High Performance Computing , 8, 1994. ... Technical Report 1672, Naval Command Control and Ocean Surveillance Center (NRAD), September 1994. ... Центры . ...

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

• Special features of different systems | PARALLEL.RU -
• Attributes | PARALLEL.RU - Информационно-аналитический центр по параллельным
• Memory Allocation | PARALLEL.RU - Информационно-аналитический центр по

... Int , J. of Computer and Systems Sciences Intern , Journal of Computer and Systems Sciences International показать полностью.. Journal of Computer and Systems Science International . ... Dzhepe A. , Kozlov A.V. , Nikulin A.A. в журнале Journal of Computer and Systems Sciences International , издательство Maik Nauka/Interperiodica Publishing (Russian Federation) , том 54, ? ...

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

• Computer Languages, Systems and Structures - журнал | ИСТИНА - Интеллектуальная
• Mathematical and Computer Modelling of Dynamical Systems - журнал | ИСТИНА -
• Theory of Computing Systems - журнал | ИСТИНА - Интеллектуальная Система

... About lab . ... Online Journal "Computer graphics and multimedia" (in russian) . ... Geometrical calibration television measuring systems with solid -state photo detectors . ... http://graphics.cs.msu.ru/ru/publications/text/matiouchenko2002.pdf . ...

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

• Advanced Concepts for Intelligent Vision Systems: 15th International
• Image-based 3-D face modeling system | Graphics and Media Lab
• A system for large-scale automatic traffic sign recognition and mapping |

ZPL . ZPL is a new array programming language designed from first principles for fast execution on both sequential and parallel computers. Because ZPL benefits from recent research in parallel compilation, it provides a convenient high level programming medium for supercomputers with efficiency comparable to handcoded message passing. Users with scientific computing experience can generally learn ZPL in a few hours. ... User Comments: . ... SAL Home | ... Programming Languages Systems . ...

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

• SAL- Parallel Computing - Programming Languages Systems - esep
• SAL- Parallel Computing - Programming Languages Systems - Maisie
• SAL- Parallel Computing - Programming Languages Systems

... Журнал Lecture Notes in Computer Science . ... Lecture Notes in Computer Science (85). ... Lecture Notes in Computer Science (593). ... Lecture Notes in Computer Science (663). ... Lecture Notes in Computer Science (750). ... Lecture Notes in Computer Science (1032). ... Lecture Notes in Computer Science (1065). ... Lecture Notes in Computer Science (1131). ... Lecture Notes in Computer Science (1396). ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Журнал ACM transactions on programming languages and systems :: Электронная
• Yaghmour K. - Building Embedded Linux Systems :: Электронная библиотека
• Yazdani M., Gelling R. (eds.) - Computer Assisted Language Learning ::

... DVM system . DVM-system - home page . DVM-system is designed to support development of portable and efficient parallel computational applications for different architecture computers. The C-DVM and Fortran-DVM languages based on the same model are used. ... Predictor of DVM-program performance . ... DVM-system is ised on workstations (SGI, SUN, HP, IBM) and personal computers with OS UNIX and WINDOWS 95/NT. ... MVS-1000/16 (KIAM of RAS and IMM of RAS) . ... Download DVM-system . ...

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

• DVM-system. Version history
• DVM-system. Goals and structure
• DVM - publications

... The user database is traditionally contained in the /etc/passwd file. Some systems use shadow passwords , and have moved the passwords to /etc/shadow . ... This does have the drawback that anyone with access to the encrypted password can use various cryptographical methods to guess it, without trying to actually log into the computer. ... The user group database is kept in /etc/group ; for systems with shadow passwords, there can be a /etc/shadow.group . ...

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

• Overview of a Linux System
• The Linux System Administrators' Guide
• Apache IP-based Virtual Host Support - Apache HTTP Server

... Conferences . ... http://gct.math.nsc.ru/?event=metric-structures-and-control-systems . International Conference METRIC STRUCTURES AND CONTROL SYSTEMS will take place in Sobolev Institute of Mathematics, Novosibirsk, Russia, December, 17 ? ... The conference is organizing by the Laboratory of Geometric Control Theory of the Sobolev Institute of Mathematics (SB RAS) within the framework of the Project ?Geometric Control Theory and Analysis on Metric Structures?. ...

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

• Institute of Computer Sciences - Conferences - Sixth International Conference
• Institute of Computer Sciences - Conferences
• Institute of Computer Sciences - Events

... 3] ISO/IEC DTR 14252, Portable Operating System Interface for Computer Environments - POSIX. ... 4] Final DISP for FDISP 15287.02 - Information technology - Portable Operating System Interface (POSIX) - Standardized Application Environment Profile - POSIX Realtime Application Support (AEP). ... 7] ISO/IEC 9945-1:1990 (IEEE Std 1003.1-1990), Information technology -- Portable Operating System Interface (POSIX) -- Part 1: System Application Program Interface (API) [C Language]). ...

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

• Часть VII - Литература
• Часть XII - Литература
• Часть I - Литература

... Faculties . ... General Information . ... Study and Research . ... The Faculty has 18 departments: Department of General Mathematics , Department of Non-Linear Dynamic Systems and Control Processes, Department of Mathematical Physics, Department of Computational Methods, Department of Research Automation, Department of Operations Research , Department of Optimal Control, Department of System Analysis, Department of Mathematical Statistics, ...

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

• Research Priorities in Sciences and Humanities at Moscow State University
• Information for applicants
• MSU Educational System

The preliminary program . of the International Congress . Russian Language: . ... Problems of historical Russian linguistics within Common Slavic and Indo-European context: inheritance, development, cultural contacts. ... Dynamic picture of modern Russian language synchrony . ... Stable features of modern Russian public language: factors and tendencies of the development of its means and genres. ... New features and aspects of Russian fiction language of the end of XX-th century research. ...

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

• LangueDOC :: Archi :: Alphabet
• LangueDOC :: Khinalug :: Alphabet
• MSU-LGCLL:: Curriculum Vitae of Anatoliy Anatolyevich Polikarpov

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

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

... We offer the automated training systems TCM and TNM, intended for support of rates of computer modelling and numerical methods, developed in the Bryansk state university. ... Systems TCM and TNM can be used both on laboratory researches, and for the organization of independent work of students. ...

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

• MCE-2016
• The international science-educational internet-magazine on natural sciences for
• Calculating experiment and problems of nonlinear dynamics in computer practical

You are here: Foswiki > System Web > WikiCulture (revision 1) E dit A ttach . On this page: . General concept and idea of wikis . What is a wiki? The idea behind wikis . ... A wiki is a page or collection of Web pages designed to enable anyone who accesses it to contribute or modify content, using a simplified markup language. ... As mentioned above, the idea behind wikis is that anybody can create and edit content of a wiki page, using a simplified markup language. ... 2008. ...

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

• PerlDoc < System < Foswiki
• MainFeatures < System < Foswiki
• VarLANGUAGES < System < Foswiki

... Магистерское образование . ... Магистерские программы . ... This is an obligatory course for 1-year students, studying for the magisterial degree ?Open Information systems? and ?Network software?. ... Are researched the most frequently used applied protocols of net security and protocol of creating virtual private nets. ... This is an obligatory course for 1-year students, studying for the magisterial degree ?Program devices of net?. ... Магистратура: master@cmc.msu.ru, 3-й этаж, комната 360, тел. ...

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

• Master program "Enterprise Information Systems" | Магистерское и послевузовское
• Master program "Mathematical Models of Complex Systems" | Магистерское и
• Mathematical Models of Complex Systems: Theory, Algorithms, Applications |

... Second-year students classes . Introduction to Linux . ... 32-bit Microcontroller Programming . ... In the given practical special course we address user techniques for working with Linux OS; we study the interface of the command line in great detail, methods of automation and batch processing, composition of scientific articles as well as the specifics of software design by using in-built toolkit. ... Use of console interface of the command line, automation (bash scripts) . ...

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

• Parallel Programming
• Circuit Diagnostics