?
Operational Aspects of C/C++ Concurrency
Подкопаев А. В., Sergey I., Nanevski A.
Ключевые слова: Weak Memory Models
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 2026 г.
Стогниева О. Н., Чеснокова Н. Е., Отечественная и зарубежная педагогика 2026 Т. 1 № 3 (115) С. 123–131
Внедрение генеративных инструментов искусственного интеллекта в образовательную практику актуализирует проблему педагогически обоснованного использования данных технологий при создании образовательного видеоконтента, который всё чаще применяется в языковом и профессионально-ориентированном обучении.
Цель статьи — провести сравнительный анализ образовательного видеоконтента, созданного с применением генеративных ИИ-инструментов, с позиций теории когнитивной нагрузки и принципов педагогического дизайна, а также выявить дидактические условия повышения ...
Добавлено: 20 июня 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 г.
Поддьяков А. Н., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Добавлено: 18 июня 2026 г.
Beznosikov A., Kormakov G., Grigorievskiy A. и др., Journal of Optimization Theory and Applications 2026 Vol. 209 Article 18
Добавлено: 17 июня 2026 г.
Chertenkov V. I., Щур Л. Н., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 2 P. 720–727
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Добавлено: 16 июня 2026 г.
Novopoltsev M., Tulenkov A., Murtazin R. и др., IEEE Access 2025 Vol. 13 P. 188170–188181
Добавлено: 16 июня 2026 г.
Stepin A., Mozikov M., Kabanov A. и др., IEEE Access 2026 Vol. 14 P. 48127–48144
Добавлено: 16 июня 2026 г.
Abdullaeva I., Karpukhin I., Filatov A. и др., IEEE Access 2026 Vol. 14 P. 59390–59408
Добавлено: 16 июня 2026 г.
Association for Computational Linguistics, 2026.
Добавлено: 14 июня 2026 г.
Алексашина А. О., Русских С. В., Тырановец С. В. и др., Менеджер здравоохранения 2026 № 4 С. 53–60
В связи с ростом распространённости нарушений углеводного обмена у беременных необходим валидированный инструмент для оценки компетенций врачей, участвующих в мультидисциплинарном ведении данной патологии. Цель исследования: комплексная валидация авторской методики (опросника) для оценки профессионального потенциала врачей-эндокринологов, акушеров-гинекологов и терапевтов, курирующих беременных с нарушениями углеводного обмена. Материалы и методы. Проведено методологическое исследование по валидации диагностического инструмента в ...
Добавлено: 11 июня 2026 г.
Strube M., Braud C., Hardmeier C. и др., Suzhou: Association for Computational Linguistics, 2025.
Добавлено: 11 июня 2026 г.
Добавлено: 10 июня 2026 г.
Моисеенко Е. А., Подкопаев А. В., Кознов Д. В., Programming and Computer Software 2021 Vol. 47 No. 6 P. 439–456
Добавлено: 2 февраля 2022 г.
Lahav O., Namakonov E., Oberhauser J. и др., Proceedings of the ACM on Programming Languages 2021 Vol. 5 No. OOPSLA Article 98
Добавлено: 2 февраля 2022 г.
Watt C., Pulte C., Подкопаев А. В. и др., , in: PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation.: NY: Association for Computing Machinery (ACM), 2020. P. 346–361.
Добавлено: 19 августа 2020 г.
Подкопаев А. В., Lahav O., Vafeiadis V., , in: 31st European Conference on Object-Oriented Programming, {ECOOP} 2017Vol. 74.: Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017. Ch. 22 P. 1–28.
Добавлено: 24 декабря 2018 г.