121 - 130 из 499Размер страницы: 10
Сортировать по:: Год публикации
  1. 2020

  2. Visualization of Methods Changeability Based on VCS Data

    Svitkov, S. & Bryksin, T., 29 июн 2020, стр. 477-480. 4 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  3. Building Implicit Vector Representations of Individual Coding Style

    Kovalenko, V., Bogomolov, E., Bryksin, T. & Bacchelli, A., 27 июн 2020, стр. 117-124. 8 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  4. Recommendation of Move Method Refactoring Using Path-Based Representation of Code

    Kurbatova, Z., Veselov, I., Golubev, Y. & Bryksin, T., 27 июн 2020, стр. 315-322. 8 стр.

    Результаты исследований: Материалы конференций › материалы › Рецензирование

  5. Hamiltonian path problem: The performance comparison deoxyribonucleic acid computing and the branch-and-bound method

    Sergeenko, A. N., Granichin, O. N. & Yakunina, M. V., 21 мая 2020, в: Journal of Physics: Conference Series. 1536, 1, 012003.

    Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование

  6. Network Traffic Load Balancing Protocol

    Amelina, N., Chernov, A., Granichin, O., Ivanskiy, Y. & Len, I., мая 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., стр. 906-910 5 стр. 9143622. (European Control Conference 2020, ECC 2020).

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

  7. Simultaneous Perturbation Stochastic Approximation for Few-Shot Learning

    Boiarov, A., Granichin, O. & Granichina, O., мая 2020, European Control Conference 2020, ECC 2020. Institute of Electrical and Electronics Engineers Inc., стр. 350-355 6 стр. 9143831. (European Control Conference 2020, ECC 2020).

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

  8. Entropy-Based Approach for the Detection of Changes in Arabic Newspapers' Content

    Bernikova, O., Granichin, O., Lemberg, D., Redkin, O. & Volkovich, Z., апр 2020, в: Entropy. 22, 4, 17 стр., 441.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  9. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

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

  10. Certified Semantics for Relational Programming

    Rozplokhas, D., Vyatkin, A. & Boulytchev, D., 2020, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Proceedings. Oliveira, B. C. (ред.). Springer Nature, стр. 167-185 19 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12470 LNCS).

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

  11. Consensus-based distributed algorithm for multisensor-multitarget tracking under unknown-but-bounded disturbances

    Amelina, N., Erofeeva, V., Granichin, O., Ivanskiy, Y., Jiang, Y., Proskurnikov, A. & Sergeenko, A., 2020, в: IFAC-PapersOnLine. 53, стр. 3589-3595 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья в журнале по материалам конференции › Рецензирование

Назад 1...9 10 11 12 13 14 15 16 ...50 Далее

ID: 30196