1. 2019
  2. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 50-63 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  3. Will and self-regulation: An interdisciplinary research experience

    Savostyanov, A. N., Stepanova, V. V. & Tolstykh, N. N., 1 янв. 2019, в: Cultural-Historical Psychology. 15, 3, стр. 91-104 14 стр.

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

  4. Движения глаз при чтении предложений с глобальной синтаксической неоднозначностью на английском языке носителями русского языка: эффект имплицитной просодической границы

    Vlasov, M. S., Savostyanov, A. N., Sychev, O. A. & Saprygin, A. E., янв. 2019, в: Вестник Томского государственного университета. 438, стр. 19-29 11 стр.

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

  5. Effectiveness of auditory closed-loop stimulation during sleep on depression

    Danilenko, K., Kobelev, E., Yarosh, S. V., Khazankin, G. R. & Aftanas, L. I., 2019, в: European Neuropsychopharmacology. 29, стр. S69-S70 2 стр.

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

  6. The design of the structure of the software system for processing text document corpus

    Barakhnin, V. B., Kozhemyakina, O. Y., Mukhamediev, R. I., Borzilova, Y. S. & Yakunin, K. O., 2019, в: Business Informatics. 13, 4, стр. 60-72 13 стр.

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

  7. Алгоритм предобработки сигнала импульсного нейтронного гамма-каротажа с учетом статистической зависимости соседних элементов спектра

    Косогова, Н. О. & Власов, А. А., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, стр. 42-52 11 стр.

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

  8. Информационные системы: модели и технологии

    Федотов, А. М., Федотова, О. А. & Самбетбаева, М., 2019, Новосибирск: ИПЦ НГУ. 264 стр.

    Результаты исследований: Книги, отчёты, сборникиучебное пособиеРецензирование

  9. Корреляции выраженности эмоциональных проблем и гиперактивности у детей с компонентами связанного с событием потенциала в oddball-парадигме

    Bocharov, A. V., Knyazev, G. G., Savostyanov, A. N., Tamozhnikov, S. S., Saprygin, A. E., Bairova, N. B. & Slobodskaya, H. R., 2019, в: Zhurnal Vysshei Nervnoi Deyatelnosti Imeni I.P. Pavlova. 69, 3, стр. 314-324 11 стр.

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

  10. Локализация источников активности мозга на его трехмерной модели при помощи совместного анализа данных ЭЭГ/cМРТ

    Быкова, Е. П. & Савостьянов, А. Н., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 18-28 11 стр.

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

  11. Методика автоматического тестирования развивающегося веб-приложения

    Ткачев, А. В. & Иртегов, Д. В., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 93-110 18 стр.

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

ID: 3084753