311 - 320 out of 325Page size: 10
Sort by: Title

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

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sept 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. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  2. An approach to filtering prohibited content on the web

    Sidorova, E. A., Kononenko, I. S. & Zagorulko, Y. A., 1 Jan 2017, In: CEUR Workshop Proceedings. 2022, p. 64-71 8 p.

    Research output: Contribution to journal › Conference article › peer-review

  3. Analysis of the efficiency of classification of hyperspectral satellite images of natural and man-made areas

    Borzov, S. M., Potaturkin, A. O., Potaturkin, O. I. & Fedotov, A. M., 1 Jan 2016, In: Optoelectronics, Instrumentation and Data Processing. 52, 1

    Research output: Contribution to journal › Article › peer-review

  4. Analysis of color and texture characteristics of cereals on digital images

    Komyshev, E. G., Genaev, M. A. & Afonnikov, D. A., Jul 2020, In: Вавиловский журнал генетики и селекции. 24, 4, p. 340-347 8 p.

    Research output: Contribution to journal › Review article › peer-review

  5. Amplitude enhancement of the self-modulated plasma wakefields

    Li, Y., Xia, G., Lotov, K. V., Sosedkin, A. P., Zhao, Y. & Gessner, S. J., 5 Oct 2018, In: Journal of Physics: Conference Series. 1067, 4, 5 p., 042009.

    Research output: Contribution to journal › Conference article › peer-review

  6. A method for automatic text summarization based on rhetorical analysis and topic modeling

    Batura, T., Bakiyeva, A. & Charintseva, M., 1 Jan 2020, In: International Journal of Computing. 19, 1, p. 118-127 10 p.

    Research output: Contribution to journal › Article › peer-review

  7. A Learning Path to Functional Programming (and What Students can see on the Path)

    Gorodnyaya, L., Kondratyev, D. & Shilov, N., 2025, Smart Innovation, Systems and Technologies. Howlett, R. J. & Jain, L. C. (eds.). Springer, Vol. 406. p. 293-302 10 p. (Smart Innovation, Systems and Technologies; vol. 406).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  8. A hybrid approach for anaphora resolution in the Russian language

    Kozlova, A., Svischev, A., Gureenkova, O. & Batura, T., 18 Oct 2017, Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017. Institute of Electrical and Electronics Engineers Inc., p. 36-40 5 p. 8071960. (Proceedings - 2017 Siberian Symposium on Data Science and Engineering, SSDSE 2017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  9. Acoustic properties of hydrate-bearing coal samples depending on temperature and water saturation type

    Dugarov, G. A., Duchkov, A. A. & Manakov, A. Y., 11 Mar 2021, In: Geophysics. 86, 3, p. U31-U37

    Research output: Contribution to journal › Article › peer-review

  10. Acceleration of electrons in the plasma wakefield of a proton bunch

    (AWAKE Collaboration), 20 Sept 2018, In: Nature. 561, 7723, p. 363-367 5 p., 5.

    Research output: Contribution to journal › Article › peer-review

Previous 1...28 29 30 31 32 33 Next

ID: 3083378