101 - 110 out of 249Page size: 10
  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 journal › Conference article › peer-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 proceeding › Conference contribution › Research › peer-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 proceeding › Conference contribution › Research › peer-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 journal › Article › peer-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 journal › Article › peer-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 journal › Article › peer-review

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-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 proceeding › Conference contribution › Research › peer-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 proceeding › Conference contribution › Research › peer-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 journal › Article › peer-review

Previous 1...7 8 9 10 11 12 13 14 ...25 Next

ID: 3084753