121 - 130 из 205Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. Bioinformatics research at BGRS\SB-2018

    Orlov, Y. L., Hofestädt, R. & Tatarinova, T. V., 1 февр. 2019, в: Journal of Bioinformatics and Computational Biology. 17, 1, стр. 1902001 4 стр., 1902001.

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

  3. Structure of Quasivariety Lattices. I. Independent Axiomatizability

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 15 янв. 2019, в: Algebra and Logic. 57, 6, стр. 445-462 18 стр.

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

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

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

  5. Computable Contact Algebras

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

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

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

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

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

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

  8. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, 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, стр. 84-95 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11558 LNCS).

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

  9. Friedberg numberings of families of partial computable functionals

    Ospichev, S., 1 янв. 2019, в: Сибирские электронные математические известия. 16, стр. 331-339 9 стр.

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

  10. Компьютерные методы для анализа технологий секвенирования в анализе хромосомных контактов в клетке

    Орлов, Ю. Л., Ковалев, С. С., Дергилев, А. И., Бабенко, Р. О., Галиева, Э. Р. & Леберфарб, Е. Ю., 2019, в: Genes and Cells. 14, S, стр. 171-171 1 стр.

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

  11. Построение разрешимых графов по разрешимым структурам

    Баженов, Н. А. & Harrison-Trainor, M., 2019, в: Алгебра и логика. 58, 5, стр. 553-573 21 стр.

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

Назад 1...9 10 11 12 13 14 15 16 ...21 Далее

ID: 3082806