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

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

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

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

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

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

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

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

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

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

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

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

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

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

  8. 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-Verlag GmbH and Co. KG, стр. 58-69 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11684 LNAI).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. Информационные системы: модели и технологии

    Федотов, А. М., Федотова, О. А. & Самбетбаева, М., 2019, Новосибирск: ИПЦ НГУ. 264 стр.

    Результаты исследований: Книги, отчёты, сборники › учебное пособие › Рецензирование

  16. Корреляции выраженности эмоциональных проблем и гиперактивности у детей с компонентами связанного с событием потенциала в oddball-парадигме

    Bocharov, A. V., Knyazev, G. G., Savostyanov, A. N., Tamozhnikov, S. S., Saprygin, A. E., Bairova, N. B. & Slobodskaya, H. R., 2019, в: Zhurnal Vysshei Nervnoi Deyatelnosti Imeni I.P. Pavlova. 69, 3, стр. 314-324 11 стр.

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

  17. Локализация источников активности мозга на его трехмерной модели при помощи совместного анализа данных ЭЭГ/cМРТ

    Быкова, Е. П. & Савостьянов, А. Н., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 18-28 11 стр.

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

  18. Методика автоматического тестирования развивающегося веб-приложения

    Ткачев, А. В. & Иртегов, Д. В., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 93-110 18 стр.

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

  19. Проектирование информационной системы представления результатов комплексного анализа поэтических текстов

    Барахнин, В. Б., Kozhemyakina, O. Y. & Борзилова, Ю. С., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, стр. 5-17 13 стр.

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

  20. Разработка автоматизированных методов представления знаний о действиях и ситуациях

    Ненашева, Е. О. & Пальчунов, Д. Е., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 61-72 12 стр.

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

  21. Разработка методов интеграции автоматических средств логического вывода для порождения знаний в онтологической модели

    Капустина, А. И. & Пальчунов, Д. Е., 2019, в: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, стр. 29-42 14 стр.

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

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

ID: 3084753