Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings. Val. 8614.

?

Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

Vol. 8614. Берлин : Springer, 2014.

Научный редактор: A. Okhotin, H. Jurgensen, J. Karhumaki

Верещагин Н. К., , in: Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. ProceedingsVol. 8614.: Berlin: Springer, 2014. P. 29–41.

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

Приоритетные направления: математика

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

Ключевые слова: formal systems

Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings

Bifurcations and Structural Stability of Generic PC-HC Families

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

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

On the minimum number of maximal distance-k independent sets in trees

Талецкий Д. С., / Series arXiv "math". 2026.

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

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Овчаренко М. А., / Series arXiv "math". 2026.

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

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.

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

On the dimension of the space of static potentials on three-manifolds

Медведев В. О., / Series arXiv "math". 2026.

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

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

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

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

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

Homogeneous maximizers of the Blaschke-Santalo-type functionals

Колесников А. В., / Series arXiv "math". 2025.

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

On finding formal power-logarithmic expansions of solutions to q-difference equations

Гаянов Н. В., Парусникова А. В., / Cornell University. Серия math "arxiv.org". 2025.

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

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

Ideal of the variety of flexes of plane cubics

Попов В. Л., / Series arXiv "math". 2025. No. 2502.01539.

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

Random walks on rank one symmetric spaces of noncompact type

Гнетов Ф. А., Конаков В. Д., / Series arXiv "math". 2025. No. 2512.04667.

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

Cascades of Lorenz attractors in the Shimizu-Morioka model

Казаков А. О., Корякин В. А., Сафонов К. А. и др., / Series arXiv "math". 2025.

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

Асимптотический вариант метода параметрикс для цепей Маркова, сходящихся к диффузиям

Биттер И. И., Конаков В. Д., / Cornell University. Серия arXiv "math". 2025. № 2505.24548.

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

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

Stabilization of direct images for curves

Богомолов Ф. А., Schrandt S., / Series arXiv "math". 2025.

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

Upper Bounds on the Torsion Index of Half-Spin Groups

Девятов Р. А., Baek S., / Series arXiv "math". 2025.

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

Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset

Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.

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

Birational transformations of threefold Q-conic bundles

Прохоров Ю. Г., / Series arXiv "math". 2025.

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

Birational geometry of hyperkahler manifolds and the Hu-Yau conjecture

Америк Е. Ю., Verbitsky M., Soldatenkov A., / Series arXiv "math". 2025.

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

Descriptional Complexity of Formal Systems. 26th IFIP WG 1.02 International Conference, DCFS 2025 Loughborough, UK, July 22–24, 2025. Proceedings

Springer, 2025.

Добавлено: 24 августа 2025 г.

On the Complexity of Verification of Time-Sensitive Distributed Systems. Protocols, Strands, and Logic 2021: 251-275

Канович М. И., Kirigin T. B., Nigam V. и др., , in: Protocols, Strands, and Logic Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday.: Switzerland: Springer, 2021. P. 251–275.

Добавлено: 6 февраля 2022 г.

Protocols, Strands, and Logic Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Канович М. И., Kirigin T. B., Nigam V. и др., Switzerland: Springer, 2021.

Добавлено: 6 февраля 2022 г.

Subexponentials in non-commutative linear logic

Канович М. И., Кузнецов С. Л., Nigam V. и др., , in: Mathematical Structures in Computer ScienceVol. 29. Issue 8.: Cambridge University Press, 2019. P. 1217–1249.

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

Mathematical Structures in Computer Science

Канович М. И., Кузнецов С. Л., Щедров А. и др., Cambridge University Press, 2019.

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

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

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

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

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