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

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

ID: 3082806