1. Способ создания плёночного люминофора на основе акрилового полимера

    Мандрик, Е. М., Галашов, Е. Н. & Юсуф, А. А., 13 Mar 2017, IPC No. C09K11/08, B82B3/00, C08K3/22, B82Y30/00, F21Y115/10, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2612705, Priority date 9 Nov 2015, Priority No. 2015148158

    Research output: PatentPatent for invention

  2. Модуль газового пожаротушения

    Минаев, А. О. & Лобанов, А. В., 26 Mar 2021, IPC No. A62C35/00, Роспатент - Федеральная служба по интеллектуальной собственности, Patent No. 2745547, Priority date 7 Jul 2020, Priority No. 2020123330

    Research output: PatentPatent for invention

  3. Метод проверки гипотез на базе статистической обработки разнородных электроэнцефалографических данных

    Merkulova, E. A., Зюбин, В. Е. & Knyazev, G. G., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, p. 61-71 11 p.

    Research output: Contribution to journalArticlepeer-review

  4. Биологически-подобные модели сверточных нейронов в задаче распознавания иллюзорного контура

    Кугаевских, А. В. & Берьянов, М. С., 2022, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 20, 1, p. 47-56 10 p., 4.

    Research output: Contribution to journalArticlepeer-review

  5. Verification of industrial control algorithms in virtual laboratory stands

    Liakh, T. & Zyubin, V., 2017, 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., p. 380-384 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  6. 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 proceedingConference contributionResearchpeer-review

  7. 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 proceedingConference contributionResearchpeer-review

  8. 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 proceedingConference contributionResearchpeer-review

Previous 1 2 3 4 5 6 Next

ID: 3080771