21 - 40 из 204Размер страницы: 20
Сортировать по:: Заголовок

  1. Bounded Reducibility for Computable Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 1 янв. 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (ред.). Springer-Verlag GmbH and Co. KG, стр. 96-107 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

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

  2. Brain Principles Programming

    Vityaev, E., Kolonin, A., Kurpatov, A. & Molchanov, A., 2022, в: Doklady Mathematics. 106, стр. S101-S112

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

  3. Brain Principles Programming

    Vityaev, E., Kolonin, A., Kurpatov, A. & Molchanov, A., 2023, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, стр. 424-433 10 стр. 41. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13539 LNAI).

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

  4. Categoricity Spectra for Polymodal Algebras

    Bazhenov, N., 1 дек. 2016, в: Studia Logica. 104, 6, стр. 1083-1097 15 стр.

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

  5. Categoricity Spectra of Computable Structures

    Bazhenov, N. A., июл. 2021, в: Journal of Mathematical Sciences (United States). 256, 1, стр. 34-50 17 стр.

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

  6. Centroid Hom-associative Algebras and Centroid Hom-Lie Algebras

    Bai, Y. X., Bokut, L. A., Chen, Y. Q. & Zhang, Z. R., апр. 2024, в: Acta Mathematica Sinica, English Series. 40, 4, стр. 935-961 27 стр.

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

  7. Classifying equivalence relations in the Ershov hierarchy

    Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., 1 нояб. 2020, в: Archive for Mathematical Logic. 59, 7-8, стр. 835-864 30 стр.

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

  8. Clinical aspects of TP53 gene inactivation in diffuse large B-cell lymphoma

    Voropaeva, E. N., Pospelova, T. I., Voevoda, M. I., Maksimov, V. N., Orlov, Y. L. & Seregina, O. B., 13 мар. 2019, в: BMC Medical Genomics. 12, Suppl 2, стр. 35 10 стр., 35.

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

  9. Complexity for partial computable functions over computable Polish spaces

    Korovina, M. & Kudinov, O., 1 мар. 2018, в: Mathematical Structures in Computer Science. 28, 3, стр. 429-447 19 стр.

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

  10. Complexity of the Isomorphism Problem for Computable Free Projective Planes of Finite Rank

    Kogabaev, N. T., 1 мар. 2018, в: Siberian Mathematical Journal. 59, 2, стр. 295-308 14 стр.

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

  11. Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 нояб. 2017, в: Siberian Mathematical Journal. 58, 6, стр. 959-970 12 стр.

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

  12. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 нояб. 2018, в: Algebra and Logic. 57, 5, стр. 392-396 5 стр.

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

  13. Computable Contact Algebras

    Bazhenov, N., 1 янв. 2019, в: Fundamenta Informaticae. 167, 4, стр. 257-269 13 стр.

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

  14. Computable Families of Sets in the Ershov Hierarchy Without Principal Numberings

    Ospichev, S. S., 1 июн. 2016, в: Journal of Mathematical Sciences (United States). 215, 4, стр. 529-536 8 стр.

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

  15. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 янв. 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (ред.). Springer-Verlag GmbH and Co. KG, стр. 28-41 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11436 LNCS).

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

  16. Computable metrics above the standard real metric

    Kornev, R., 2021, в: Siberian Electronic Mathematical Reports. 18, 1, стр. 377-392 16 стр., 29.

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

  17. 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 стр.

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

  18. Computable Stone spaces

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

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

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

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

  20. Computational models in genetics at BGRS-2018

    Orlov, Y. L., Tatarinova, T. V. & Kochetov, A. V., 18 мар. 2019, в: BMC Genetics. 20, Suppl 1, стр. 28 3 стр., 28.

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

Назад 1 2 3 4 5 6 7 8 ...11 Далее

ID: 3082806