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 стр.

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

  12. Проектирование информационной системы представления результатов комплексного анализа поэтических текстов

    Барахнин, В. Б., Kozhemyakina, O. Y. & Борзилова, Ю. С., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, стр. 5-17 13 стр.

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

  13. Разработка автоматизированных методов представления знаний о действиях и ситуациях

    Ненашева, Е. О. & Пальчунов, Д. Е., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 61-72 12 стр.

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

  14. Разработка методов интеграции автоматических средств логического вывода для порождения знаний в онтологической модели

    Капустина, А. И. & Пальчунов, Д. Е., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 29-42 14 стр.

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

  15. Разработка методов семантического поиска в Интернете, основанных на древовидных лингвистических шаблонах

    Филиппов, И. И., Пальчунов, Д. Е. & Степанов, П. А., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 111-122 12 стр.

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

  16. Разработка программных средств прозрачного удаленного доступа к технологическим параметрам бурения и данным скважинной телеметрической системы в условиях нестабильной связи

    Литвинов, В. С., Власов, А. А. & Teitelbaum, D. V., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, стр. 101-113 13 стр.

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

  17. Разработка ядра онтологической модели, настраиваемой под предметную область

    Найданов, Ч. А., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, стр. 72-81 10 стр.

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

  18. Системы автоматизированной оценки заданий по программированию: разработка, использование и перспективы

    Иртегов, Д. В., Нестеренко, Т. В. & Чурина, Т. Г., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, стр. 61-73 13 стр.

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

  19. 2018
  20. Программная система OntoDef

    Пальчунов, Д. Е. & Корсун, И. А., 25 дек. 2018, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2018666936, Дата приоритета 14 дек. 2018, № приоритета 2018664450

    Результаты исследований: Патенты/Свидетельства о регистрациисвидетельство о регистрации программы для ЭВМ

  21. Resting heart rate variability in young women is a predictor of EEG reactions to linguistic ambiguity in sentences

    Liou, M., Hsieh, J. F., Evans, J., Su, I. W., Nayak, S., Lee, J. D. & Savostyanov, A. N., 15 дек. 2018, в: Brain Research. 1701, стр. 1-17 17 стр.

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

  22. The algorithms for complex analysis of the corpuses of poetic texts in the Kazakh language

    Barakhnin, V. B., Kozhemyakina, O. Y., Bakiueva, A. M. & Sodboev, M. K., 27 нояб. 2018, в: Journal of Physics: Conference Series. 1117, 1, 012003.

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

ID: 3084753