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)

Degree-based topological co-indices for QSPR modelling of benzenoid hydrocarbons: a comparative computational study

Chemical Papers 2026

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

On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.

Глуцюк А. А., / Series arXiv "math". 2026.

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

On exotic rationally integrable dual billiards I. Complex geometry and type of dynamics.

Глуцюк А. А., / Series arXiv "math". 2026.

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

Dynamical systems on torus related to general Heun equations: phase-lock areas and constriction breaking

Александров А. А., Глуцюк А. А., Journal of Differential Equations 2026 Vol. 465 Article 114178

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

On rationally integrable planar dual and projective billiards

Глуцюк А. А., Inventiones Mathematicae 2026 Vol. 245 P. 977–1058

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

Анализ согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН с помощью иерархической кластеризации

Вохминцев И. В., Вестник международных организаций: образование, наука, новая экономика 2026 Т. 21 № 2

ЕАЭС и ОДКБ – главные региональные международные организации для России. Понимание, оценка и анализ внешнеполитических позиций стран, которые туда входят — это вопрос национальных интересов страны. Из этого вытекает цель работы: выявление уровня и формы согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН. Уровень согласованности – оценка уровня близости стран при голосовании. Форма согласованности ...

Добавлено: 7 сентября 2026 г.

Rational p-adic Hodge theory for d-de Rham-proper stacks

Prikhodko Artem, Kubrak D., Compositio Mathematica 2026 Vol. 162 No. 6 P. 1377–1438

Добавлено: 7 сентября 2026 г.

Lower Bounds on the Measure of the Support of Positive and Negative Parts of Trigonometric Polynomials

Исмаилов А. Р., Constructive Approximation 2026

Добавлено: 7 сентября 2026 г.

Pupillometry and autonomic nervous system responses to cognitive load and false feedback: an unsupervised machine learning approach

Alshanskaia E., Portnova G., Liaukovich K. и др., Frontiers in Neuroscience 2024 Vol. 18

Добавлено: 7 сентября 2026 г.

Oil Spill Segmentation in SAR Data Using ViT-UNet: Performance and Practical Insights

Зуенко Д. О., Трофимова Е. А., Хайдарова И., IEEE Access 2026 Vol. 14 P. 121339–121357

Добавлено: 7 сентября 2026 г.

Конечные последовательности и перестановки, ими порождаемые

Кучерявый П. А., Математические заметки 2026 Т. 2026 № 120 С. 380–401

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

Добавлено: 7 сентября 2026 г.

Scalable machine learning approach to disordered s-wave superconductors

Неверов В. Д., Красавин А. В., Вагов А. В. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 P. 1–6

Добавлено: 5 сентября 2026 г.

On the rate of Gaussian approximation for online linear regression problems

Шешукова М. Е., Durmus A., Khusainov M. и др., Statistics 2026 P. 1–25

Добавлено: 4 сентября 2026 г.

Proceedings of the 42nd Conference on Uncertainty in Artificial Intelligence (UAI), PMLR Volume 337, 17-21 August 2026, KIT, Amsterdam, the Netherlands

Proceedings of Machine Learning Research , 2026.

Добавлено: 4 сентября 2026 г.

Относительные аналитические законы взаимности

Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146

Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...

Добавлено: 3 сентября 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 г.