181 - 200 out of 281Page size: 20
  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 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

    Savostyanov, A. N., Stepanova, V. V. & Tolstykh, N. N., 1 Jan 2019, In: Cultural-Historical Psychology. 15, 3, p. 91-104 14 p.

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  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, In: European Neuropsychopharmacology. 29, p. S69-S70 2 p.

    Research output: Contribution to journal › Meeting Abstract › peer-review

  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, In: Business Informatics. 13, 4, p. 60-72 13 p.

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Book/Report › Teaching manual › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

  19. 2018

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

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

    Research output: Patent › Software registration

  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 Dec 2018, In: Brain Research. 1701, p. 1-17 17 p.

    Research output: Contribution to journal › Article › peer-review

  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 Nov 2018, In: Journal of Physics: Conference Series. 1117, 1, 012003.

    Research output: Contribution to journal › Conference article › peer-review

Previous 1...6 7 8 9 10 11 12 13 ...15 Next

ID: 3084753