Commutative action logic

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

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

Graph Games and Logic Design

Springer, 2026.

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

On Ω-stable 3-diffeomorphism with a solid or thickened surfaced basic set

Починка О. В., Баринова М. К., Journal of Geometry and Physics 2026 Vol. 228 P. 1–8

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

Почти пустые симплексы и полиэдры Клейна

Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18

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

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

The 12th International Conference on Information Technology and Quantitative Management (ITQM 2025)

Netherlands: ScienceDirect, 2025.

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

Object-centric process management: A research manifesto

Seidel A., Weske M., Montali M. и др., Information Systems 2026 Vol. 141 Article 102728

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

2024 26th International Conference on Digital Signal Processing and its Applications (DSPA)

IEEE, 2024.

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

Построение методик оценки качества восприятия (QOE) потокового видео

Ивченко А. В., Дворкович А. В., Телекоммуникации 2020 Т. 12 С. 2–11

Технология Dynamic Adaptive Streaming over HTTP (DASH) обеспечивает работу большинства мультимедийных сервисов, ее особенности (повторные буферизации, переключения качества и др.) приводят к необходимости создания специализированных методик оценки пользовательского, субъективного качества восприятия Quality of Experience (QoE) на основе объективных параметров. В данной статье исследуется влияние различных метрик на QoE и приводятся модели оценки с коэффициентом корреляции ...

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

Влияние аксиомы связности на сложность модальной логики.

Кудинов А. В., Мясников К. М., Математика и теоретические компьютерные науки 2025 Т. 3 № 2 С. 58–84

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

Добавлено: 14 октября 2025 г.

Are prime numbers and quadratic residues random?

Бланк М. Л., Discrete and Continuous Dynamical Systems 2025 Vol. 45 No. 11 P. 4186–4201

Appeals to randomness in various number-theoretic constructions appear regularly in modern scientific publications. Such famous names as V.I. Arnold, M. Katz, Ya.G. Sinai, and T. Tao are just a few examples. Unfortunately, all of these approaches rely on various, although often very non-trivial and elegant, heuristics. A new analytical approach is proposed to address the ...

Добавлено: 23 мая 2025 г.

Explorations in subexponential non-associative non-commutative linear logic

Blaisdell E., Kanovich M., Stepan L. Kuznetsov и др., , in: EPTCS 381: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electronic Proceedings in Theoretical Computer Science.: Open Publishing Association, 2023. P. 4–19.

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

EPTCS 381: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electronic Proceedings in Theoretical Computer Science

Open Publishing Association, 2023.

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

Modification and Optimization of Pollards's Factorization ρ-Method by Means of Recursive Algorithm of Number Calculation Factorization

Смирнов И. А., Разумов П. В., Болдырихин Н. В. и др., IEEE, 2019.

Добавлено: 10 мая 2023 г.

Реализация ρ–метода факторизации Джона Полларда на языке C++

Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111–121

Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...

Добавлено: 9 мая 2023 г.

The complexity of election problems with group-separable preferences

Faliszewski P., Карпов А. В., Obraztsova S., Autonomous Agents and Multi-Agent Systems 2022 Vol. 36 Article 18

Добавлено: 14 марта 2022 г.

A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential

Кузнецов С. Л., , in: Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th BirthdayIssue 12300.: Cham: Springer, 2020. P. 3–16.

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

The logic of action lattices is undecidable

Кузнецов С. Л., , in: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019).: IEEE, 2019. Ch. 36 P. 1–9.

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

The Nonnegative Rank of a Matrix: Hard Problems, Easy Solutions

Шитов Я. Н., SIAM Review 2017 Vol. 59 No. 4 P. 794–800

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

Horn fragments of the Halpern-Shoham interval temporal logic

Захарьящев М. В., BRESOLIN D., KURUCZ A. и др., , in: ACM Transactions on Computational Logic (TOCL)Vol. 18. Issue 3.: NY: ACM, 2017. P. 1–39.

We investigate the satisfiability problem for Horn fragments of the Halpern-Shoham interval temporal logic depending on the type (box or diamond) of the interval modal operators, the type of the underlying linear order (discrete or dense), and the type of semantics for the interval relations (reflexive or irreflexive). For example, we show that satisfiability of ...

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

Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics

Беклемишев Л. Д., Шамканов Д. С., , in: Liber Amicorum Alberti. A Tribute to Albert Visser.: L.: College Publications, 2016. P. 15–29.

Добавлено: 18 июня 2016 г.

Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.

Lev Beklemishev, Shamkanov D., / Series math "arxiv.org". 2016. No. 1602.05728.

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

Two-sided unification is NP-complete

Захаров В. А., Новикова Т. А., , in: Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series.: Linz: Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014. P. 55–61.

Добавлено: 13 октября 2015 г.

The Current State of Art in Program Obfuscations: Definitions of Obfuscation Security

Zakharov V.A., Kuzurin N. N., Varnovsky N. P. и др., Programming and Computer Software 2015 Vol. 41 No. 6 P. 361–372

Program obfuscation is a semantic-preserving transformation aimed at bringing a program into a form that impedes understanding of its algorithm and data structures or prevents extracting certain valuable information from the text of the program. Since obfuscation may find wide use in computer security, information hiding and cryptography, security requirements to program obfuscators have become ...

Добавлено: 13 октября 2015 г.

Foundations for Decision Problems in Separation Logic with General Inductive Predicates

Antonopoulos T., Gorogiannis N., Haase C. и др., , in: Lecture Notes in Computer Science. 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings.: Berlin: Springer, 2014. Ch. 27 P. 411–425.

Добавлено: 24 марта 2015 г.