3671 - 3680 out of 29,163Page size: 10
Sort by: Title

  1. Computable Positive and Friedberg Numberings in Hyperarithmetic

    Kalimullin, I. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 1 Mar 2020, In: Algebra and Logic. 59, 1, p. 46-58 13 p.

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

  2. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 Oct 2023, In: Annals of Pure and Applied Logic. 174, 9, 25 p., 103304.

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

  3. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 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. 185-198 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 proceeding › Conference contribution › Research › peer-review

  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, 31 p., 103491.

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

  5. Computational Analysis of Gas Flow in Gas Distributor Breadboard for Creating Efficient Devices to Remove Volatile Organic Compounds

    Balzhinimaev, B. S., Ivanov, S. Y., Kabardin, I. K., Ezendeeva, D. P., Gordienko, M. R., Kakaulin, S. V., Klimonov, I. A., Sycheva, T. I., Usov, E. V. & Yavorskii, N. I., 1 Jul 2019, In: Journal of Engineering Thermophysics. 28, 3, p. 372-380 9 p.

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

  6. Computational analysis of substitution effects on oxyluciferin and its analogues

    Satalkar, V., Benassi, E. & Shao, Y., 20 Aug 2017, In: Abstracts of papers of the american chemical society. 254, 1 p.

    Research output: Contribution to journal › Meeting Abstract › peer-review

  7. Computational analysis of the impact of aortic bifurcation geometry to AAA haemodynamics

    Tikhvinskii, D. V., Merzhoeva, L. R., Chupakhin, A. P., Karpenko, A. A. & Parshin, D. V., 1 Nov 2022, In: Russian Journal of Numerical Analysis and Mathematical Modelling. 37, 5, p. 311-329 19 p.

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

  8. Computational Complexity of the Choice Problem for Typical Representatives of a Finite Point Set in a Metric Space

    Борисова, И. А., 2025, In: Journal of Applied and Industrial Mathematics. 19, 1, p. 1-6 6 p., 1.

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

  9. Computational Complexity of the Problem of Choosing Typical Representatives in a 2-Clustering of a Finite Set of Points in a Metric Space

    Borisova, I. A., 1 May 2020, In: Journal of Applied and Industrial Mathematics. 14, 2, p. 242-248 7 p.

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

  10. Computational Complexity of Two Problems of Cognitive Data Analysis

    Kutnenko, O. A., Feb 2022, In: Journal of Applied and Industrial Mathematics. 16, 1, p. 89-97 9 p.

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

Previous 1...364 365 366 367 368 369 370 371 ...2917 Next