?
On the Complexity of Pointer Arithmetic in Separation Logic.
P. 329–349.
Brotherston J., Канович М. И.
Язык:
английский
NY: Association for Computing Machinery (ACM), 2026.
Добавлено: 23 апреля 2026 г.
Алматы: Институт информационных и вычислительных технологий КН МНВО РК, 2024.
В сборнике опубликованы доклады, представленные учеными от Республики Казахстан, Российской Федерации, Латвии, Польши, Республики Белорусь, Японии, Ирана, Малайзии, Кыргызской Республики, Республики Узбекистан и других.
Рассмотрены актуальные вопросы в области математики, информатики и управления: математического моделирования сложных систем и бизнес-процессов, исследования и разработки защищенных и интеллектуальных информационных и телекоммуникационных технологий, математической теории управления, технологий искусственного интеллекта.
Материалы сборника ...
Добавлено: 3 марта 2026 г.
Объедков С. А., Switzerland: Springer, 2024.
Добавлено: 23 января 2026 г.
Singapore: Springer, 2024.
Добавлено: 6 ноября 2025 г.
Kulya M., Пусев Р. С., Moskvitin D., , in: 2025 International Russian Smart Industry Conference (SmartIndustryCon).: Sochi: IEEE, 2025. P. 83–88.
Добавлено: 19 мая 2025 г.
Switzerland: Springer, 2025.
Добавлено: 29 апреля 2025 г.
Springer Publishing Company, 2022.
Добавлено: 28 февраля 2025 г.
Springer, 2024.
Добавлено: 28 января 2025 г.
Springer, 2024.
Добавлено: 23 октября 2024 г.
Baixeries J., D.I. Ignatov, S.O. Kuznetsov и др., Automation and Remote Control 2024 Vol. 85 No. 3 P. 259–261
Добавлено: 14 мая 2024 г.
Amirdjanov G. P., Gurevich I. B., Kostyuk F. V. и др., Pattern Recognition and Image Analysis 2023 Vol. 33 No. 4 P. 988–1049
Добавлено: 13 марта 2024 г.
IEEE, 2022.
Добавлено: 5 марта 2024 г.
Плаксин М. А., В кн.: Методы и технологии обучения в вузе в условиях цифровой трансформации образования. Сборник статей по материалам Всероссийской (с международным участием) научно-методической конференции.: Пермь: Пермский государственный национальный исследовательский университет, 2023. С. 735–740.
Рассматривается роль деловых игр в учебном процессе. Деловые игры позволяют дешево и быстро получить практический опыт, продемонстрировать смысл теоретических понятий. По сравнению с реальным производственным процессом деловые игры позволяют повторить учебные действия многократно, рассмотреть возможные отклонения от нормы, чрезвычайные ситуации. Описывается применение деловых игр в учебном процессе студентов компьютерных специальностей: учебные судебные процессы, проводящиеся при ...
Добавлено: 29 февраля 2024 г.
Воронова К. Д., Плаксин М. А., В кн.: Актуальные проблемы математики, механики и информатики 2022: Сборник статей по материалам студенческой конференции (г. Пермь, ПГНИУ, 25 мая – 10 июня 2022 г.).: Пермь: ПГНИУ, 2022. С. 25–29.
Бурное развитие параллельных вычислительных технологий делает актуальным включение пропедевтики параллельных вычислений в школьный курс информатики. Поскольку эта тема еще не вошла в школьную программу, сделать это можно через внеурочную деятельность, в частности, через Интернет-конкурсы. С 2013 г. задания на параллельные вычисления стали обязательной частью конкурса «ТРИЗформашка». Среди них всегда есть задания на исполнение и составление ...
Добавлено: 29 февраля 2024 г.
И. Сафило, Тихонович Д., Петров А. и др., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 2 С. 333–342
Мы представляем новый датасет для построения рекомендаций фильмов и сериалов, собранный на основе данных реальных пользователей платформы потокового вещания фильмов и сериалов МТС Kion. В отличие от других популярных датасетов для рекомендаций фильмов, таких как MovieLens или Netflix, наш датасет основан на неявных взаимодействиях, полученных во время просмотров контента пользователями, а не на явных оценках, ...
Добавлено: 13 февраля 2024 г.
Berlin: Springer, 2023.
Добавлено: 23 ноября 2023 г.
Cham: Springer, 2023.
Добавлено: 19 августа 2023 г.
Association for Computing Machinery (ACM), 2023.
Добавлено: 2 апреля 2023 г.
Dordrecht: Atlantis Press, 2022.
Добавлено: 18 февраля 2023 г.
St. Petersburg: Springer, 2022.
Добавлено: 9 декабря 2022 г.