4991 - 5000 out of 26,072Page size: 10
  1. Towards Better SAT Encodings for Hash Function Inversion Problems

    Kochemazov, S. E. & Zaikin, O. S., 2024, 2024 47th ICT and Electronics Convention, MIPRO 2024 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 25-30 6 p. (2024 47th ICT and Electronics Convention, MIPRO 2024 - Proceedings).

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

  2. Towards an understanding of crystallization from solution. DFT studies of multi-component serotonin crystals

    Rychkov, D. A., Hunter, S., Kovalskii, V. Y., Lomzov, A. A., Pulham, C. R. & Boldyreva, E. V., 15 Jul 2016, In: Computational and Theoretical Chemistry. 1088, p. 52-61 10 p.

    Research output: Contribution to journalArticlepeer-review

  3. Towards a next-to-next-to-leading order analysis of matching in B0−B¯0 mixing

    Grozin, A. G., Mannel, T. & Pivovarov, A. A., 30 Oct 2017, In: Physical Review D. 96, 7, 12 p., 074032.

    Research output: Contribution to journalArticlepeer-review

  4. Towards an ediacaran time scale: Problems, protocols, and prospects

    Xiao, S., Narbonne, G. M., Zhou, C., Laflamme, M., Grazhdankin, D. V., Moczydlowska-Vidal, M. & Cui, H., Dec 2016, In: Episodes. 39, 4, p. 540-555 16 p.

    Research output: Contribution to journalArticlepeer-review

  5. Towards an Anatomy of Software Requirements

    Meyer, B., Bruel, J-M., Ebersold, S., Galinier, F. & Naumchev, A., 8 Oct 2019, Towards an Anatomy of Software Requirements. p. 10-40 31 p. Chapter 2. (Software Technology: Methods and Tools; vol. 11771).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  6. Towards a knowledge economy: the role of innovative projects in the reindustrialization of Novosibirsk oblast

    Kuleshov, V. V., Untura, G. A. & Markova, V. D., 1 Jul 2017, In: Regional Research of Russia. 7, 3, p. 215-224 10 p.

    Research output: Contribution to journalArticlepeer-review

  7. Towards a descriptive theory of cb 0-spaces

    Selivanov, V., 1 Dec 2017, In: Mathematical Structures in Computer Science. 27, 8, p. 1553-1580 28 p.

    Research output: Contribution to journalArticlepeer-review

  8. Towards a complete next-to-logarithmic description of forward exclusive diffractive dijet electroproduction at HERA: Real corrections

    Boussarie, R., Grabovsky, A. V., Szymanowski, L. & Wallon, S., 18 Oct 2019, In: Physical Review D. 100, 7, 074020.

    Research output: Contribution to journalArticlepeer-review

  9. Toward reliable characterization of energetic materials: interplay of theory and thermal analysis in the study of the thermal stability of tetranitroacetimidic acid (TNAA)

    Kiselev, V. G., Muravyev, N. V., Monogarov, K. A., Gribanov, P. S., Asachenko, A. F., Fomenkov, I. V., Goldsmith, C. F., Pivkina, A. N. & Gritsan, N. P., 28 Nov 2018, In: Physical Chemistry Chemical Physics. 20, 46, p. 29285-29298 14 p.

    Research output: Contribution to journalArticlepeer-review