• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Language models for some extensions of the Lambek calculus

Kanovich M., Kuznetsov S., Scedrov A.

Information and Computation. 2022. Vol. 287.

Статья
Deep Convolutional Neural Networks Help Scoring Tandem Mass Spectrometry Data in Database-Searching Approaches

Kudriavtseva P., Kashkinov M., Kertész-Farkas A.

Journal of Proteome Research. 2021. Vol. 20. No. 10. P. 4708-4717.

Статья
Triclusters of Close Values for the Analysis of 3D Data

Egurnov D., Ignatov D. I.

Automation and Remote Control. 2022. Vol. 83. No. 6. P. 894-902.

Глава в книге
Triclustering in Big Data Setting

Egurnov D., Точилкин Д. С., Ignatov D. I.

In bk.: Complex Data Analytics with Formal Concept Analysis. Springer, 2022. P. 239-258.

Глава в книге
Ontology-Controlled Automated Cumulative Scaffolding for Personalized Adaptive Learning

Dudyrev F., Neznanov A., Anisimova K.

In bk.: Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners’ and Doctoral Consortium -23rd International Conference, AIED 2022, Durham, UK, July 27–31, 2022, Proceedings, Part II. Springer, 2022. P. 436-439.

Глава в книге
Modeling Generalization in Domain Taxonomies Using a Maximum Likelihood Criterion

Ajrapetyan Z., Mirkin B., Trevor F. et al.

In bk.: WorldCIST 2022.Information Systems and Technologies.Lecture Notes in Networks and Systems. Iss. 469. Springer, 2022. P. 141-147.

Статья
Mint: MDL-based approach for Mining INTeresting Numerical Pattern Sets

Makhalova T., Kuznetsov S., Napoli A.

Data Mining and Knowledge Discovery. 2022. P. 108-145.

Департамент анализа данных и искусственного интеллекта вошел в Ассоциацию символической логики

Институциональное сотрудничество с департаментом расширено за счет участия 3 студентов, выполняющих курсовые и выпускные квалификационные работы под руководством преподавателей департамента по следующим направлениям исследований:
—  Булева и многозначные логики. Функциональная выразимость в замкнутых классах.
—  Деревья блюпринтов и построение системы принятия решений в 3D-шутерах, основанной на правилах вывода.


Ассоциация
символической логики (Association for symbolic logic) — крупнейшая американская организация современных логиков, фактически является международной. Создана в 1936 по инициативе К. Дюкасса (первый президент АСЛ), А. Чёрча, Х. Кёрри, К. Льюиса и других. Её цельспособствовать исследованиям по символической (формальной, математической) логике и непосредственно связанным с нею областям. Членом АСЛ может быть любой учёный или научное учреждение из любой страны мира, интересующиеся символической логикой. Официальный орган АСЛ — «Journal of Symbolic Logic», выходящий ежеквартально с 1936 года.
© http://dic.academic.ru