Department of Information Technologies

  • ул. Пирогова, 1

    630090 Новосибирск

    Russian Federation

Research Output

Filter
Conference contribution
2020

A New Method for Hierarchical Image Segmentation from Visual Designs

Myznikov, P. & Huang, Y., Mar 2020, 2020 54th Annual Conference on Information Sciences and Systems, CISS 2020. Institute of Electrical and Electronics Engineers Inc., 9086192. (2020 54th Annual Conference on Information Sciences and Systems, CISS 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Asymptotically Optimal Algorithms for the Prize-Collecting Traveling Salesman Problem on Random Inputs

Gimadi, E. K. & Tsidulko, O., 22 Jan 2020, Learning and Intelligent Optimization - 13th International Conference, LION 13, Revised Selected Papers. Matsatsinis, N. F., Marinakis, Y. & Pardalos, P. (eds.). Springer Gabler, p. 201-207 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11968 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Consciousness as a Brain Complex Reflection of the Outer World Causal Relationships

Vityaev, E., 1 Jan 2020, Biologically Inspired Cognitive Architectures 2019 - Proceedings of the 10th Annual Meeting of the BICA Society. Samsonovich, A. V. (ed.). Springer-Verlag GmbH and Co. KG, p. 556-561 6 p. (Advances in Intelligent Systems and Computing; vol. 948).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Data Preprocessing via Multi-sequences MRI Mixture to Improve Brain Tumor Segmentation

Groza, V., Tuchinov, B., Pavlovskiy, E., Amelina, E., Amelin, M., Golushko, S. & Letyagin, A., 1 Jan 2020, Bioinformatics and Biomedical Engineering - 8th International Work-Conference, IWBBIO 2020, Proceedings. Rojas, I., Valenzuela, O., Rojas, F., Herrera, L. J. & Ortuño, F. (eds.). Springer Gabler, p. 695-704 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12108 LNBI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

On PTAS for the Geometric Maximum Connected k-Factor Problem

Gimadi, E., Rykov, I. & Tsidulko, O., 1 Jan 2020, Optimization and Applications - 10th International Conference, OPTIMA 2019, Revised Selected Papers. Jaćimović, M., Khachay, M., Malkova, V. & Posypkin, M. (eds.). Springer Gabler, p. 194-205 12 p. (Communications in Computer and Information Science; vol. 1145 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Rendering of transparent optically anisotropic objects

Debelov, V. A. & Kozlov, D. S., 1 Jan 2020, 23rd International Conference on Computer Graphics and Vision, GraphiCon 2013 - Conference Proceedings. GraphiCon Scientific Society, p. 50-55 6 p. (23rd International Conference on Computer Graphics and Vision, GraphiCon 2013 - Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Применение расходомеров различного типа для газлифтного газа вусловиях Оренбургского нефтегазоконденсатного месторождения

Translated title of the contribution: Implementation of different types flowmeters for gas lift metering on Orenburgskoe fieldRymarenko, K., Nukhaev, M., Grishenko, S., Chernysh, N., Titov, S., Zaycev, A., Dadakin, N. & Ulyanov, V., 1 Jan 2020, Society of Petroleum Engineers - SPE Russian Petroleum Technology Conference 2019, RPTC 2019. Society of Petroleum Engineers, (Society of Petroleum Engineers - SPE Russian Petroleum Technology Conference 2019, RPTC 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Применение расходомеров различного типа для газлифтного газа в условиях Оренбургского нефтегазоконденсатного месторождения

Translated title of the contribution: Implementation of different types flowmeters for gas lift metering on Orenburgskoe fieldRymarenko, K., Nukhaev, M., Grishenko, S., Chernysh, N., Titov, S., Zaycev, A., Dadakin, N. & Ulyanov, V., 1 Jan 2020, Society of Petroleum Engineers - SPE Russian Petroleum Technology Conference 2019, RPTC 2019. Society of Petroleum Engineers, (Society of Petroleum Engineers - SPE Russian Petroleum Technology Conference 2019, RPTC 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Физически корректный алгоритм рендеринга анизотропных поглощающих кристаллов

Translated title of the contribution: Physically correct algorithm of rendering anisotropic absorbing crystalsDebelov, V. A. & Kozlov, D. S., 1 Jan 2020, 23rd International Conference on Computer Graphics and Vision, GraphiCon 2013 - Conference Proceedings. GraphiCon Scientific Society, p. 191-194 4 p. (23rd International Conference on Computer Graphics and Vision, GraphiCon 2013 - Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2019

Anonymous Remote Voting System

Ракитский, А. А. & Дьячкова, И., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 850-852 3 p. 8958064. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Application and Analysis of Time Series Prediction Efficient Methods Based on the Krichevsky Predictor

Малышева, А. Д. & Ракитский, А. А., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 983-986 4 p. 8958150. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Application of boolean valued and fuzzy model theory for knowledge base development

Yakhyaeva, G., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 868-871 4 p. 8958245. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Automated construction of high performance distributed programs in LuNA system

Akhmed-Zaki, D., Lebedev, D., Malyshkin, V. & Perepelkin, V., 1 Jan 2019, Parallel Computing Technologies - 15th International Conference, PaCT 2019, Proceedings. Malyshkin, V. (ed.). Springer-Verlag GmbH and Co. KG, p. 3-9 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11657 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Cluster Ensemble Kernel for Kernel-based Classification

Odinokikh, N. & Berikov, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 670-674 5 p. 8958184. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Collective Distances for Clustering N-Valued Logic Formulas Representing Knowledge Base of Intellectual System

Vikent'Ev, A., Serov, M., Vikentiev, R. & Berikov, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 664-669 6 p. 8958153. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Computer Capacity As a Tool for the Processors Development Analysis

Rakitskiy, A. & Ryabko, B., Oct 2019, 2019 16th International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2019. Institute of Electrical and Electronics Engineers Inc., p. 186-190 5 p. 9003328. (2019 16th International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Eeg reactions and behavioral measures, related with the recognition of obscene sentences among the ethnically different people

Savostyanov, A. N., Astakhova, T. N., Meshkova, V. A., Bocharov, A. V., Tamozhnikov, S. S., Karpova, A. G. & Borisova, N. V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 347-351 5 p. 8958405. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Explicit combined finite-difference scheme of high accuracy

Kovyrkina, O. & Ostapenko, V., 24 Jul 2019, International Conference on Numerical Analysis and Applied Mathematics, ICNAAM 2018. Simos, T. E. & Tsitouras, C. (eds.). American Institute of Physics Inc., 4 p. 450016. (AIP Conference Proceedings; vol. 2116).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

Liakh, T., Anureev, I., Rozov, A., Garanina, N. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 466-471 6 p. 8958127. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Generation of trends in spatial inhomogeness of region based on the analysis information flows of the internet-space

Yesikova, T. N. & Gordin, M. S., Oct 2019, Proceedings of 2019 12th International Conference "Management of Large-Scale System Development", MLSD 2019. Tsvirkun, A. (ed.). Institute of Electrical and Electronics Engineers Inc., 8911072. (Proceedings of 2019 12th International Conference "Management of Large-Scale System Development", MLSD 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Gradient Cryptanalysis of Block Cipher CHAM 64/128

Ryabko, B., Soskov, A. & Fionov, A., Oct 2019, 2019 16th International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2019. Institute of Electrical and Electronics Engineers Inc., p. 211-215 5 p. 9003315. (2019 16th International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Improved Exact Algorithm for the Capacitated Facility Location Problem on a Line Graph

Gimadi, E., Shtepa, A. & Tsidulko, O., Aug 2019, 2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 53-57 5 p. 8880248. (2019 15th International Asian School-Seminar Optimization Problems of Complex Systems, OPCS 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

Integration of Fuzzy Model Theory and FCA for Big Data Mining

Palchunov, D. E. & Yakhyaeva, G. E., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 961-966 6 p. 8958216. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Investigation of the Processors Evolution Using the Computer Capacity

Ryabko, B. & Rakitskiy, A., 8 Mar 2019, Proceedings of 2018 International Symposium on Information Theory and Its Applications, ISITA 2018. Institute of Electrical and Electronics Engineers Inc., p. 404-408 5 p. 8664322

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1 Citation (Scopus)

LabVIEW-based automatic verification of process-oriented software

Liakh, T., Rozov, A. & Zyubin, V., 1 Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Linear hash functions as a means of distortion-rate optimization in data embedding

Ryabko, B. & Fionov, A., 2 Jul 2019, IH and MMSec 2019 - Proceedings of the ACM Workshop on Information Hiding and Multimedia Security. Association for Computing Machinery, Inc, p. 235-238 4 p. (IH and MMSec 2019 - Proceedings of the ACM Workshop on Information Hiding and Multimedia Security).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access

LuNA-ICLU compiler for automated generation of iterative fragmented programs

Belyaev, N. & Kireev, S., 1 Jan 2019, Parallel Computing Technologies - 15th International Conference, PaCT 2019, Proceedings. Malyshkin, V. (ed.). Springer-Verlag GmbH and Co. KG, p. 10-17 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11657 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Named Entity Extraction from Semi-structured Data Using Machine Learning Algorithms

Mansurova, M., Barakhnin, V., Khibatkhanuly, Y. & Pastushkov, I., 1 Jan 2019, Computational Collective Intelligence - 11th International Conference, ICCCI 2019, Proceedings. Nguyen, N. T., Chbeir, R., Exposito, E., Aniorté, P., Trawinski, B. & Nguyen, N. T. (eds.). Springer-Verlag GmbH and Co. KG, p. 58-69 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11684 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

On Practical Approach to Uniform Quantization of Non-redundant Neural Networks

Goncharenko, A., Denisov, A., Alyamkin, S. & Terentev, E., 1 Jan 2019, Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning - 28th International Conference on Artificial Neural Networks, Proceedings. Tetko, I. V., Karpov, P., Theis, F. & Kurková, V. (eds.). Springer-Verlag GmbH and Co. KG, p. 349-360 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11728 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Problems and Prospectives of Big Data Storage and Processing Standartization

Pavlovskiy, E. N., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, p. 995-998 4 p. 8958046. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Public key and digital signature for blockchain technology: Based on the complexity of solving a system of polynomial equations

Zavalishina, E., Krendelev, S., Volkov, E., Permiashkin, D. & Gridin, D., 1 Jan 2019, Intelligent Systems and Applications - Proceedings of the 2018 Intelligent Systems Conference IntelliSys Volume 1. Springer-Verlag GmbH and Co. KG, p. 1251-1258 8 p. (Advances in Intelligent Systems and Computing; vol. 868).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Reconstructing Sets of Latin Squares, Linear and Equivalent to Linear Codes

Gorkunov, E. V. & Danilko, V. R., Oct 2019, 2019 16th International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2019. Institute of Electrical and Electronics Engineers Inc., p. 47-51 5 p. 9003314. (2019 16th International Symposium "Problems of Redundancy in Information and Control Systems", REDUNDANCY 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Reducing over-smoothness in speech synthesis using Generative Adversarial Networks

Sheng, L. & Pavlovskiy, E. N., Oct 2019, 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON). IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, p. 972-974 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Reinforcement Learning for Long-term Reward Optimization in Recommender Systems

Dorozhko, A., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, p. 862-867 6 p. 8958202. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Remote Facial Emotion Recognition System

Хазанкин, Г. Р., Шмаков, И. С. & Малинин, А. Н., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, p. 975-979 5 p. 8958047. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Semantic Modeling and Hybrid Models

Goncharov, S. & Sviridenko, D., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 987-990 4 p. 8958196. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Stackelberg model and public-private partnerships in the natural resources sector of Russia

Lavlinskii, S., Panin, A. & Plyasunov, A. V., 1 Jan 2019, Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Proceedings. Khachay, M., Pardalos, P. & Kochetov, Y. (eds.). Springer-Verlag GmbH and Co. KG, p. 158-171 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11548 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Synchronous multi-particle cellular automaton model of diffusion with self-annihilation

Kireeva, A., Sabelfeld, K. K. & Kireev, S., 1 Jan 2019, Parallel Computing Technologies - 15th International Conference, PaCT 2019, Proceedings. Malyshkin, V. (ed.). Springer-Verlag GmbH and Co. KG, p. 345-359 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11657 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1 Citation (Scopus)

The comparison of convolution neural network? for localized capturing detection of faults on seismic images

Lapteva, A., Loginov, G., Duchkov, A. & Alyamkin, S., 3 Jun 2019, 81st EAGE Conference and Exhibition 2019. EAGE Publishing BV, (81st EAGE Conference and Exhibition 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

The competitive hub location under the price war

Čvokić, D. D., Kochetov, Y. A., Plyasunov, A. V. & Savić, A., 1 Jan 2019, Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Proceedings. Khachay, M., Pardalos, P. & Kochetov, Y. (eds.). Springer-Verlag GmbH and Co. KG, p. 133-146 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11548 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

1 Citation (Scopus)

The first-break detection for real seismic data with use of convolutional neural network

Loginov, G., Anton, D., Litvichenko, D. & Alyamkin, S., 3 Jun 2019, 81st EAGE Conference and Exhibition 2019. EAGE Publishing BV, p. 1-5 5 p. (81st EAGE Conference and Exhibition 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

The study of the applicability of machine learning methods based on decision trees for holter monitoring

Ракитский, А. А. & Бочкарёв, Б., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 758-761 4 p. 8958257. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

The use of the neural network for traveltimes approximation for inhomogeneous velocity models

Grubas, S., Loginov, G. & Duchkov, A., 3 Jun 2019, 81st EAGE Conference and Exhibition 2019. EAGE Publishing BV, (81st EAGE Conference and Exhibition 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

The VNS Approach for a Consistent Capacitated Vehicle Routing Problem Under the Shift Length Constraints

Kulachenko, I. & Kononova, P., 1 Jan 2019, Mathematical Optimization Theory and Operations Research - 18th International Conference, MOTOR 2019, Revised Selected Papers. Bykadorov, I., Strusevich, V. & Tchemisova, T. (eds.). Springer Gabler, p. 51-67 17 p. (Communications in Computer and Information Science; vol. 1090 CCIS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Time-universal data compression and prediction

Ryabko, B., 1 Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 562-566 5 p. 8849224. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Towards safe cyber-physical systems: The reflex language and its transformational semantics

Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., 1 Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ed.). Institute of Electrical and Electronics Engineers Inc., 6 p. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers

Rozov, A., Anureev, I., Garanina, N., Liakh, T. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 857-861 5 p. 8958258. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Trainable Thresholds for Neural Network Quantization

Goncharenko, A., Denisov, A., Alyamkin, S. & Terentev, E., 1 Jan 2019, Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings. Rojas, I., Joya, G. & Catala, A. (eds.). Springer-Verlag GmbH and Co. KG, p. 302-312 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11507 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Two-Step Deductive Verification of Control Software Using Reflex

Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

A core heuristic and the branch-and-price method for a bin packing problem with a color constraint

Kondakov, A. & Kochetov, Y., 1 Jan 2018, Optimization Problems and Their Applications - 7th International Conference, OPTA 2018, Revised Selected Papers. Springer-Verlag GmbH and Co. KG, p. 309-320 12 p. (Communications in Computer and Information Science; vol. 871).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

3 Citations (Scopus)