В книге
Linz : Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2014 Т. 26 № 2 С. 245-268
Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η'', чтобы композиции θ_1 η' и θ_2 η'' были равны. По существу, задача унификации подстановок равносильна задаче решения линейных уравнений вида θ_1 X=θ_2 Y в полугруппе подстановок. Но некоторые линейные уравнения над подстановками также можно рассматривать как новые варианты задачи ...
Добавлено: 30 сентября 2015 г.
Саватеев Ю. В., Annals of Pure and Applied Logic 2012 Vol. 163 P. 775-788
Добавлено: 20 октября 2014 г.
Antonopoulos T., Gorogiannis N., Haase C. и др., , in : Lecture Notes in Computer Science. 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. : Berlin : Springer, 2014. Ch. 27. P. 411-425.
Добавлено: 24 марта 2015 г.
Cardilli R., Porcelli S., Rome : Universita Tor Vergata, 2015
Настоящиее издание представляет собой сборник трудов, подготовленных по результатам проведения II международного научного семинара "Правовые аспекты БРИКС", организованного Римским университетом "Tor Vergata" в мае 2013 г. Ученые -правоведы из Италии, Бразилии, России, Индии, Китая и Южно-Африканской Республики приняли участие в обсуждение проблем гармонизации правовых систем стран БРИКС и подготовили статьи, вышедшие в свет в 2015 ...
Добавлено: 25 июня 2015 г.
В этой научно-популярной статье мы определим, когда квадрат можно разрезать на прямоугольники, подобные данному. ...
Добавлено: 16 октября 2015 г.
Добавлено: 10 мая 2023 г.
Захаров В. А., Кузюрин Н. Н., Варновский Н. П. и др., Программирование 2015 № 6
Обфускацией программ называется такое эквивалентное преобразование программ, которое придает программе форму, затрудняющую понимание алгоритмов и структур данных, используемых программой, и препятствующую извлечению из текста программы определенной полезной информации, содержащейся в ней. Поскольку обфускация программ может найти широкое применение при решении многих задач криптографии и компьютерной безопасности, задаче оценки стойкости обфускации придается очень большое значение, начиная ...
Добавлено: 13 октября 2015 г.
Касаткина А. С., Право. Журнал Высшей школы экономики 2012 № 2 С. 144-164
Настоящая статья посвящена комплексному анализу современных автономных кодификаций международного частного права в странах Юго-Восточной Азии. В рамках настоящей статьи проводится детальный анализ национально-правового регулирования законов о международном частном праве в Китае и Японии. Проводится анализ основных институтов международного частного права, подробно исследуются вопросы касающиеся наследственного, брачно-семейного, деликтного, вещного и обязательственного права. ...
Добавлено: 16 ноября 2012 г.
В статье рассматривается критичность зависимости отраслей ТЭК России от импортного оборудования, и предлагаются конкретные механизмы как максимально эффективно с точки зрения интересов государства обеспечить дальнейшее устойчивое развитие ТЭК с учетом технологических потребностей. Особое внимание уделяется созданию условий, позволяющих избежать неоправданного удорожания продукции при одновременном ухудшении её качественных характеристик. ...
Добавлено: 8 мая 2015 г.
Захарьящев М. В., BRESOLIN D., KURUCZ A. и др., , in : ACM Transactions on Computational Logic (TOCL). Vol. 18. Issue 3.: NY : ACM, 2017. P. 1-39.
We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of ...
Добавлено: 17 сентября 2017 г.
Шитов Я. Н., SIAM Review 2017 Vol. 59 No. 4 P. 794-800
Добавлено: 9 ноября 2017 г.
Захаров В. А., Жайлауова Ш. Р., В кн. : Проблемы теоретической кибернетики: XVIII международная конференция (Пенза, 19-23 июня 2017 г.). : М. : МГУ, МАКС Пресс, 2017. С. 84-87.
Эффективная разрешимость проблемы л-т эквивалентности дает возможность приступить к решению задачи минимизации - построения схемы программ наименьшего размера, л-т эквивалентной заданной схеме. Чтобы отыскать ее решение, заметим, что модель вычислений стандартных схем программ сходна модели вычислений автоматов-преобразователей, работающих над полугруппами. Ранее был предложен метод минимизации автоматов-преобра\-зо\-вателей, работающих над упорядоченными левосократимыми полугруппами. В данной заметке мы ...
Добавлено: 22 октября 2017 г.
Zakharov V.A., Kuzurin N. N., Varnovsky N. P. и др., Programming and Computer Software 2015 Vol. 41 No. 6 P. 361-372
Program obfuscation is a semantic-preserving transformation aimed at bringing a program into a form that impedes understanding of its algorithm and data structures or prevents extracting certain valuable information from the text of the program. Since obfuscation may find wide use in computer security, information hiding and cryptography, security requirements to program obfuscators have become ...
Добавлено: 13 октября 2015 г.
Кузнецов С. Л., , in : Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday. Issue 12300.: Cham : Springer, 2020. P. 3-16.
Добавлено: 25 ноября 2020 г.
Моргунов А. Ф., Бизнес-информатика 2014 № 1(27) С. 34-41
Внедрение информационной системы в крупной компании, имеющей широкую филиальную сеть в стране, как правило, сопряжено с организационными и техническими трудностями. Процесс растягивается во времени и не всегда приводит к желаемому результату.
В статье рассматривается внедрение информационной системы автоматизации технологических процессов и документооборота подписки на периодические печатные издания в подразделениях российского почтового оператора ФГУП «Почта России». Оценивается ...
Добавлено: 9 апреля 2014 г.
Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189-222
С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...
Добавлено: 20 октября 2014 г.
Linz : Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014
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 ...
Добавлено: 13 октября 2015 г.
Stepan L. Kuznetsov, Journal of Logic and Computation 2023 Vol. 33 No. 6 P. 1437-1462
Добавлено: 7 марта 2023 г.
Медведева Е. А., Ряпин И. Ю., Урванцев И. В. и др., Thermal Engineering (English translation of Teploenergetika) 2016 Vol. 63 No. 9 P. 611-620
This paper analyzes the cost-effectiveness of the use of renewable energy sources (RES) and peat in production of electric and heat energy in rural places of the country by comparing tariffs (prices) of energy versus total expenditures on generation of electric and heat energy when using RES and peat. The appraisal of a cost-effective scale ...
Добавлено: 9 октября 2016 г.
Захаров В. А., Новикова Т. А., В кн. : Дискретные модели в теории управляющих систем : IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г.: Труды. : М. : МАКС Пресс, 2015. С. 173-176.
В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.) ...
Добавлено: 12 октября 2015 г.
Касаткина А. С., Кобахидзе Д. И., Право и политика 2015 № 8 С. 1112-1128
Статья посвящена исследованию основных тенденций по регулированию правоотношений, связанных с такими основными институтами международного частного морского права, как морской залог, спасание судов и иного имущества на море. Данные правовые институты не только имеют особое значение с точки зрения их теоретического изучения и научного анализа, но и играют важную роль в торговом мореплавании, которая, на сегодняшний ...
Добавлено: 23 августа 2015 г.
Ростовцева Н. В., Право. Журнал Высшей школы экономики 2016 № 3 С. 30-49
В статье исследуется институт наследования по праву представления. Основные принципы наследования по праву представления, закрепленные в действующем гражданском законодательстве, соответствуют положениям, которые были установлены в Своде законов Российской Империи.Наследование по праву представления следует отличать от сходных институтов (наследственной трансмиссии и подназначения наследника). Основное отличие от наследственной трансмиссии состоит в том, что представляемый наследник умирает до ...
Добавлено: 27 ноября 2016 г.
Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111-121
Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...
Добавлено: 9 мая 2023 г.
Лукин А. В., Пугачева О. С., Проблемы Дальнего Востока 2022 № 3 С. 9-27
В статье комплексно рассматривается внешняя политика России в отношении Корейского полуострова. Актуальность обусловлена неурегулированностью проблем Корейского полуострова, включая ядерную, и его географической близостью к российскому Дальнему Востоку, развитие которого является приоритетной задачей России в XXI в. Россия заинтересована в мирном развитии ситуации на Корейском полуострове, его денуклеаризации и развертывании здесь многостороннего экономического сотрудничества. В принципе, ...
Добавлено: 27 июня 2022 г.