20411 - 20420 из 25 979Размер страницы: 10
Сортировать по:: Год публикации
  1. 2018

  2. Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

    Karpenko, A., 1 янв. 2018, LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. Odintsov, S. (ред.). Springer Open, стр. 171-183 13 стр. (Outstanding Contributions to Logic; том 15).

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

  3. Definable Sets in Generic Structures and their Cardinalities

    Kiouvrekis, Y., Stefaneas, P. & Sudoplatov, S. V., 1 янв. 2018, в: Siberian Advances in Mathematics. 28, 1, стр. 39-52 14 стр.

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

  4. Defind: a protege plugin for computing concept definitions in εL Ontologies

    Ponomaryov, D. & Yakovenko, S., 1 янв. 2018, Semantic Technology - 8th Joint International Conference, JIST 2018, Proceedings. Springer, стр. 235-243 9 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11341 LNCS).

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

  5. Degrees of categoricity for prime and homogeneous models

    Bazhenov, N. & Marchuk, M., 1 янв. 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (ред.). Springer, стр. 40-49 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936 LNCS).

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

  6. Depth analysis of greyscale integral images using continuous multiview wavelet transform

    Saveljev, V., Palchikova, I. & Li, X., 1 янв. 2018, в: International Journal of Optics. 2018, 8 стр., 3151209.

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

  7. Detection of Nuclear Spin Isomers of Water Molecules by Terahertz Time-Domain Spectroscopy

    Mamrashev, A. A., Maximov, L. V., Nikolaev, N. A. & Chapovsky, P. L., 1 янв. 2018, в: IEEE Transactions on Terahertz Science and Technology. 8, 1, стр. 13-18 6 стр., 8098617.

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

  8. Determination of the Boundary Surface Between the Lipid Bilayer and Water

    Voloshin, V. P., Kim, A. V., Shelepova, E. A. & Medvedev, N. N., 1 янв. 2018, в: Journal of Structural Chemistry. 59, 1, стр. 96-105 10 стр.

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

  9. Development of FARICH detector for particle identification system at accelerators

    Finogeev, D. A., Kurepin, A. B., Razin, V. I., Reshetin, A. I., Usenko, E. A., Barnyakov, A. Y., Barnyakov, M. Y., Bobrovnikov, V. S., Buzykaev, A. R., Kasyanenko, P. V., Kononov, S. A., Kravchenko, E. A., Kuyanov, I. A., Onuchin, A. P., Ovtin, I. V., Podgornov, N. A., Talyshev, A. A. & Danilyuk, A. F., 1 янв. 2018, в: Physics of Particles and Nuclei. 49, 1, стр. 30-32 3 стр.

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

  10. Development of software for accessing the VEPP-2000 collider facility archiving system

    Shubina, O. S., Senchenko, A. I. & Shatunov, P. Y., 1 янв. 2018, Proceedings of the 12th International Workshop on Emerging Technologies and Scientific Facilities Controls, PCaPAC 2018. Joint Accelerator Conferences Website (JACoW), стр. 102-104 3 стр. (Proceedings of the 12th International Workshop on Emerging Technologies and Scientific Facilities Controls, PCaPAC 2018).

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

  11. Development of the heated thin foil technique for investigating nonstationary transfer processes

    Karchevsky, A. L., 1 янв. 2018, в: Interfacial Phenomena and Heat Transfer. 6, 3, стр. 179-185 7 стр.

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

Назад 1...2038 2039 2040 2041 2042 2043 2044 2045 ...2598 Далее