161 - 180 out of 276Page size: 20
  1. 2019

  2. 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 proceeding › Conference contribution › Research › peer-review

  3. Reconstruction and Analysis of Gene Networks of Human Neurotransmitter Systems Reveal Genes with Contentious Manifestation for Anxiety, Depression, and Intellectual Disabilities

    Ivanov, R., Zamyatin, V., Klimenko, A., Matushkin, Y., Savostyanov, A. & Lashin, S., 11 Sept 2019, In: Genes. 10, 9, 14 p., 699.

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

  4. 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 journal › Article › peer-review

  5. 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 journal › Article › peer-review

  6. 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 journal › Article › peer-review

  7. 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 journal › Article › peer-review

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

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

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

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

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

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

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

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

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

  15. 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, 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

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

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

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

    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

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

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

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

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

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

Previous 1...5 6 7 8 9 10 11 12 ...14 Next

ID: 3084753