1 - 100 out of 473Page size: 100
  1. 2024

  2. Comparing time. A new approach to the problem of time synchronization in a multi-agent system

    Сметанина, В. Д., Архипов, И. С., Граничин, О. Н. & Акинфиев, И. А., 1 Dec 2024, PROCEEDING OF THE 36TH CONFERENCE OF FRUCT ASSOCIATION: Conference of Open Innovations Association, FRUCT . FRUCT Oy, p. 843-846 4 p. (PROCEEDING OF THE CONFERENCE OF FRUCT ASSOCIATION; no. 36).

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

  3. Метод Б. Т. Поляка на основе стохастической функции Ляпунова для обоснования состоятельности оценок поискового алгоритма стохастической аппроксимации при неизвестных, но ограниченных помехах

    Граничин, О. Н., Иванский, Ю. В. & Копылова, К. Д., 15 Nov 2024, In: ЖУРНАЛ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И МАТЕМАТИЧЕСКОЙ ФИЗИКИ. 64, 4, p. 627-636

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

  4. Lightning Fast Matching Dependency Discovery with Desbordante

    Шлёнских, А. А., Синельников, М. А., Николаев, Д. В., Литвинов, Ю. В. & Чернышев, Г. А., 14 Nov 2024, 2024 36th Conference of Open Innovations Association (FRUCT). Institute of Electrical and Electronics Engineers Inc., p. 729-740 (Conference of Open Innovation Association, FRUCT).

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

  5. Оптимизация расчётов поуровневых коэффициентов скорости колебательных энергообменов для O2 и NO-содержащих смесей

    Исаков, А. А., Гориховский, В. И. & Мельник, М. Ю., 23 Sep 2024.

    Research output: Contribution to conference › Abstract

  6. AI methods of control for distributed space systems: a review

    Граничин, О. Н., Тихонов, А. А., Иванский, Ю. В. & Копылова, К. Д., 19 Sep 2024, Conference Proceedings - 8th Scientific School "Dynamics of Complex Networks and their Applications", DCNA 2024. p. 79-82 4 p.

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

  7. Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees

    Шеметова, Е. Н., Охотин, А. С. & Григорьев, С. В., 1 Jun 2024, In: Theory of Computing Systems. 68, 3, p. 487-511 25 p.

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

  8. Accelerated Decentralized Load Balancing in Multi-Agent Networks

    Erofeeva, V., Granichin, O. & Volodina, E., 2024, In: IEEE Access. 12, p. 161954-161967 14 p.

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

  9. Multi-Agent Local Voting Protocol for Online DAG Scheduling

    Петросян, О. Л., Житнухин, Н. А., Жадан, А. Ю., Кондратов, И. В., Аллахвердян, А. Л., Граничин, О. Н., Романовский, А. & Харин, В., 2024, (Accepted/In press) In: Computer Research and Modeling.

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

  10. Regression models for calculating state-to-state coefficients of the rate of vibrational energy exchanges

    Исаков, А. А., Гориховский, В. И. & Мельник, М. Ю., 2024, (Accepted/In press) In: Vestnik St. Petersburg University: Mathematics.

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

  11. Модели регрессии для расчёта поуровневых коэффициентов скорости колебательных энергообменов

    Исаков, А. А., Гориховский, В. И. & Мельник, М. Ю., 2024, (Accepted/In press) In: ВЕСТНИК САНКТ-ПЕТЕРБУРГСКОГО УНИВЕРСИТЕТА. МАТЕМАТИКА. МЕХАНИКА. АСТРОНОМИЯ.

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

  12. РАЗРАБОТКА ИНСТРУМЕНТА ДЛЯ СРАВНЕНИЯ АЛГОРИТМОВ CONTENT DEFINED CHUNKING НА RUST

    Пилецкий, О. А. & Гориховский, В. И., 2024, СОВРЕМЕННЫЕ ТЕХНОЛОГИИ В ТЕОРИИ И ПРАКТИКЕ ПРОГРАММИРОВАНИЯ: Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 253-254

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

  13. Разработка пакета нейросетевой аппроксимации дифференциальных уравнений DEGANN

    Алимов, П. Г. & Гориховский, В. И. (ed.), 2024, МАТ-МЕХ. НАУКА 2024: Материалы весенней научно-практической конференции по вопросам информатики, математики, механики и астрономии. Санкт-Петербург: Издательство «ВВМ», p. 5-11 7 p.

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

  14. 2023

  15. База данных: «База данных для оценки страхового поведения» (Insurance Behavior Assessment)

    Медяник, О. В. & Зеленчук, И. В., 14 Dec 2023, Федеральная служба по интеллектуальной собственности, Patent No. 2023624637, 28 Nov 2023, Priority date 14 Dec 2023

    Research output: Patenting and IP registration › Certificate of registration

  16. Framework for Machine Instruction Usage Analysis

    Печенев, Д. Е., Кириленко, Я. А. & Афонина, О. А., 30 Oct 2023, Spring/Summer Young Researchers' Colloquium on Software Engineering 2023. p. 163-170 8 p.

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

  17. Strategies for optimizing electronic tips service profit

    Лапина, Е. Д. & Гориховский, В. И., 25 Oct 2023, In: Journal of AppliedMath. 1, 2, 11 p., 105.

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

  18. Stabilizing ℓ-semioptimal fractional controller for discrete non-minimum phase system under unknown-but boundeddisturbance

    Ivanov, D., Granichin, O., Pankov, V. & Granichina, O., 30 Sep 2023, In: Cybernetics and Physics. 12, 2, p. 121-128 8 p.

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

  19. On Stochastic Optimization for Smartphone CPU Energy Consumption Decrease

    Pelogeiko, M., Sartasov, S. & Granichin, O., 25 Sep 2023, In: Informatics and Automation. 22, 5, p. 1004-1033 30 p.

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

  20. Поуровневое моделирование релаксации CO2 в модели FHO

    Гориховский, В. И., Мехоношина, М. А. & Нагнибеда, Е. А., Aug 2023.

    Research output: Contribution to conference › Abstract › peer-review

  21. Генерация нейронных сетей для моделирования поведения динамических систем

    Алимов, П. Г. & Гориховский, В. И. (ed.), 10 Jul 2023, Материалы XXIII Международной конференции по вычислительной механике и современным прикладным программным системам (ВМСППС’2023). Московский авиационный институт, p. 91-92

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

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

    Исаков, А. А., Мельник, М. Ю. & Гориховский, В. И., 10 Jul 2023.

    Research output: Contribution to conference › Abstract › peer-review

  23. Heralded gate search with genetic algorithms for quantum computation

    Chernikov, A., Sysoev, S. S., Vashukevich, E. A. & Golubeva, T. Y., 7 Jul 2023, In: Physical Review A. 108, 1, 012609.

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

  24. Distributed Load Balancing Based on Modified Local Voting Protocol

    Borisoglebskaya, E., Erofeeva, V., Granichin, O., Ivanskiy, Y. & Kizhaeva, N., 3 Jul 2023, 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT). (2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)).

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

  25. Frequency-independent smartphone peripherals energy consumption estimation

    Сартасов, С. Ю., Мирошников, В. И. & Кузнецов, И. А., 30 Jun 2023, In: Cybernetics and Physics. 12, 1, p. 42-50 9 p.

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

  26. Recognition of Diffuse Hepatic Steatosis

    Гориховский, В. И. & Евдокимов, Д., 24 May 2023, Proceedings of the XXth Conference of Open Innovations. p. 318-324 7 p. (Conference of Open Innovations Association FRUCT).

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

  27. Создание веб-приложения для обработки данных по прохождению онлайн-курсов

    Уфимцев, Ю. Д. & Литвинов, Ю. В., 27 Apr 2023, Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 88-90

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

  28. Фреймворк для сбора и анализа данных об использовании машинных инструкций

    Печенев, Д. Е. & Кириленко, Я. А., 27 Apr 2023, Современные технологии в теории и практике программирования: Сборник материалов научно-практической конференции студентов, аспирантов и молодых ученых. Издательство Санкт-Петербургского Государственного Политехнического Университета, p. 217-219

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

  29. Оптимизация расчетов колебательной кинетики углекислого газа

    Кустова, Е. В., Кунова, О. В. & Гориховский, В. И., Apr 2023, Всероссийский научный симпозиум по проблемам аэромеханики и газовой динамики, посвящённый 100-летию со дня рождения академика Горимира Горимировича Чёрного. М: Издательство Московского университета

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

  30. База данных для оценки финансовой тревожности потребителей (Financial Anxiety)

    Медяник, О. В. & Зеленчук, И. В., 21 Feb 2023, Patent No. 2023620674, 20 Dec 2022

    Research output: Patenting and IP registration › Certificate of registration

  31. A Method for Solving the Fredholm Integral Equation of the First Kind

    Макаров, А. А. & Куликов, Е. К., 2023, In: Journal of Mathematical Sciences. 272, 4, p. 558-565

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

  32. FastGFDs: Efficient Validation of Graph Functional Dependencies with Desbordante

    Черников, А. А., Чернышев, Г. А., Литвинов, Ю. В. & Смирнов, К. К., 2023.

    Research output: Contribution to conference › Paper › peer-review

  33. Recognition of skin lesions from image

    Гориховский, В. И. & Ледовских, М. А., 2023, (Accepted/In press) In: Moscow University Physics Bulletin (English Translation of Vestnik Moskovskogo Universiteta, Fizika). 11 p.

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

  34. 2022

  35. SENSOR NETWORK CONTROL BASED ON RANDOMIZED AND MULTI-AGENT APPROACHES

    Sergeenko, A. & Granichin, O., 30 Sep 2022, In: Cybernetics and Physics. 11, 2, p. 94-105 12 p.

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

  36. Программа для определения типов финансового поведения пользователей (FinTech User Behavior)

    Медяник, О. В. & Зеленчук, И. В., 29 Sep 2022, Patent No. 202667946, 22 Sep 2022

    Research output: Patenting and IP registration › Certificate of registration

  37. SPSA ALGORITHM FOR HISTORY DATA MATCHING OF COMPLEX NON-GAUSSIAN GEOLOGICAL MODELS

    Pankov, V. & Granichin, O., 2 Jun 2022, In: Cybernetics and Physics. 11, 1, p. 18-24 7 p.

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

  38. Lupa: A Framework for Large Scale Analysis of the Programming Language Usage

    Vlasova, A., Tigina, M., Vlasov, I., Birillo, A., Golubev, Y. & Bryksin, T., 23 May 2022, Proceedings - 2022 Mining Software Repositories Conference, MSR 2022. Institute of Electrical and Electronics Engineers Inc., p. 398-402 5 p.

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

  39. Construction of Approximation Functionals for Minimal Splines

    Kulikov, E. K. & Makarov, A. A., 1 Mar 2022, In: Journal of Mathematical Sciences (United States). 262, 1, p. 84-98 15 p.

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

  40. TraceSim: An Alignment Method for Computing Stack Trace Similarity

    Rodrigues, I. M., Khvorov, A., Aloise, D., Vasiliev, R., Koznov, D., Fernandes, E. R., Chernishev, G., Luciv, D. & Povarov, N., Mar 2022, In: Empirical Software Engineering. 27, 2, 53.

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

  41. Hyperstyle: A Tool for Assessing the Code Quality of Solutions to Programming Assignments

    Birillo, A., Vlasov, I., Burylov, A., Selishchev, V., Goncharov, A., Tikhomirova, E., Vyahhi, N. & Bryksin, T., 22 Feb 2022, SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 307-313 7 p. (SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education; vol. 1).

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

  42. Development of a Probe System for Measuring the Plasma Parameters and the High-Energy Part of the Electron-Energy Distribution Function

    Saifutdinov, A. I. & Sysoev, S. S., 1 Feb 2022, In: Instruments and Experimental Techniques. 65, 1, p. 75-79 5 p.

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

  43. Multiagent Control of Airplane Wing Stability with “Feathers” under the Flexural Torsional Flutter

    Shalymov, D., Granichin, O., Ivanskiy, Y. & Volkovich, Z., 13 Jan 2022, In: Mathematics. 10, 2, 19 p., 236.

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

  44. Design of ℓ1 new suboptimal fractional delays controller for discrete non-minimum phase system under unknown-but-bounded disturbance

    Ivanov, D., Granichin, O., Pankov, V. & Volkovich, Z., 1 Jan 2022, In: Mathematics. 10, 1, 15 p., 69.

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

  45. Smart Mobile Microscopy: Towards Fully-Automated Digitization

    Kornilova, A., Kirilenko, I., Iarosh, D., Kutuev, V. & Strutovsky, M., 2022, Proceedings of the Future Technologies Conference (FTC) 2021, Volume 2. Arai, K. (ed.). Springer Nature, Vol. 2. p. 617-635 19 p. (Lecture Notes in Networks and Systems; vol. 359 LNNS).

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

  46. Архитектура ЭВМ: учебное пособие

    Луцив, Д. В., Мокаев, Р. Н., Гаранина, Н. О. & Кознов, Д. В., 2022, 152 p. ИНТУИТ.РУ.

    Research output: Other contribution › Education

  47. Об одном методе решения интегрального уравнения Фредгольма первого рода

    Макаров, А. А. & Куликов, Е. К., 2022, In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 514, p. 113-125

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

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

    Борисоглебская, Е. А., Копылова, К. Д., Чернов, А. О. & Граничин, О. Н., 2022, p. 119-121.

    Research output: Contribution to conference › Paper

  49. 2021

  50. Design of L1 new suboptimal fractional delays controller for discrete non-minimum phase system under unknown-but-bounded disturbance

    Ivanov, D., Granichin, O., Pankov, V. & Volkovich, Z., 26 Dec 2021, In: Mathematics. 10, 1, 69.

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

  51. Dynamic voltage-frequency optimization using Simultaneous Perturbation Stochastic Approximation

    Bogdanov, E., Bozhnyuk, A., Bykov, D., Sartasov, S., Sergeenko, A. & Granichin, O., 10 Dec 2021, 2021 7th International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP). IEEE Circuits and Systems Society, 7 p.

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

  52. Cluster control of complex cyber-physical systems

    Uzhva, D. & Granichin, O., 30 Nov 2021, In: Cybernetics and Physics. 10, 3, p. 191-200 10 p.

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

  53. Повышение точности следования БПЛА по заданной траектории при ветровых нагрузках методом SPSA

    Амелин, К. С., Граничин, О. Н., Мальцев, В. С. & Сергеев, С. Ф., 30 Nov 2021, In: РОБОТОТЕХНИКА И ТЕХНИЧЕСКАЯ КИБЕРНЕТИКА. 9, 4, p. 260-270

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

  54. Проблемы и перспективы использования стохастической аппроксимации для регулирования частот процессора в Android OS

    Сартасов, С. Ю., Богданов, Е. А., Божнюк, А. С. & Граничин, О. Н., 30 Nov 2021, In: КОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ. 2

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

  55. Some Features of The Digital Solutions Development in Geological Exploration

    Сабашный, В., Михалевич, О. & Немешев, М. Х., Nov 2021, ProGREss’21. European Association of Geoscientists and Engineers, p. 1-6 6 p.

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

  56. Формирование стратегии развития Комитета по искусственному интеллекту в Научно-образовательном центре «Инженерия будущего»

    Barinov, I. I., Borgest, N. M., Borovik, S. Y., Granichin, O. N., Grachev, S. P., Gromyko, Y. V., Doronin, R. I., Zinchenko, S. N., Ivanov, A. B., Kizeev, V. M., Kutlakhmetov, R. I., Laryukhin, V. B., Levashkin, S. P., Mochalkin, A. N., Panteleev, M. G., Popov, S. B., Sevastyanov, E. M., Skobelev, P. O., Chernyavsky, A. G., Shishkin, V. V. & 1 others, Shlyaev, S. I., 30 Sep 2021, In: Онтология проектирования. 11, 3, p. 260-293

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

  57. Моделирование антенной системы радиотелескопа

    Копылова, К. Д., Граничин, О. Н. & Иванский, Ю. В., 25 Sep 2021, Навигация и управление движением: Материалы ХХIII конференции молодых ученых с международным участием.. СПб: ЦНИИ «Электроприбор», p. 268-270

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

  58. Distributed Stochastic Optimization with Heavy-Ball Momentum Term for Parameter Estimation

    Erofeeva, V., Granichin, O. & Sergeenko, A., 13 Sep 2021, Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021. Hramov, A., Kurkin, S., Andreev, A. & Shusharina, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 69-72 4 p. (Conference Proceedings - 5th Scientific School Dynamics of Complex Networks and their Applications, DCNA 2021).

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

  59. Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching

    Smirnov, O., Lobanov, A., Golubev, Y., Tikhomirova, E. & Bryksin, T., 25 Aug 2021.

    Research output: Working paper › Preprint

  60. Unsupervised learning of general-purpose embeddings for code changes

    Pravilov, M., Bogomolov, E., Golubev, Y. & Bryksin, T., 23 Aug 2021, MaLTESQuE 2021 - Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution, co-located with ESEC/FSE 2021. Ampatzoglou, A., Feitosa, D., Catolino, G. & Lenarduzzi, V. (eds.). Association for Computing Machinery, p. 7-12 6 p.

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

  61. Authorship attribution of source code: A language-agnostic approach and applicability in software engineering

    Bogomolov, E., Kovalenko, V., Rebryk, Y., Bacchelli, A. & Bryksin, T., 20 Aug 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering: Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, p. 932-944 13 p.

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

  62. One thousand and one stories: A large-scale survey of software refactoring

    Golubev, Y., Kurbatova, Z., Alomar, E. A., Bryksin, T. & Mkaouer, M. W., 20 Aug 2021, ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Spinellis, D. (ed.). Association for Computing Machinery, p. 1303-1313 11 p.

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

  63. PyNose: A Test Smell Detector For Python

    Wang, T., Golubev, Y., Smirnov, O., Li, J., Bryksin, T. & Ahmed, I., 10 Aug 2021.

    Research output: Working paper › Preprint

  64. Efficient Parallel Algorithms for String Comparison

    Mishin, N., Berezun, D. & Tiskin, A., 9 Aug 2021, 50th International Conference on Parallel Processing, ICPP 2021 - Main Conference Proceedings. Association for Computing Machinery, 10 p. 50. (ACM International Conference Proceeding Series).

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

  65. Image compression and enlargement algorithms

    Burova, I. G., Dem’yanovich, Y. K., Terekhov, A. N., Altynova, A. Y., Satanovskiy, A. D. & Babushkin, A. A., 5 Aug 2021, In: International Journal of Circuits, Systems and Signal Processing. 15, p. 836-846 11 p.

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

  66. Simultaneous Perturbation Stochastic Approximation-Based Consensus for Tracking Under Unknown-But-Bounded Disturbances

    Granichin, O., Erofeeva, V., Ivanskiy, Y. & Jiang, Y., Aug 2021, In: IEEE Transactions on Automatic Control. 66, 8, p. 3710-3717 8 p., 9198090.

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

  67. Convergence analysis of weighted SPSA-based consensus algorithm in distributed parameter estimation problem

    Sergeenko, A., Erofeeva, V., Granichin, O., Granichina, O. & Proskurnikov, A., 1 Jul 2021, In: IFAC-PapersOnLine. 54, 7, p. 126-131 6 p.

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

  68. On Application of Simultaneous Perturbation Stochastic Approximation for Dynamic Voltage-Frequency Scaling in Android OS

    Bogdanov, E., Bozhnyuk, A., Sartasov, S. & Granichin, O., 22 Jun 2021, EBCCSP 2021 - Proceedings: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing: 2021 7th International Conference on Event-Based Control, Communication and Signal Processing. Institute of Electrical and Electronics Engineers Inc., 7 p.

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

  69. Beyond the elementary representations of program invariants over algebraic data types

    Kostyukov, Y., Mordvinov, D. & Fedyukovich, G., 18 Jun 2021, PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Freund, S. N. & Yahav, E. (eds.). Association for Computing Machinery, p. 451-465 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

  70. Emergent Intelligence via Self-Organization in a Group of Robotic Devices

    Amelin, K., Granichin, O., Sergeenko, A. & Volkovich, Z. V., 8 Jun 2021, In: Mathematics. 9, 12, 15 p., 1314.

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

  71. PSIMiner: A tool for mining rich abstract syntax trees from code

    Spirin, E., Bogomolov, E., Kovalenko, V. & Bryksin, T., 1 May 2021, 2021 IEEE/ACM 18TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR 2021). Institute of Electrical and Electronics Engineers Inc., p. 13-17 5 p. 9463105. (IEEE International Working Conference on Mining Software Repositories).

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

  72. S3M: Siamese Stack (Trace) Similarity Measure

    Khvorov, A., Vasiliev, R., Chernishev, G., Rodrigues, I. M., Koznov, D. & Povarov, N., May 2021, 2021 IEEE/ACM 18th International Conference on Mining Software Repositories, MSR 2021: Proceedings . Institute of Electrical and Electronics Engineers Inc., p. 266-270 5 p. 9463141. (IEEE International Working Conference on Mining Software Repositories).

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

  73. TaskTracker-tool: A Toolkit for Tracking of Code Snapshots and Activity Data during Solution of Programming Tasks

    Lyulina, E., Birillo, A., Kovalenko, V. & Bryksin, T., 3 Mar 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 495-501 7 p.

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

  74. Multi-threshold token-based code clone detection

    Golubev, Y., Poletansky, V., Povarov, N. & Bryksin, T., Mar 2021, Proceedings - 2021 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2021. Institute of Electrical and Electronics Engineers Inc., p. 496-500 5 p. 9426013

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

  75. Efficient fair conjunction for structurally-recursive relations

    Lozov, P. & Boulytchev, D., 17 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Lindley, S. & Mogensen, T. (eds.). Association for Computing Machinery, p. 58-73 16 p. (Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation).

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

  76. Cluster flows and multiagent technology

    Granichin, O., Uzhva, D. & Volkovich, Z., 1 Jan 2021, In: Mathematics. 9, 1, p. 1-14 14 p., 22.

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

  77. ADAPTATION OF MESHES FOR APPROXIMATION OF FUNCTIONS WITH BOUNDARY LAYER COMPONENT

    Kanashin, D. A., Kulikov, E. K. & Makarov, A. A., 2021, p. 524-525. 2 p.

    Research output: Contribution to conference › Paper

  78. Dynamic Voltage-Frequency Optimization using Simultaneous Perturbation Stochastic Approximation

    Bogdanov, E., Bozhnyuk, A., Bykov, D., Sartasov, S., Sergeenko, A. & Granichin, O., 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers Inc., p. 3774-3779 6 p. (Proceedings of the IEEE Conference on Decision and Control; vol. 2021-December).

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

  79. MECHANIZED THEORY OF EVENT STRUCTURES: A CASE OF PARALLEL REGISTER MACHINE

    Гладштейн, В. П., Михайловский, Д. В., Моисеенко, Е. А. & Трунов, А., 2021, In: Труды института системного программирования РАН. 33, 3, p. 143-154

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

  80. Navitas Framework: A Novel Tool for Android Applications Energy Profiling

    Сартасов, С. Ю., Мясников, В. Н., Шапошников, А. И., Гордиенко, Е. А., Афонина, О. А. & Гамаонов, А. Б., 2021, SEIM 2021 Software Engineering and Information Management: Proceedings of the Sixth Conference on Software Engineering and Information Management. Trifonov, P. & Podkopaev, A. (eds.). (CEUR Workshop Proceedings; vol. 2953).

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

  81. On modi ed spline collocations method for solving the Fredholm integral equation

    Kulikov, E. K. & Makarov, A. A., 2021, In: Differencialnie Uravnenia i Protsesy Upravlenia. 2021, 4, p. 211-223 13 p.

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

  82. Static Checking Consistency of Temporal Requirements for Control Software

    Garanina, N. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (eds.). Springer Nature, p. 189-203 15 p. (Communications in Computer and Information Science; vol. 1481 CCIS).

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

  83. Visual Language for Device Management in Telecommunication Product Line

    Semenov, E., Kai, S., Gen, C., Luciv, D. & Koznov, D., 2021, Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings. Bellatreche, L., Chernishev, G., Corral, A., Ouchani, S. & Vain, J. (eds.). Springer Nature, p. 204-216 13 p. (Communications in Computer and Information Science; vol. 1481 CCIS).

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

  84. Weighted SPSA-based Consensus Algorithm for Distributed Cooperative Target Tracking

    Erofeeva, V., Granichin, O., Granichina, O., Proskurnikov, A. & Sergeenko, A., 2021, 2021 European Control Conference, ECC 2021. Institute of Electrical and Electronics Engineers Inc., p. 1074-1079 6 p. (2021 European Control Conference, ECC 2021).

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

  85. АДАПТАЦИЯ РАСЧЕТНЫХ СЕТОК ПРИ ПРИБЛИЖЕНИИ ФУНКЦИЙ С ПОГРАНСЛОЙНОЙ СОСТАВЛЯЮЩЕЙ

    Канашин, Д. А., Куликов, Е. К. & Макаров, А. А., 2021, p. 238-239. 2 p.

    Research output: Contribution to conference › Paper

  86. Децентрализованное групповое управление роем автономных роботов без маршрутизации данных

    Амелин, К. С., Амелина, Н. О., Граничин, О. Н. & Сергеев, С. Ф., 2021, In: РОБОТОТЕХНИКА И ТЕХНИЧЕСКАЯ КИБЕРНЕТИКА. 9, 1(30), p. 42-48

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

  87. О построении аппроксимационных функционалов для минимальных сплайнов

    Макаров, А. А. & Куликов, Е. К., 2021, In: ЗАПИСКИ НАУЧНЫХ СЕМИНАРОВ САНКТ-ПЕТЕРБУРГСКОГО ОТДЕЛЕНИЯ МАТЕМАТИЧЕСКОГО ИНСТИТУТА ИМ. В.А. СТЕКЛОВА РАН. 504, p. 136-156

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

  88. Протокол кооперативной самоорганизации группового поведения роботов

    Амелин, К. С., Ерофеева, В. А., Граничин, О. Н., Сергеев, С. Ф. & Сергеенко, А. Н., 2021, XIV Всероссийская мультиконференция по проблемам управления (МКПУ-2021) : материалы XIV мультиконференции (Дивноморское, Геленджик, 27 сентября – 2 октября 2021 г.): в 4 т.. Ростов-на-Дону; Таганрог: Издательство Южного Федерального университета, Vol. 2. p. 94-96

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

  89. 2020

  90. Development of special tools for IT specialists education

    Терехов, А. Н., 25 Dec 2020.

    Research output: Contribution to conference › Abstract

  91. Advanced SPSA-based Algorithm for Multi-Target Tracking in Distributed Sensor Networks

    Sergeenko, A., Granichin, O. & Proskurnikov, A. V., 14 Dec 2020, 2020 59th IEEE Conference on Decision and Control, CDC 2020. Institute of Electrical and Electronics Engineers Inc., p. 2424-2429 6 p. 9303942. (Proceedings of the IEEE Conference on Decision and Control; vol. 2020-December).

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

  92. On biorthogonal approximation of solutions of some boundary value problems on Shishkin mesh

    Kulikov, E. & Makarov, A., 3 Dec 2020, Application of Mathematics in Technical and Natural Sciences: 12th International On-line Conference for Promoting the Application of Mathematics in Technical and Natural Sciences, AMiTaNS 2020. Todorov, M. D. & Todorov, M. D. (eds.). American Institute of Physics, 110005. (AIP Conference Proceedings; vol. 2302).

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

  93. TraceSim: A method for calculating stack trace similarity

    Vasiliev, R., Koznov, D., Chernishev, G., Khvorov, A., Luciv, D. & Povarov, N., 13 Nov 2020, MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020. Khomh, F., Salza, P. & Catolino, G. (eds.). Association for Computing Machinery, p. 25-30 6 p. (MaLTeSQuE 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Machine-Learning Techniques for Software-Quality Evaluation, Co-located with ESEC/FSE 2020).

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

  94. Energy Consumption Measurement Frameworks forAndroid OS: A Systematic Literature Review

    Myasnikov, V., Sartasov, S., Slesarev, I. & Gessen, P., 29 Sep 2020, Proceedings of the Fifth Conference on Software Engineering and Information Management 2020 (SEIM 2020). Trifonov, P. & Yarygina, A. (eds.). 12 p. (Ceur workshop proceedings; vol. 2691).

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

  95. ПОДГОТОВКА IT КАДРОВ В СПБГУ

    Терехов, А. Н. & Платонова, М. В., 22 Sep 2020, Перспективные направления развития отечественных информационных технологий: Материалы VI межрегиональной научно-практической конференции. Севастополь: Севастопольский государственный университет, p. 289-290

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

  96. Sosed: A tool for finding similar software projects

    Bogomolov, E., Golubev, Y., Lobanov, A., Kovalenko, V. & Bryksin, T., Sep 2020, Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020. Institute of Electrical and Electronics Engineers Inc., p. 1316-1320 5 p. 9286041. (Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020).

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

  97. A Sequential Subspace Quasi-Newton Method for Large-Scale Convex Optimization

    Senov, A., Granichin, O. & Granichina, O., Jul 2020, American Control Conference, ACC 2020. Institute of Electrical and Electronics Engineers Inc., p. 3627-3632 6 p. 9147989. (Proceedings of the American Control Conference).

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

  98. A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub

    Golubev, Y., Eliseeva, M., Povarov, N. & Bryksin, T., 29 Jun 2020, p. 54-64. 11 p.

    Research output: Contribution to conference › Paper › peer-review

  99. Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler

    Bryksin, T., Petukhov, V., Alexin, I., Prikhodko, S., Shpilman, A., Kovalenko, V. & Povarov, N., 29 Jun 2020, p. 455-465. 11 p.

    Research output: Contribution to conference › Paper › peer-review

  100. Visualization of Methods Changeability Based on VCS Data

    Svitkov, S. & Bryksin, T., 29 Jun 2020, p. 477-480. 4 p.

    Research output: Contribution to conference › Paper › peer-review

  101. Building Implicit Vector Representations of Individual Coding Style

    Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., 27 Jun 2020, p. 117-124. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  102. Recommendation of Move Method Refactoring Using Path-Based Representation of Code

    Kurbatova, Z., Veselov, I., Golubev, Y. & Bryksin, T., 27 Jun 2020, p. 315-322. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  103. Hamiltonian path problem: The performance comparison deoxyribonucleic acid computing and the branch-and-bound method

    Sergeenko, A. N., Granichin, O. N. & Yakunina, M. V., 21 May 2020, In: Journal of Physics: Conference Series. 1536, 1, 012003.

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

  104. Network Traffic Load Balancing Protocol

    Amelina, N., Chernov, A., Granichin, O., Ivanskiy, Y. & Len, I., May 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., p. 906-910 5 p. 9143622. (European Control Conference 2020, ECC 2020).

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

  105. Simultaneous Perturbation Stochastic Approximation for Few-Shot Learning

    Boiarov, A., Granichin, O. & Granichina, O., May 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., p. 350-355 6 p. 9143831. (European Control Conference 2020, ECC 2020).

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

Previous 1 2 3 4 5 Next

ID: 30196