191 - 200 из 302Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. Computable Numberings of Families of Infinite Sets

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

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

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

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

  4. On Decidability of List Structures

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Назад 1...16 17 18 19 20 21 22 23 ...31 Далее

ID: 3084753