281 - 290 из 634Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. Bar-Hillel Theorem Mechanization in Coq

    Bozhko, S., Khatbullina, L. & Grigorev, S., 2019, Logic, Language, Information, and Computation : 26th International Workshop, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (ред.). Berlin, Heidelberg: Springer Nature, стр. 264-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11541 LNCS).

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

  3. Improved Architecture of Artificial Neural Network for Secondary Structure Analysis

    Grigorev, S. & Lunina, P., 2019, в: BMC Bioinformatics. 20, S17, P2.

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

  4. «SHARENTING» — как угрозообразующее поведение к социоинженерным атакам

    Хлобыстова, А. О., 2019, стр. 452-454. 3 стр.

    Результаты исследований: Материалы конференций › тезисы › Рецензирование

  5. Дискретная постановка задачи о сложности вычисления расстояния между Хаусдорфовыми пространствами

    Косовская, Т. М. & Косовский, Н. Н., 2019, Материалы XIII Международного семинара «ДИСКРЕТНАЯ МАТЕМАТИКА И ЕЕ ПРИЛОЖЕНИЯ» имени академика О. Б. ЛУПАНОВА. Москва, стр. 126-129

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

  6. Методы наибольшего правдоподобия в выявлении траекторий социоинженерных атак и скомпрометированных пользователей информационных систем: модели, алгоритмы, программная реализация

    Хлобыстова, А. О., 2019, XXIV САНКТ-ПЕТЕРБУРГСКАЯ АССАМБЛЕЯ МОЛОДЫХ УЧЕНЫХ И СПЕЦИАЛИСТОВ: сборник тезисов конференции. СПб., стр. 160-161

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

  7. ОБУЧЕНИЕ СТУДЕНТОВ ИСПОЛЬЗОВАНИЮ МЕТОДА ГАУССА ДЛЯ ЦЕЛОЧИСЛЕННЫХ МАТРИЦ ПРИ РЕАЛИЗАЦИИ НА КОМПЬЮТЕРЕ

    Косовская, Т. М., 2019, в: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 3, стр. 90-95 6 стр.

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

  8. ОСОБЕННОСТИ ДИАГНОСТИКИ РАССЛОЕНИЯ МЕТАЛЛА В СОСУДАХ ДАВЛЕНИЯ С ИСПОЛЬЗОВАНИЕМ АКУСТИКО-ЭМИССИОННОГО И УЛЬТРАЗВУКОВЫХ МЕТОДОВ НЕРАЗРУШАЮЩЕГО КОНТРОЛЯ

    Гомера, В. П., Растегаев, И. А., Нефедьев, Е. Ю. & Григорьева, А. В., 2019, в: СОВРЕМЕННОЕ МАШИНОСТРОЕНИЕ. НАУКА И ОБРАЗОВАНИЕ. 8, стр. 405-423 18 стр.

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

  9. Подход к анализу социального графа сотрудников компании с целью повышения уровня защищённости информационной системы от СИА

    Хлобыстова, А. О. & Абрамов, М. В., 2019.

    Результаты исследований: Материалы конференций › тезисы › Рецензирование

  10. ПРИМЕНЕНИЕ МЕТОДА АКУСТИЧЕСКОЙ ЭМИССИИ ДЛЯ ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ ОБНАРУЖЕНИЯ РАССЛОЕНИЯ В МЕТАЛЛЕ СОСУДОВ, РАБОТАЮЩИХ В СРЕДЕ ВОДОРОДОСОДЕРЖАЩЕГО ГАЗА

    Григорьева, А. В., Растегаев, И. А., Гомера, В. П., Тюпин, С. А. & Смирнов, А. Д., 2019, в: КОНТРОЛЬ. ДИАГНОСТИКА. 4(250), стр. 4-11 8 стр.

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

  11. Ранжирование траекторий распространения СИА в зависимости от ожидаемого ущерба

    Хлобыстова, А. О., 2019.

    Результаты исследований: Материалы конференций › тезисы › Рецензирование

Назад 1...25 26 27 28 29 30 31 32 ...64 Далее

ID: 30313