• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФКН
Статья
A rewriting framework and logic for activities subject to regulations

Kanovich M., Kirigin T. B., Nigam V. et al.

Mathematical Structures in Computer Science. 2017. Vol. 27. No. 3. P. 332-375.

Статья
Bias-Corrected Estimation in Continuous Sampling Plans
В печати

Decrouez G. G., Robinson A.

Risk Analysis: An International Journal. 2017. Vol. 38. No. 1. P. 177-193.

Статья
Dualization in lattices given by ordered sets of irreducibles

Babin M. A., Kuznetsov S.

Theoretical Computer Science. 2017. Vol. Volume 658, Part B. No. 7 January. P. 316-326.

Статья
Finite sample properties of the mean occupancy counts and probabilities

Decrouez G. G., Grabchak M., Paris Q.

Bernoulli: a journal of mathematical statistics and probability. 2018. Vol. 24. No. 3. P. 1910-1941.

Статья
The Minkowski central partition as a pointer to a suitable distance exponent and consensus partitioning

Mirkin B., Amorim R., Makarenkov V. et al.

Pattern Recognition. 2017. Vol. 67. P. 62-72.

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

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).