Учебные курсы – Формальные методы валидации и верификации моделей 2025 и 2026 учебного года – Кафедра информационных систем и технологий (Нижний Новгород) – Национальный исследовательский университет «Высшая школа экономики»

A
A
A

АБB
АБB
АБB

А
А
А
А
А

Обычная версия сайта

Расширенный поиск по сайту

Кафедра информационных систем и технологий (Нижний Новгород)

Факультет информатики, математики и компьютерных наук (Нижний Новгород)

Кафедра информационных систем и технологий (Нижний Новгород)

Кафедра
- О кафедре
- Образовательная деятельность
  - Образовательная программа «Бизнес-информатика»
    
    Магистерская программа «Бизнес-информатика»
    
    Бакалаврская программа «Бизнес-информатика»
- Учебные курсы
- Исследовательские проекты и гранты
- Публикации
- Наши партнеры
- Сотрудники
- Преподавателям
  - SmartLMS - взаимодействие со студентами по дисциплине
    
    Вход в SmartLMS
  - СЭВ - сервис электронных ведомостей
    
    Вход в СЭВ
  - ПУД 2.0 - Программа учебных дисциплин
    
    Вход в ПУД 2.0
  - Информация по учебному году
    
    Справочник преподавателя

Асеева Наталья Владимировна

Заведующий кафедрой – Асеева Наталья Владимировна

E-mail: naseeva@hse.ru

Осипова Анастасия Ивановна

Менеджер – Осипова Анастасия Ивановна

E-mail: aiosipova@hse.ru

603093 Н.Новгород,ул. Родионова, 136

603095 Н.Новгород,ул. Львовская, 1В

603155 Н.Новгород,ул. Б.Печерская, д.25/12

Публикации

Книга

Cultural Perspectives of Human-Centered and Technological Innovations: First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27–28, 2024, Proceedings

Taratukhin V., Levchenko A.

Springer, 2025.

Статья

SensorDBSCAN: Semi-Supervised Active Learning Powered Method for Anomaly Detection and Diagnosis

Ivanov P., Shtark M., Kozhevnikov A. et al.

IEEE Access. 2025. Vol. 13. P. 25186-25197.

Глава в книге

Business Applications of Machine Learning Within the “Industry 4.0” Concept

Lapshina A., Pavel Malyzhenkov, Masi M.

In bk.: Information Systems for Intelligent Systems. Proceedings of ISBM 2024, Volume 1. Vol. 1: Proceedings of ISBM 2024. Springer, 2025. Ch. 9. P. 93-103.

Препринт

DAREL: Data Reduction with Losses for Training Acceleration of Real and Hypercomplex Neural Networks

Demidovskij A., Трутнев А. И., Тугарев А. М. et al.

NeurIPS 2023 Workshop. ZmuLcqwzkl. OpenReview, 2023

Все публикации

Кто читает:: Кафедра информационных систем и технологий (Нижний Новгород) (Факультет информатики, математики и компьютерных наук (Нижний Новгород))

Статус:: Курс обязательный

Когда читается:: 2-й курс, 2 модуль

Преподаватель

Бабкин Эдуард Александрович

Бабкин Эдуард Александрович

Задать вопрос

Аннотация

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