1. 2019
  2. Methods of Formal Software Verification in the Context of Distributed Systems

    Fatkina, A., Iakushkin, O., Selivanov, D. & Korkhov, V., 1 Jul 2019, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Misra, S., Gervasi, O., Murgante, B., Stankova, E., Korkhov, V., Torre, C., Tarantino, E., Rocha, A. M. A. C., Taniar, D. & Apduhan, B. O. (eds.). Cham: Springer Nature, p. 546-555 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620).

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

  3. The contour image style-transfer-based convolutional neural network

    Deng, N., Li, J., Wang, X., Wu, Z., Fu, Y., Shui, W., Zhou, M., Korkhov, V. & Gaspary, L. P., 1 Jul 2019, International Workshop on Advanced Image Technology, IWAIT 2019. Kemao, Q., Hayase, K., Lau, PY., Lie, WN., Lee, YL., Srisuk, S. & Yu, L. (eds.). SPIE, 11 p. 110493C. (Proceedings of SPIE; vol. 11049).

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

  4. Implementation of an E-Voting Scheme Using Hyperledger Fabric Permissioned Blockchain

    Kirillov, D., Korkhov, V., Petrunin, V., Makarov, M., Khamitov, I. M. & Dostov, V., Jul 2019, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Misra, S., Gervasi, O., Murgante, B., Stankova, E., Korkhov, V., Torre, C., Tarantino, E., Rocha, A. M. A. C., Taniar, D. & Apduhan, B. O. (eds.). Cham: Springer Nature, p. 509-521 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620).

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

  5. Message from the Local Organizing Committee Chairs

    Stankova, E., Korkhov, V. & Kulabukhova, N., Jul 2019, Proceedings - 2019 19th International Conference on Computational Science and Its Applications, ICCSA 2019. p. viii-ix

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contributionResearch

  6. Simulation of Distributed Applications Based on Containerization Technology

    Malevanniy, D., Iakushkin, O. & Korkhov, V., Jul 2019, Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II. Misra, S., Gervasi, O., Murgante, B., Stankova, E., Korkhov, V., Torre, C., Tarantino, E., Rocha, A. M. A. C., Taniar, D. & Apduhan, B. O. (eds.). Cham: Springer Nature, p. 587-595 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620).

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

  7. Position Tracking in 3D Space Based on a Data of a Single Camera

    Oleg, I., Sevostyanov, R., Degtyarev, A., Karpiy, P. E., Kuzevanova, E. G., Kitaeva, A. A. & Sergiev, S. A., 29 Jun 2019, Computational Science and Its Applications- ICCSA 2019 - 19th International Conference, Proceedings. Murgante, B., Gervasi, O., Stankova, E., Korkhov, V., Misra, S., Torre, C., Tarantino, E., Taniar, D., Rocha, A. M. A. C. & Apduhan, B. O. (eds.). Springer Nature, p. 772-781 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11622 LNCS).

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

  8. The Architecture of the Robot-Finder Based on SLAM and Neural Network

    Oleg, I., Sevostyanov, R., Degtyarev, A., Krasilnikov, E., Mingazova, M., Rusakov, A., Kondratieva, O. & Bobryshev, A., 29 Jun 2019, Computational Science and Its Applications- ICCSA 2019 - 19th International Conference, Proceedings. Murgante, B., Gervasi, O., Stankova, E., Korkhov, V., Misra, S., Torre, C., Tarantino, E., Taniar, D., Rocha, A. M. A. C. & Apduhan, B. O. (eds.). Springer Nature, p. 761-771 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11622 LNCS).

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

  9. Vessel: Efficient Plain Text File Format for Ship Hull Geometry

    Degtyarev, A., Gankevich, I., Gavrikov, A., Grigorev, A., Khramushin, V. & Petriakov, I., 29 Jun 2019, Computational Science and Its Applications- ICCSA 2019 - 19th International Conference, Proceedings. Murgante, B., Gervasi, O., Stankova, E., Korkhov, V., Misra, S., Torre, C., Tarantino, E., Taniar, D., Rocha, A. M. A. C. & Apduhan, B. O. (eds.). Springer Nature, p. 729-739 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11622 LNCS).

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

  10. Virtual Testbed: Ship Motion Simulation for Personal Workstations

    Degtyarev, A., Khramushin, V., Gankevich, I., Petriakov, I., Gavrikov, A. & Grigorev, A., 29 Jun 2019, Computational Science and Its Applications- ICCSA 2019 - 19th International Conference, Proceedings. Murgante, B., Gervasi, O., Stankova, E., Korkhov, V., Misra, S., Torre, C., Tarantino, E., Taniar, D., Rocha, A. M. A. C. & Apduhan, B. O. (eds.). Springer Nature, p. 717-728 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11622 LNCS).

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

  11. Возможен ли комплексный анализ данных диагностики ментальных расстройств на ранних стадиях?

    Залуцкая, Н. М., Эран, А., Фрейлихман, Ш., Балицер, Р., Гомзякова, Н. А., Корхов, В. В., Незнанов, Н. Г., Богданов, А. В. & Дегтярев, А. Б., 15 May 2019, In: ОБОЗРЕНИЕ ПСИХИАТРИИ И МЕДИЦИНСКОЙ ПСИХОЛОГИИ ИМ. В.М. БЕХТЕРЕВА. 1, p. 77-81 5 p.

    Research output: Contribution to journalArticlepeer-review

  12. Application of parallel algorithm optimisation method to relational queries by reducing interprocessor data exchange time

    Shichkina, Y., Haidar Awadh, A-M. M., Storublevtcev, N. & Degtyarev, A., 6 May 2019, In: International Journal of Web and Grid Services. 15, 2, p. 191-205 15 p.

    Research output: Contribution to journalArticlepeer-review

  13. Study of resource allocation methods for smart city systems

    Muthanna, M. S. A., Lyachek, U. T., Nasser, S. S. S., Muthanna, A. & Muthanna, M. M. A., May 2019, Proceedings of 2019 22nd International Conference on Soft Computing and Measurements, SCM 2019. Shaposhnikov, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 129-132 4 p. 8903904. (Proceedings of 2019 22nd International Conference on Soft Computing and Measurements, SCM 2019).

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

  14. Automatic Synthesis of Multilevel Automata Models of Biological Objects

    Osipov, V., Stankova, E., Vodyaho, A., Lushnov, M., Shichkina, Y. & Zhukova, N., 1 Jan 2019, Computational Science and Its Applications – ICCSA 2019 - 19th International Conference, 2019, Proceedings. Misra, S., Torre, C., Tarantino, E., Apduhan, B. O., Gervasi, O., Murgante, B., Stankova, E., Korkhov, V., Rocha, A. M. A. C. & Taniar, D. (eds.). Springer Nature, p. 441-456 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11620 LNCS).

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

  15. Cloud integration within the Dirac interware

    Balashov, N. A., Kuchumov, R. I., Kutovskiy, N. A., Pelevanyuk, I. S., Petrunin, V. N. & Tsaregorodtsev, A. Y., 1 Jan 2019, In: CEUR Workshop Proceedings. 2507, p. 256-260 5 p.

    Research output: Contribution to journalConference articlepeer-review

  16. Creating a tool for stress computation with respect to surface defects

    Sedova, O., Iakushkin, O. & Kondratiuk, A., 1 Jan 2019, Proceedings of the 27th Symposium on Nuclear Electronics and Computing (NEC 2019),. Korenkov, V., Strizh, T., Nechaevskiy, A. & Zaikina, T. (eds.). RWTH Aahen University, p. 371-375 (CEUR Workshop Proceedings; vol. 2507).

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

  17. Evaluation of Hydrodynamic Pressures for Autoregressive Model of Irregular Waves

    Degtyarev, A. & Gankevich, I., 1 Jan 2019, Contemporary Ideas on Ship Stability: Risk of Capsizing. Belenky, V. (ed.). Springer Nature, Vol. 119. p. 37-47 11 p. (Fluid Mechanics and its Applications; vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  18. Modeling of Incident Waves Near the Ship’s Hull (Application of Autoregressive Approach in Problems of Simulation of Rough Seas)

    Degtyarev, A., Reed, A. M. & Mareev, V., 1 Jan 2019, Contemporary Ideas on Ship Stability: Risk of Capsizing. Belenky, V. (ed.). Springer Nature, Vol. 119. p. 25-35 11 p. (Fluid Mechanics and its Applications; vol. 119).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  19. Staccato: Shared-memory work-stealing task scheduler with cache-aware memory management

    Kuchumov, R., Sokolov, A. & Korkhov, V., 1 Jan 2019, In: International Journal of Web and Grid Services. 15, 4, p. 394-407 14 p.

    Research output: Contribution to journalArticlepeer-review

  20. Use of Digital Technology for the Attribution of Paintings

    Shchegoleva, N. L. & Vaulina, Y. A., 1 Jan 2019, Computational Science and Its Applications- ICCSA 2019 - 19th International Conference, Proceedings. Misra, S., Gervasi, O., Murgante, B., Stankova, E., Korkhov, V., Torre, C., Tarantino, E., Rocha, A. M. A. C., Taniar, D. & Apduhan, B. O. (eds.). Springer Nature, p. 792-801 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11622 LNCS).

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

  21. Zero-knowledge proof in self-sovereign identity

    Kulabukhova, N. V., 1 Jan 2019, In: CEUR Workshop Proceedings. 2507, p. 381-385 5 p.

    Research output: Contribution to journalConference articlepeer-review

Previous 1...5 6 7 8 9 10 11 12 ...38 Next

ID: 29468