Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science. Val. 10742.

doi:10.1007/978-3-319-74313-4

Публикации

?

Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science

Vol. 10742. Springer, 2018.

Под общей редакцией: Петренко А. К., A. Voronkov

Distributed In Situ Processing of Big Raster Data in the Cloud

Родригес Залепинос Р. А., , in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer ScienceVol. 10742.: Springer, 2018. P. 337–351.

Добавлено: 7 апреля 2017 г.

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors

Татарников А. Д., Камкин А. С., , in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer ScienceVol. 10742.: Springer, 2018. P. 387–393.

Добавлено: 23 января 2018 г.

A Framework for Dynamical Construction of Software Components

Гринкруг Е. М., , in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer ScienceVol. 10742.: Springer, 2018. P. 163–178.

Добавлено: 25 января 2018 г.

A Memory Model for Deductively Verifying Linux Kernel Module

Хорошилов А. В., Мандрыкин М. У., , in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer ScienceVol. 10742.: Springer, 2018. P. 256–275.

Добавлено: 12 февраля 2018 г.

PosDB: A Distributed Column-Store Engine

Чернышев Г. А., Smirnov K., Galaktionov V. и др., , in: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer ScienceVol. 10742.: Springer, 2018. Ch. 7 P. 88–94.

Добавлено: 1 марта 2019 г.

Приоритетные направления: компьютерно-математическое

Язык: английский

DOI

Ключевые слова: computer science

Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

Добавлено: 23 июня 2026 г.

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

Добавлено: 23 июня 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Iterative Ricci-Foster Curvature Flow with GMM-Based Edge Pruning: A Novel Approach to Community Detection

Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.

Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...

Добавлено: 15 января 2026 г.

Implementing Transport Coding in OMNeT++ for Message Delay Reduction

Петрованов И. С., Сергеев А. В., / 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 г.

Determining the boundary of dynamical chaos in the generalized Chirikov map via machine learning

Чернышов Д. П., Сатанин А. М., Щур Л. Н., / Series arXiv "math". 2025.

Добавлено: 21 ноября 2025 г.

Эффективный алгоритм торговли на фондовом рынке: ретроспективный анализ, основанный на данных по S&P-500.

Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.

Добавлено: 9 ноября 2025 г.

RatanSunPy: A robust preprocessing pipeline for RATAN-600 solar radio observations data

Князева И., Лысов И. И., Курочкин Е. и др., Astronomy and Computing 2025 Vol. 51 P. 100918–0

Добавлено: 10 декабря 2024 г.

Proceedings of the Workshop on Mathematical Modeling and Scientific Computing: Focus on Complex Processes and Systems — dedicated to the memory of Nikolai Botkin (MMSC 2020)

CEUR Workshop Proceedings, 2020.

Добавлено: 18 ноября 2021 г.

Proceedings 16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020. Lecture Notes in Computer Science

Springer Publishing Company, 2020.

Добавлено: 3 ноября 2020 г.

Artificial Intelligence and Natural Language. AINL 2020. Communications in Computer and Information Science

Springer, 2020.

Добавлено: 8 сентября 2020 г.

Cascade Heap: Towards Time-Optimal Extractions

Бабенко М. А., Колесниченко И. И., Smirnov I., Theory of Computing Systems 2019 Vol. 63 No. 4 P. 637–646

Heaps are well-studied fundamental data structures, having myriads of applications, both theoretical and practical. We consider the problem of designing a heap with an “optimal” extract-min operation. Assuming an arbitrary linear ordering of keys, a heap with n elements typically takes O(log n) time to extract the minimum. Extracting all elements faster is impossible as ...

Добавлено: 6 декабря 2019 г.

Towards a socio-inspired multiagent approach for new generation of product life cycle management

Taratukhin Victor, Yadgarova Y., Procedia Computer Science 2018 Vol. 123

Добавлено: 18 февраля 2019 г.

Communications in Computer and Information Science

Springer, 2017.

Добавлено: 13 февраля 2019 г.

International Conference on Formal Grammar FG 2018: Formal Grammar 2018

Netherlands: Springer, 2018.

Добавлено: 5 декабря 2018 г.

Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings. Lecture Notes in Computer Science 11275, Springer 2018, ISBN 978-3-030-02767-4

Netherlands: Springer, 2018.

Добавлено: 5 декабря 2018 г.

A Logical Framework with Commutative and Non-commutative Subexponentials

Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.: Springer, 2018. P. 228–245.

Добавлено: 1 ноября 2018 г.

Procedia Computer Science

Elsevier, 2016.

Добавлено: 19 февраля 2017 г.

Communications in Computer and Information Science

Springer, 2016.

The CCIS series is devoted to the publication of proceedings of computer science conferences. Its aim is to efficiently disseminate original research results in informatics in printed and electronic form. While the focus is on publication of peer-reviewed full papers presenting mature work, inclusion of reviewed short papers reporting on work in progress is welcome, ...

Добавлено: 15 декабря 2016 г.

The undecidability theorem for the Horn-like fragment of linear logic (Revisited).

Max I. Kanovich, Mathematical Structures in Computer Science 2016 Vol. 26 No. 5 P. 719–744

Добавлено: 1 сентября 2016 г.