41 - 50 из 68Размер страницы: 10
Сортировать по:: Заголовок

  1. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

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

  2. On the complexity of semantic integration of OWL ontologies

    Kazakov, Y. & Ponomaryov, D., 1 янв. 2017, в: CEUR Workshop Proceedings. 1879

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

  3. On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

    Ponomaryov, D., дек. 2021, в: Lobachevskii Journal of Mathematics. 42, 12, стр. 2905-2912 8 стр., 24.

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

  4. On the space of SARS-CoV-2 genetic sequence variants

    Palyanov, A. Y. & Palyanova, N. V., дек. 2023, в: Vavilovskii Zhurnal Genetiki i Selektsii. 27, 7, стр. 839-850 12 стр.

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

  5. On Two Kinds of Dataset Decomposition

    Emelyanov, P., 1 янв. 2018, Computational Science – ICCS 2018 - 18th International Conference, Proceedings. Shi, Y., Fu, H., Tian, Y., Krzhizhanovskaya, VV., Lees, MH., Dongarra, J. & Sloot, PMA. (ред.). Springer, стр. 171-183 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10861 LNCS).

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

  6. Parallel Factorization of Boolean Polynomials

    Kulkarni, V., Emelyanov, P., Ponomaryov, D., Krishna, M., Raha, S. & Nandy, S. K., 16 дек. 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, стр. 80-94 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

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

  7. Path Reconstruction in the Barning–Hall Tree

    Emelyanov, P. G., окт. 2014, в: Journal of Mathematical Sciences (United States). 202, 1, стр. 72-79 8 стр.

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

  8. Pattern-based methodology for building the ontologies of scientific subject domains

    Zagorulko, Y., Zagorulko, G. & Borovikova, O., 1 янв. 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (ред.). IOS Press, стр. 529-542 14 стр. (Frontiers in Artificial Intelligence and Applications; том 303).

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

  9. Polynomial Exact Schedulability and Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms

    Garanina, N., Anureev, I. & Kondratyev, D., 20 янв. 2025, в: Applied System Innovation. 8, 1, 15.

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

  10. Preconditioning methods based on spanning tree algorithms

    Perevozkin, D. V. & Omarova, G. A., 4 янв. 2021, в: Journal of Physics: Conference Series. 1715, 1, 012005.

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

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

ID: 3089109