1181 - 1190 out of 25,924Page size: 10
  1. A non-equilibrium dissociation and vibrational relaxation model for computational fluid dynamics simulations of flows with shock waves

    Gorbachev, Y., Kunova, O. & Shoev, G., 1 Dec 2021, In: Physics of Fluids. 33, 12, 126105.

    Research output: Contribution to journalArticlepeer-review

  2. An O(nlogn)-Time Algorithm for Linearly Ordered Packing of 2-Bar Charts into OPT+1 Bins

    Ерзин, А. И., Кононов, А. В., Назаренко, С. А. & Шаранхаев, К. И., 2023, Mathematical Optimization Theory and Operations Research - 22nd International Conference, MOTOR 2023, Proceedings. Goos, G. & Hartmanis, J. (eds.). Springer, p. 122-133 12 p. (Communications in Computer and Information Science; vol. 1881 CCIS).

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

  3. An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 Sept 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer Nature, p. 114-130 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

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

  4. Anonymous Remote Voting System

    Ракитский, А. А. & Дьячкова, И., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 850-852 3 p. 8958064. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

  5. Anopheles mosquitoes reveal new principles of 3D genome organization in insects

    Lukyanchikova, V., Nuriddinov, M., Belokopytova, P., Taskina, A., Liang, J., Reijnders, M. J. M. F., Ruzzante, L., Feron, R., Waterhouse, R. M., Wu, Y., Mao, C., Tu, Z., Sharakhov, I. V. & Fishman, V., Dec 2022, In: Nature Communications. 13, 1, 1960.

    Research output: Contribution to journalArticlepeer-review

  6. An optical frequency standard based on ultracold magnesium atoms

    Goncharov, A. N., Bonert, A. E., Brazhnikov, D. V., Prudnikov, O. N., Tropnikov, M. A., Kuznetsov, S. A., Taichenachev, A. V. & Bagayev, S. N., 16 Feb 2017, In: Journal of Physics: Conference Series. 793, 1, 5 p., 012008.

    Research output: Contribution to journalArticlepeer-review

  7. An optical method for determination of the mass thickness of thin gold films with arbitrary morphology

    Starinskiy, S. V., Safonov, A. I., Sulyaeva, V. S., Rodionov, A. A., Shukhov, Y. G. & Bulgakov, A. V., 30 Nov 2020, In: Thin Solid Films. 714, 7 p., 138392.

    Research output: Contribution to journalArticlepeer-review

  8. An Optical Parametric Oscillator in the Mid-IR Range Based on a Fan-out Periodically Poled Structure of Lithium Niobate with a Narrow-Band Seeding Laser

    Boyko, A. A., Erushin, E. Y., Kostyukova, N. Y., Miroshnichenko, I. B. & Kolker, D. B., Mar 2021, In: Instruments and Experimental Techniques. 64, 2, p. 254-258 5 p.

    Research output: Contribution to journalArticlepeer-review

  9. An optimization model for empty tank cars movement at railway petroleum logistics market

    Davydov, I. A., 1 Jan 2018, Optimization Problems and Their Applications - 7th International Conference, OPTA 2018, Revised Selected Papers. Springer, p. 267-277 11 p. (Communications in Computer and Information Science; vol. 871).

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

  10. Anormogomphus kiritshenkoi Bartenev, 1913 (Odonata: Gomphidae): a literature review of the variable spelling of the species epithet, choice of the correct spelling and notes on the type locality of the species

    Schorr, M., Kosterin, O. E., Borisov, S. N. & Marinov, M., 12 Jan 2018, In: Zootaxa. 4370, 4, p. 439-445 7 p.

    Research output: Contribution to journalArticlepeer-review