101 - 200 out of 473Page size: 100
  1. 2020

  2. Entropy-Based Approach for the Detection of Changes in Arabic Newspapers' Content

    Bernikova, O., Granichin, O., Lemberg, D., Redkin, O. & Volkovich, Z., Apr 2020, In: Entropy. 22, 4, 17 p., 441.

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

  3. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

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

  4. Certified Semantics for Relational Programming

    Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 167-185 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

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

  5. Consensus-based distributed algorithm for multisensor-multitarget tracking under unknown-but-bounded disturbances

    Amelina, N., Erofeeva, V., Granichin, O., Ivanskiy, Y., Jiang, Y., Proskurnikov, A. & Sergeenko, A., 2020, In: IFAC-PapersOnLine. 53, p. 3589-3595 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  6. Invariance preserving control of clusters recognized in networks of kuramoto oscillators

    Granichin, O. & Uzhva, D., 2020, Artificial Intelligence : 18th Russian Conference, RCAI 2020, Proceedings. Kuznetsov, S. O., Panov, A. I. & Yakovlev, K. S. (eds.). Springer Nature, p. 472-486 15 p. (Lecture Notes in Computer Science ; vol. 12412 LNAI).

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

  7. MIRF 2.0 - A framework for distributed medical images analysis

    Литвинов, Ю. В., Швыркова, А. А., Фефелов, А. А., Чижова, А., Пономарев, Е. В., Ломакин, А. В. & Савельев, А. Г., 2020, CEUR Workshop Proceedings. Vol. 2691. 7 p.

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

  8. On approximate solution of one singular perturbation boundary value problem

    Kulikov, E. K. & Makarov, A. A., 2020, In: Differencialnie Uravnenia i Protsesy Upravlenia. 1, p. 91-102 12 p.

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

  9. Relational Synthesis for Pattern Matching

    Kosarev, D., Lozov, P. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ed.). Springer Nature, p. 293-310 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12470 LNCS).

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

  10. Sparse Gaussian mixture model clustering via simultaneous perturbation stochastic approximation

    Boiarov, A. & Granichin, O., 2020, In: IFAC-PapersOnLine. 53, 2, p. 995-1000 6 p.

    Research output: Contribution to journal › Conference article › peer-review

  11. ДНК-вычисления как способ решения задачи коммивояжера

    Сергеенко, А. Н. & Граничин, О. Н., 2020, Восемнадцатая национальная конференция по искусственному интеллекту с международным участием КИИ-2020: Труды конференции. М.: Московский физико-технический институт, p. 137-144

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

  12. ОТСЛЕЖИВАНИЕ ПУТИ СЕТЕВЫХ ПАКЕТОВ В ЯДРЕ LINUX С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИИ EBPF.

    Ковалев, М. Г. & Терехов, А. Н., 2020, p. 116-117.

    Research output: Contribution to conference › Abstract

  13. ПОРТИРОВАНИЕ ОСРВ EMBOX НА ОТКРЫТУЮ АРХИТЕКТУРУ RISC-V.

    Нижарадзе, А. Т. & Терехов, А. Н., 2020, p. 72-73.

    Research output: Contribution to conference › Abstract

  14. Самоорганизация и искусственный интеллект в группах автономных роботов: методология, теория, практика

    Граничин, О. Н. (ed.) & Сергеев, С. Ф. (ed.), 2020, СПб.: Издательство «ВВМ». 125 p.

    Research output: Book/Report/Anthology › Teaching manual › peer-review

  15. 2019

  16. Моделирование бизнес-процессов в цифровую эпоху

    Терехов, А. Н. & Платонова, М. В., 27 Dec 2019, In: РОССИЙСКИЙ ЖУРНАЛ МЕНЕДЖМЕНТА. 17, 4, p. 487–498 11 p.

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

  17. 服役破损叶片的曲面重构及刀路生成方法

    Zhao, X., Yang, J., Chen, J., Fradkov, A., Granichin, O. & Hu, P., 25 Dec 2019, In: Zhongguo Jixie Gongcheng/China Mechanical Engineering. 30, 24, p. 2906-2915 and 2924

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

  18. Distributed Tracking via Simultaneous Perturbation Stochastic Approximation-based Consensus Algorithm

    Erofeeva, V., Granichin, O., Amelina, N., Ivanskiy, Y. & Jiang, Y., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 6050-6055 6 p. 9030129. (IEEE Conference on Decision and Control).

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

  19. Kotless: A serverless framework for kotlin

    Tankov, V., Golubev, Y. & Bryksin, T., 1 Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019. Institute of Electrical and Electronics Engineers Inc., p. 1110-1113 4 p. (Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).

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

  20. Real-time and multimodal brain slice-to-volume registration using CNN

    Chen, Z., Xu, Z., Yi, W., Yang, X., Hou, W., Ding, M. & Granichin, O., 1 Nov 2019, In: Expert Systems with Applications. 133, p. 86-96 11 p.

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

  21. Extraction of Archetype from Near Duplicates in Software Documentation

    Луцив, Д. В., Кознов, Д. В., Чернышев, Г. А. & Григорьев, Д. А., Nov 2019, 2019 Actual Problems of Systems and Software Engineering (APSSE). p. 126-130

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

  22. Interactive Near Duplicate Search in Software Documentation

    Luciv, D. V., Koznov, D. V., Shelikhovskii, A. A., Romanovsky, K. Y., Chernishev, G. A., Terekhov, A. N., Grigoriev, D. A., Smirnova, A. N., Borovkov, D. V. & Vasenina, A. I., Nov 2019, In: Programming and Computer Software. 45, 6, p. 346-355

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

  23. Интерактивный поиск неточных повторов в документации программного обеспечения

    Луцив, Д. В., Кознов, Д. В., Шелиховский, А. А., Романовский, К. Ю., Чернышев, Г. А., Григорьев, Д. А., Терехов, А. Н., Смирнова, А. Н., Боровков, Д. В., Васенина, А. И. & Шеметова, Е. Н., Nov 2019, In: ПРОГРАММИРОВАНИЕ. 6, p. 55-66

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

  24. Register impurities in the plasma forming gas helium in a large volume reactor using plasma electron spectroscopy method

    Sysoev, S. S. & Kudryavtsev, A. A., 29 Oct 2019, In: Journal of Physics: Conference Series. 1328, 1, 012073.

    Research output: Contribution to journal › Conference article › peer-review

  25. The Method of Averaged Models for Discrete-Time Adaptive Systems

    Amelina, N. O., Granichin, O. N. & Fradkov, A. L., 16 Oct 2019, In: Automation and Remote Control. 80, 10, p. 1755-1782 28 p.

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

  26. The influence of the ambipolar field on the levitation conditions of dust particles in the positive column of the glow discharge with a change the spatial orientation of the discharge tube

    Kudryavtsev, A. A., Sysoev, S. S., Yuan, C., Li, S. & Zhou, Z., Sep 2019, In: IEEE Transactions on Plasma Science. 47, 9, p. 4391-4395 5 p., 8804382.

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

  27. Stochastic Approximation Algorithm with Randomization at the Input for Unsupervised Parameters Estimation of Gaussian Mixture Model with Sparse Parameters

    Boiarov, A. A. & Granichin, O. N., 1 Aug 2019, In: Automation and Remote Control. 80, 8, p. 1403-1418 16 p.

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

  28. On sport trainings in armed forces: Terms and definitions

    Khubbiev, S. Z., Pashuta, V. L., Romanenko, N. V. & Kozlov, A. V., Aug 2019, In: Teoriya i Praktika Fizicheskoy Kultury. 2019, 8, p. 6-8 3 p.

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

  29. Synchronization of Multi-Agent System of 'Feathers' on the Surface of the Wing in a Turbulent Airflow

    Amelin, K., Amelina, N., Granichin, O., Granichina, O. & Ivanskiy, Y., Aug 2019, CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications. Institute of Electrical and Electronics Engineers Inc., p. 355-359 5 p. 8920586. (CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications).

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

  30. Способ реконструкции 3D модели статичного объекта и устройство для его реализации

    Немешев, М. Х., Смирнов, М. Н., Викулов, Е. И. & Терехов, А. Н., 2 Jul 2019, Patent No. 2693327, 14 Sep 2018

    Research output: Patenting and IP registration › Patent

  31. Stochastic fast gradient for tracking

    Kosaty, D., Vakhitov, A., Granichin, O. & Yuchi, M., 1 Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 1476-1481 8815070. (Proceedings of the American Control Conference; vol. 2019-July).

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

  32. Математические модели при анализе культурно-исторических и социальных явлений

    Граничин, О. Н., 1 Jun 2019, ИННОВАЦИИ И ТРАДИЦИИ В АРАБИСТИКЕ И ИСЛАМОВЕДЕНИИ: Сборник статей в честь профессора Олега Ивановича Редькина. СПб.: Издательство Санкт-Петербургского университета, p. 246-253

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

  33. Evaluation of move method refactorings recommendation algorithms: are we doing it right?

    Novozhilov, E., Veselov, I., Pravilov, M. & Bryksin, T., May 2019, IWOR '19: Proceedings of the 3rd International Workshop on Refactoring. p. 23-26 8844425

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

  34. PathMiner: a library for mining of path-based representations of code

    Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., May 2019, Proceedings - 2019 IEEE/ACM 16th International Conference on Mining Software Repositories, MSR 2019. Institute of Electrical and Electronics Engineers Inc., Vol. 2019. p. 13-17 5 p. 8816777

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

  35. Detection of specific areas and densities for ultrasound tomography

    Erofeeva, V., Galyamina, V., Gonta, K., Leonova, A., Granichin, O., Pankov, V., Trofimov, S., Tursunova, M., Ding, M., Yuchi, M. & Fang, X., 1 Jan 2019, In: Cybernetics and Physics. 8, 3, p. 121-127

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

  36. Implementation of "smart greenhouse" visual programming tool using deep metamodeling

    Kuzmina, E. & Litvinov, Y., 1 Jan 2019, In: CEUR Workshop Proceedings. 2372, p. 67-73

    Research output: Contribution to journal › Conference article › peer-review

  37. Automatic classification of error types in solutions to programming assignments at online learning platform

    Lobanov, A., Bryksin, T. & Shpilman, A., 2019, Artificial Intelligence in Education : 20th International Conference, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., McLaren, B., Hastings, P. & Luckin, R. (eds.). Springer Nature, p. 174-178 (Lecture Notes in Computer Science ; vol. 11626 ).

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

  38. Preface

    Avetisyan, A., Ivar, J., Pozin, B. A., Petrenko, A. K., Pozin, B. A., Petrenko, A. K., Cavalli, A. R., Petrenko, A. K., Avetisyan, A., Arlazarov, V., Avdoshin, S., Batovrin, V. K., Bershadsky, A. M., Boichenko, A., Juris, B., Vasenin, V. A., Schlingloff, H., Kalyanov, G., Kantorovich, G. G., Korolev, A. & 20 others, Kosolapov, M. S., Kostogryzov, A. I., Koznov, D. V., Kuznetsov, S., Prokhorov, S., Soyfer, V. A., Starykh, V. A., Stolyarov, G. K., Stupnikov, S. A., Telnov, Y. P., Shmid, A., Mira, K. M. M., Wentzl, W., Mayer, W. H., Yevtushenko, N., Zakharov, V., Zmeev, O., Cavalli, A. R., Petrenko, A. K. & Pozin, B. A., 2019, 6th International Conference Actual Problems of System and Software Engineering, APSSE 2019. p. 1-2 2 p. (CEUR Workshop Proceedings; vol. 2514).

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

  39. SEIM-2019 Message from the editors

    Litvinov, Y. & Trifonov, P., 2019, In: CEUR Workshop Proceedings. 2372, p. 4 1 p.

    Research output: Contribution to journal › Editorial

  40. Введение в квантовые вычисления. Квантовые алгоритмы: Учебное пособие

    Сысоев, С. С., 2019, Издательство Санкт-Петербургского университета. 144 p.

    Research output: Book/Report/Anthology › Book › peer-review

  41. Когнитивные пределы научного мышления.

    Переслегин, С. Б., Королев, А. А. & Шилов, С. Ю., 2019, In: ЭКОНОМИЧЕСКИЕ СТРАТЕГИИ. 21, 2 (160), p. 44-55

    Research output: Contribution to journal › Article

  42. Политическая экономия информационно-коммуникационных технологий: место России на глобальном рынке.

    Ткаченко, С. Л. & Терехов, А. Н., 2019, Москва: Издательский дом НИУ ВШЭ. 312 p.

    Research output: Book/Report/Anthology › Book › peer-review

  43. 2018

  44. Typed embedding of a relational language in OCaml

    Kosarev, D. & Boulytchev, D., 31 Dec 2018, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 285, p. 1-22 22 p.

    Research output: Contribution to journal › Conference article › peer-review

  45. Ergatic System of Complex Safety of Subjects of Education1

    Trapitsin, S. Y., Granichina, O. A., Granichin, O. N. & Zharova, M. V., 5 Nov 2018, Proceedings of the 2018 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2018. Institute of Electrical and Electronics Engineers Inc., p. 877-880 4 p. 8524965

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

  46. Social capital of professors as a factor of increasing the effectiveness of the university

    Граничин, О. Н., Trapitsin, S. & Granichina, O., 5 Nov 2018, Proceedings of the 2018 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2018. Institute of Electrical and Electronics Engineers Inc., p. 739-742 4 p. 8524943. (Proceedings of the 2018 IEEE International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2018).

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

  47. Ergatic system of complex safety of subjects of education

    Граничин, О. Н., Trapitsin, S., Granichina, O. & Zharova, M., 28 Sep 2018, Proc of the 2018 International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS2018, St. Petersburg, Russia, 2018.. Institute of Electrical and Electronics Engineers Inc.

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

  48. Automatic recommendation of move method refactorings using clustering ensembles

    Bryksin, T., Novozhilov, E. & Shpilman, A., 4 Sep 2018, IWoR 2018 - Proceedings of the 2nd International Workshop on Refactoring, co-located with ASE 2018. Ouni, A., Cinneide, M. O. & Kessentini, M. (eds.). Association for Computing Machinery, p. 42-45 4 p. (IWoR 2018 - Proceedings of the 2nd International Workshop on Refactoring, co-located with ASE 2018).

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

  49. Improving Refutational Completeness of Relational Search via Divergence Test

    Rozplokhas, D. & Булычев, Д. Ю., 3 Sep 2018, Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 20 p. (Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming).

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

  50. Detecting Near Duplicates in Software Documentation

    Luciv, D., Koznov, D., Chernishev, G. A., Terekhov, A. N., Romanovsky, K. Y. & Grigoriev, D. A., Sep 2018, In: Programming and Computer Software. 44, 5, p. 335-343 9 p.

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

  51. Distributed state estimation of moving targets using cyclic simultaneous perturbation stochastic approximation

    Erofeeva, V. & Granichin, O., 30 Aug 2018, In: IFAC-PapersOnLine. 51, 23, p. 218-223 6 p.

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

  52. Knowledge Management Capability Impact on Enterprise Performance in Russian High-Tech Sector

    Gorlacheva, E. N., Gudkov, A. G., Omelchenko, I. N., Drogovoz, P. A. & Koznov, D. V., 13 Aug 2018, 2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8436316. (2018 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2018 - Proceedings).

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

  53. Cyclic Stochastic Approximation with Disturbance on Input in the Parameter Tracking Problem Based on a Multiagent Algorithm

    Granichin, O. N. & Erofeeva, V. A., 1 Jun 2018, In: Automation and Remote Control. 79, 6, p. 1013-1028 16 p.

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

  54. Poster: Duplicate finder toolkit

    Luciv, D., Koznov, D., Chernishev, G., Basit, H. A., Romanovsky, K. & Terekhov, A., 27 May 2018, PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION. Institute of Electrical and Electronics Engineers Inc., p. 171-172 2 p. (Proceedings of the IEEE-ACM International Conference on Software Engineering Companion).

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

  55. Patterning of writing style evolution by means of dynamic similarity

    Amelin, K., Granichin, O., Kizhaeva, N. & Volkovich, Z., May 2018, In: Pattern Recognition. 77, p. 45-64 20 p.

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

  56. Графическая технология управления «умной теплицей»

    Литвинов, Ю. В. & Кузьмина, Е. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 20-22

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

  57. Решение задачи разбиения поля методом диаграммы Вороного

    Иванова, М. А. & Литвинов, Ю. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета

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

  58. Создание визуального предметно-ориентированного языка программирования дронов для симулятора AirSim

    Небогатиков, И. Ю. & Литвинов, Ю. В., 24 Apr 2018, Современные технологии в теории и практике программирования: сборник материалов конференции. СПб.: Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 66-68

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

  59. Typed Relational Conversion

    Lozov, P., Vyatkin, A. & Boulytchev, D., 19 Apr 2018, Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers. Springer Nature, p. 39-58 19 p. (Lecture Notes in Computer Science; vol. 10788).

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

  60. Методы фрактального анализа в исследовании изображений биомедицинских препаратов

    Ампилова, Н. Б., Соловьев, И. П., Сергеев, В. Д. & Куликов, Е. К., 30 Mar 2018, In: ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ И ПРОЦЕССЫ УПРАВЛЕНИЯ. 1, p. 109-125 17 p.

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

  61. Adjustment of Consensus Protocol Step-Size in a Network System with Different Task Priorities via SPSA-like Algorithm under the Cost Constraints

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 23, p. 100-105 6 p.

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

  62. Counterexamples to the Kalman Conjectures⁎

    Kuznetsov, N. V., Kuznetsova, O. A., Koznov, D., Mokaev, R. N. & Andrievsky, B., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 33, p. 138-143 6 p.

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

  63. Evolution of clusters in large-scale dynamical networks

    Proskurnikov, A. V. & Granichin, O. N., 1 Jan 2018, In: Cybernetics and Physics. 7, 3, p. 102-129 28 p.

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

  64. Lock-in range of BPSK Costas loop

    Aleksandrov, K. D., Koznov, D. V., Krasnikova, M. S., Kudryashova, E. V., Kuznetsov, N. V. & Kuznetsova, O. A., 1 Jan 2018, In: IFAC-PapersOnLine. 51, 25, p. 252-256 5 p.

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

  65. On the Possibility of Using the Method of Sign-Perturbed Sums for the Processing of Dynamic Test Data

    Volkova, M. V., Granichin, O. N., Volkov, G. A. & Petrov, Y. V., 1 Jan 2018, In: Vestnik St. Petersburg University: Mathematics. 51, 1, p. 23-30 8 p.

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

  66. Software engineering education for ensuring Russia's priorities in the digital economy

    Khalin, V., Terekhov, A., Tkachenko, S. & Yurkov, A., 1 Jan 2018, In: CEUR Workshop Proceedings. 2256

    Research output: Contribution to journal › Conference article › peer-review

  67. Applying deep learning to C# call sequence synthesis

    Chebykin, A. E. & Kirilenko, I. A., 2018, In: Труды института системного программирования РАН. 30, 3, p. 63-86

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

  68. Auto-calibration and synchronization of camera and MEMS-sensors

    Polyakov, A. R., Kornilova, A. V. & Kirilenko, I. A., 2018, In: Труды института системного программирования РАН. 30, 4, p. 169-182

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

  69. Automated refactoring of object-oriented code using clustering ensembles

    Bryksin, T., Shpilman, A. & Kudenko, D., 2018, The Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. p. 754-757

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

  70. Cluster Degrees of Freedom in Fission of Actinides

    Unzhakova, A. V., Khantuleva, T. A. & Granichin, O. N., 2018, FISSION AND PROPERTIES OF NEUTRON-RICH NUCLEI: Proceedings of the Sixth International Conference on ICFN6 . J. H. H. A. V. R. A. P. T. (ed.). Singapore: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 582-589 8 p.

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

  71. Comparison of Multi-Sensor Task Assignment Methods: Linear Matrix Inequalities vs. Brute Force

    Erofeeva, V., Granichin, O. & Leonova, A., 2018, In: IFAC-PapersOnLine. 51, 32, p. 648-653 6 p.

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

  72. Data-based code synthesis in IntelliJ IDEA

    Брыксин, Т. А. & Танков, В. Д., 2018, Third Conference on Software Engineering and Information Management (SEIM-2018). Saint Petersburg, Vol. 2135. p. 37-43 7 p. (CEUR Workshop Proceedings).

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

  73. Detecting anomalies in Kotlin code

    Брыксин, Т. А., Петухов, В., Смиренко, К. П. & Поваров, Н., 2018, Detecting anomalies in Kotlin code. Companion Proceedings for the ISSTA/ECOOP 2018 Workshops ed. New York, NY, USA: Association for Computing Machinery, p. 10-12 3 p.

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

  74. Heterogeneous architectures programming library

    Kirgizov, G. V. & Kirilenko, I. A., 2018, In: Труды института системного программирования РАН. 30, 4, p. 45-62

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

  75. Multi-Sensor Task Assignment Using Linear Matrix Inequalities in the Multiple Target Tracking Problem

    Erofeeva, V., Granichin, O. & Granichina, O., 2018, In: IFAC-PapersOnLine. 51, 15, p. 880-885 6 p.

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

  76. Satisfying the Cost Constraints in a Network System Operating by the Consensus Protocol with Different Task Priorities

    Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 2018, In: IFAC-PapersOnLine. 51, 32, p. 367-372 6 p.

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

  77. Нужны ли кандидаты и доктора наук по программной инженерии для модернизации и техно-логического развития российской экономики?

    Терехов, А. Н., Халин, В. Г. & Юрков, А. В., 2018, In: ПРИКЛАДНАЯ ИНФОРМАТИКА. 14, 4 (76), p. 42-52

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

  78. Памяти Геннадия Алексеевича Леонова

    Архипова, А. А., Беляев, А. К., Бауэр, С. М., Воронкова, Е. Б., Востоков, С. В., Гаген-Торн, В. А., Гелиг, А. Х., Демьянович, Ю. К., Ермаков, С. М., Иванов, О. А., Индейцев, Д. А., Кузнецов, Н. В., Кустова, Е. В., Матвеев, С. К., Михайлова, Е. Г., Морозов, В. А., Морозов, Н. Ф., Назаров, А. И., Невзоров, В. Б., Нежинский, В. М. & 15 others, Никитин, Я. Ю., Новиков, Б. А., Плисс, В. А., Пилюгин, С. Ю., Разов, А. И., Романовский, И. В., Рябов, В. М., Савельев, А. С., Смирнов, А. Л., Терехов, А. Н., Товстик, П. Е., Уральцева, Н. Н., Фрадков, А. Л., Холшевников, К. В. & Широков, Н. А., 2018, In: Вестник СПбГУ. Математика. Механика. Астрономия. 2018. . 5 (63), 4, p. 701-704 4 p.

    Research output: Contribution to journal › Biographical item

  79. Способы сегментации медицинских изображений

    Мусатян, С. А., Ломакин, А. В., Сартасов, С. Ю., Попыванов, Л. К., Монахов, И. Б. & Чижова, А., 2018, In: Труды института системного программирования РАН. 30, 4

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

  80. 2017

  81. Dynamic fracture tests data analysis based on the randomized approach

    Volkova, M. V., Granichin, O. N., Petrov, Y. V. & Volkov, G. A., 27 Dec 2017, In: Advances in Systems Science and Applications. 17, 3, p. 34-41 8 p.

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

  82. Минимизация функционала типа среднего риска на основе конечного (возможно малого) набора экспериментальных данных

    Граничин, О. Н. & Волкова, М. В., 20 Dec 2017, In: СТОХАСТИЧЕСКАЯ ОПТИМИЗАЦИЯ В ИНФОРМАТИКЕ. 13, 2, p. 3-37 35 p., 1.

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

  83. How to make visual modeling more attractive to software developers

    Terekhov, A., Bryksin, T. & Litvinov, Y., 1 Nov 2017, Present and Ulterior Software Engineering. Springer Nature, p. 139-152 14 p.

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

  84. Information and mathematical models for evaluation of the effectiveness and quality of the university

    Trapitsin, S. Y., Granichina, O. A. & Granichin, O. N., 26 Oct 2017, Proceedings of the 2017 International Conference "Quality Management, Transport and Information Security, Information Technologies", IT and QM and IS 2017. Institute of Electrical and Electronics Engineers Inc., p. 287-291 5 p. 8085813

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

  85. Lions, swans, monkeys - A new approach to biometric menagerie

    Sartasov, S., Zakharov, R. & Mikhalev, A., 20 Oct 2017, CEE-SECR 2017 - Proceedings of the 13th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, 3166113

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

  86. Duplicate management in software documentation maintenance

    Koznov, D. V., Luciv, D. V. & Chernishev, G. A., 1 Oct 2017, In: CEUR Workshop Proceedings. 1989, p. 195-201 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  87. Extreme Complex Systems, Uncertain and Uncooperative Robotic Networks, and Control Strategies Based Upon Stochastic Algorithms

    Граничин, О. Н. & Dudziak, M., 1 Oct 2017, In: Экстремальная робототехника. 1, 1, p. 450-456 7 p.

    Research output: Contribution to journal › Conference article › peer-review

  88. Improving control engineering education with TRIK cybernetic system

    Luchin, R. M., Shirokolobov, I. Y., Sokolov, D. V., Kirilenko, I. A., Terekhov, A. N. & Stone, A., 1 Jul 2017, In: IFAC-PapersOnLine. 50, 1, p. 15716-15721 6 p.

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

  89. Local voting protocol for the adaptation of airplane's 'feathers' in a turbulence flow

    Granichin, O., Khantuleva, T. & Granichina, O., 29 Jun 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 5684-5689 6 p. 7963840. (Proceedings of the American Control Conference).

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

  90. DeepAPI#: CLR/C# call sequence synthesis from text query

    Chebykin, A., Kita, M. & Kirilenko, I., 1 Jan 2017, In: CEUR Workshop Proceedings. 1864

    Research output: Contribution to journal › Conference article › peer-review

  91. Adaptation of Aircraft's Wings Elements in Turbulent Flows by Local Voting Protocol

    Granichin, O., Khantuleva, T. & Amelina, N., 2017, In: IFAC-PapersOnLine. 50, 1, p. 1904-1909 6 p.

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

  92. An approach to designing software engineering thesis papers

    Koznov, D. & Nemeshev, M., 2017, IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Liu, K., Salgado, A. C., Bernardino, J., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 139-145 7 p. (IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management; vol. 3).

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

  93. DeepAPI: Синтез цепочки вызовов API CLR/С# по текстовому запросу

    Chebykin, A., Kita, M. & Kirilenko, I., 2017, SEIM 2017. Proceedings of the Second Conference on Software Engineering and Information Management. 6 p. (CEUR Workshop Proceedings; vol. 1864).

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

  94. DISCOVERING NEAR DUPLICATE TEXT IN SOFTWARE DOCUMENTATION

    Kanteev, L. D., Kostyukov., Y. O., Luciv, D. V., Koznov, D. V. & Smirnov, M. N., 2017, In: Труды института системного программирования РАН. 29, 4, p. 303-314

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

  95. History of Development of Visual Modeling Tools at the Saint Petersburg State University

    Брыксин, Т. А., Литвинов, Ю. В. & Терехов, А. Н., 2017, Selected Papers - 2017 4th International Conference "Computer Technology in Russia and in the Former Soviet Union", SoRuCom 2017. Krayneva, I. & Tomilin, A. (eds.). Zelenograd, Russia, p. 109-113 5 p.

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

  96. Online Parameter Estimation for MPC Model Uncertainties Based on LSCR Approach

    Kalmuk, A., Tyushev, K., Granichin, O. & Yuchi, M., 2017, 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017). IEEE Canada, p. 1256-1261 6 p.

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

  97. Projective Approximation Based Gradient Descent Modification

    Senov, A. & Granichin, O., 2017, In: IFAC-PapersOnLine. 50, 1, p. 3899-3904 6 p.

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

  98. Real-time digital video stabilization using MEMS-sensors

    Kornilova, A. V., Kirilenko, I. A. & Zabelina, NI., 2017, In: Труды института системного программирования РАН. 29, 4, p. 73-86

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

  99. Sign-Perturbed Sums Approach for Data Treatment of Dynamic Fracture Tests

    Volkova, M., Volkov, G., Granichin, O. & Petrov, Y., 2017, 2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC). Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 1652-1656 5 p. (Proceedings od the IEEE Conference on Decision and Control).

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

  100. Simultaneous Perturbation Stochastic Approximation for Clustering of a Gaussian Mixture Model under Unknown but Bounded Disturbances

    Boiarov, A., Granichin, O. & Hou Wenguang, 2017, 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017). IEEE Canada, p. 1740-1745 6 p.

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

  101. Sistema programmirovaniya kiberneticheskih geterogennyh arhitektur s ispolzovaniem LLVM

    Melentev, K., Belkov, R. & Kirilenko, I., 2017, Second Conference on Software Engineering and Information Management (SEIM-2017)(short papers). p. 31 1 p.

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

  102. Spectral Profiling of Writing Process

    Kizhaeva, N., Volkovich, Z., Granichin, O., Granichina, O. & Kiyaev, V., 2017, 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017). IEEE Canada, p. 2063-2068 6 p.

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

  103. The knowledge managment capability of high-technology enterprises

    Gorlacheva, E., Gudkov, A., Koznov, D. & Omelchenko, I., 2017, IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Liu, K., Salgado, A. C., Bernardino, J., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 131-138 8 p. (IC3K 2017 - Proceedings of the 9th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management; vol. 3).

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

  104. TRIK Studio: Technical Introduction

    Мордвинов, Д. А., Литвинов, Ю. В. & Bryksin, T., 2017, PROCEEDINGS OF THE 20TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT 2017). Balandin, S. (ed.). IEEE Canada, p. 296-308 13 p. (Proceedings Conference of Open Innovations Association FRUCT).

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

Previous 1 2 3 4 5 Next

ID: 30196