91 - 95 out of 95Page size: 10
  1. 2024

  2. Comparative method for quantitative assessment of the quality of translations

    Ryabko, B. & Savina, N., 26 Nov 2024, 2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2024. Institute of Electrical and Electronics Engineers Inc., p. 366-371 6 p. (2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences, SIBIRCON 2024).

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

  3. 2025

  4. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., Jan 2025, In: Annals of Pure and Applied Logic. 176, 1, 103491.

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

  5. A general method for the development of constrained codes

    Ryabko, B., 18 Mar 2025, In: IEEE Transactions on Information Theory. 71, 5, p. 3510-3515 6 p.

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

  6. On Learning Existentially Definable Subsets in a Computable Structure

    Bazhenov, N. & Mustafa, M., 20 Jun 2025, Crossroads of Computability and Logic: Insights, Inspirations, and Innovations. Vol. 15764. p. 143-158 16 p. (Lecture Notes in Computer Science).

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

  7. Online and Feasible Presentability: From Trees to Modal Algebras

    Bazhenov, N., Kalociński, D. & Wrocławski, M., 30 Jun 2025, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 334).

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

Previous 1...6 7 8 9 10 Next

ID: 3087514