?
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Кам :
Springer, 2015.
Под общей редакцией: A. Voronkov, M. Mazzara
This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Главы книги
Вербицкая Е. А., Grigorev S., Avdyukhin D., , in: Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers.: Cham: Springer, 2015. P. 291–302.
Добавлено: 29 января 2019 г.
Ключевые слова: software engineeringStatic Verificationparsingcolored Petri netsscientific computingformal verificationconstraint systeminformal retrievalmodel-driven architectureadaptive reusecomputable analysisdocumentation reusemodel verificationquality requirementsrequirements engineeringsecurity modelstate machinestring analysisstring-embedded languagesworkflows
Добавлено: 20 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean
Obozov M., Дискин М. С., Безносиков А. Н. и др., , in: Proceedings of The 3rd Workshop on Mathematical Natural Language Processing (MathNLP 2025).: Suzhou: Association for Computational Linguistics, 2025. Ch. 15 P. 195–202.
Добавлено: 26 февраля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Добавлено: 21 ноября 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Мещанинов В. П., Strashnov, P., Shevtsov A. и др., / Cornell University. Серия CoRR, arXiv:2403.03726 "Computing Research Repository,". 2025.
Дизайн белков требует глубокого понимания присущей сложности «белкового вселенной». Хотя многие работы ориентируются на условную генерацию или сосредоточены на отдельных семействах белков, базовая задача безусловной генерации остаётся недостаточно изученной и недооценённой. В этой работе мы исследуем именно этот ключевой аспект и представляем DiMA — модель, которая использует непрерывную диффузию по эмбеддингам, полученным из языковой модели для белков ESM-2, ...
Добавлено: 5 октября 2025 г.
Шабалин А. М., Мещанинов В. П., Vetrov D., / Series cs.CL, arXiv:2505.18853 "Computation and Language". 2025.
Диффузионные модели достигли передовых результатов в генерации изображений, аудио и видео, однако их адаптация к тексту остаётся сложной из-за его дискретной природы. Ранее подходы либо применяют гауссовскую диффузию в непрерывных латентных пространствах, что наследует семантическую структуру, но затрудняет декодирование токенов, либо работают в пространстве категориального симплекса, что учитывает дискретность, но игнорирует семантические связи между токенами. ...
Добавлено: 5 октября 2025 г.
Ковалева Н. Н., Жирнова Н. А., Закон 2025 № 9 С. 61–68
Исследование посвящено комплексному анализу правовых коллизий, возникающих при обработке персональных данных в социальных сетях. На основе системного изучения российского законодательства и эволюции судебной практики выявлены ключевые проблемы квалификации статуса таких данных. Доказана ошибочность отождествления понятий «общедоступные источники персональных данных» и «общедоступные персональные данные». Особое внимание уделено противоречиям, связанным с автоматизированным сбором информации (парсингом) и правовыми ...
Добавлено: 1 октября 2025 г.
Абрамов А. С., Чернышев В. Л., Михайлец Е. В. и др., / Series Social Science Research Network "Social Science Research Network". 2025.
Добавлено: 23 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 07600.
Добавлено: 17 сентября 2025 г.
Кочетков Ю. Ю., / Series arXiv.org e-print archive "arXiv.math". 2025. No. 20584.
Добавлено: 9 сентября 2025 г.
Лебедев С. А., Максименкова О. В., Поздняков Д. А., В кн.: Текущие вызовы в подготовке кадров. Обучение специалистов по современным направлениям информационных технологий, кибербезопасности и ИКТ-электроники, актуальным для экономики данных: сборник научных трудов.: Тверь: Издательство Тверского государственного университета, 2024. С. 106–108.
В докладе рассмотрены вопросы подготовки специалистов в области разработки компьютерных игр. Авторы анализируют мировой и общероссийский образовательный ландшафт указанного направления и обсуждают опыт выстраивания системной подготовки в рамках образовательной программы высшего образования по направлению подготовки «Программная инженерия». Дополнительно рассмотрены вопросы научных и прикладных проектов, связанных с областью разработки компьютерных игр, а также их взаимовлияние друг ...
Добавлено: 20 февраля 2025 г.
Мустафина Н. И., Плаксин М. А., В кн.: BIG DATA и анализ высокого уровня = BIG DATA and Advanced Analytics : сборник научных статей X Международной научно-практической конференции в двух частях, Часть 1 (Республика Беларусь, Минск, 13 марта 2024 года).: Мн.: БГУИР, 2024. С. 457–469.
Добавлено: 18 февраля 2025 г.
Mustafina N. I., Плаксин М. А., Mikisheva P. A., Proceedings of the Institute for System Programming of the RAS 2024 Vol. 36 No. 2 P. 47–58
В статье обсуждаются вопросы планирования и управления ресурсами в процессе
тестирования программных систем. В работе представлен метод анализа ACC, используемый в Google
для оптимизации распределения усилий по тестированию различных частей системы. Расширение
метода путем добавления четвертой характеристики - актеров (роли пользователей системы) позволяет более гибко оценивать требования к действиям и уровни навыков пользователей.
Иллюстративные примеры атрибутов и компонентов системы ...
Добавлено: 17 февраля 2025 г.
С. М. Авдошин, А. М. Литвиненко, Информационные технологии 2025 Т. 31 № 1 С. 42–55
Смарт-контракты — программные алгоритмы, которые представляют собой соглашение в цифровой форме
с наличием механизма принуждения сторон к выполнению обязательств. Смарт-контракты уже крепко закрепились в сферах финансов, однако это не единственная возможная сфера применения. Недостаток такого цифрового соглашения заключается в том, что смарт-контракты могут содержать ошибки, потенциально
приводящие к финансовым потерям. Процесс верификации проводится для того, чтобы снизить ...
Добавлено: 23 января 2025 г.
Мустафина Н. И., Плаксин М. А., Афанасье Н. В., Современные информационные технологии и ИТ-образование 2023 Т. 19 № 1 С. 189–200
В подготовке студентов программистских специальностей важную роль играет знакомство с современными технологиями разработки программных систем. При их изучении лекционно-семинарских занятий недостаточно. Требуется подкрепление их практикой. Но, во-первых, организовать для всех студентов практику в реальных фирмах невозможно, во-вторых, цели производственного процесса отличаются от целей учебного. Поэтому вместо реальной практики в учебном процессе нескольких компьютерных специальностей двух ...
Добавлено: 29 февраля 2024 г.
Плаксин М. А., В кн.: Методы и технологии обучения в вузе в условиях цифровой трансформации образования. Сборник статей по материалам Всероссийской (с международным участием) научно-методической конференции.: Пермь: Пермский государственный национальный исследовательский университет, 2023. С. 735–740.
Рассматривается роль деловых игр в учебном процессе. Деловые игры позволяют дешево и быстро получить практический опыт, продемонстрировать смысл теоретических понятий. По сравнению с реальным производственным процессом деловые игры позволяют повторить учебные действия многократно, рассмотреть возможные отклонения от нормы, чрезвычайные ситуации. Описывается применение деловых игр в учебном процессе студентов компьютерных специальностей: учебные судебные процессы, проводящиеся при ...
Добавлено: 29 февраля 2024 г.