3391 - 3400 out of 25,920Page size: 10
Sort by: Title

  1. 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

  2. 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

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

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

  5. 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

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

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

  8. 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

  9. Computational estimation of parity violation effects in a metal-organic framework containing DABCO

    Mirzaeva, I. V. & Kozlova, S. G., 1 Nov 2017, In: Chemical Physics Letters. 687, p. 110-115 6 p.

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

  10. Computational-experimental study of hydrogen ignition with distributed injection from pylons into a supersonic flow

    Akinin, S. A. & Starov, A. V., 24 May 2021, International Conference on the Methods of Aerophysical Research, ICMAR 2020. Fomin, V. M. & Shiplyuk, A. (eds.). American Institute of Physics Inc., 040010. (AIP Conference Proceedings; vol. 2351).

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

Previous 1...336 337 338 339 340 341 342 343 ...2592 Next