1. 2019
  2. Model-driven methods to design of reliable multiagent cyber-physical systems

    Staroletov, S., Shilov, N., Zyubin, V., Liakh, T., Rozov, A., Konyukhov, I., Shilov, I., Baar, T. & Schulte, H., 1 Jan 2019, In: CEUR Workshop Proceedings. 2478, p. 74-91 18 p.

    Research output: Contribution to journalConference articlepeer-review

  3. Named Entity Extraction from Semi-structured Data Using Machine Learning Algorithms

    Mansurova, M., Barakhnin, V., Khibatkhanuly, Y. & Pastushkov, I., 1 Jan 2019, Computational Collective Intelligence - 11th International Conference, ICCCI 2019, Proceedings. Nguyen, N. T., Chbeir, R., Exposito, E., Aniorté, P., Trawinski, B. & Nguyen, N. T. (eds.). Springer-Verlag GmbH and Co. KG, p. 58-69 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11684 LNAI).

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

  4. 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

  5. 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

  6. Personality and EEG correlates of reactive social behavior

    Knyazev, G., Merkulova, E., Savostyanov, A., Bocharov, A. & Saprigyn, A., 18 Feb 2019, In: Neuropsychologia. 124, p. 98-107 10 p.

    Research output: Contribution to journalArticlepeer-review

  7. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 Mar 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 189-197 9 p.

    Research output: Contribution to journalArticlepeer-review

  8. Проблемы и перспективы стандартизации в области хранения и обработки данных

    Павловский, Е. Н., 6 Mar 2019, Перспективные рынки и технологии интернета вещей: публичный аналитический доклад. Дежина, И. (ed.). Москва: ООО "Лайм", p. 153-161 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  9. Towards safe cyber-physical systems: The reflex language and its transformational semantics

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ed.). Institute of Electrical and Electronics Engineers Inc., 6 p. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

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

  10. LabVIEW-based automatic verification of process-oriented software

    Liakh, T., Rozov, A. & Zyubin, V., 1 Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

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

  11. EEG dynamics of spontaneous stimulus-independent thoughts

    Bocharov, A. V., Knyazev, G. G., Savostyanov, A. N., Astakhova, T. N. & Tamozhnikov, S. S., 3 Apr 2019, In: Cognitive Neuroscience. 10, 2, p. 77-87 11 p.

    Research output: Contribution to journalArticlepeer-review

  12. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 377-388 12 p.

    Research output: Contribution to journalArticlepeer-review

  13. Cross-frequency coupling in developmental perspective

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V., Tamozhnikov, S. S., Kozlova, E. A., Leto, I. V. & Slobodskaya, H. R., 14 May 2019, In: Frontiers in Human Neuroscience. 13, p. 158 10 p., 158.

    Research output: Contribution to journalArticlepeer-review

  14. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 224-231 8 p.

    Research output: Contribution to journalArticlepeer-review

  15. Photon-Assisted Electron Transmission through a Quantum Point Contact

    Tkachenko, O. A., Baksheev, D. G., Tkachenko, V. A., Kvon, Z. D., Yaroshevich, A. S., Rodyakina, E. E. & Latyshev, A. V., 1 Sept 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 5, p. 480-487 8 p.

    Research output: Contribution to journalArticlepeer-review

  16. Application of boolean valued and fuzzy model theory for knowledge base development

    Yakhyaeva, G., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 868-871 4 p. 8958245. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  17. Automatic Generation of Structured Text Documents Based on the Ontological Modeling Approach

    Karmanova, A. & Tabakov, K., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 841-843 3 p. 8958200. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  18. Behavioral Biometric System Based on Network Traffic Analysis

    Firsov, A. & Khazankin, G. R., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 980-982 3 p. 8958166. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  19. Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System

    Vikent'Ev, A., Serov, M., Vikentiev, R. & Berikov, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 664-669 6 p. 8958153. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  20. Eeg reactions and behavioral measures, related with the recognition of obscene sentences among the ethnically different people

    Savostyanov, A. N., Astakhova, T. N., Meshkova, V. A., Bocharov, A. V., Tamozhnikov, S. S., Karpova, A. G. & Borisova, N. V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 347-351 5 p. 8958405. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  21. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

    Liakh, T., Anureev, I., Rozov, A., Garanina, N. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 466-471 6 p. 8958127. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  22. Problems and Prospectives of Big Data Storage and Processing Standartization

    Pavlovskiy, E. N., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 995-998 4 p. 8958046. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

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

    Sheng, L. & Pavlovskiy, E. N., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 972-974 3 p. 8957862. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  24. Remote Facial Emotion Recognition System

    Хазанкин, Г. Р., Шмаков, И. С. & Малинин, А. Н., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, p. 975-979 5 p. 8958047. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  25. Semantic Modeling and Hybrid Models

    Goncharov, S. & Sviridenko, D., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 987-990 4 p. 8958196. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  26. Semantic Smart Wallets

    Sviridenko, D., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 991-994 4 p. 8958372. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  27. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers

    Rozov, A., Anureev, I., Garanina, N., Liakh, T. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 857-861 5 p. 8958258. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  28. An Automated Apparatus for Measuring Spectral Dependences of the Mass Spectra and Velocity Map Images of Photofragments

    Dozmorov, N. V., Bogomolov, A. S. & Baklanov, A. V., 1 Oct 2019, In: Instruments and Experimental Techniques. 62, 4, p. 502-505 4 p.

    Research output: Contribution to journalArticlepeer-review

  29. Artificial Intelligence for Imaging Diagnostics in Neurosurgery

    Letyagin, A. Y., Degtyareva, L. O., Golushko, S. K., Rzaev, J. A., Amelin, M. E., Pavlovsky, E. N., Tuchinov, B. N., Amelina, E. V., Moisak, G. I. & Bulgakova, E. G., 1 Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 336-337 2 p. 8958201. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  30. Integration of Fuzzy Model Theory and FCA for Big Data Mining

    Palchunov, D. E. & Yakhyaeva, G. E., 1 Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 961-966 6 p. 8958216. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  31. Logical methods for smart contract development

    Galieva, A. G. & Palchunov, D. E., 1 Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 881-885 5 p. 8958340. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  32. Semantic domain-specific languages

    Gumirov, V. S., Matyukov, P. Y. & Palchunov, D. E., 1 Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 955-960 6 p. 8958237. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  33. Shape-Preservation Conditions for Cubic Spline Interpolation

    Bogdanov, V. V. & Volkov, Y. S., 1 Oct 2019, In: Siberian Advances in Mathematics. 29, 4, p. 231-262 32 p.

    Research output: Contribution to journalArticlepeer-review

  34. Superposition as Data Augmentation using LSTM and HMM in Small Training Sets

    Павловский, Е. Н. & Сивасвами, А., 24 Oct 2019, Daejeon, South Korea: Cornell University, 5 p.

    Research output: Working paper

  35. EEG cross-frequency correlations as a marker of predisposition to affective disorders

    Knyazev, G. G., Savostyanov, A. N., Bocharov, A. V. & Aftanas, L. I., 1 Nov 2019, In: Heliyon. 5, 11, 10 p., e02942.

    Research output: Contribution to journalArticlepeer-review

  36. Impact of polymorphisms in the serotonin transporter gene on oscillatory dynamics during inhibition of planned movement in children

    Bocharov, A. V., Savostyanov, A. N., Tamozhnikov, S. S., Saprigyn, A. E., Proshina, E. A., Astakhova, T. N. & Knyazev, G. G., 6 Nov 2019, In: Brain Sciences. 9, 11, 11 p., 311.

    Research output: Contribution to journalArticlepeer-review

  37. Reply to Comment on Singlet Oxygen 1O2 in Photocatalysis on TiO2. Where Does It Come from?

    Demyanenko, A. V., Bogomolov, A. S., Dozmorov, N. V., Svyatova, A. I., Pyryaeva, A. P., Goldort, V. G., Kochubei, S. A. & Baklanov, A. V., 21 Nov 2019, In: Journal of Physical Chemistry C. 123, 46, p. 28515-28518 4 p.

    Research output: Contribution to journalLetterpeer-review

  38. Methods to identify the destructive information

    Barakhnin, V. B., Mukhamedyev, R. I., Mussabaev, R. R., Yu Kozhemyakina, O., Issayeva, A., Kuchin, Y. I., Murzakhmetov, S. B. & Yakunin, K. O., 4 Dec 2019, In: Journal of Physics: Conference Series. 1405, 1, 012004.

    Research output: Contribution to journalConference articlepeer-review

  39. 2020
  40. Axiomatization of classes of domain cases based on FCA

    Palchunov, D. E., 2020, Artificial Intelligence - 18th Russian Conference, RCAI 2020, Proceedings. Kuznetsov, S. O., Panov, A. I. & Yakovlev, K. S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12412 LNAI).

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

  41. Creation of a Dependency Tree for Sentences in the Kazakh Language

    Akhmed-Zaki, D., Mansurova, M., Kadyrbek, N., Barakhnin, V. & Misebay, A., 2020, Computational Collective Intelligence - 12th International Conference, ICCCI 2020, Proceedings. Nguyen, N. T., Hoang, B. H., Huynh, C. P., Hwang, D., Trawinski, B. & Vossen, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 709-718 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12496 LNAI).

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

  42. Development of Kazakh Named Entity Recognition Models

    Akhmed-Zaki, D., Mansurova, M., Barakhnin, V., Kubis, M., Chikibayeva, D. & Kyrgyzbayeva, M., 2020, Computational Collective Intelligence - 12th International Conference, ICCCI 2020, Proceedings. Nguyen, N. T., Nguyen, N. T., Hoang, B. H., Huynh, C. P., Hwang, D., Trawinski, B. & Vossen, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 697-708 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12496 LNAI).

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

  43. Representation of knowledge using different structures of concepts

    Palchunov, D. & Yakhyaeva, G., 2020, In: CEUR Workshop Proceedings. 2729, p. 69-74 6 p.

    Research output: Contribution to journalConference articlepeer-review

  44. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, In: Сибирские электронные математические известия. 17, p. 380-394 15 p., 024.

    Research output: Contribution to journalArticlepeer-review

  45. The Siberian multimodal brain tumor image segmentation dataset

    Голушко, С. К., Амелина, Е. В., Groza, V., Амелин, М. Е., Толстокулаков, Н. Ю., Тучинов, Б. Н. & Pavlovskiy, E., 2020.

    Research output: Contribution to conferenceAbstractpeer-review

  46. Анализ активности мозга по данным функциональной МРТ при эмоциональной оценке себя и других людей

    Knyazev, G. G., Bocharov, A. V., Savostyanov, A. N., Levin, E. A. & Rudych, P. D., 2020, In: Zhurnal Vysshei Nervnoi Deyatelnosti Imeni I.P. Pavlova. 70, 1, p. 31-39 9 p.

    Research output: Contribution to journalArticlepeer-review

  47. Сетевые технологии : Видеокурс

    Bachilo, D. A. & Хазанкин, Г. Р., 2020, ИПЦ НГУ.

    Research output: Other contributionEducation

  48. Электроэнцефалографические корреляты инсайта

    Knyazev, G. G., Bocharov, A. V., Sevastyanov, A. N., Ushakov, D. V. & Velichkovsky, B. M., 2020, In: Voprosy Psikhologii. 2020, 1, p. 119-132 14 p., 11.

    Research output: Contribution to journalArticlepeer-review

  49. ЭЭГ-корреляты активности дефолт-системы при обработке социально значимой информации

    Knyazev, G. G., Bocharov, A. V., Savostyanov, A. N. & Levin, E. A., 2020, In: Zhurnal Vysshei Nervnoi Deyatelnosti Imeni I.P. Pavlova. 70, 2, p. 174-181 8 p.

    Research output: Contribution to journalArticlepeer-review

  50. The Effect of Meditation on Comprehension of Statements About One-Self and Others: A Pilot ERP and Behavioral Study

    Savostyanov, A., Tamozhnikov, S., Bocharov, A., Saprygin, A., Matushkin, Y., Lashin, S., Kolpakova, G., Sudobin, K. & Knyazev, G., 9 Jan 2020, In: Frontiers in Human Neuroscience. 13, 12 p., 437.

    Research output: Contribution to journalArticlepeer-review

  51. Программная система Text2Time

    Пальчунов, Д. Е., Ошканов, В. С. & Ненашева, Е. О., 13 Jan 2020, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2020610344, Priority date 18 Dec 2019, Priority No. 2019666917

    Research output: PatentSoftware registration

ID: 3084753