... Миронов А. М. (Институт Программных Систем РАН) Математические модели и методы анализа параллельных алгоритмов. ... Изложены методы анализа параллельных алгоритмов в рамках представленной модели, являющиеся обобщением методов анализа блок-схем последовательных программ путем построения индуктивных утверждений. ... Math., 19; in: J.T.Schwartz (ed.), Mathematical Aspects of Computer Science, pp. ... N. Francez, "Verification of programs", Addison-Wesley Publishers Ltd., ...
... Sternberg Astronomical Institute , Moscow University . ... Present edition unites two parts of Catalogue of interacting galaxies by B.A.Vorontsov-Velyaminov: the first part (Part 1) containing 355 systems was published in 1959 [1] and the second one (Part 2) with 497 objects - in 1976 [2].Thus two published parts of Catalogue include 852 interacting systems. ... All new of them (1162 by number) were taken from the comments to the galaxies in Morphological catalogue by Vorontsov-Velyaminov et al.[ ...
... sf23c.zip sf23p.zip . ... Вычисление значений гамма - функции и ee натурального логарифма от комплексного аргумента. Подпрограмма SF23C вычисляет значение гамма-функции ? ... SUBROUTINE SF23C (ARGR, ARGI, ANSR, ANSI, EPS, L, IERR) . ... IERR - . ... подпрограмма печати диагностических сообщений при работе подпрограммы SF23P. Для подпрограммы SF23P параметры ARGR, ARGI, ANSR, ANSI имеют тип DOUBLE PRECISION и IERR полагается равным 65, если значение ARGI pавно нулю и значение ARGR больше 408.909. ...
SUPERVISOR program User Guide SV version 0.24 Kornilov V., Shatsky N., Voziakova O. March 22, 2004 1 Contents 1 Basic principles 2 Comp onent programs 3 Writing the scenaria 4 Editing the SV configuration file 5 Starting the system A Command list for the communication of the system Sup ervisor A.1 Commands acknowledgment . ... Initialization should b e done b efore scenario starts execution of measurements i.e. b efore sending any commands implying the non-parked status of comp onents. ...
... Scientific Effort . ... Cosmic ray astrophysics . Space Physics . ... Nuclear physics . ... The paper was prepared with contributions from Elena Popova from the Skobeltsyn Institute of Nuclear Physics (Lomonosov Moscow State University) and was published in Scientific Reports. ... Federal State Budget Educational Institution of Higher Education M.V.Lomonosov Moscow State University, Skobeltsyn Institute of Nuclear Physics (SINP MSU), 1(2), Leninskie gory, GSP-1, Moscow 119991, Russian Federation . ...
... Aerospace and environmental medicine Automation and Remote Control Optoelectronics, Instrumentation and Data Processing Acoustical Physics St Petersburg Mathematical Journal Algebra and Logic Angiologiia i sosudistaia khirurgiia = Angiology and vascular surgery Anesteziologiya i Reanimatologiya Antibiotiki ... Moscow University Mathematics Bulletin . ... Moscow University Chemistry Bulletin . ... Mathematics - , . ... Physics, Chemistry, Mathematics Nauchno-Tekhnicheskaya Informatsiya. ...
[
Текст
]
Ссылки http://www.geol.msu.ru/vestnik/spisok_vak.pdf -- 350.9 Кб -- 08.04.2016
[
Текст
]
Ссылки http://geol.msu.ru/vestnik/spisok_vak.pdf -- 350.9 Кб -- 08.04.2016 Похожие документы
... XI--XVII . ... Ac A d e m I c r e A d I N g S Conference «Old Russian literature and television» M.V. Ivanova. old russian literature and contemporary russian television . ... e-mail: lanskoy@mail.ru. ... online. 28 2007, 13:00. http://www. expert.ru/interview/2007/03/28/pavlovsky/ 21 , , , . ... 2006, 39. http://www.expert. ru/printissues/expert/2006/39/prodazha_livejournal/print 22 , . ... 2007, 31. . ... 1917--1918 . ... Key words: Old Russian literature, plot, demonology, old printing Prologue. ...
[
Текст
]
Ссылки http://www.ftv.msu.ru/hst-notes/notes_2.pdf -- 1574.8 Кб -- 06.12.2010
[
Текст
]
Ссылки http://ftv.msu.ru/hst-notes/notes_2.pdf -- 1574.8 Кб -- 06.12.2010 Похожие документы
Application of the V--Ray Technology for Optimization of the TRFD and FLO52 Perfect Club Benchmarks to CRAY Y--MP and CRAY T3D Supercomputers Alexander S. Antonov, Vladimir V. Voevodin Moscow State University, Russia email: voevodin@vvv.srcc.msu.su Abstract The paper shows an application of the socalled V Ray Technology for optimizing the TRFD and FLO52 Perfect Club Benchmarks to CRAY Y--MP and CRAY T3D supercomputers. ... Results for CRAY YMP supercomputers. al structure of the program. ...
VIEWS Paul Murdin M T Wright Data, information and science I was one of almost half the IAU General Assembly that voted against the IAU resolution initiated by Elizabeth Griffin in Manchester in August 2000. ... The IUE archive, for example, delivers ultraviolet spectra into the hands of the community at the same rate that the satellite itself used to do, and papers frequently appear that are based on the archive. Other space missions like ISO and XMM have and are completing similar archives. ...
Network Working Group T. Berners-Lee Request for Comments: 1945 MIT/LCS Category: Informational R. Fielding UC Irvine H. Frystyk MIT/LCS May 1996 Hypertext Transfer Protocol -- HTTP/1.0 Status of This Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited. IESG Note: The IESG has concerns about this protocol, and expects this document to be replaced relatively soon by a standards track document.
... Consider a point U0 on the elliptic boundary. ... If n · u < 0, then the left state U- = U0 + u belongs to the elliptic region, and the Hugoniot curve do es not pass through U- , so it do es not have self-intersection (a) (b) - (c) on or near the elliptic boundary. ... Now consider the case n · u u , when the left sho ck state is much closer to the elliptic boundary than to the exceptional point (this happens for perturbations u along a curve tangent to the elliptic boundary at U0 ). ...
[
Текст
]
Ссылки http://mailybaev.imec.msu.ru/papers/marchesinmailybaev2008b.pdf -- 413.4 Кб -- 29.12.2008 Похожие документы
... О профессорах кафедры . ... Квантовая теория . ... Выполнение этих курсовых позволит студенту стать соавтором научных работ, или как минимум приобрести опыт работы с актуальными проблемами квантовой теории и физики фундаментальных взаимодействий, а также с современными вычислительными технологиями, без которых невозможно никакое содержательное исследование в этой области физики. ... Научный консультант - профессор А.В.Киселев, ГНЦ ИФВЭ . ... Научный консультант - с.н.с. Р.А.Рютин, CERN и ГНЦ ИФВЭ . ...
. Портал | Содержание | О нас | Авторам | Новости | Первая десятка | Дискуссионный клуб | Научный форум | Отправить открытку . Первая десятка "Русского переплета" Темы дня: . | Обращение к Дмитрию Олеговичу Рогозину по теме "космические угрозы": как сделать систему предупреждения? . Рейтинг ученых России . Конкурс курирует профессор МГУ В.М. Липунов . Место участника конкурса определяется автоматичеcки с учетом мирового уровня публикаций ученого. Поставьте наш баннер . Наука в "Русском переплете" . Прежде,
Кафедра общей топологии и геометрии . ... Публикации . ... Сипачева О.В. , The Topology of Free Topological Groups, Journal of Mathematical Sciences, vol. 131, no. 4, 2005, pp. ... Сипачева О.В. , Топология свободной топологической группы, Общая топология и топологическая алгебра. ... Резниченко Е.А. , Сипачева О.В. , The Fr\'echet--Urysohn and $\alpha_2$-properties in separable spaces, groups, and locally convex spaces, 13th Summer Conf. on General Topology and Its Applications, Mexico, 1998, pp.~ ...
... There are two main thrusts in the theory of regular and chiral p olytop es: the abstract, purely combinatorial asp ect, and the geometric one of realizations. ... The dimension of a faithful realization of a finite abstract regular p olytop e in some euclidean space is no smaller than its rank, while that of a chiral p olytop e must strictly exceed the rank. ... In E4 , therefore, the open cases are the (finite) chiral polytopes of rank 3, and the regular or chiral apeirotopes of ranks 3 and 4. ...
... This article caused a most lively interest from the readers, and received more than a hundred responses, which contained various versions of construction methods of the Sri Yantra. ... In this way he revealed a good correspondence between the concentric levels built by him in this relationship of the three Sri Yantra and the orbits of the planets of the solar system (Fig. 10, shows the first two out of three stars examined by him) with a divergence from the real diameters of orbits of about 1.5%. ...
[
Текст
]
Ссылки http://www.protein.bio.msu.ru/~akula/Kulaichev%20Addition.pdf -- 75.3 Кб -- 29.10.2013 Похожие документы
... Добавления на страницу Языки программирования , изменение структуры. 7 мая 2010 года Xilinx выпускает программное обеспечение ISE Design Suite 12. 20 апреля 2010 года Altera выпускает семейство FPGA Stratix V, разработанных по 28-нанометровой технологии. 9 апреля 2010 года В University of Regensburg будет установлен суперкомпьютер QPACE с пиковой производительностью 56 TFlop/s; коммуникационная сеть ... Altera выпускает новые варианты FPGA семейства Stratix IV. 20 мая 2009 года . ...
... f dy1 f d f dx1 + = , x1 d y1 d d g dx1 g dy1 g d + = . ... x0 y0 dx1 = x0 d = x1 d , dy1 = y0 d = y 1 d , (5) dx1 dy1 d = = = d. x1 y1 = 1 d = ln , = exp . ... 1990- E.S. Cheb-Terrab , DETools Maple. ... E.S. Cheb-Terrab, T. Kolokolnikov3 3 E.S. Cheb-Terrab, T. Kolokolnikov First order ODEs, Symmetries and Linear Transformations // Submitted to "European Journal of Applied Mathematics" - July 2000. 14 , , , , . ... 17 , Ayy 0, B (x, y ) := Axy py+q = Ayy p (17) B y p(x) = k exp By dx, k -- . ...