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

?

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

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

Под общей редакцией: I. Potapov, P. Spirakis, J. Worrell

From Expanders to Hitting Distributions and Simulation Theorems

Козачинский А. Н., , in: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)Vol. 117.: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018. P. 1–15.

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

One-Sided Error Communication Complexity of Gap Hamming Distance

Klenin E., Козачинский А. Н., , in: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)Vol. 117.: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018. P. 1–15.

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

Plain stopping time and conditional complexities revisited

Пособин Г. И., Shen A., Andreev M., , in: 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)Vol. 117.: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018. P. 1–24.

Добавлено: 11 октября 2018 г.

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

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

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

DOI

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

Ключевые слова: theory of computation

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

О воспроизводимости анализа временных рядов на основе матричных профилей

Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66

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

Добавлено: 9 октября 2026 г.

Теория вероятностей и математическая статистика. Олимпиадные задачи.

ООО "Издательство Юрайт ", 2026.

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

Добавлено: 9 октября 2026 г.

Человеко-машинная система анализа и улучшения качества условий проживания населения

Алескеров Ф. Т., Вайншток А. П., Делахова А. М. и др., Информационные процессы 2026 Т. 26 № 3 С. 895–913

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

Добавлено: 9 октября 2026 г.

Linear dependencies, polynomial factors in the Duke–Erdős forbidden sunflower problem

Kupavskii A., Носков Ф. А., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124

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

Effects of Elevation Changes and Multilevel Structures on Vehicular Signal Propagation

Степанянц В. Г., Andrey V. Fizulin, Chibirov A. и др., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225

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

Modulational Instability and Wave Dynamics in the Rotated Modified Gardner–Whitham Equation

Flamarion M. V., Пелиновский Е. Н., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245

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

Автоматизированное построение математических теорий

Люксембург А. А., УРСС, 2005.

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

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

Automated Ranking of Soybean Plots from Close-Range RGB Video via Depth Filtering and Point-Based Counting

Groshev Maksim, Rybakov Petr, Teterin N. и др., Sensors 2026 Article 6171

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

Decision support system for improving the quality of life of the population

Алескеров Ф. Т., Чайка Е. А., Дерендяев А. Б. и др., Procedia Computer Science 2026 No. 287 P. 590–595

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

Space-Time Fluctuations in a Quasi-static Limit

Бернардан С. Ж., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7

Добавлено: 6 октября 2026 г.

Новые информационные технологии в исследовании сложных структур. Материалы шестнадцатой международной конференции 21–25 Сентября 2026 г.

Томск: Издательство Томского государственного университета, 2026.

Материалы сборника Шестнадцатой Международной конференции «Новые информационные технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на широкий круг специалистов, работающих на стыке теории информации, системного анализа и прикладных предметных областей. В издание вошли результаты исследований, посвящённые моделированию дискретных и стохастических структур управления и связи, разработке высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам цифровой трансформации образования, архитектурно-градостроительного проектирования, экологического ...

Добавлено: 6 октября 2026 г.

To spike or not to spike: the whims of the Wonham filter in the strong noise regime

Бернардан С. Ж., Chhaibi R., Najnudel J. и др., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875

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

Цепная дробь Аски–Вильсона при qN=1

Исмаилов А. Р., Спиридонов В. П., Успехи математических наук 2026 Т. 81 № 5 С. 183–184

Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...

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

A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection

Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.

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

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

Добавлено: 21 августа 2026 г.

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.

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

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 г.