1. статья › научная › Прошло рецензирование
  2. Computable Contact Algebras

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

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

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

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

  4. Computable metrics above the standard real metric

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

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

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

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

  6. Computable Stone spaces

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

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

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

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

  8. Computer analysis of colocalization of the TFs’ binding sites in the genome according to the ChIP-seq data

    Dergilev, A. I., Spitsina, A. M., Chadaeva, I. V., Svichkarev, A. V., Naumenko, F. M., Kulakova, E. V., Galieva, E. R., Vityaev, E. E., Chen, M. & Orlov, Y. L., 1 июл. 2017, в: Russian Journal of Genetics: Applied Research. 7, 5, стр. 513-522 10 стр.

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

  9. Computer genomics research at the bioinformatics conference series in Novosibirsk

    Orlov, Y. L., Galieva, E. R. & Melerzanov, A. V., 11 июл. 2019, в: BMC Genomics. 20, Suppl 7, стр. 537 4 стр., 537.

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

  10. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 2017, в: Logical Methods in Computer Science. 13, 4, 13.

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

  11. Conditional terms in semantic programming

    Goncharov, S. S., 1 сент. 2017, в: Siberian Mathematical Journal. 58, 5, стр. 794-800 7 стр.

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

  12. Consciousness as a logically consistent and prognostic model of reality

    Vityaev, E., 1 янв. 2020, в: Cognitive Systems Research. 59, стр. 231-246 16 стр.

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

  13. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 нояб. 2019, в: Algebra and Logic. 58, 5, стр. 369-382 14 стр.

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

  14. CpG islands’ clustering uncovers early development genes in the human genome

    Babenko, V. N., Bogomolov, A. G., Babenko, R. O., Galieva, E. R. & Orlov, Y. L., июн. 2018, в: Computer Science and Information Systems. 15, 2, стр. 473-485 13 стр.

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

  15. Decompositions in Complete Lattices III. Unique Irredundant Decompositions and Convex Geometries

    Schwidefsky, M. V., 1 нояб. 2017, в: Algebra and Logic. 56, 5, стр. 409-424 16 стр.

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

  16. Decompositions in Complete Lattices II. Replaceable Irredundant Decompositions

    Schwidefsky, M. V., 1 июл. 2017, в: Algebra and Logic. 56, 3, стр. 236-244 9 стр.

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

  17. Decompositions in Semirings

    Batueva, T. C. D. & Schwidefsky, M. V., июл. 2023, в: Siberian Mathematical Journal. 64, 4, стр. 836-846 11 стр.

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

  18. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 февр. 2020, в: International Journal of Algebra and Computation. 30, 1, стр. 49-90 42 стр.

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

  19. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 июн. 2018, в: Algebra and Logic. 57, 2, стр. 98-114 17 стр.

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

  20. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 июл. 2018, в: Siberian Mathematical Journal. 59, 4, стр. 565-577 13 стр.

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

  21. Degrees of bi-embeddable categoricity

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 2021, в: Computability. 10, 1, стр. 1-16 16 стр.

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

ID: 3082806