... UHECR SINP MSU . ... News . ... TUS Ultra high energy cosmic ray detector on-board the Lomonosov satellite . ... According to existing estimations it can be a prominent source of ultra high energy cosmic rays (UHECR). ... In either case, the newly born magnetar is an attractive site for producing ultrahigh-energy cosmic rays (particles with individual energies exceeding 10 18 e V ; UHECRs). ... A new mechanism for the acceleration of ultra high energy cosmic rays (UHECR) is presented here. ...

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

• Новости КЛПВЭ

... We have assumed that in statistical equilibrium, the probability distribution density depends only on the total energy. ... As it is shown in Refs. [1, 2], in a billiards, the probability distribution density as a function of time t (this function satisfies the classic Liouville equation) necessarily has the weak limit as t ±. ... The crucial idea of our approach is : transition to thermo dynamical (statistical) equilibrium is equal to replacement of the distribution (12) with its weak limit. ...

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

• http://ics.org.ru/upload/iblock/ac0/144-on-the-problem-of-motion-of-vortex-sources-on-a-plane-_ru.pdf
• http://ics.org.ru/upload/iblock/650/122-kinetics-of-collisionless-continuous-medium_ru.pdf
• http://ics.org.ru/upload/iblock/c96/169-the-vlasov-kinetic-equation-dynamics-of-continuum-and-turbulence_ru.pdf

... E. Huhlaev, Metamake Tools for Personal Project Preparation in Heterogeneous Network Environment (ID=260), Word doc . ... O. Kodolova, Experience with OO Database for CMS Events Distributed Between Two Sites (ID=294), PDF file . ... A. Nikitin, The GA Based Approach to Optimization of Parallel Calculations in Large Physics Problems (ID=220), Word doc . ... J. Seixas, Neural Particle Discrimination for Triggering Interesting Physics Channels Using Calorimetry Data (ID=311), PDF file . ...

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

• http://acat02.sinp.msu.ru/presentations/konash/Slides_ACAT2002.doc

. 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

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

Copyright 1999-2015 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 # $Id$ EAPI=5 PYTHON _COMPAT=( python2_7 python3_{3,4} pypy ) inherit distutils-r1 eutils DESCRIPTION= Python modules for computational molecular biology HOMEPAGE= http ://www.biopython.org/ https://pypi. python .org/pypi/biopython/ SRC_URI= http ://www.biopython.org/DIST/${P}.tar.gz ...

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

• http://mirror.msu.net/pub/gentoo-portage/sci-biology/biopython/biopython-1.66.ebuild
• http://mirror.msu.net/pub/gentoo-portage/sci-biology/biopandas/biopandas-0.1.4.ebuild
• http://mirror.msu.net/pub/gentoo-portage/sci-biology/emboss/emboss-6.6.0.ebuild

... Введение в формальные методы проверки правильности программ. ( слайды в PDF ) . ... Актуальность верификации. ... Верификация программ на моделях. ... Обзор курса. ... Моделирование программ. ( слайды в PDF ) . ... Области применения и общая схема верификации программ на моделях. ... Корректность и адекватность LTS модели. ( слайды в PDF ) . ... Спецификация и верификация свойств при помощи Spin.( слайды в PDF ) . ... Спецификация и верификация свойств при помощи автоматов Бюхи.( слайды в PDF ) . ...

647. Динамические модели в биологии