Лекция
Точные и FPT-алгоритмы
Страница лекции на сайте Computer Science Club
Рекуррентная устойчивость
Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking.
Содержание лекции
Вычислимые функции, разрешимые и перечислимые множества, универсальный алгоритм, перечислимое неразрешимое множество, вычислимые вещественные числа.
Abstraction in model checking: Predicate abstraction; CEGAR-based software model checkin.
Постановка задачи полуопределённого программирования, приближённый алгоритм для задачи о максимальном разрезе, раскраска 3–раскрашиваемого графа.
Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
Обзор
Страница лекции на сайте Computer Science клуба
Коды, исправляющие ошибки. Границы Хэмминга, Гилберта. Случайные коды, линейные коды. Код Хэмминга. Неравенство Синглетона. Код Рида–Соломона. Каскадные коды.
Страница лекции на сайте Computer Science клуба
Классические алгоритмы интернет поиска наиболее эффективны для нахождения ключевых слов в текстовых документах. В последние годы в интернете растет доля и ...
Курс о фундаментальных основах криптографии.
SAT-based software model checking.
Содержание лекции
Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике....
Метод условных вероятностей, метод малых пространств событий.
NP-полные задачи
Страница лекции на сайте Computer Science клуба
Коды, исправляющие ошибки. Границы Хэмминга, Гилберта. Случайные коды, линейные коды. Код Хэмминга. Неравенство Синглетона. Код Рида–Соломона. Каскадные коды.
Страницы
Конференция
Java-конференция Joker 2015 University Day
Санкт-Петербург, 18.10.2015
18–20 декабря 2017 года в Мраморном зале ПОМИ РАН прошла конференция, организованная сотрудниками ПОМИ РАН при поддержке компании Huawei. Основная цель...
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of...
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Страница курса на сайте Computer Science клуба.
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Подумать только, прошло уже целых 20 лет со дня рождения самой популярной платформы, а она по прежнему не перестает удивлять теперь уже 9 миллионов...
Курс лекций
Машинное обучение — раздел информатики, в котором мы пытаемся создать алгоритмы, работающие тем лучше, чем больше данных они успели обработать.
