1. Turing Degrees of Complete Formulas of Almost Prime Models

    Goncharov, S. S., Miller, R. & Harizanov, V., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 282-287 6 p.

    Research output: Contribution to journalArticlepeer-review

  2. The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence

    Nechesov, A. V., Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 96-112 17 p., 7.

    Research output: Contribution to journalArticlepeer-review

  3. The seventh International Olympiad in Cryptography: problems and solutions

    Gorodilova, A. A., Tokareva, N. N., Agievich, S. V., Carlet, C., Idrisova, V. A., Kalgin, K. V., Kolegov, D. N., Kutsenko, A. V., Mouha, N., Pudovkina, M. A. & Udovenko, A. N., 2021, In: Siberian Electronic Mathematical Reports. 18, 2, p. 4-29 26 p., 26.

    Research output: Contribution to journalArticlepeer-review

  4. Theoretical Treatment of Pulsed DNP Experiments: Effects of Spectral Exchange

    Nasibulov, E. A., Ivanov, K. L. & Sagdeev, R. Z., 1 Oct 2019, In: Applied Magnetic Resonance. 50, 10, p. 1233-1240 8 p.

    Research output: Contribution to journalArticlepeer-review

  5. The Fifth International Students' Olympiad in cryptography - NSUCRYPTO: Problems and their solutions

    Gorodilova, A., Agievich, S., Carlet, C., Hou, X., Idrisova, V., Kolomeec, N., Kutsenko, A., Mariot, L., Oblaukhov, A., Picek, S., Preneel, B., Rosie, R. & Tokareva, N., 3 May 2020, In: Cryptologia. 44, 3, p. 223-256 25 p.

    Research output: Contribution to journalArticlepeer-review

  6. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, In: Сибирские электронные математические известия. 17, p. 380-394 15 p., 024.

    Research output: Contribution to journalArticlepeer-review

  7. The Degree of Decidable Categoricity of a Model with Infinite Solutions for Complete Formulas

    Goncharov, S. S. & Marchuk, M. I., Jul 2021, In: Algebra and Logic. 60, 3, p. 200-206 7 p.

    Research output: Contribution to journalArticlepeer-review

  8. Task-driven approach to artificial intelligence

    Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., Sept 2023, In: Cognitive Systems Research. 81, p. 50-56 7 p.

    Research output: Contribution to journalArticlepeer-review

  9. Synthesis and structures of CuI,II complexes with a 2,2´-bipyridine derivative bearing a (+)-3-carene moiety

    Kokina, T. E., Glinskaya, L. A., Piryazev, D. A., Baranov, A. Y., Agafontsev, A. M., Eremina, Y. A., Vorontsova, E. V., Bogomyakov, A. S., Naumov, D. Y., Tkachev, A. V. & Larionov, S. V., 1 Jul 2018, In: Russian Chemical Bulletin. 67, 7, p. 1251-1260 10 p.

    Research output: Contribution to journalArticlepeer-review

  10. Specifics of the Taxonomic Composition of Bacterial Microflora in the Respiratory Microbiome of Patients with Chronic Dust Bronchitis

    Paradnikova, S. A., Druzhinin, V. G., Baranova, E. D., Demenkov, P. S. & Larionov, A. V., Jun 2023, In: Molecular Genetics, Microbiology and Virology. 38, 2, p. 70-78 9 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 8 ...13 Next

ID: 60174729