Research Output 1992 2019

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

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

Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., May 2019, Proceedings of the 16th International Conference on Mining Software Repositories. IEEE Computer Society, Vol. 2019. p. 13-17 8816777

Research outputpeer-review

Learning systems
Computer programming languages
Learning algorithms
Semantics

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

Brain
Neural networks
Computational complexity
Experiments
Approximation algorithms
Parameter estimation
Gaussian distribution

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

Error analysis
Neural networks
2018
Resource allocation
Topology
Processing
Costs

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

1 Citation (Scopus)
Linear matrix inequalities
Target tracking
Load testing
Communication
Sensors
System stability
Nonlinear systems

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
State estimation
Sensor networks
Communication
Approximation algorithms
Target tracking

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
2 Citations (Scopus)

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

Aircraft
Large scale systems
Complex Systems
central processing units
Microsensors

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
Nonlinear analysis

Medical Images Segmentation Operations

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

Research outputpeer-review

Open Access
3 Citations (Scopus)
Linear matrix inequalities
Target tracking
Communication
Sensors
Embedded systems

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 output

Automation
Visualization
Hot Temperature
Costs
Topology
Processing
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

Engineering education
Software engineering
Maintainability

Typed Relational Conversion

Булычев, Д. Ю., Lozov, P. & Vyatkin, A., 19 Apr 2018, In : Lecture Notes in Computer Science. 10788, p. 39-58 19 p., 3.

Research output

Semantics
Correctness
Specification
Specifications
Subset

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

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

Research output

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

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

Research output

2017
2 Citations (Scopus)
Turbulent flow
Actuators
Intelligent control
Mechatronics
Sensors

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

Чебыкин, А., Кита, М. & Кириленко, Я., 2017, DeepAPI: Синтез цепочки вызовов API CLR/С# по текстовому запросу. (CEUR Workshop Proceedings).

Research outputpeer-review

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

Computer programming languages
Internet
Processing
Deep learning
Life cycle
1 Citation (Scopus)

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, p. 139-152 14 p.

Research outputpeer-review

Visual languages
Gesture recognition
Software engineering
Productivity
Engineers
2 Citations (Scopus)

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

Cybernetics
Engineering education
Robotics
Education
Units of measurement
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