Concurrency, Specification and Programming. CS&P’2012. Berlin, September 26 – September 28, 2012. Volume 2.. Val. 2

?

Concurrency, Specification and Programming. CS&P’2012. Berlin, September 26 – September 28, 2012. Volume 2.

Vol. 2. Issue 225. Берлин : Берлинский университет имени Гумбольдта, 2012.

Научный редактор: Popova-Zeugmann L.

Эти двухтомные материалы содержат тексты докладов, представленных на CSP 2012 (21-й международный семинар по Параллелизму, Спецификации и Программированию), который проходил 26-28 сентября 2012 г. в Берлине.

Программа Семинара включала 73 участника из 10 стран.

Analyzing Web Service Resource Compatibility

Ломазова И. А., Романов И. В., , in: Concurrency, Specification and Programming. CS&P’2012. Berlin, September 26 – September 28, 2012. Volume 2.Vol. 2. Issue 225.: Berlin: Humboldt University of Berlin, 2012. P. 239–250.

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

Добавлено: 19 ноября 2012 г.

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

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

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

Ключевые слова: математические проблемы искусственного интеллекта общетеоретические вопросы программирования абстрактные машины теоретические основы системного программного обеспечения

Concurrency, Specification and Programming. CS&P’2012. Berlin, September 26 – September 28, 2012. Volume 2.

Positive recurrence of a solution of an SDE with variable switching intensities

Веретенников А. Ю., Stochastics and Partial Differential Equations: Analysis and Computations 2022 Vol. 10 P. 1165–1179

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

An open problem about the rate of convergence in Erlang-Sevastyanov’s model

Веретенников А. Ю., Queueing Systems 2022 Vol. 100 No. 3-4 P. 357–359

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

Dynamical origin of extreme events in mutually coupled and networked Brusselator

Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 No. 1 P. 014217–014217

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

Matrix Kadomtsev—Petviashvili Hierarchy and Spin Generalization of Trigonometric Calogero—Moser Hierarchy

Прокофьев В. В., Забродин А. В., Proceedings of the Steklov Institute of Mathematics 2020 Vol. 309 P. 225–239

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

Elliptic solutions to the KP hierarchy and elliptic Calogero–Moser model

Прокофьев В. В., Забродин А. В., Journal of Physics A: Mathematical and Theoretical 2021 Vol. 54

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

Elliptic solutions of the Toda lattice hierarchy and the elliptic Ruijsenaars–Schneider model

Прокофьев В. В., Забродин А. В., Theoretical and Mathematical Physics 2021 Vol. 208 P. 1093–115

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

Тау-функция иерархии Тоды типа B

Прокофьев В. В., Забродин А. В., Теоретическая и математическая физика 2023 Т. 217 № 2 С. 299–316

Продолжено изучение иерархии B-Тоды (решетки Тоды со связью типа B), которую можно рассматривать как дискретизацию иерархии Кадомцева–Петвиашвили типа B. Вводится тау-функция для иерархии B-Тоды и получены билинейные уравнения для нее. В явном виде даны примеры солитонных тау-функций. ...

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

Tencent и Open Source. Как относится к открытому ПО самый дорогой бренд Китая?

Силаков Д. В., Системный администратор 2026 № 5 С. 46–51

В предыдущей статье про Open Source в КНР [1] мы рассказали про Alibaba – крупную корпорацию, занимающую тридцатое место в рейтинге самых значимых мировых брэндов за 2025 год [2]. Место почетное, но не первое среди китайских компаний – на тринадцатом месте расположилась Tencent, разработчик WeChat и ряда других продуктов, широко используемых нашими восточными соседями. Tencent ...

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

2026 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)

IEEE, 2026.

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

Mathematical Optimization Theory and Operations Research, 25th International Conference, MOTOR 2026 Irkutsk, Russia, July 6–11, 2026 Proceedings

Switzerland: Springer, 2026.

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

Задачи бесконечной регулярной реализуемости

Шиманогов И. Н., Вялый М. Н., Дискретный анализ и исследование операций 2025 Т. 32 № 4 С. 213–230

Хорошо изученным классом алгоритмических задач являются задачи регулярной реализуемости: проверка непустоты пересечения регулярного языка с заданным языком. Данная задача имеет естественную алгебраическую интерпретацию: проверка принадлежности элемента булевой алгебры ядру определенного гомоморфизма. Это мотивирует рассмотрение аналогичной задачи бесконечной регулярной реализуемости: проверка бесконечности пересечения регулярного языка с заданным. В работе рассматриваются задачи регулярной реализуемости для разрешимых языков ...

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

Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables

Рыбаков М. Н., Annals of Pure and Applied Logic 2026 Vol. 177 Article 103811

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

Statistical inference based on band-limited kernels: Rational-infinitely divisible distributions and beyond

Панов В. А., Рябченко А. П., / Series arXiv "stat.ME". 2026. No. 2607.05048.

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

Improving Differential Equation Solving in Compact Language Models via Activation Steering and Reinforcement Learning

Сурков А. Ю., Игнатенко В. В., Koltcov Sergei, Computers, Materials and Continua 2026

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

Computational Science and Its Applications – ICCSA 2026 Workshops

Springer, 2027.

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

Conference Proceedings: 2026 IEEE Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT), 14-15 May 2026

IEEE, 2026.

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

Моделирование специализированных алгоритмов маршрутизации в сетях на кристалле, представленных сериями семейств циркулянтных топологий

Маликов М. А., Монахова Э. А., Рзаев Э. Р. и др., Ученые записки Казанского университета. Серия: Физико-математические науки 2026 Т. 168 № 2 С. 269–286

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

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

Algorithmic overlaps as thermodynamic variables: From local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 114 No. 1 Article 014101

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

Strong Approximations for Markov Chains Weakly Converging to Diffusions

Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.

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

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