Книга
Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series
Unification is concerned with the problem of identifying terms, finding solutions for equations, or making formulas equivalent. It is a fundamental process used in a number of fields of computer science, including automated reasoning, term rewriting, logic programming, natural language processing, program analysis, types, etc. The International Workshop on Unification (UNIF) is a yearly forum for researchers in unification theory and related fields to meet old and new colleagues, to present recent (even unfinished) work, and to discuss new ideas and trends. It is also a good opportunity for young researchers and scientists working in related areas to get an overview of the current state of the art in unification theory.

Настоящая статья посвящена комплексному анализу современных автономных кодификаций международного частного права в странах Юго-Восточной Азии. В рамках настоящей статьи проводится детальный анализ национально-правового регулирования законов о международном частном праве в Китае и Японии. Проводится анализ основных институтов международного частного права, подробно исследуются вопросы касающиеся наследственного, брачно-семейного, деликтного, вещного и обязательственного права.
Настоящее издание представляет собой сборник трудов, подготовленных по результатам проведения II международного научного семинара "Правовые аспекты БРИКС", организованного Римским университетом "Tor Vergata" в мае 2013 г. Ученые -правоведы из Италии, Бразилии, России, Индии, Китая и Южно-Африканской Республики приняли участие в обсуждение проблем гармонизации правовых систем стран БРИКС и подготовили статьи, вышедшие в свет в 2015 г.
Настоящая статья посвящена анализу современных тенденций реформирования Йорк-Антверпенских правил об общей аварии, о чем в литературе, как российской, так и зарубежной, в настоящий момент содержится мало информации. При изучении документов международных организаций в области морской торговли были выявлены те проблемные вопросы, по которым планируется внесение новых изменений в Йорк-Антверпенские правила об общей аварии. Сделан вывод о том, что даже несмотря на рост приверженцев упразднения института общей аварии как анахронизма и полного перехода к морскому страхованию практика показывает, насколько страны и частные лица на самом деле заинтересованы в сохранении и дальнейшем совершенствовании Йорк-Антверпенских правил как источника права, применимого к международным морским перевозкам груза.
Статья посвящена исследованию основных тенденций по регулированию правоотношений, связанных с такими основными институтами международного частного морского права, как морской залог, спасание судов и иного имущества на море. Данные правовые институты не только имеют особое значение с точки зрения их теоретического изучения и научного анализа, но и играют важную роль в торговом мореплавании, которая, на сегодняшний день, многократно возрастает в международных торговых отношениях. В статье с помощью сравнительно-правового метода исследования авторами проведен детальный анализ правовой основы функционирования основных институтов международного частного морского права (морской залог, спасание судов и иного имущества на море), в качестве которой выступают как внутригосударственные источники, так и внешние (международные договоры; международные торговые обычаи). Авторы делают акцент на разнообразии и изобилии источников рассматриваемых институтов международного частного морского права, которое обусловлено спецификой отношений, связанных с иностранным правопорядком. Актуальность рассматриваемой проблематики подтверждается также наличием современных международных тенденций реформирования и унификации названных институтов частного морского права, о чем свидетельствуют принятие мировым морским сообществом новых конвенций, разработка международными организациями новых документов, широко применяемых в торговом мореплавании в качестве «мягкого права», а также имплементация государствами международных норм в национальное законодательство.
Настоящиее издание представляет собой сборник трудов, подготовленных по результатам проведения II международного научного семинара "Правовые аспекты БРИКС", организованного Римским университетом "Tor Vergata" в мае 2013 г. Ученые -правоведы из Италии, Бразилии, России, Индии, Китая и Южно-Африканской Республики приняли участие в обсуждение проблем гармонизации правовых систем стран БРИКС и подготовили статьи, вышедшие в свет в 2015 г.
Журналы событий, сохраняемые современными информационными и техническими системами, как правило, содержат достаточно данных для автоматизированного восстановления моделей соответствующих процессов. Разработано множество алгоритмов для построения моделей процессов, проверки соответствия фактического поведения системы модельному, сравнения моделей процессов, и т.д. Однако возможность быстрого анализа выбираемых пользователями частей журнала до сих пор не нашла полноценной реализации. В статье описан метод многомерного хранения журналов событий для извлечения и анализа процессов, основанный на подходе ROLAP. Результатом анализа журнала является направленный невзвешенный граф, представляющий собою сумму возможных последовательностей событий, упорядоченных по вероятности их возникновения с учетом заданных условий. Разработанный инструмент позволяет выполнять совместный анализ моделей подпроцессов, восстановленных из частей журнала путем задания критериев отбора событий и требуемого уровня детализации модели.
В монографии приведены результаты исследования, посвященного управлению жизненным циклом информационных систем, а также анализу стандартов, сводов знаний и корпоративных методик, использующихся в ИТ-проектах. Приведены характеристики фаз ЖЦИС из практики управления ИТ-проектами, а также практические рекомендации по управлению такими проектами. Книга предназначена для научных работников, сотрудников научно- технических предприятий и работников государственных органов управлений, а также студентов, аспирантов, слушателей бизнес-школ повышения квалификации и переподготовки кадров. Книга содержит практические рекомендации для руководителей ИТ-проектов, а также сотрудников компаний, занимающихся проектной деятельностью в области ИТ-проектов.
The geographic information system (GIS) is based on the first and only Russian Imperial Census of 1897 and the First All-Union Census of the Soviet Union of 1926. The GIS features vector data (shapefiles) of allprovinces of the two states. For the 1897 census, there is information about linguistic, religious, and social estate groups. The part based on the 1926 census features nationality. Both shapefiles include information on gender, rural and urban population. The GIS allows for producing any necessary maps for individual studies of the period which require the administrative boundaries and demographic information.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра. Методами степенной геометрии ищутся асимптотические разложения его решений в окрестности его неособой точки z=z0, z0≠0, z0≠∞, при любых значениях параметров уравнения. Показано, что имеется ровно 10 семейств разложений решений уравнения. Все они - по целым степеням локальной переменной z - z0. Из них одно новое; у него произвольный коэффициент при четвертой степени локальной переменной. Одно из семейств однопараметрическое, остальные - двухпараметрические. Доказано, что все разложения сходятся в окрестности (а являющиеся полюсами - в проколотой окрестности) точки z=z0.
В учебном пособии рассматриваются базовые вопросы компьютерной лингвистики: от теории лингвистического и математического моделирования до вариантов технологических решений. Дается лингвистическая интерпретация основных лингвистических объектов и единиц анализа. Приведены сведения, необходимые для создания отдельных подсистем, отвечающих за анализ текстов на естественном языке. Рассматриваются вопросы построения систем классификации и кластеризации текстовых данных, основы фрактальной теории текстовой информации.
Предназначено для студентов и аспирантов высших учебных заведений, работающих в области обработки текстов на естественном языке.
В данной работе рассматривается пятое уравнение Пенлеве, которое имеет 4 комплексных параметра α, β, γ, δ. Методами степенной геометрии ищутся асимптотические разложения его решений при x → ∞. При α≠0 найдено 10 степенных разложений с двумя экспоненциальными добавками каждое. Шесть из них - по целым степеням x (они были известны), и четыре по полуцелым (они новые). При α=0 найдено 4 однопараметрических семейства экспоненциальных асимптотик y(x) и 3 однопараметрических семейства сложных разложений x=x(y). Все экспоненциальные добавки, экспоненциальные асимптотики и сложные разложения найдены впервые. Также уточнена техника вычисления экспоненциальных добавок.
В данной работе рассматривается пятое уравнение Пенлеве. Методами степенной геометрии ищутся асимптотические разложения его решений при x → 0. Получено 27 семейств разложений решений уравнения. 19 из них получены из разложений решений шестого уравнения Пенлеве. Среди остальных 8 семейств одно было известно раньше, ещё одно может быть получено из разложения решения третьего уравнения Пенлеве. Новыми являются 3 семейства полуэкзотических разложений, 2 семейства сложных разложений и семейство степенно-логарифмических разложений.
Труды содержат доклады, представленные учеными из России, Украины, Белоруссии, Казахстана, Эстонии, Узбекистана, Германии, Польши, посвященные актуальным проблемам радиационной физики твердого тела (влияние радиации на физико-химические свойства и структуру металлических, полупроводниковых и диэлектрических материалов, влияние факторов космического пространства на свойства конструкционных и функциональных материалов и покрытий космических аппаратов, радиационно-технологические методы получения материалов, в частности наноматериалов, модифицирования и обработки материалов с целью улучшения их эксплуатационных свойств, создание и получение экологически чистых материалов с низкой наведенной радиоактивностью и др.).
Труды содержат доклады, представленные специалистами из России, Украины, Белорусии, Казахстана, Узбекистана, Германии, Великобритании, Польши по направлениям:«Радиационная физика металлов», «Радиационная физика неметаллических материалов», «Физические основы радиационной технологии» и посвященные разнообразным проблемам радиационной физики твердого тела (процессы прохождения заряженных и нейтральных частиц, рентгеновского и гамма-излучений через вещество, электрон-атомные, атом-атомные, ион-атомные и др. столкновения в твердых телах, ориентационные явления при взаимодействии высокоэнергетических частиц с твердым телом, радиационно-индуцированные и радиационно-стимулированные явления в твердых телах и др.).