?
Formal Modeling and Analysis of Timed Systems
Vol. 9884.
Switzerland :
Springer, 2016.
Под общей редакцией: M. Fränzle, N. Markley
Главы книги
Дворянский Л. В., , in: Formal Modeling and Analysis of Timed SystemsVol. 9884.: Switzerland: Springer, 2016. Ch. 1 P. 3–18.
Добавлено: 13 сентября 2016 г.
Приоритетные направления:
компьютерно-математическое
Язык:
английский
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Rossi P., Letters in Mathematical Physics 2024 Vol. 114 Article 97
Добавлено: 23 июня 2026 г.
We prove that the cohomology classes of the moduli spaces of residueless meromorphic differentials, ie the closures, in the moduli space of stable curves, of the loci of smooth curves whose marked points are the zeros and poles of prescribed orders of a meromorphic differential with vanishing residues, form a partial cohomological field theory (CohFT) of ...
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Труды Математического института им. В.А. Стеклова РАН 2024 Т. 325 С. 26–66
Основная цель работы -- показать, что DR-иерархии, введенные автором в более ранней работе, позволяют наиболее ясно установить связь между топологией компактификации Делиня-Мамфорда пространства модулей гладких алгебраических кривых рода g с n отмеченными точками и интегрируемыми системами математической физики. Также обсуждается перспективный подход, даваемый теорией DR-иерархий, к решению общей проблемы в области гипотез виттеновского типа, а именно к доказательству существования иерархии Дубровина-Чжана ...
Добавлено: 23 июня 2026 г.
Atlasov B., Сельский А. К., Russian Journal of Information Technology in Sports 2025 Vol. 2 No. 1 P. 13–21
В статье рассматривается текущее состояние глобального рынка технологий виртуальной и дополненной реальности (VR/AR) в спорте, отмечается его рост, хотя и более медленный, чем ожидалось ранее. Особое внимание уделено российскому рынку, где развитие VR-технологий в спорте отстает от мировых лидеров, таких как США, страны ЕС и Китай, но при этом имеет значительный потенциал для роста. Проведен ...
Добавлено: 23 июня 2026 г.
IEEE, 2026.
Добавлено: 23 июня 2026 г.
Добавлено: 22 июня 2026 г.
Herbert A., Cherednichenko O., Lybrand T. и др., International Journal of Molecular Sciences 2025 Vol. 26 No. 6 Article 2422
Добавлено: 22 июня 2026 г.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Джанбекова А. Р., Шведов А. С., Математическое моделирование 2026 Т. 38 № 3 С. 159–176
Краевые задачи для уравнения Блэка–Шоулза с частными производными, описывающего стоимость финансового инструмента, могут содержать условие на свободной границе, если предусмотрена возможность раннего исполнения финансового инструмента. В настоящей статье рассматриваются краевые задачи со свободной границей для уравнения Блэка–Шоулза и уравнения конвекции-диффузии. Для уравнения конвекции-диффузии представлена разностная схема, являющаяся обобщением известной разностной схемы второго порядка точности на ...
Добавлено: 20 июня 2026 г.
Стогниева О. Н., Чеснокова Н. Е., Отечественная и зарубежная педагогика 2026 Т. 1 № 3 (115) С. 123–131
Внедрение генеративных инструментов искусственного интеллекта в образовательную практику актуализирует проблему педагогически обоснованного использования данных технологий при создании образовательного видеоконтента, который всё чаще применяется в языковом и профессионально-ориентированном обучении.
Цель статьи — провести сравнительный анализ образовательного видеоконтента, созданного с применением генеративных ИИ-инструментов, с позиций теории когнитивной нагрузки и принципов педагогического дизайна, а также выявить дидактические условия повышения ...
Добавлено: 20 июня 2026 г.
We give a natural definition of open Hurwitz numbers, where the weight of each ramified covering includes an integer parameter N taken to the power that is equal to the number of boundary components of a Riemann surface with boundary mapping to . We prove that the resulting sequence of partition functions, depending on , is a tau-sequence of ...
Добавлено: 19 июня 2026 г.
Буряк А. Ю., Rossi P., Communications in Mathematical Physics 2025 Vol. 406 Article 205
Of the two approaches to integrable systems associated to semisimple cohomological field theories (CohFTs), the one suggested by Dubrovin and Zhang and the more recent one using the geometry of the double ramification (DR) cycle, the second has the advantage of being very explicit. The Poisson operator of the DR hierarchy is , where is the metric ...
Добавлено: 19 июня 2026 г.
Cherednichenko O., Herbert A., Попцова М. С., Computational and Structural Biotechnology Journal 2025 Vol. 27 P. 992–1000
Добавлено: 19 июня 2026 г.
Анненков А. Н., Нестеров Р. А., Моделирование и анализ информационных систем 2026 Т. 33 № 2 С. 176–205
Декларативные модели процессов широко используются в process mining для гибкого описания поведения
процессов с помощью наборов ограничений. Однако модели, автоматически извлекаемые из журналов событий, могут содержать несогласованные ограничения, что затрудняет их интерпретацию и делает их непригодными для исполнения, проверки соответствия или дальнейшего анализа. Существующие методы анализа согласованности либо опираются на автоматные конструкции с высокой асимптотической сложностью ...
Добавлено: 18 июня 2026 г.
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.