3331 - 3340 out of 25,343Page size: 10
  1. Computable model theory over the reals

    Morozov, A. S., 1 Jan 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, p. 354-365 12 p.

    Research output: Contribution to journalArticlepeer-review

  2. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 224-231 8 p.

    Research output: Contribution to journalArticlepeer-review

  3. 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 journalArticlepeer-review

  4. 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 journalArticlepeer-review

  5. 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 proceedingConference contributionResearchpeer-review

  6. 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 journalArticlepeer-review

  7. 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 journalArticlepeer-review

  8. 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 journalMeeting Abstractpeer-review

  9. 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 journalArticlepeer-review

  10. 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 journalArticlepeer-review