21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. (LNCS, volume 15764)

doi:10.1007/978-3-031-95908-0

Публикации

?

21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. (LNCS, volume 15764)

Кам : Springer, 2025.

Под общей редакцией: A. Beckmann, I. Oitavem, F. Manea

Space-Bounded Online Kolmogorov Complexity is Additive

Bruno Bauwens, Marchenko M., , in: 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. (LNCS, volume 15764).: Cham: Springer, 2025. P. 133–142.

Добавлено: 17 декабря 2025 г.

Научное направление: Компьютерные науки Математика

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

DOI

Текст на другом сайте

Ключевые слова: mathematical logic theory of computation Mathematical Logic and Formal Languages Mathematical Logic and Foundations

21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings. Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. (LNCS, volume 15764)

KMHCR: A Key-Controlled Signal-Domain Transformation for 5G IoT Security

Ronglin Z., Wei L., Jiahong C. и др., Journal of Signal Processing Systems 2026 Vol. 98 P. 1–15

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

DPN Verifier: Инструментарий для ускоренной верификации и исправления дефектных моделей процессов с данными

Суворов Н. М., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 3(2) P. 49–66

Сети Петри с данными (DPN) являются расширением классических сетей Петри, позволяющим моделировать процессы, где данные влияют на поток управления, обеспечивая комплексное представление о поведении системы и возможность обнаружения точек отказа, которые в противном случае были бы скрыты. Одним из критериев корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она всегда корректно завершается ...

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

2-Elliptic Periodic Orbits near a Nonsimple Homoclinic Tangency in Four-Dimensional Symplectic Maps

Lerman L. M., Turaev D. V., Regular and Chaotic Dynamics 2026 Vol. 31 No. 3 P. 349–369

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

Bibliometric Analysis by Network Models

Алескеров Ф. Т., Якуба В. И., Khutorskaya O. и др., Springer, 2026.

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

Neural-network maps for two-parameter modeling of bistability and codimension-two bifurcations in two-dimensional flow dynamical systems

Купцов П. В., Панюшев А. А., Станкевич Н. В., Chaos 2026 Vol. 36 No. 5 Article 053138

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

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

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

The Sobolev space W_2^{1/2}: Simultaneous improvement of functions by a homeomorphism of the circle

Лебедев В. В., Journal of Mathematical Analysis and Applications 2026 Vol. 563 No. 2 Article 130787

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

QGKM: A Quantum Fidelity-Based Graph Clustering Framework for Robust Data Pattern Recognition in Education Social Networks QGKM: A Quantum Fidelity-Based Graph Clustering Framework for Robust Data Pattern Recognition in Education Social Networks

Neal N. X., Weiqing L., Dacheng H. и др., Algorithms 2026 Vol. 19 No. 5 P. 1–22

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

Symmetric Cubic Polynomials

Blokh A., Oversteegen L., Selinger N. и др., Arnold Mathematical Journal 2025 Vol. 12 No. 1 P. 1–40

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

Proceedings of the 9th Student Research Workshop associated with the International Conference Recent Advances in Natural Language Processing

Velichkov B., Nikolova-Koleva I., Slavcheva M., Shumen: INCOMA Ltd, 2025.

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

Игры на сетях с линейным наилучшим ответом: модели и методы управления

Петров И. В., Автоматика и телемеханика 2026 № 6 С. 82–118

Системам связанных агентов и сетевому управлению посвящено большое число отечественных и зарубежных исследований. Исторически, наибольший интерес в теории управления возникал к усредняющим системам и, в частности, к задаче консенсуса. Однако сетевое взаимодействие может характеризоваться более специфическими функциями, отражающими зависимость от действий соседей по сети, что особенно явно проявляется в моделях стратегического взаимодействия на сети, которое ...

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

Интегрированная среда моделирования для верификации и валидации программ управления подключенными и высокоавтоматизированными транспортными средствами

Степанянц В. Г., Долгов И. М., Хорошилов Г. С. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 95–110

На рынок постепенно выходят высокоавтоматизированные и подключенные транспортные средства (ТС). В настоящее время предлагаются решения, позволяющие использовать эти технологии для совместного управления дорожным движением, что может значительно повысить его безопасность. В статье анализируются требования к интегрированной среде моделирования подключенных и высокоавтоматизированных ТС и совместной автоматизации управления дорожным движением с высокодетализированным учетом влияния окружающих объектов. Проанализированы ...

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

Connected and Automated Vehicle Scenario Manager Graphical User Interface

Тихонов Р. А., Efendiev M. T., Fedotenkov A. A., 2026 International Russian Smart Industry Conference (SmartIndustryCon) 2026 P. 542–547

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

Архимед: научно-методический сборник

М.: ООО «Макс Пресс», 2026.

В настоящем сборнике представлены тезисы докладов участников семинара "Интеграция основного и дополнительного физико-математического образования", проходившего 11 февраля 2026 года в ГБОУ Школа №2007 ФМШ г. москвы, а также другие публикации, посвящённые вопросам дополнительного физико-математического образования. ...

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

A two-point phase recovering from holographic data on a single plane

Novikov R., Сивкин В. Н., Inverse Problems 2026 Vol. 42 No. 4 Article 045009

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

49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024)

Leibniz International Proceedings in Informatics (LIPIcs), 2024.

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

The Role of the Scientific Council “Cybernetics” of the USSR Academy of Sciences/the Russian Academy of Sciences in the Development of National Cybernetics and Computer Technology

Amirdjanov G. P., Gurevich I. B., Kostyuk F. V. и др., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 988–1049

Добавлено: 13 марта 2024 г.

Logical Perspectives 2021 Workshop

M.: [б.и.], 2021.

Добавлено: 14 декабря 2021 г.

Deciding Boundedness of Monadic Sirups

Kikot S., Kurucz A., Подольский В. В. и др., , in: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems.: NY: Association for Computing Machinery (ACM), 2021. P. 370–387.

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

Numeration as a Factor Relating the Quantum and Classical Mechanics of Ideal Gases

Маслов В. П., Russian Journal of Mathematical Physics 2018 Vol. 25 No. 4 P. 525–530

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

43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018.

Добавлено: 28 августа 2018 г.

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic

Саватеев Ю. В., Шамканов Д. С., / Series arXiv "math". 2018.

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

Дискретная математика. Формально-логические системы и языки.

Авдошин С. М., Набебин А. А., М.: ДМК Пресс, 2018.

Книга содержит основные сведения из формально-логических систем. Это функции алгебры логики (булевы функции), теорема Поста о функциональной полноте, k-значные логики, производные булевых функций, аксиоматические исчисления высказываний, предикатов, секвенций, резолюций и язык программирования Пролог. Рассматриваются монадическая логика, конечные автоматы и представимые ими языки, темпоральная логика, аксиоматический язык программирования OBJ3. В основу книги положен многолетний опыт преподавания ...

Добавлено: 2 декабря 2017 г.

Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем"

Улан-Удэ: Издательство Бурятского госуниверситета, 2017.

Сборник содержит материалы 5-й школы-семинара «Синтаксис и семантика логических систем», проходившей в Улан-Удэ с 8 по 12 августа 2017 г. Тематика конференции включает следующие направления: теория моделей и универсальная алгебра; теория булевых и конечнозначных функций; формальные языки и логические исчисления; математическая логика в образовании; ...

Добавлено: 22 сентября 2017 г.