161 - 180 из 276Размер страницы: 20
Сортировать по:: Год публикации
  1. 2019

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

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

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

  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 сент. 2019, в: Genes. 10, 9, 14 стр., 699.

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

  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 сент. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 5, стр. 480-487 8 стр.

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

  5. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 224-231 8 стр.

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

  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 мая 2019, в: Frontiers in Human Neuroscience. 13, стр. 158 10 стр., 158.

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

  7. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 мая 2019, в: Siberian Mathematical Journal. 60, 3, стр. 377-388 12 стр.

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

  8. EEG dynamics of spontaneous stimulus-independent thoughts

    Bocharov, A. V., Knyazev, G. G., Savostyanov, A. N., Astakhova, T. N. & Tamozhnikov, S. S., 3 апр. 2019, в: Cognitive Neuroscience. 10, 2, стр. 77-87 11 стр.

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

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

    Liakh, T., Rozov, A. & Zyubin, V., 1 апр. 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).

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

  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., апр. 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ред.). Institute of Electrical and Electronics Engineers Inc., 6 стр. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

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

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

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

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

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

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 мар. 2019, в: Optoelectronics, Instrumentation and Data Processing. 55, 2, стр. 189-197 9 стр.

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

  13. Personality and EEG correlates of reactive social behavior

    Knyazev, G., Merkulova, E., Savostyanov, A., Bocharov, A. & Saprigyn, A., 18 февр. 2019, в: Neuropsychologia. 124, стр. 98-107 10 стр.

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

  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 янв. 2019, в: CEUR Workshop Proceedings. 2478, стр. 74-91 18 стр.

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

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

    Mansurova, M., Barakhnin, V., Khibatkhanuly, Y. & Pastushkov, I., 1 янв. 2019, Computational Collective Intelligence - 11th International Conference, ICCCI 2019, Proceedings. Nguyen, N. T., Chbeir, R., Exposito, E., Aniorté, P., Trawinski, B. & Nguyen, N. T. (ред.). Springer, стр. 58-69 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11684 LNAI).

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

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

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

  17. 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 стр.

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

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

    Vlasov, M. S., Savostyanov, A. N., Sychev, O. A. & Saprygin, A. E., янв. 2019, в: Вестник Томского государственного университета. 438, стр. 19-29 11 стр.

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

  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, в: European Neuropsychopharmacology. 29, стр. S69-S70 2 стр.

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

  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, в: Business Informatics. 13, 4, стр. 60-72 13 стр.

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

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

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

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

Назад 1...5 6 7 8 9 10 11 12 ...14 Далее

ID: 3084753