Research Output 1992 2019

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

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

Lobanov, A., Bryksin, T. & Shpilman, A., 1 Jan 2019, Artificial Intelligence in Education - 20th International Conference, AIED 2019, Proceedings. Isotani, S., Hastings, P., Ogan, A., McLaren, B., Luckin, R. & Millán, E. (eds.). Springer, p. 174-178 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11626 LNAI).

Research outputpeer-review

Online Learning
Assignment
Programming
Feedback
Learning systems

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

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

Research outputpeer-review

Learning systems

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 outputpeer-review

Error analysis
Neural networks
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.

Research outputpeer-review

Data-based code synthesis in IntelliJ IDEA

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

Research outputpeer-review

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 outputpeer-review

Open Access

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

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

Education
Information systems
Monitoring
Safety
Risk factors

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

Research outputpeer-review

Open Access

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.

Research outputpeer-review

Computer programming languages
Semantics
Specifications

Medical Images Segmentation Operations

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

Research outputpeer-review

Open Access

Poster: Duplicate finder toolkit

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

Research outputpeer-review

Automation
Visualization
Hot Temperature
1 Citation (Scopus)

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

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

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

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

Research output

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

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

Research output

2017
3 Citations (Scopus)

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

Mathematical models
Evaluation
Mathematical model
Information model
University management
6 Citations (Scopus)

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

Research output

Large scale systems
Turbulence
Actuators
Aircraft
Sensors
2 Citations (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., Vol. 2018-January. p. 1652-1656 5 p. (Proceedings od the IEEE Conference on Decision and Control).

Research output

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). p. 31 1 p.

Research outputpeer-review

1 Citation (Scopus)

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

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

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

Research output

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

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

Research output

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

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

Research output

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

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

Research outputpeer-review

2016

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

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

Research output

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

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

Research output

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

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

Research outputpeer-review

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

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

Research output

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

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

Research output

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

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

Research output

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

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

Research output

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

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

Research output

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. p. 97-106

Research output

Programming
Language
History
Translator
Education

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. p. 991-998

Research output

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. p. 4613-4618

Research output

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.. p. 1367-1372

Research output

4 Citations (Scopus)

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.. p. 628-633

Research output

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

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

Research outputpeer-review

2 Citations (Scopus)

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). p. 900-905

Research output

sampling
method
test

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

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

Research output

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

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

Research output

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

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

Research output

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

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

Research output

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

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

Research output

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

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

Research output

2014
5 Citations (Scopus)

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. p. 264-269

Research output

6 Citations (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),. p. 5097-5102

Research output

Confidence Region
Linear regression
Arbitrary
Biased
Correctness

From Abstract Parsing to Abstract Translation

Grigoriev, S. & Kirilenko, I., 2014, Preliminary Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering.

Research output

Industrial applications
Information systems

Functional reactive programming: From natural user interface to natural robotics behavior

Soshnikov, D. & Kirilenko, I., 23 Oct 2014, CEE-SECR 2014 - Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. Association for Computing Machinery, Vol. 23-24-October-2014. a9

Research outputpeer-review

Functional programming
User interfaces
Robotics
Computer programming languages
Sensors