1. Computable Boolean Algebras and Complexity of the Fréchet Ideal

    Goncharov, S. S., Sept 2024, In: Journal of Mathematical Sciences (United States). 284, 1, p. 72-82 11 p.

    Research output: Contribution to journalArticlepeer-review

  2. Computable Functionals of Finite Types in Montague Semantics

    Бурнистов, А. С. & Стукачев, А. И., 2024, In: Сибирские электронные математические известия. 21, 2, p. 1460-1472 13 p.

    Research output: Contribution to journalArticlepeer-review

  3. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., Jan 2025, In: Annals of Pure and Applied Logic. 176, 1, 103491.

    Research output: Contribution to journalArticlepeer-review

  4. Computational identification of promising genetic markers associated with molecular mechanisms of reduced rice resistance to Rhizoctonia solani under excess nitrogen fertilization using gene network reconstruction and analysis methods

    Antropova, E. A., Volyanskaya, A. R., Adamovskaya, A. V., Demenkov, P. S., Yatsyk, I. V., Ivanisenko, T. V., Orlov, Y. L., Haoyu, C., Chen, M. & Ivanisenko, V. A., Dec 2024, In: Vavilovskii Zhurnal Genetiki i Selektsii. 28, 8, p. 960-973 14 p.

    Research output: Contribution to journalArticlepeer-review

  5. Degrees of relations on canonically ordered natural numbers and integers

    Bazhenov, N., Kalociński, D. & Wrocławski, M., 6 Nov 2024, In: Archive for Mathematical Logic. 33.

    Research output: Contribution to journalArticlepeer-review

  6. Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem

    Nechesov, A. & Goncharov, S., Nov 2024, In: Mathematics. 12, 21, 3429.

    Research output: Contribution to journalArticlepeer-review

  7. Interpretable logical-probabilistic approximation of neural networks

    Vityaev, E. & Korolev, A., Dec 2024, In: Cognitive Systems Research. 88, 101301.

    Research output: Contribution to journalArticlepeer-review

  8. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

    Goncharov, S. S. & Xiang, J., 29 Apr 2025, In: Algebra and Logic.

    Research output: Contribution to journalArticlepeer-review

  9. ITBM-Constructive Completions of Algebras

    Morozov, A. S., May 2024, In: Siberian Mathematical Journal. 65, 3, p. 589-598 10 p., 8.

    Research output: Contribution to journalArticlepeer-review

  10. Mutation in of palindromic sequences of coronavirus genome

    Mitić, N. S., Kapunac, S., Beljanski, M. V., Дергилев, А. И. & Орлов, Ю. Л., Aug 2024, Bioinformatics of Genome Regulation and Structure Systems Biology (BGRS/SB-2024): The 14th International Multiconference (05-10 August 2024, Novosibirsk, Russia). Новосибирск: Институт цитологии и генетики СО РАН, p. 2196-2197 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Previous 1 2 Next

ID: 60174705