61 - 70 out of 78Page size: 10
Sort by: Title

  1. 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 journal › Article › peer-review

  2. 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 journal › Article › peer-review

  3. 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 journal › Article › peer-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 journal › Article › peer-review

  5. 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 journal › Article › peer-review

  6. 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 journal › Article › peer-review

  7. Using mixed reality technologies to explore the exhibits of the Kuzbass Botanical Garden

    Molorodov, Y. I. & Chernyavtsev, E. D., 2021, In: CEUR Workshop Proceedings. 3006, p. 203-211 9 p.

    Research output: Contribution to journal › Conference article › peer-review

  8. Validation of preoperative diagnosis of malignant thyroid tumors using a molecular classifier

    Titov, S. E., Lukyanov, S. A., Kozorezova, E. S., Demenkov, P. S., Sergiyko, S. V., Veryaskina, Y. A., Vorobyov, S. L., Sleptsov, I. V. & Gostimsky, A. V., 2022, In: Voprosy Onkologii. 68, 6, p. 741-751 11 p.

    Research output: Contribution to journal › Article › peer-review

  9. Web-Based Computational Tools for the Prediction and Analysis of Posttranslational Modifications of Proteins

    Ivanisenko, V. A., Ivanisenko, T. V., Saik, O. V., Demenkov, P. S., Afonnikov, D. A. & Kolchanov, N. A., 1 Jan 2019, Methods in Molecular Biology. Humana Press Inc., Vol. 1934. p. 1-20 20 p. (Methods in Molecular Biology; vol. 1934).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  10. X-ray Diffraction Investigation of the Evolution of Dust-Laden Jets from the Metal Surface

    Vlasov, A. N., Zhuravlev, A. V., Pashentsev, V. A., Smirnov, V. N., Smirnov, E. B., Stolbikov, M. Y., Cheremazov, V. E., Ten, K. A., Pruuel, E. R., Kashkarov, A. O., Rubtsov, I. A. & Kremenko, S. I., 1 Jul 2019, In: Combustion, Explosion and Shock Waves. 55, 4, p. 409-417 9 p.

    Research output: Contribution to journal › Article › peer-review

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

ID: 12339900