... Миронов А. М. (Институт Программных Систем РАН) Математические модели и методы анализа параллельных алгоритмов. ... Изложены методы анализа параллельных алгоритмов в рамках представленной модели, являющиеся обобщением методов анализа блок-схем последовательных программ путем построения индуктивных утверждений. ... Math., 19; in: J.T.Schwartz (ed.), Mathematical Aspects of Computer Science, pp. ... N. Francez, "Verification of programs", Addison-Wesley Publishers Ltd., ...

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

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

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

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

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

I NSTITUTE OF PHYSICS PUBLISHING PHYSICAL B IOLOGY Phys. Biol. 3 (2006) 121­129 doi:10.1088/1478-3975/3/2/004 Direct simulation of plastocyanin and cytochrome f interactions in solution I B Kovalenko1,AMAbaturova1, P A Gromov2,DMUstinin1, E A Grachev2, G Yu Riznichenko1 and ABRubin1 1 2 ... 2006 Online at stacks.iop.org/PhysBio/3/121 Abstract Most biological functions, including photosynthetic activity, are mediated by protein interactions ... We use this structure in our simulation. ...

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

• http://mgumus.chem.msu.ru/publication/2006/perminova-mediating.pdf
• http://library.biophys.msu.ru/matorin/3407.pdf
• http://library.biophys.msu.ru/PDF/3345.pdf

... The surface mixed layer of the ocean is often characterized by density compensation between the horizontal temperature and salinity gradients. ... The coupling arises through a nonlinear diffusion operator proportional to the buoyancy gradient, which parameterizes the combined effect of slumping and mixing of small-scale horizontal buoyancy gradients. ... Mesoscale stirring will create small-scale temperature and salinity gradients by stretching and folding the large scale thermohaline patterns. ...

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

• http://ocean.phys.msu.ru/courses/stathyd/2005%20Smyth%20et%20al.%2C%20Differential%20diffusion%20in%20breaking%20Kelvin-Helmholtz%20billows.pdf

. Main mirror diameter . 6 m . Focal length . 24 m . Light collecting area . 26 sq.m . Wavelength range . 0.3 - 10 mkm . Angular resolution . 0.6 arcsec . - with the application of speckle . interferometry techniques . 0.02 arcsec . Mass of the main mirror . 42 tons . Total telescope mass . 850 tons . Telescope height . 42 m . Dome height . 53 m . Limiting stellar magnitude (1994) . 26 . The Observatory also has a 1-m and a 0.6-m telescope manufactured by "Karl-Zeiss-Jena" (Germany).

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

. Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 29 . Strict Standards : Non-static method JLoader::register() should not be called statically in /wcmc/ms/ms/libraries/loader.php on line 71 . Strict Standards : Non-static method JLoader::import() should not be called statically in /wcmc/ms/ms/libraries/joomla/import.php on line 32 . Strict Standards : Non-static method JLoader::register() should not be called

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

• BookLibrary
• GCalendar: Чт, 2386 Май 8
• GCalendar: Вт, 1629 Мар 6

... On the Geological and Physical Mechanisms of Natural Processes in Dynamic Geology Problems N. V. Koronovskii, A. A. Naimark, V. S. Zakharov, and G. V. Bryantseva Department of Geology, Moscow State University, Moscow, Russia e mail: koronovsky@rambler.ru, fnaim@ya.ru, vszakharov@yandex.ru, bryan@geol.msu.ru Received March 30, 2015 Abstract--The applicability of the abstract physical mechanisms in studies of concrete geological processes is considered. ... MOSCOW UNIVERSITY GEOLOGY BULLETIN Vol. ...

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

... 7.1] Lectures of prof. Scrucca in Advanced quantum field theory (e.g., for the first study of the worldline formalism): http://itp.epfl.ch/webdav/site/itp/users/181759/public/aqft.pdf . ... I. Topological quantum effects Lecture 1 (Spring 2015) , The Outline Before Casimir: the van der Waals forces (presentation, pdf) . ... Lecture 5 (Fall 2015) , Lattice field theory: 'free fields' (presentation, pdf) . Lectures 6-7 (Fall 2015) , Lattice field theory: 'interacting fields'. ...

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

Влияние связывания меди взвешенным веществом на токсичность. ... Изучали влияние кинетики связывания Cu(II) взвешенными твердыми частицами из реки (США) на токсичность Cu для Ceriodaphnia dubia. Отмечена зависимое от времени взаимодействия концентрирование Cu частицами взвеси. ... Обсуждаются различия величин токсичности Cu в присутствии только твердых взвешенных частиц и растворенного органического вещества и возможное вредное действие твердых взвешенных частиц самих по себе. ...

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

• http://ecoinformatica.srcc.msu.ru/print_html.php?keyword=&num_records=1&theme=4&subtheme=13&from=&ref_ind=0916004280

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

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

Cosmic Research, Vol. 42, No. 5, 2004, pp. 435­488. Translated from Kosmicheskie Issledovaniya, Vol. 42, No. 5, 2004, pp. 453­508. Original Russian Text Copyright © 2004 by Veselovsky, Panasyuk, Avdyushin, Bazilevskaya, Belov, Bogachev, Bogod, Bogomolov, Bothmer, Boyarchuk, Vashenyuk, Vlasov, Gnezdilov, Gorgutsa, Grechnev, Denisov, Dmitriev, Dryer, Yermolaev, Eroshenko, Zherebtsov, Zhitnik, Zhukov, Zastenker, Zelenyi, Zeldovich, Ivanov-Kholodnyi, Ignat'ev, Ishkov, Kolomiytsev, Krasheninnikov, Kudela,

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

... Использование ZODN не только позволяет гарантировать целостность объектной среды , но и дает возможность обрабатывать различные события, связанные с активацией и сохранением объектов в хранилище; Контроль доступа -- Встроенная система безопасности ZOPE допускает более эффективное разграничение доступа чем подавляющее большинство современных ОС; Сравнивая эти компоненты ... Такой подход накладывает некий отпечаток на структуру объектов сайта. ... Запись содержит подмножество атрибутов...

274. http://antares.sinp.msu.ru/seminar/Kulikovskiy.pdf

275. http://www.parallel.ru/sites/default/files/ftp/cluster/intel-8.0/for_ug2.pdf

276. Лаборатория углеродных материалов МГУ им. М.В. Ломоносова - Публикации