Профиль организации

Стратегические академические единицы

  • Информационные и гуманитарные технологии представления знаний в образовательных системах

Fingerprint Узнайте самые подробные результаты анализа активности Кафедра программирования ММФ. Указанные в этом разделе метки относятся к работам этих участников организации. Вместе они формируют уникальную картину его активности.

  • Сеть Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.

    Результат исследований

    • 15 статья в сборнике материалов конференции
    • 10 статья
    • 10 статья по материалам конференции
    • 2 глава/раздел

    An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сен 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Automatic text summarization based on syntactic links

    Yerimbetova, A. S., Batura, T. V., Murzin, F. A. & Sagnayeva, S. K., 1 янв 2020, В : CEUR Workshop Proceedings. 2570

    Результат исследования: Научные публикации в периодических изданияхстатья по материалам конференции

  • Matching of authors and publications in multilingual bibliographic knowledge bases

    Apanovich, Z., 1 янв 2020, В : CEUR Workshop Proceedings. 2543, стр. 26-37 12 стр.

    Результат исследования: Научные публикации в периодических изданияхстатья по материалам конференции

  • Упоминания в прессе / СМИ

    «Лето информатики в России» прошло в НГУ

    Денис Константинович Пономарев

    11.07.2019

    1 элемент из Освещение в средствах информации

    Пресса/СМИ: Новостная публикация

    Дипломные работы студентов

    A Music Generation System Based on Machine Learning / Система генерации музыки на основе машинного обучения

    Автор: Прокопчик, К. В., 30 июн 2018

    Руководитель: Павловский, Е. Н. (Научный руководитель)

    Диссертация студента: Выпускная квалификационная работаВКР магистра

    Biometric personal identification system based on patterns created by network traffic analysis

    Автор: Начын, А. О., 30 июн 2018

    Руководитель: Павловский, Е. Н. (Научный руководитель) & Хазанкин, Г. Р. (Научный руководитель)

    Диссертация студента: Выпускная квалификационная работаВКР магистра

    Generating high quality synthetic speech using GAN as vocoder post-processing

    Автор: Шэн, Л., июн 2019

    Руководитель: Павловский, Е. Н. (Научный руководитель)

    Диссертация студента: Выпускная квалификационная работаВКР магистра