25101 - 25110 из 26 307Размер страницы: 10
Сортировать по:: Заголовок

  1. A Note on Computable Embeddings for Ordinals and Their Reverses

    Bazhenov, N. & Vatev, S., 1 июл. 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (ред.). Springer Gabler, стр. 1-13 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12098 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  2. 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 янв. 2018, в: Zootaxa. 4370, 4, стр. 439-445 7 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

    Davydov, I. A., 1 янв. 2018, Optimization Problems and Their Applications - 7th International Conference, OPTA 2018, Revised Selected Papers. Springer, стр. 267-277 11 стр. (Communications in Computer and Information Science; том 871).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  4. 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., мар. 2021, в: Instruments and Experimental Techniques. 64, 2, стр. 254-258 5 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  5. 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 нояб. 2020, в: Thin Solid Films. 714, 7 стр., 138392.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  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 февр. 2017, в: Journal of Physics: Conference Series. 793, 1, 5 стр., 012008.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. 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., дек. 2022, в: Nature Communications. 13, 1, 1960.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  8. Anonymous Remote Voting System

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

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

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

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сент. 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. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  10. 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. (ред.). Springer, стр. 122-133 12 стр. (Communications in Computer and Information Science; том 1881 CCIS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Назад 1...2507 2508 2509 2510 2511 2512 2513 2514 ...2631 Далее