Шаблон:Current Seminars — различия между версиями
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 35: | Строка 35: | ||
|colspan="3"|'''[[Сложность решения дискретных задач]]''' | |colspan="3"|'''[[Сложность решения дискретных задач]]''' | ||
{{announce Seminar| 1 марта 2019 г. | {{announce Seminar| 1 марта 2019 г. | ||
| − | | '''Оптимальный алгоритм для k-согласованности системы предикатов'''. В докладе рассматривается оптимальный алгоритм приведения произвольной системы предикатов к k-согласованной с сохранением множества решений. Доклад по статье: Cooper M.C. An optimal k-consistency algorithm // Artificial Intelligence. 1989 | + | | '''Оптимальный алгоритм для k-согласованности системы предикатов'''. В докладе рассматривается оптимальный алгоритм приведения произвольной системы предикатов к k-согласованной с сохранением множества решений. Доклад по статье: Cooper M.C. An optimal k-consistency algorithm // Artificial Intelligence. 1989. |
| Лобанов Алексей (418 гр.) | | Лобанов Алексей (418 гр.) | ||
|}} | |}} | ||
Версия 13:09, 1 марта 2019
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 12 октября | Нижняя оценка энергопотребления для одного класса объёмных схем | Ефимов А.А. |
| 28 сентября | Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».Аннотация доклада | Мальцев А.Н. |
| 21 сентября | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада | Хзмалян Д.Э.
|
| Сложность решения дискретных задач | ||
| 1 марта 2019 г. | Оптимальный алгоритм для k-согласованности системы предикатов. В докладе рассматривается оптимальный алгоритм приведения произвольной системы предикатов к k-согласованной с сохранением множества решений. Доклад по статье: Cooper M.C. An optimal k-consistency algorithm // Artificial Intelligence. 1989. | Лобанов Алексей (418 гр.)
|
| Теоретические проблемы программирования | ||
| 30 ноября 2018 г.
|
Доклад по статье A method for proving observational equivalence (V. Cortier, S. Delaune) В статье рассматривается прикладное pi-исчисление и показано, что для определенных процессов эквивалентность по наблюдениям (observational equivalence) фактически совпадает с трассовой эквивалентностью (trace equivalence). Выделен обширный класс детерминированных процессов, называемых простыми процессами, которые охватывают большинство существующих протоколов и криптографические примитивы. Показано, что для простых процессов без репликации или ветвления разрешимость эквивалентности трассировки сводится к разрешимости отношения эквивалентности, введенного М. Боде. В совокупности это дает первый результат о разрешимости эквивалентности по наблюдениям для общего класса эквациональных теорий. |
Аббас Марат (518 гр.)
|
