... The major purpose of a Computer Algebra System (CAS) is to manipulate a formula symbolically using the computer. ... Axiom -- a computer algebra system with powerful symbolic solver. bernina -- interactive program with interface to a computer algebra library. ... CoCoA -- a special-purpose system for doing Computations in Commutative Algebra. ... MAXIMA -- computer algebra system for symbolic and numerical computations. ... Punimax -- computer algebra system for symbolic and numerical computations. ...

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

• SmallBodies in the Solar System
• SAL- Mathematics - Number Theory - Pari/GP
• SAL- Mathematics - Number Theory - SIMATH

... MSU's HPC HISTORY . ... In 1956, Research Computing Center (RCC) of Moscow State University received its first computer тАЬStrelaтАЭ. ... BESM-6 computer was and still is considered to be of great importance to USSRтАЩs/RussiaтАЩs history of computer development. ... Same year RCC received its first BESM-6 computer, and despite its serial number 13 it proved to be lucky for the Center. ... Research Computing Center (RCC) of Lomonosov Moscow State University . ... Excursions to Supercomputing Center ...

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

• JOINT MSU-INTEL CENTER ON HIGH PERFORMANCE COMPUTING | Moscow University
• MSU SUPERCOMPUTERS: IBM BLUE GENE /P | Moscow University Supercomputing Center
• X-COM: DISTRIBUTED COMPUTING SOFTWARE | Moscow University Supercomputing Center

... This paper argues that a mixed system of private and state universities seems the best structure to secure dynamism, accessability, and efficiency of higher education insitutions in post-industrial societies. ... Whereas the university system of Germany is to a large degree state-operated, the British system combines some elements of private higher education with an also largely state-operated university system. ... The United States would seem to provide the best structure for a university system. ...

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

• Some Ideas in Current Situation in our Country

... TWiki is written in Perl 5, uses a number of shell commands, and requires RCS (Revision Control System) , a GNU Free Software package. ... Perl . 5.005_03 or higher (5.6.1 recommended, 5.8.0 not recommended yet, see TWiki:Codev.IssuesWithPerl5dot8 ) . ... Optional, but the all-Perl RCS replacement is not currently recommended for live sites - see TWiki:Codev.RcsLite . ... Apache 1.3 is well supported; Apache 2.0 is not recommended yet (see TWiki:Support.FailedAuthenticationWithApache2OnWinNT ). ...

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

• %TOPICTITLE% (28 vs. 29) - TWiki
• TWikiSystemRequirements - TWiki - TWiki - (printable)

Next: System Name Up: UUCP Configuration Files Previous: General Configuration Options-- the . The sys file describes the systems your machine knows about. An entry is introduced by the system keyword; the subsequent lines up to the next system directive detail the parameters specific to that site. Commonly, a system entry will define parameters such as the telephone number and the login chat. Parameters before the very first system line set default values used for all systems. ...

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

• System Name
• SYSTEM CALL: semop()
• Telephone Number

README for XFree86 on OS/2 : Installing the System . ... The binary distribution is composed of a number of zip archives which are the executables, servers, fonts, libraries, include files, man pages, and config files. ... the X server for IBM 8514/A and compatible boards . ... the X server for AGX boards . ... the X server for P9000 based boards . ... the X server for S3 based boards (excluding S3 ViRGE) . ... the X server for S3 ViRGE based boards . ... the X server for et4000w32 based boards . ...

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

• SunSoft
• NAG's Fortran 90
• Tutorial on Fortran 90, Digital UNIX

Электронная библиотека Попечительского совета . ... Burris S. - Number theoretic density and logical limit laws . ... Название: Number theoretic density and logical limit laws . ... Burris (U. of Waterloo, Canada) divides Kevin Compton's ideas into two parts, one on density in number systems, and the other on the application of number theoretic density results to obtain logical limit laws. ... 0-1 law 106 . limit law 106 . ... Электронная библиотека попечительского совета мехмата МГУ , 2004-2016 . ...

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

• Ore O. - Invitation to Number Theory :: Электронная библиотека попечительского
• Cohen L.W., Ehrlich G. - The Structure of the Real Number System :: Электронная
• Поиск книг, содержащих Number system (числовая система) :: Электронная

... Building Packages for Multiple Architectures and Operating Systems . ... This is done by matching information from the build system's uname output against a number of rpmrc file entries. ... Specifically, these entries are used to create a table that maps information from uname to the appropriate architecture/operating system name. ... The --buildarch and --buildos options can be used to set the build-time architecture and operating system rather than relying on RPM's automatic detection...

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

• Using RPM to Verify Installed Packages
• File Descriptor Limits - Apache HTTP Server
• Running a High-Performance Web Server on HPUX - Apache HTTP Server

Next: Why do Radiopulsars not Up: Ejectors in Massive Binary Previous: The Evolutionary Status of . ... Numerical simulation of the evolution of NS shows (Lipunov and Prokhorov, 1987[ 115 ]) that the fraction of ejecting stars in massive systems with normal components may be as high as several tens of percent of the total number of binary systems (see Figure 27 ). ... Mike E. Prokhorov . ...

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

• Why do Radiopulsars not Usually Form Pairs with Normal Stars?
• Black Hole Creation in Massive Binary Systems
• The Evolutionary Status of Radiopulsars in Massive Binary Systems

From the PC GAMESS/Firefly' point of view, multicore processors (e.g., Pentium D, mutli-core Xeons, Intel Core Duo, Core 2 Duo, Core 2 Quad, etc...; dual, tri-, and quad-core AMD's processors) very closely resemble a standard single-core based SMP systems. ... If you run PC GAMESS/Firefly in SMP environment, you can set integer variable mklnp of the $system group to be equal to the number of physical (not logical) CPU cores to be used by the PC GAMESS/Firefly job via multithreading. ...

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

• PC GAMESS/Firefly DOCUMENTATION - running in parallel using LAM/MPI
• PC GAMESS benchmarks and scalability on Dunnington system (four six-core Intel
• PC GAMESS/Firefly DOCUMENTATION - running in parallel under Windows using

... Work of a system constructing the exercises with the help of a teacher is described. Algorithms of fragmentation of sound data into phonemes and of analysis of correctness of pronunciation of a student are suggested. ... The authors offer the functioning variant of a system, making it possible to a student to appreciate objectively a degree of correctness of his pronunciation, to classify errors and to listen to a difference of pronunciations of incorrect sounds interactively. ...

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

• Intelligent Systems
• Intelligent Systems :: Staff :: Pankratiev Anton Evgenyevich
• Intelligent Systems :: MaTIS Chair

Laboratories \ Laboratory for The Sensory Systems of Vertebrates \ Goals and Tasks . Goals and Tasks . ... Electrophysiological Laboratory at the Utrish Marine Station . ... In the field of cetaceans hearing research: . ... Acuteness of the frequency selectivity (quality of the filters canals in the auditory system) in different species of dolphins constitutes the range of 30 to 50 that is 3-5 times higher than in most terrestrial mammals (excluding bats) and humans (about 10). ...

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

• Экологический Форум - Фундаментальная Экология: Etonics, system. is provide
• Экологический Форум - Фундаментальная Экология: in as number a High-end
• Laboratories: Laboratory of Avian's Ecology and Behaviour Control: Goals and

... Detailed design . ... 5 Message passing tools, independent from base system of message passing . ... 7 Tracing user program and Run-Time System . ... 7.2.5 Controlling internal self-checking Run-Time System mechanisms, functioning during trace accumulation . 7.2.6 Controlling output of additional information when tracing some Run-Time System functions in extended mode . ... 8 Output of informational messages of Run-Time System and error messages . ... Lib-DVM - detailed design (contents) . ...

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

• DVM-system. Goals and structure
• Prefictor of DVM-program performance. User's guide
• DVM-system. Version history

... Next: Server Up: SPM Installation Previous: DSP board program Contents Index . ... Access to these ports in Windows NT operating systems family is allowed only for drivers, that work on the operating system's core level. So, the driver is needed to escape this limitation. ... When the data stored it the DSP board are ready to transfer, it generate an interruption. Responding to this interruption driver reads data from the board and transfer it to a server for further processing. ...

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

• High resolution DACs numbers
• Server
• DAC numbers

Application of high performance computing systems to simulate the Farley-Buneman instability" . Kovalev D.V., Smirnov A.P., Shmelev A.B. The Farley-Buneman instability is observed in the E-region of the Earth's ionosphere at altitudes about 100 km. A mathematical model is used to describe this instability. ... Keywords: ionosphere, plasma modeling, instability in plasma, kinetic equation, high performance computing . PostScript (in Russian) (4.97MB) . PDF (in Russian) (566KB) . ...

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

• "High-performance scalable multiprocessor systems based on reconfigurable gate
• "A family of reconfigurable computer systems with high real performance"
• "High-performance reconfigurable computer systems of new generation"

Network Working Group A. Berggreen Request for Comments: 600 COMPUTER SYSTEMS LABORATORY--UCSB NIC: 20884 November 1973 INTERFACING AN ILLINOIS PLASMA TERMINAL TO THE ARPANET INTRODUCTION The PLATO IV System based at the University of Illinois at Urbana is a highly sophisticated and very powerful approach to Computer Aided Instruction. The PLATO IV system makes use of a plasma display terminal that is a unique device with capabilities not presently found on computer terminals. ... Terminal | ...

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

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

Scali MPI - ScaMPI Overview Scali's MPI implementation, ScaMPITM, is fully compliant with the MPI 1.1 specification, ensuring application compatibility. ... 450 MPICH/Myrinet · · 400 350 300 250 200 150 100 50 0 64 0 M ICH/Gigabit P ScaM I/SCI P Scalable Systems Scaling an application to a large number of MPI processes, while keeping the problem size constant, requires more frequent exchange of messages which becomes smaller and smaller. ... Furthermore, ScaMPI supports multi-threaded applications. ...

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

• http://www.parallel.ru/sites/default/files/ftp/computers/scali/tokyo_may00.pdf
• http://www.parallel.ru/sites/default/files/ftp/computers/scali/SSP_DS_A4.pdf
• http://www.parallel.ru/sites/default/files/ftp/computers/scali/ScaMPI-DS-A4.pdf

... Head of the laboratory: Leonov Michael, Leading Research Fellow, PhD Contact information . ... lvp@cs.msu.su . ... The Laboratory of Computational Practice and Information Systems was created in 1988 as a result of integrating two other laboratories: the Laboratory of Computational Practice Support Tools and the Laboratory of Dialogue Information Systems. The first one was founded in 1975 within the bounds of MSU Research Computer Center as a laboratory for studentsтАЩ practice. ...

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

• Laboratory of Programming Technologies
• Laboratory of Computational Practice and Information Systems | CMC MSU
• Department of Supercomputers and Quantum Informatics

. Backlinks to WebPreferencesHelp in all Webs ( Search System Web only ) . WebPreferences . System Web Preferences Appearance * Set WEBBGCOLOR = #FFD8AA * Set SITEMAPLIST = on * Set WEBSUMMARY = TOC settings * Set TOC_HIDE_IF_INCLUDED = ... NEW - 09 Jan 2009 - 12:00 by ProjectContributor . Number of topics: 1 . Number of topics: 0 . Copyright by the contributing authors. All material on this site is the property of the contributing authors. Ideas, requests, problems regarding Foswiki? Send feedback

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

• TopicListPlugin < System < Foswiki
• (backlinks in all Webs) TimBernersLee < System < Foswiki
• (backlinks in all Webs) AntiWikiSpamPlugin < System < Foswiki

INSTITUTIONAL AND SPATIAL EVOLUTION OF RUSSIAN BANKING SYSTEM Valiullin, H.H., Merzlyakova, S.L. Dubna University, Department of Economics Russia, 141980, Dubna, Moscow region, Universitetskaya street, 19 hasan_val@hotmail.com One of the main features of development of the Russian banking system is the decreasing number of banks and their high concentration in large agglomerations and hydrocarbon-rich provinces. ... It was about 3,800 bank branches in Russia ten years ago. ...

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

• Problem about a finding of number of families the locally periodic solutions