Результат исследований

Фильтр
статья в сборнике материалов конференции
2019

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. (ред.). Springer, стр. 174-178 (Lecture Notes in Computer Science ; том 11626 ).

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

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

Novozhilov, E., Veselov, I., Pravilov, M. & Bryksin, T., мая 2019, Proceedings of the 3rd International Workshop on Refactoring.

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

Extraction of Archetype from Near Duplicates in Software Documentation

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

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

Stochastic fast gradient for tracking

Kosaty, D., Vakhitov, A., Granichin, O. & Yuchi, M., 1 июл 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., стр. 1476-1481 8815070. (Proceedings of the American Control Conference; том 2019-July).

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

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., авг 2019, CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications. Institute of Electrical and Electronics Engineers Inc., стр. 355-359 5 стр. 8920586. (CCTA 2019 - 3rd IEEE Conference on Control Technology and Applications).

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

2018

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.

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

Data-based code synthesis in IntelliJ IDEA

Брыксин, Т. А. & Танков, В. Д., 2018, Third Conference on Software Engineering and Information Management (SEIM-2018). Saint Petersburg

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

Detecting anomalies in Kotlin code

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

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

Открытый доступ

Ergatic system of complex safety of subjects of education

Граничин, О. Н., Trapitsin, S., Granichina, O. & Zharova, M., 28 сен 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.

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

Ergatic System of Complex Safety of Subjects of Education1

Trapitsin, S. Y., Granichina, O. A., Granichin, O. N. & Zharova, M. V., 5 ноя 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., стр. 877-880 4 стр. 8524965

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

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

Брыксин, Т. А., Литвинов, Ю. В. & Терехов, А. Н., 2018, 2017 Fourth International Conference on Computer Technology in Russia and in the Former Soviet Union (SORUCOM). Zelenograd, Russia

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

Открытый доступ

Improving Refutational Completeness of Relational Search via Divergence Test

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

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

Medical Images Segmentation Operations

Сартасов, С. Ю., Мусатян, С., Ломакин, А., Чижова, А., Попыванов, Л. & Монахов, И., 2018, Medical Images Segmentation Operations.

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

Открытый доступ

Poster: Duplicate finder toolkit

Luciv, D., Koznov, D., Chernishev, G., Basit, H. A., Romanovsky, K. & Terekhov, A., 27 мая 2018, Proceedings - International Conference on Software Engineering. Institute of Electrical and Electronics Engineers Inc., стр. 171-172 2 стр.

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

2 Цитирования (Scopus)

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

Граничин, О. Н., Trapitsin, S. & Granichina, O., 28 сен 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.

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

1 Цитирования (Scopus)

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

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

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

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

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

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

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

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

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

2017

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

Trapitsin, S. Y., Granichina, O. A. & Granichin, O. N., 26 окт 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., стр. 287-291 5 стр. 8085813

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

4 Цитирования (Scopus)

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

Granichin, O., Khantuleva, T. & Granichina, O., 29 июн 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., стр. 5684-5689 6 стр. 7963840

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

7 Цитирования (Scopus)

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., Том 2018-January. стр. 1652-1656 5 стр. (Proceedings od the IEEE Conference on Decision and Control).

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

2 Цитирования (Scopus)

Sistema programmirovaniya kiberneticheskih geterogennyh arhitektur s ispolzovaniem LLVM

Kirill, M., Roman, B. & Kirilenko, I., 2017, Second Conference on Software Engineering and Information Management (SEIM-2017)(short papers). стр. 31 1 стр.

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

TRIK Studio: Technical Introduction

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

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

1 Цитирования (Scopus)

Поддержка отладки текстовых языков программирования в TRIK Studio

Литвинов, Ю. В. & Малютин, Д. П., 2017, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 62-63

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

Поддержка программирования микроконтроллера STM32 в TRIK Studio

Литвинов, Ю. В. & Приходько, С. В., 2017, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 71-72

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

Робототехнический стенд "Танчики роботов"

Литвинов, Ю. В. & Сергеев, Е. Д., 2017, СПИСОК-2017. Материалы 7-й всероссийской научной конференции по проблемам информатики. Издательство «ВВМ», стр. 90-98

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

Среда предметно-ориентированного визуального моделирования REAL.NET

Литвинов, Ю. В., Кузьмина, Е. В., Небогатиков, И. Ю. & Алымова, Д. А., 2017, СПИСОК-2017. Материалы 7-й всероссийской научной конференции по проблемам информатики. стр. 80-89

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

2016

Multi-agent based adaptive swarm robotics control in dynamically changing and noisy environments

Erofeeva, V., Granichin, O. & Kiyaev, V., 2016, Суперкомпьютерные дни в России Труды международной конференции. стр. 808-813

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

Интеграция среды программирования роботов TRIK Studio со средой трехмерного моделирования V-REP

Литвинов, Ю. В. & Приходько, С. В., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 58-60

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

Новые возможности среды программирования роботов TRIK Studio

Литвинов, Ю. В. & Мордвинов, Д. А., 2016, VI Всероссийская конференция «Современное технологическое обучение: от компьютера к роботу» (сборник тезисов). ЗАО «Полиграфическое предприятие № 3», стр. 41-43

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

Поддержка выполнения кода JavaScript на двумерной модели робота

Литвинов, Ю. В. & Малютин, Д. П., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 54-55

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

Поддержка диаграммы классов языка UML 2.5 в среде QReal

Литвинов, Ю. В. & Храмышкина, Ю. С., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 86-87

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

Поддержка работы с подпрограммами в DSM-платформе

Литвинов, Ю. В. & Когутич, Д. А., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 47-49

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

Разработка онлайн-метаредактора QReal-Web

Литвинов, Ю. В. & Черниговская, Л. А., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 29-31

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

Реализация редактора сетей Петри в системе QReal

Литвинов, Ю. В. & Тарасова, П. М., 2016, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 84-85

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

2015

ALGOL 68 and its impact on the USSR and Russian Programming

Terekhov, A., 2015, Proceedings - 3rd International Conference on Computer Technology in Russia and in the Former Soviet Union, SoRuCom 2014. стр. 97-106

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

Application of scenario approach to optimal choice of feedback coefficients in trading strategy using pi-controller

Kornivetc, A. & Granichin, O., 2015, Application of scenario approach to optimal choice of feedback coefficients in trading strategy using pi-controller. стр. 991-998

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

Differentiated Consensuses in Decentralized Load Balancing Problem with Randomized Topology, Noise, and Delays

Amelina, N., Granichin, O. N., Granichina, O. & Jiang, Y., 2015, 53RD IEEE ANNUAL CONFERENCE ON DECISION AND CONTROL Proceedings. 2015. стр. 4613-4618

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

Optimal step-size of a local voting protocol for differentiated consensuses achievement in a stochastic network with cost constraints

Ivanskiy, Y., Amelina, N., Granichin, O., Granichina, O. & Jiang, Y., 2015, Proc. of the 2015 IEEE Conference on Control Applications, September 21-23, 2015, Sydney, Australia.. стр. 1367-1372

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

Optimal step-size of a local voting protocol for differentiated consensuses achievement in a stochastic network with priorities

Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 2015, Proc. of 14th European Control Conference (ECC), Linz, Austria, July 15-17, 2015.. стр. 628-633

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

4 Цитирования (Scopus)

TRIK Studio: среда обучения программированию с применением роботов

Литвинов, Ю. В. & Кириленко, Я. А., 2015, V Всероссийская конференция «Современное технологическое обучение: от компьютера к роботу» (сборник тезисов). ЗАО «Полиграфическое предприятие № 3», стр. 5-7

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

Writing style determination using the KNN text model

Granichin, O., Kizhaeva, N., Shalymov, D. & Volkovich, Z., 2015, 2015 IEEE International Symposium on Intelligent Control (ISIC). стр. 900-905

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

2 Цитирования (Scopus)

Генерация кода в режиме метамоделирования на лету в системе QReal

Литвинов, Ю. В. & Литвинова, М. В., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 53-54

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

Мониторинг и мультиагентное управление

Граничин, О. Н. & Кияев, В. И., 2015, Сб. тезисов XIII Всероссийская конференция «Преподавание информационных технологий в Российской Федерации». стр. 90-91

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

Поддержка конструктора EV3 в TRIK Studio

Литвинов, Ю. В., Когутич, Д. А. & Смирнов, М. А., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 40-41

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

Развитие нефтегазовых комплексов и сетей: мониторинг и мультиагентное управление

Амелина, Н. О., Амелин, К. С., Граничин, О. Н. & Кияев, В. И., 2015, Сб. тезисов V научно-практическая конференция «Суперкомпьютерные технологии в нефтегазовой отрасли. Математические методы, программное и аппаратное обеспечение». стр. 17- 21

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

Реализация алгоритма вывода типов Хиндли-Милнера для языка Lua в TRIK Studio

Литвинов, Ю. В., Малютин, Д. П. & Приходько, С. В., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 76-76

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

Сравнение способов получения редакторов по метамодели и скорости их работы

Литвинов, Ю. В., Тарасова, П. М. & Храмышкина, Ю. С., 2015, Материалы научно-практической конференции студентов, аспирантов и молодых учёных "Современные технологии в теории и практике программирования". Издательство Санкт-Петербургского Государственного Политехнического Университета, стр. 79-80

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

2014

Differentiated Consensuses in a Stochastic Network with Priorities

Amelina, N., Granichin, O., Granichina, O., Ivanskiy, Y. & Jiang, Y., 2014, Conference: 2014 IEEE Multi-conference on Systems and Control. стр. 264-269

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

5 Цитирования (Scopus)

Exact confidence regions for linear regression parameter under external arbitrary noise

Senov, A., Amelin, K., Amelina, N. & Granichin, O., 2014, In: Proc. of the 2014 American Control Conference (ACC),. стр. 5097-5102

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

6 Цитирования (Scopus)