?
A State-based Refinement Technique for Event-B
P. 55–60.
В книге
Los Alamitos: IEEE Communications Society, 2020.
Andrei Akhremenko, Конча В., Journal of Social Policy Studies 2025 Vol. 23 No. 4 P. 781–794
Добавлено: 13 мая 2024 г.
Ахременко А. С., Полис. Политические исследования 2024 № 2 С. 118–134
В центре внимания настоящей работы – вопрос о влиянии интернет-коммуникаций на «уличную» протестную активность. В последние годы в этом направлении исследований наметилась некоторая стагнация: дефицит крупных работ, обозначающих новые исследовательские направления или хотя бы существенно укрепляющих эмпирический фундамент уже сложившихся гипотез. Парадокс состоит в том, что при рассмотрении воздействия глобальной сети на политическое поведение собственно ...
Добавлено: 31 марта 2024 г.
Bernardinello L., Irina Lomazova, Нестеров Р. А. и др., , in: Transactions on Petri Nets and Other Models of Concurrency XVIVol. 13220: Lecture Notes in Computer Science.: Springer, 2022. P. 1–23.
Добавлено: 23 марта 2022 г.
Ахременко А. С., Petrov A., , in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020)Vol. 2795.: CEUR Workshop Proceedings, 2020. Ch. 1 P. 1–11.
Добавлено: 3 марта 2021 г.
Кулямин В. В., Хорошилов А. В., Medvedev D., , in: Actual Problems of Systems and Software Engineering APSSE 2019 (Invited Papers).: Los Alamitos, Washington, Tokyo: IEEE Computer Society, 2019. P. 131–136.
Добавлено: 30 октября 2020 г.
Bernardinello L., Ломазова И. А., Нестеров Р. А. и др., , in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020)Vol. 2651: CEUR Workshop Proceedings.: CEUR-WS.org, 2020. P. 49–67.
Добавлено: 12 августа 2020 г.
S. S. Akbarov, Journal of Algebra and its Applications 2020 Vol. 19 No. 6 P. 1–28
В статье отмечаются некоторые свойства ядер и коядер в категории аугментированных стереотипных алгебр, полезные в теориях двойственности, построенных на понятии оболочки: 1) стереотипные алгебры с аугментацией обладают ядром и коядром, 2) коядро сохраняется при переходе к групповым стереотипным алгебрам, и 3) понятие коядра позволяет доказать, что непрерывная оболочка $\Env{\mathcal C}^\star(Z\cdot K)$ групповой алгебры компактной надстройки ...
Добавлено: 8 июня 2019 г.
Акбаров С. С., Dissertationes Mathematicae 2016 Vol. 513 P. 1–188
Добавлено: 23 сентября 2016 г.
Хорошилов А. В., Петренко А. К., Девянин П. Н. и др., , in: Abstract State Machines, Alloy, B, TLA, VDM, and Z.: Heidelberg: Springer, 2014. P. 309–313.
Добавлено: 1 ноября 2015 г.
Smeliansky R. L., Chemeritsky E. V., Захаров В. А., Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398–406
Добавлено: 30 сентября 2015 г.
Andrei Akhremenko, Петров А. П., / NRU Higher School of Economics. Series PS "Political Science". 2014. No. WP BRP 16/PS/2014.
Добавлено: 24 октября 2014 г.
Ахременко А. С., Петров А. П., В кн.: Математическое моделирование и информатика социальных процессов. Сборник трудовВып. 16.: М.: Экон-Информ, 2014. С. 15–20.
В настоящей работе рассматривается динамическая модель, в центре внимания которой находится влияние на эффективность социально-политической системы со стороны уровня налоговой нагрузки и правила распределения бюджетных средств на инвестиции в инфраструктуру и производственный ресурс ...
Добавлено: 24 октября 2014 г.
М.: Экон-Информ, 2014.
Статьи данного сборника написаны на основе докладов, сделанных в 2013 г. на социологическом факультете МГУ им. М.В. Ломоносова на заседании XVI Междисциплинарного ежегодного научного семинара «Математическое моделирование социальных процессов» им. Героя Социалистического труда академика А.А. Самарского.
Издание предназначено для научных сотрудников, преподавателей, учащихся вузов и научных учреждений РАН, интересующихся проблемами разработки и внедрения методологии математического моделирования ...
Добавлено: 24 октября 2014 г.
Ефименко И. В., Хорошевский В. Ф., В кн.: XIV Национальная конференция по искусственному интеллекту с международным участием КИИ-2014.: Каз.: Российская ассоциация искусственного интеллекта, 2014. С. 118–127.
В работе обсуждаются вопросы создания формальной модели предметной области дорожного картирования на основе анализа лучших практик в данной области. Создание такой модели позволит обобщить опыт построения технологических дорожных карт и обеспечит основу для разработки средств автоматизации формирования и использования дорожных карт. Разработана система онтологий, специфицирующих ключевые информационные объекты сферы дорожного картирования, а также процессные модели лучших ...
Добавлено: 23 октября 2014 г.
Ахременко А. С., Петров А. П., В кн.: Метод: московский ежегодник трудов из обществоведческих дисциплинВып. 4.: М.: ИНИОН РАН, 2014. С. 62–82.
В статье рассматривается математическая модель связи между инвестированием ресурсов в изменение институтов и эффективностью общественной системы. Приводятся результаты ряда вычислительных экспериментов и их содержательная интерпретация. Поднимаются также некоторые вопросы методологии математического моделирования ...
Добавлено: 15 октября 2014 г.
Antonina K. Begicheva, Ломазова И. А., , in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014).: M.: -, 2014. P. 77–82.
Process mining is a new technology, that provides us a variety of methods to discover, monitor and improve real processes by extracting knowledge from event logs. The two most prominent process mining tasks are process discovery and conformance checking. Conformance checking deals with diagnosing and quantifying discrepancies between observed behavior, represented in event logs, and ...
Добавлено: 2 июня 2014 г.
Шершаков С. А., В кн.: Proceedings of the 9th Central & Eastern European Software Engineering Conference in Russia.: NY: ACM, 2013.
С развитием информационных систем (ИС) стремительно возросли объемы данных, которыми они оперируют.
Это касается как данных, вводимых в систему различными путями, так и данных, получаемых в результате некоторой обработки, то есть выводимых этой системой на различные виды носителей информации. Из последнего типа данных можно выделить целый специальный подкласс, к которому относятся так называемые логи данных.
Количество информации, ...
Добавлено: 21 декабря 2013 г.