... Chapman F.W. - An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra . ... Название: An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra . Автор: Chapman F.W. Аннотация: . ... The author has implemented these methods as a complete derivation and proof system in the Maple 8 computer algebra system. ... Рубрика: Computer science / . ...

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

• Spector L. - Automatic Quantum Computer Programming: A Genetic Programming
• Borwein J., Borwein P. - Some observations on computer aided analysis ::
• Horowitz E., Rajasekaran S., Sahui S. - Computer Algorithms :: Электронная

... Automatic selection of the fastest algorithm implementations" . ... This approach does not require experimentation on all target computer systems. ... This allows one to quickly update the forecast by a minimum number of experiments with small-size tasks on the target computer system. ... Sidnev A.A. тАУ Lobachevsky State University of Nizhni Novgorod, Faculty of Computational Mathematics and Cybernetics; prospekt Gagarina 23, Nizhni Novgorod, 603950, Russia; Assistant, e-mail: sidnev@vmk.unn.ru . ...

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

• A parallel multilevel nested dissection algorithm for shared-memory computing
• "Heuristic algorithms of mapping MPI-programs onto multicluster computer and
• "Methods for automatic determining the efficiency of implementation of

... Войти в систему . ... в журнале Automatic Control and Computer Sciences , издательство Allerton Press Inc. ... Chemeritskii E.V. , Zakharov V.A. в журнале Automatic Control and Computer Sciences , издательство Allerton Press Inc. ... Chemeritsky E.V. , Smeliansky R.L. , Zakharov V.A. в журнале Automatic Control and Computer Sciences , издательство Allerton Press Inc. ... Подловченко Р.И. , Молчанов А.Э. в журнале Automatic Control and Computer Sciences , издательство Allerton Press Inc. ...

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

... About lab . ... Online Journal "Computer graphics and multimedia" (in russian) . ... MSU Graphics & Media Lab (Video Group) . Algorithm performs detection and tracking of foreground objects. Each frame of video sequence is subdivided into regions of two types: foreground and background objects. ... The main obstacle for segmentation here is the abundance of highly textured objects and sophisticated character of motion (bus is moving behind the static fence). ... video@graphics.cs.msu.ru . ...

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

• Automatic detection of artifacts in converted S3D video | Graphics and Media...
• Road monitoring | Graphics and Media Lab
• Saliency Map Estimation | Graphics and Media Lab

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

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

PPBB Library . The Portable Parallel Branch-and-Bound Library ( PPBB-Library ) presents an easy way to parallelize sequential Branch-and-Bound algorithms for several architectures. ... On the first hand the library can be used for the automatic parallelization of sequential Branch-and-Bound algorithms. ... Home Site: . http://www.uni-paderborn.de/~ppbb-lib/ . ... Yes (request through Home Site) . ... None . ... SAL Home | Parallel Computing | Tools & Utilities . ...

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

• SAL- Computer Graphics, Images Signals - Processing Visualization - Amira
• SAL- Computer Graphics, Images Signals - Modelers - Rational Reducer
• SAL- Parallel Computing - Programming Languages Systems - VAST/Parallel

The Chair of Mathematical Theory of Intelligent Systems and . Laboratory of Problems of Theoretical Cybernetics . ... MaTIS Chair . ... Research . ... Computer Solver . development of the Automatic solver of mathematical problems . ... Search in Databases . ... Here is a lecture notes in Russian by A.S. Podkolzin " Computer modeling by mathematical problems solving ". ... The Chair of Mathematical Theory of Intelligent Systems, Laboratory of Problems of Theoretical Cybernetics . ...

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

• Intelligent Systems :: Research
• Intelligent Systems :: Research :: Computer Teacher
• Intelligent Systems :: Research :: :: Research

Innovations in Distributed Computing . Computational and Data Intensive GRIDs . Challenge of LHC Computing and GRID . ... Parallel Computing Technologies and Applications . ... Evolutionary and Genetic Algorithms . Wavelet Analysis . New Human Interfaces, Virtual Reality . ... Automatic Computation Systems: from Feynman Diagrams to Events . ... Computer Algebra Techniques and Applications . ... Signal Significance . Separation of Signal from Background, Rare Events . ...

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

ITPM MSU . Quantum Computing Page . ... Quantum Computation/Cryptography at LosAlamos . Quantum Information at Los Alamos National Laboratory . Laboratory for Theoretical and Quantum Computing ( Universite de Montreal ) . Quantum information and quantum computation at IBM . ... Centre for Quantum Computation . Quantum Information Page . Quantum Information and Computation . ... Quantum Information and Quantum Computing (by Reinhard F. Werner) . ... c) ITPM MSU 1998, 1999 ...

10. Computer literacy

11. MMOnline | Форумы | Аспирантура | MSc/PhD in Computer Science at Clemson

12. hpc@cmc | Высокопроизводительные вычисления на ВМК МГУ

13. http://lnfm1.sai.msu.ru/~victor/eng/liter/index.htm

14. Кафедра компьютерных методов физики

15. [Computer_algebra] CA Seminar on December 24

16. Computer Tomography image filtering | Laboratory of Mathematical Methods of

17. MSU-LGCLL:: Papers submitted to QUALICO-94

18. Computer Graphics and Multimedia Lab | CMC MSU

19. Qt Toolkit - QIconSet Class

20. http://angel.cmc.msu.ru/~basrav/files/publications.pdf