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, в: Журнал высшей нервной деятельности им. И. П. Павлова. 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.

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

  23. The connection between the resting-state EEG and the allelic polymorphism of serotonin transporter (5-HTTLPR) among Yakuts and Russians

    Savostyanov, A., Tamozhnikov, S., Karpova, A., Saprygin, A., Bazovkina, D. & Proshina, E., 26 нояб. 2018, 11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 78-80 3 стр. 8544742. (11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings).

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

  24. The effect of 5-HTTLPR on EEG reactions among Yakuts and Russians during the recognition of emotionally colored verbal stimuli

    Ayusheeva, T., Tamozhnikov, S., Karpova, A., Saprygin, A., Borisova, N. & Savostyanov, A., 26 нояб. 2018, 11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 124-126 3 стр. 8544755. (11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings).

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

  25. Parametric hash function resistant to attack by quantum computer

    Krendelev, S. & Sazonova, P., 26 окт. 2018, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018. Ganzha, M., Maciaszek, L. & Paprzycki, M. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 387-390 4 стр. 8511285. (Federated Conference on Computer Science and Information Systems).

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

  26. Test–retest reliability of a social interaction task

    Merkulova, E., Savostyanov, A., Bocharov, A., Proshina, E. & Knyazev, G., 22 окт. 2018, в: Behavioral Sciences. 8, 10, 19 стр., 97.

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

  27. Effect of 5-HTTLPR on current source density, connectivity, and topological properties of resting state EEG networks

    Proshina, E. A., Savostyanov, A. N., Bocharov, A. V. & Knyazev, G. G., 15 окт. 2018, в: Brain Research. 1697, стр. 67-75 9 стр.

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

  28. Effect of cultural priming on social behavior and EEG correlates of self-processing

    Knyazev, G. G., Merkulova, E. A., Savostyanov, A. N., Bocharov, A. V. & Saprigyn, A. E., 8 окт. 2018, в: Frontiers in Behavioral Neuroscience. 12, стр. 236 9 стр., 236.

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

  29. Steps of the Giant Terahertz Photoconductance of a Tunneling Point Contact

    Tkachenko, O. A., Tkachenko, V. A., Baksheev, D. G. & Kvon, Z. D., 1 сент. 2018, в: JETP Letters. 108, 6, стр. 396-401 6 стр.

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

  30. Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis

    Aleksandrova, S. A., 1 сент. 2018, в: Siberian Mathematical Journal. 59, 5, стр. 763-767 5 стр.

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

  31. Therapeutic auditory stimulation during sleep in depression: preliminary findings

    Kobelev, E., Danilenko, K. V., Yarosh, S. V., Khazankin, G. R. & Aftanas, L. I., сент. 2018, в: Journal of Sleep Research. 27, 1 стр.

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

  32. A system for remote recognition of emotions from a facial expression //Cognitive Sciences, Genomics and Bioinformatics (CSGB-2018)

    Хазанкин, Г. Р., Малинин, А. Н. & Шмаков, И. С., 20 авг. 2018, COGNITIVE SCIENCES, GENOMICS AND BIOINFORMATICS (CSGB-2018): Symposium. Abstracts. Новосибирск: Институт цитологии и генетики СО РАН, стр. 13 1 стр.

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

  33. Программная система ИТОС

    Яхъяева, Г. Э., Баталин, К. В., Мамеев, Н. С., Попова, К. Ю. & Рыжаков, И. Д., 2 авг. 2018, Роспатент - Федеральная служба по интеллектуальной собственности, Патент/Св-во № 2018619260, Дата приоритета 7 июн. 2018, № приоритета 2018615814

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

  34. Task-positive and task-negative networks in major depressive disorder: A combined fMRI and EEG study

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V., Brak, I. V., Osipov, E. A., Filimonova, E. A., Saprigyn, A. E. & Aftanas, L. I., 1 авг. 2018, в: Journal of Affective Disorders. 235, стр. 211-219 9 стр.

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

  35. Семантический подход к моделированию фонда оценочных средств

    Яхъяева, Г. Э. & Абсайдульева, А. Р., июн. 2018, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 16, 2, стр. 113-121 9 стр.

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

  36. On the Centralizer Dimension and Lattice of Generalized Baumslag–Solitar Groups

    Dudkin, F. A., 1 мая 2018, в: Siberian Mathematical Journal. 59, 3, стр. 403-414 12 стр.

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

  37. MAMMOTh: A new database for curated mathematical models of biomolecular systems

    Kazantsev, F., Akberdin, I., Lashin, S., Ree, N., Timonov, V., Ratushny, A., Khlebodarova, T. & Likhoshvai, V., 1 февр. 2018, в: Journal of Bioinformatics and Computational Biology. 16, 1, 16 стр., 1740010.

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

  38. Computation of the centralizer dimension of generalized Baumslag-Solitar groups

    Dudkin, F. A. E., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 1823-1841 19 стр.

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

  39. Resting state connectivity mediates the relationship between collectivism and social cognition

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V. & Merkulova, E. A., 1 янв. 2018, в: International Journal of Psychophysiology. 123, стр. 17-24 8 стр.

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

  40. Reducing over-smoothness in speech synthesis using Generative Adversarial Networks

    Pavlovskiy, E. N. & Шэн, Л., 2018

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

  41. 2017
  42. Combining logical and statistical rule reasoning and verification for medical applications

    Palchunov, D. E., Tishkovsky, D. E., Tishkovskaya, S. V. & Yakhyaeva, G. E., 14 нояб. 2017, Proceedings - 2017 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2017. Institute of Electrical and Electronics Engineers Inc., стр. 309-313 5 стр. 8109895. (Proceedings - 2017 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2017).

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

  43. Personality and resting state networks in children: A longitudinal EEG study

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V., Slobodskaya, H. R. & Bairova, N. B., 1 нояб. 2017, в: Personality and Individual Differences. 118, стр. 39-43 5 стр.

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

  44. On one source of latency in NFSv4 client

    Irtegov, D., Belousov, P., Fal, A. & Fedosenko, A., 20 окт. 2017, CEE-SECR 2017 - Proceedings of the 13th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, Том Part F133327. 9 стр. 3166101. (ACM International Conference Proceeding Series).

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

  45. FRiS-censoring of reference sample in face recognition task by deep neural networks

    Alyamkin, S. A., Nikolenko, N. A., Pavlovskiy, E. N. & Dyubanov, V. V., 18 окт. 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., стр. 41-43 3 стр. 8071961. (Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017).

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

  46. System architecture for deep packet inspection in high-speed networks

    Khazankin, G. R., Komarov, S., Kovalev, D., Barsegyan, A. & Likhachev, A., 18 окт. 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., стр. 27-32 6 стр. 8071958. (Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017).

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

  47. Suppression mediates the effect of 5-HTTLPR by stress interaction on depression

    Knyazev, G. G., Bazovkina, D. V., Savostyanov, A. N., Naumenko, V. S., Kuznetsova, V. B. & Proshina, E. A., 1 окт. 2017, в: Scandinavian Journal of Psychology. 58, 5, стр. 373-378 6 стр.

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

  48. Восстановление 3D-модели дефекта черепа на основе глубоких нейронных сетей

    Павловский, Е. Н., Пакулич, Д. В. & Поспелов, С. О., 1 сент. 2017, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 15, 3, стр. 74-78 5 стр.

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

  49. The Isomorphism Problem for Generalized Baumslag–Solitar Groups with One Mobile Edge

    Dudkin, F. A., 1 июл. 2017, в: Algebra and Logic. 56, 3, стр. 197-209 13 стр.

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

  50. Depression and implicit emotion processing: An EEG study

    Bocharov, A. V., Knyazev, G. G. & Savostyanov, A. N., 1 июн. 2017, в: Neurophysiologie Clinique. 47, 3, стр. 225-230 6 стр.

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

  51. Does collectivism act as a protective factor for depression in Russia?

    Knyazev, G. G., Kuznetsova, V. B., Savostyanov, A. N. & Dorosheva, E. A., 1 апр. 2017, в: Personality and Individual Differences. 108, стр. 26-31 6 стр.

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

  52. Effortful control and resting state networks: A longitudinal EEG study

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V., Slobodskaya, H. R., Bairova, N. B., Tamozhnikov, S. S. & Stepanova, V. V., 27 мар. 2017, в: Neuroscience. 346, стр. 365-381 17 стр.

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

  53. Depressive symptoms and autobiographical memory: A pilot electroencephalography (EEG) study

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V. & Kuznetsova, V. B., 16 мар. 2017, в: Journal of Clinical and Experimental Neuropsychology. 39, 3, стр. 242-256 15 стр.

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

ID: 3084753