771 - 780 out of 1,164Page size: 10
  1. 2019

  2. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

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

  3. Intermediate dynamics of the four pions production in e+e− annihilation and tau decay processes

    CMD-3 Collaboration, 2019, In: Proceedings of Science. 364, 525.

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

  4. Study of e+e− annihilation into hadrons with the SND detector at the VEPP-2000 collider

    Druzhinin, V. P., Achasov, M. N., Barnyakov, A. Y., Baykov, A. A., Beloborodov, K. I., Berdyugin, A. V., Bogdanchikov, A. G., Botov, A. A., Dimova, T. V., Golubev, V. B., Kardapoltsev, L. V., Kharlamov, A. G., Korol, A. A., Kovrizhin, D. P., Kupich, A. S., Litvinov, R. A., Martin, K. A., Melnikova, N. A., Obrazovsky, A. E., Pakhtusova, E. V., & 7 othersPugachev, K. V., Serednyakov, S. I., Shtol, D. A., Silagadze, Z. K., Surin, I. K., Usov, Y. V. & Zabin, V. N., 2019, In: Proceedings of Science. 364, 509.

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

  5. Study of e+e- annihilation to hadrons at the VEPP-2000 collider

    SND Collaboration, 2019. 7 p.

    Research output: Contribution to conference › Paper › peer-review

  6. Алгоритм предобработки сигнала импульсного нейтронного гамма-каротажа с учетом статистической зависимости соседних элементов спектра

    Косогова, Н. О. & Власов, А. А., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, p. 42-52 11 p.

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

  7. Методика автоматического тестирования развивающегося веб-приложения

    Ткачев, А. В. & Иртегов, Д. В., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 3, p. 93-110 18 p.

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

  8. Разработка программных средств прозрачного удаленного доступа к технологическим параметрам бурения и данным скважинной телеметрической системы в условиях нестабильной связи

    Литвинов, В. С., Власов, А. А. & Teitelbaum, D. V., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, p. 101-113 13 p.

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

  9. Системы автоматизированной оценки заданий по программированию: разработка, использование и перспективы

    Иртегов, Д. В., Нестеренко, Т. В. & Чурина, Т. Г., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 2, p. 61-73 13 p.

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

  10. 2018

  11. Search for the rare decay of B+ →+νγ with improved hadronic tagging

    The BELLE collaboration, 28 Dec 2018, In: Physical Review D. 98, 11, 13 p., 112016.

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

  12. First Evidence for cos2β>0 and Resolution of the Cabibbo-Kobayashi-Maskawa Quark-Mixing Unitarity Triangle Ambiguity

    <i>B<span class="sc">a</span>B<span class="sc">ar</span></i> Collaboration, 26 Dec 2018, In: Physical Review Letters. 121, 26, 11 p., 261801.

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

Previous 1...74 75 76 77 78 79 80 81 ...117 Next

ID: 3081178