... Department of Mathematics, . Faculty of Physics, MSU . ... Differential equations . ... Mathematical analysis 2 . Numerical Methods (A.N. Bogolyubov) . ... Abstract differential equations with applications in mathematical physics . ... Asymptotic methods in nonlinear problems of mathematical physics . ... Methods of finite differences in mathematical physics . ... Inverse problems in mathematical physics . ... Department of Mathematics, Faculty of Physics, Lomonosov MSU 2014-2016 ...

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

... if (B1) { S1; } if (B1) { S1; } if (B2) { S2; } - - ...exp... int x = 1; if (x == 1) { std::cout << "Okay" << std::endl; } else { std::cout << "Error" << std::endl; } -- ґ int strlen(const char* p) { int len = 0; do { ++len; } while (*p++); return len; } ??, ?bbb? -- , : Ї ґ , , Ї ґ , , Ї ґ , Ї ґ . ... 1977 ґ LTL, Ї , 1981 ґ (CTL), Ї , , 1981 , , 1982 ґ model checking ( ), Ї , 1986 ґ model checking ( ), Ї , 1989 ґ SPIN. ... The Spin Model Checker: Primer and Reference Manual, Addison Wesley, 2003. ...

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

Lab . Main page News People . ASA . Master . Master net Homepage . ... Lomonosov Moscow State University Sternberg Astronomical Institute . ... MASTER . ... Lomonosov (ShOK) . ... About Space Monitoring Laboratory, scientific directions, instruments, contacts . People, who work in lab . Latest news and news archive . ... Bright MASTER OT105123.02+672528.3 discovery at Optical/X-ray/radio source position ATel3845, ATel3849 ATel3889 . ... All news ...

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

• Ya.B. Zeldovich All-Moscow Seminar of Astrophysicists
• Online translation conference

BS - 2D data processing program. BS is a windows version of the 2D X-ray data processing program BSL in use at the Daresbury Synchrotron radiation source, for the treatment of low angle diffraction data. ... It requires less memory, has separate window to see 1D graphics and allows export of the image in two common formats: BMP and TIFF. ... information about the data file .adc . add a constant to selected range in n frames from file .add . weighted addition of two images .arg . ...

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

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

... A one-dimensional model of shallow reservoir thermodynamics either describing physical processes in underlying soil layer is constructed. The model simulates seasonal dynamics of lake (including ice and snow layer formation) and year to year variability. A number of numerical experiments is performed; model and natural data are compared. ... S = S0 (sin cos + cos cos cos ). ... 2002, C. 83ґ87. ... Carbon Dioxide Information Analysis Center, Oak Ridge National Laboratory, Oak Ridge, Tennessee. ...

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

• Лаборатория суперкомпьютерного моделирования природно-климатических процессов

... PhD thesis title: Gauge dependence of effective action in quantum gravity. ... Research fields of interest . Combustion: nonlinear development of the Darrieus-Landau instability of premixed flames, nonlinear flame stabilization and steady flame propagation, asymptotic methods, small gas expansion limit, non-perturbative description of curved flames, flame propagation in gravitational field, propagation of diffusion flames in counterflows. ... Gauge-independent effective gauge fields. ...

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