4 SPIN. ... 0 1 Hello, world! ( ) ";" , active proctype main() { printf("Hello, world!\n") } ґ , >spin hello.pml Hello, world! 1 process created Hello, world! ... mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( turn == P) - printf( Produce\n ); turn = C od } active proctype consumer() { do :: ( turn == C) - printf( Consume\n ); turn = P od } ( 1) ґ 0, (op on sequence) (guard) ґ mtype = { P, C }; mtype turn = P; active proctype producer() { do :: ( ...

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

... At present, SDSS (ugriz), UKIRT WFCAM (YJHK), ; Johnson-Cousins (UBVRcIc), and 2MASS (J2H2Ks2) ; are supported ; redshift - redfshift of a galaxy ( floating point) ; colour_name - colour identification (string) ; colour_value - value of colour in magnitudes ( floating point) ; should be in the AB mags for ugrizYJHK ; and in Vega mags for Johnson-Cousins/2MASS colours ; ; RETURN VALUE: K-correction in the specified filter for given redshift ; and ...

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

• http://kcor.sai.msu.ru/calc_kcor.pro
• K-corrections calculator: download IDL, Python and C code
• K-corrections calculator (version 2010): download IDL, Python and C code

Intelligent Spam Detector - оригинальное адаптивное решение, базирующееся на технологиях обнаружения спам-сообщений, использующих методы Machine Learning, разработанное компанией Advanced Algoritms и Лаборатории Технологий Программирования факультета ВМиК МГУ. ... Данное решение прежде всего предназначено для пользователей, читающих почту по протоколу IMAP или с помощью web-интерфейса. ... Web-интерфейс системы фильтрации почты факультета находится по этому адресу: Intelligent Spam Detector . ...

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

• Фильтрация спама

... For full UV energy Euv (erg) radiated in TLE the corresponding number of photons of wavelength =300-400 nm (with average energy 3.5 eV) is: Nph=Euv/3.5в1.6 10-12 (1) We considered 2 options of the pinhole camera focal distance: 1. focal distance is short so that the circle of diameter 40 km is observed by one pixel and 2. focal distance is long so that the 40 km circle is observed in many camera pixels. ... Full energy released in UV in the atmosphere is determined by the pixel signal. ...

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

Cosmic Research, Vol. 42, No. 5, 2004, pp. 489ґ534. Translated from Kosmicheskie Issledovaniya, Vol. 42, No. 5, 2004, pp. 509ґ554. Original Russian Text Copyright ? 2004 by Panasyuk, Kuznetsov, Lazutin, Avdyushi, Alexeev, Ammosov, Antonova, Baishev, Belenkaya, Beletsky, Belov, Benghin, Bobrovnikov, Bondarenko, Boyarchuk, Veselovsky, Vyushkova, Gavrilieva, Gaidash, Ginzburg, Denisov, Dmitriev, Zherebtsov, Zeleny, Ivanov-Kholodny, Kalegaev, Kanonidi, Kleimenova, Kozyreva, Kolomiitsev, Krasheninnikov,

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

• http://www.kosmofizika.ru/buri/vesel2.pdf

... About 70 scientific papers. The theory of square parachute is created, describing distribution of parameters of shape, tension and resistance to airflow of canopy in steady-state condition for various sets of suspension line lengths and air-permeability. ... The practical recommendations for optimal parachute application are submitted. ... It is discovered experimentally that a character of pressure distribution for a square canopy depends on a particular choice of suspension line lengths. ...

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

• Education
• A Little History

... The RELEC experiment was specially developed for study of relativistic electrons in near-Earth space together with TLEs in order to test possible connection between these two phenomena. ... Data from RELEC mission will be processed for testing TLE models, studying of TGF light curves and spectra, testing possible connection between electron precipitations and low-frequency electromagnetic waves. ... Energy range: 0.1 - 15 MeV (for electrons) . ...

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

Кафедра общей топологии и геометрии . ... Публикации . ... Сипачева О.В. , 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.~ ...

613. Современные методы анализа сложных стохастических систем

614. Center on Russia and the United States :: SUNY-MSU Partnership