... Статус проекта: Инициативный проект Д. А. Симонова. На кафедре динамической геологии принят в качестве базового при преподавании обязательного учебного курса "Применение геоинформационных систем при геологических исследованиях". ... Целью проекта является , наряду с обучением студентов основам применения и использования геоинформационных систем , создать пакет интерактивных карт для Восточно-Европейской платформы, применимых как в образовании так и в различных областях геологической науки. ...

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

... defmacro defprinter ( name args &body body ) . ... body ) ) . ... defprinter :property ( type name &rest body ) . print-statement-with-body stream body nil "public ~a ~a" type name ) ) . ... defprinter :get ( &rest body ) . print-statement-with-body stream body nil "get" ) ) . ... defprinter :constructor ( name args &rest body ) . ... defprinter :class ( name &rest body ) . print-statement-with-body stream body t "public class ~a" name ) ) . ... defprinter :namespace ( name &rest body ) . ...

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

О лаборатории . ... Лаборатория теоретической биофизики . ... Plotting bifurcation diagram of the following map using pylab . ... Нет комментариев " plotting bifurcation diagram with pylab " . ... Building and plotting Fukui function with FireFly and PyMol . ... Quantum? in Building and plotting Fukui functio? ... 2012 ERG Research Group . ...

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

• Constructing discrete Laplacian via sparse matrix ERG Research Group:
• Gaussian Cube files loader ERG Research Group: Лаборатория теоретической
• Normal modes visualization for PyMol ERG Research Group: Лаборатория

QUANTUM STOCHASTIC PROCESSES This course is for 4-5th year and graduate students. ... It is dedicated to systematic account of Quantum Stochastic Processes right in the form they are actually used in theoretical calculations of Quantum Open Systems. ... LECTURE 2. ... Open systems and quantum stochastic processes. Mathematical definition of an open system and quantum stochastic process. ... Markovian quantum stochastic processes. Formal definition of quantum markovian stochastic process. ...

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

• Quantum Information Lab, Int'l Laser Ctr. and Faculty of Physics, M.V.Lomonosov

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

• http://savenkov.lvk.cs.msu.su/mc/lect02.pdf

... IPI program works with group of sounding curves (from 1 to 100) in one data file. ... If Type of Array is =+3 or +4, then: 7 line : Name of VES (from 1 to 8 symbols) 8 line : number of distances for this VES . 9 line : dV values (in mV or V) 10 line : I values (in mA or A) Examples of *.dtg file : Example 1 for stabilized current AMN array Bilibino-90, VES from 24.5 to 43.0. 1 2 lines - description of data profile 4 1 0 17 1 -3 S { VES number , KeyIP, ?ax.nAB, ...

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

• TES. Field example.
• TES. Modeling example.
• TES tecnology. MSU.

SDPpred: a tool for prediction of amino acid residues that determine differences in functional specificity of homologous proteins . ... Amino acid residues that determine differences in protein functional specificity and account for correct recognition of interaction partners, are usually thought to correspond to those positions of a protein multiple alignment, where the distribution of amino acids is closely associated with grouping of proteins by specificity. ... As colored columns of the alignment. ...

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

• SDP home page
• SCOP famyli: DNA repair glycosylase, 2 C-terminal domains
• SCOP famyli: Paired domain

... VaST is a software tool for finding variable objects on a series of astronomical images. ... VaST performs object detection and aperture photometry using SExtractor on each image, cross-matches lists of detected stars, performs magnitude calibration with respect to the first (reference) image and constructs a lightcurve for each object. ... VaST FITS image viewer ./pgfv . ... Part I" PZP, vol. ... K. V. Sokolovsky, S. A. Korotkiy; "New Variable Stars Discovered by the NMW Survey" PZP, vol. ...

69. http://curl.sai.msu.ru/mass/download/doc/infrasoft_eng.pdf

70. Statistics One, Lecture 3, example script

71. Index of /~asmish/Lichnaja-2010/Version2010-11-20/UchProcess-2009

72. http://adept.srcc.msu.ru/adept/java/applet_book/drag/drag1text1.htm

73. http://antares.sinp.msu.ru/docs/acceptance_bamberg2011-1.pdf

74. extra:main [CompHEP]

75. "Application of the Quickhull algorithm's principles to the double description

76. Biochemistry Department of Moscow State University | Teaching staff

77. Название сайта

78. http://storage.bioinf.fbb.msu.ru/~mazin/laci.fasta

79. http://imaging.cs.msu.su/~yurin/2008.astr.Yurin_Kravtsov.script.ru.pdf

80. http://lvk.cs.msu.su/~sveta/lecture1_formal_methods.pdf