• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Адрес: 109028, г. Москва, Покровский бульвар, д. 11, корпус S, комната S938 (станции метро "Чистые пруды" и "Курская").

Телефон: +7(495) 772-95-90 *27319

Руководство
Руководитель департамента Кузнецов Сергей Олегович
Заместитель руководителя департамента Громов Василий Александрович
Статья
Efficient indexing of peptides for database search using Tide

Acquaye F. L., Kertesz-Farkas A., Stafford Noble W.

Journal of Proteome Research. 2023. Vol. 22. No. 2. P. 577-584.

Статья
Language models for some extensions of the Lambek calculus

Kanovich M., Kuznetsov S., Scedrov A.

Information and Computation. 2022. Vol. 287.

Статья
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

Zhirayr Hayrapetyan, Nascimento S., Trevor F. et al.

In bk.: Information Systems and Technologies: WorldCIST 2022, Volume 2. Iss. 469. Springer, 2022. P. 141-147.

Профессор С.О. Кузнецов принял участие в меж­ду­на­род­ной комиссии по защите докторской диссертации в Уни­вер­си­те­те Оверни в г. Клермон-Ферран, Франция.

2 сентября 2020 года в Университете Оверни состоялась защита докторской диссертации Оскара Дефрейна (Oscar Defrain) на тему «О задачах дуализации в графах, гиперграфах и решетках» (On the dualization problem in graphs, hypergraphs, and lattices).
Abstract: This thesis deals with enumeration problems and algorithms.We are interested in the complexity of the dualization of monotone Boolean functionsthrough the different shapes it takes in graphs, hypergraphs, and lattices.
In particular in this talk, we will consider the enumeration of minimal dominating sets in graphs, and will present new output-polynomial time algorithms to solve the problemin graphs without large cliques, as well as in some other related graph classes.
In a second part, we will consider a natural generalization of this problem in lattices,and will review the recent progress on the problem.
The presentation will end with different perspectives on the dualization problemin these structures.
Научный руководитель - Lhouari Nourine.

В состав комиссии вошли Виктор Чепой (Victor Chepoi), Надя Крейну (Nadia Creignou), Арно Дюран (Arnaud Durand), Сергей Кузнецов (Sergei Kuznetsov), Орели Лагут (Aurélie Lagoutte), Казухиса Макино (Kazuhisa Makino).