3331 - 3340 из 25 343Размер страницы: 10
Сортировать по:: Заголовок

  1. Computable model theory over the reals

    Morozov, A. S., 1 янв. 2017, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, стр. 354-365 12 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  2. Computable Numberings of Families of Infinite Sets

    Dorzhieva, M. V., 1 июл. 2019, в: Algebra and Logic. 58, 3, стр. 224-231 8 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  3. Computable Positive and Friedberg Numberings in Hyperarithmetic

    Kalimullin, I. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 1 мар. 2020, в: Algebra and Logic. 59, 1, стр. 46-58 13 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 окт. 2023, в: Annals of Pure and Applied Logic. 174, 9, 25 стр., 103304.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. Computable Topology for Reliable Computations

    Korovina, M. & Kudinov, O., 1 янв. 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  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., янв. 2025, в: Annals of Pure and Applied Logic. 176, 1, 103491.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  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 июл. 2019, в: Journal of Engineering Thermophysics. 28, 3, стр. 372-380 9 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Satalkar, V., Benassi, E. & Shao, Y., 20 авг. 2017, в: Abstracts of papers of the american chemical society. 254, 1 стр.

    Результаты исследований: Научные публикации в периодических изданиях › тезисы › Рецензирование

  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 нояб. 2022, в: Russian Journal of Numerical Analysis and Mathematical Modelling. 37, 5, стр. 311-329 19 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  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 мая 2020, в: Journal of Applied and Industrial Mathematics. 14, 2, стр. 242-248 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Назад 1...330 331 332 333 334 335 336 337 ...2535 Далее