... The linguistic aspects of the model and the properties of the semantic dictionary ensuring the content analysis with compression of the text structure are considered. Our dictionary resources serve an instru- ment for building a multilevel textual semantic structure. ... Reason (A,B), where SemF(A) = SIT or a whole semantic formula; the same for SemF(B). ... Sem(SIT)R . ... Semantic Resources for Textual Content Compression // Fourth International Conference on Meaning-Text Theory (MTT'09). ...

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

• Semantic Dictionary for Text Understanding and Summarization

... THE TIME HAS COME FOR "THUNDER BOOKS" . ... You may have forgotten what a thunder book is, or maybe you didn't ever use that name. ... It is a handy reference to those things you need to know about soils and how they behave. ... Well, if you knew how to use them as pages in a thunder book it would surely be a good start, but you need something uniquely yours. ... It has always been my belief that the mission of a soil survey is to help people understand and wisely use soil resources. ... Good read. ...

Еще в разделе: (Показать все результаты (>2) - www.paleopedology.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/ )

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

... Introduction The purpose of this paper is to define the meaning of the Bronze Age Luvian lexeme 416-wa / i-nМ -.1 It occurs several times in the inscriptions YALBURT and SэDBURG , which contain the res gestae of the two Hittite kings of the late Empire period, Tuthaliya IV and Suppiluliyama II, and once in the inscription KIZILDA' 4, which commemorates the deeds of a certain Hartapu, possibly a king of Tarhuntassa.2 The frequency of this word in the Bronze Age ... The Luvian Enemy 19 ­ 1997...

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

• http://www.imk.msu.ru/Structure/Linguistics/yakubovich/download/refl-ucla.pdf
• http://www.imk.msu.ru/Structure/Linguistics/yakubovich/download/lydian.pdf
• http://www.imk.msu.ru/Structure/Linguistics/yakubovich/download/palaic1.pdf

... Energy gain spectroscopy and the related experiments in inverse kinematics which exploit the recoil ion longitudinal momentum for Q -value determination (change in the electron binding energies) give access to the energy levels of highly charged species and to energy levels that do not decay radiatively. ... Especially at higher impact energies Ep > 100 keV/u, where the final state determination in experiments are difficult, the influence of excitation has not been investigated. ... Phys. Rep. ...

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

• Laboratory of Mathematical Models of Quantum Scattering Processes / MSU

... РЕШЕНИЕ ЗАДАЧ СФЕРИЧЕСКОЙ АСТРОНОМИИ . ... Вычисление точных топоцентрических эфемерид планет . ... В качестве примера в нем приведены исходные данные сервера для расчета эфемерид Марса. Ниже списка располагаются четыре кнопки для модификации исходных данных. ... Через некоторое время, которое в основном определяется скоростью передачи данных по сети, на экране появиться большая таблица рассчитанных значений параметров, снабженных многочисленными комментариями. ...

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

SUNY-MSU Partnership . ... MSU | ... The State University of New York/Moscow State University partnership dates back to the mid-1970s and owes its existence to the vision of then MSU Rektor Rem Kokhlov and SUNY Chancellor Ernest L. Boyer. ... The first students were exchanged in 1977. ... A SUNY Center on Russia and the United States opened its doors in January 2000, and a sister MSU Center on the United States and Russia was set up in Moscow at MSU?s newly built Science Park. ... suny-msu . ...

308. Лента новостей ВШГА МГУ.

309. Главная