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 proceedingConference contributionResearchpeer-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 journalArticlepeer-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 journalArticlepeer-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 journalMeeting Abstractpeer-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 journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Book/ReportTeaching manualpeer-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: Журнал высшей нервной деятельности им. И. П. Павлова. 69, 3, p. 314-324 11 p.

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: PatentSoftware 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 journalArticlepeer-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 journalConference articlepeer-review

  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 Nov 2018, 11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 78-80 3 p. 8544742. (11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  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 Nov 2018, 11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 124-126 3 p. 8544755. (11th International Conference Bioinformatics of Genome Regulation and Structure\Systems Biology, BGRS\SB 2018 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  25. Parametric hash function resistant to attack by quantum computer

    Krendelev, S. & Sazonova, P., 26 Oct 2018, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018. Ganzha, M., Maciaszek, L. & Paprzycki, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 387-390 4 p. 8511285. (Federated Conference on Computer Science and Information Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  26. Test–retest reliability of a social interaction task

    Merkulova, E., Savostyanov, A., Bocharov, A., Proshina, E. & Knyazev, G., 22 Oct 2018, In: Behavioral Sciences. 8, 10, 19 p., 97.

    Research output: Contribution to journalArticlepeer-review

  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 Oct 2018, In: Brain Research. 1697, p. 67-75 9 p.

    Research output: Contribution to journalArticlepeer-review

  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 Oct 2018, In: Frontiers in Behavioral Neuroscience. 12, p. 236 9 p., 236.

    Research output: Contribution to journalArticlepeer-review

  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 Sept 2018, In: JETP Letters. 108, 6, p. 396-401 6 p.

    Research output: Contribution to journalArticlepeer-review

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

    Aleksandrova, S. A., 1 Sept 2018, In: Siberian Mathematical Journal. 59, 5, p. 763-767 5 p.

    Research output: Contribution to journalArticlepeer-review

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

    Kobelev, E., Danilenko, K. V., Yarosh, S. V., Khazankin, G. R. & Aftanas, L. I., Sept 2018, In: Journal of Sleep Research. 27, 1 p.

    Research output: Contribution to journalMeeting Abstractpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

    Research output: PatentSoftware registration

  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 Aug 2018, In: Journal of Affective Disorders. 235, p. 211-219 9 p.

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

    Dudkin, F. A., 1 May 2018, In: Siberian Mathematical Journal. 59, 3, p. 403-414 12 p.

    Research output: Contribution to journalArticlepeer-review

  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 Feb 2018, In: Journal of Bioinformatics and Computational Biology. 16, 1, 16 p., 1740010.

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

  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 Jan 2018, In: International Journal of Psychophysiology. 123, p. 17-24 8 p.

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Other contributionResearch

  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 Nov 2017, Proceedings - 2017 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2017. Institute of Electrical and Electronics Engineers Inc., p. 309-313 5 p. 8109895. (Proceedings - 2017 International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  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 Nov 2017, In: Personality and Individual Differences. 118, p. 39-43 5 p.

    Research output: Contribution to journalArticlepeer-review

  44. On one source of latency in NFSv4 client

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  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 Oct 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 41-43 3 p. 8071961. (Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  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 Oct 2017, In: Scandinavian Journal of Psychology. 58, 5, p. 373-378 6 p.

    Research output: Contribution to journalArticlepeer-review

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

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

    Research output: Contribution to journalArticlepeer-review

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

    Dudkin, F. A., 1 Jul 2017, In: Algebra and Logic. 56, 3, p. 197-209 13 p.

    Research output: Contribution to journalArticlepeer-review

  50. Depression and implicit emotion processing: An EEG study

    Bocharov, A. V., Knyazev, G. G. & Savostyanov, A. N., 1 Jun 2017, In: Neurophysiologie Clinique. 47, 3, p. 225-230 6 p.

    Research output: Contribution to journalArticlepeer-review

  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 Apr 2017, In: Personality and Individual Differences. 108, p. 26-31 6 p.

    Research output: Contribution to journalArticlepeer-review

  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 Mar 2017, In: Neuroscience. 346, p. 365-381 17 p.

    Research output: Contribution to journalArticlepeer-review

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

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V. & Kuznetsova, V. B., 16 Mar 2017, In: Journal of Clinical and Experimental Neuropsychology. 39, 3, p. 242-256 15 p.

    Research output: Contribution to journalArticlepeer-review

ID: 3084753