Лекция
Динамические игры. Фольклорная теорема.
Страница лекции на сайте Computer Science Center
"Поэты-метафизики". Немецкая поэзия XVII века: Пауль Флеминг, Андреас Грифиус. Драматургия классицизма
Лекция 6. Вероятностные алгоритмы.
Инженерия требований (окончание)
Страница лекции на сайте Computer Science Center
Всем нам хочется думать, что для успеха проекта достаточно его как следует запрограммировать. Жизнь же показывает, что нередко технически продвинутые проекты...
За время работы с юзабилити в проектах у меня сложилось устойчивое мнение, что практика применения юзабилити плохо структурирована и вообще сродни шаманству. В...
RSA
Генерация случайных простых чисел. Криптография: схемы с закрытым ключом, RSA.
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science Center
Технологии виртуализации все глубже проникают в нашу повседневную жизнь и становятся неотъемлемым компонентом инфраструктуры компаний, встраиваются в телефоны...
Доклад представляет новые результаты теоретической информатики в области верификации параллельных и распределенных программ. Верификация – это процесс проверки...
Доклад посвящен изложению методики использования программного средства Spin с входным языком Promela, которое широко применяется для верификации протоколов,...
Песочная группа как аналог якобиана комплексной кривой. Теорема Римана-Роха для песочных групп.
"Завязывание узлов". Классы
"Завязывание узлов". Потоки.
Пример: программирование регулярных выражений.
Пример: функциональное представление графов.
Классы в...
"Завязывание узлов". Классы
Страница лекции на сайте Computer Science Center
Standard Template Library. Последовательные контейнеры: vector, deque, list, string. Итераторы.
Мы будем рассматривать рациональные функции от одной комплексной переменной как топологические динамические системы на сфере Римана. Я расскажу про общую...
Некоторые способы построения параметрической целевой функции: Lq, maximum a posteriori, метод максимального правдоподобия, метод максимальной энтропии....
Страница лекции на сайте Computer Science Center
Позиционные игры. Теорема Цермело-Неймана. Теорема Куна.
Страница лекции на сайте Computer Science Center
Виды синхронизации
Разные виды мьютексов
CAS-операции: реализация AtomicInteger, futex
Виды алгоритмов реализации потокобезопасных контейнеров
Страница лекции...
Инженерия требований (продолжение)
Страница лекции на сайте Computer Science Center
Лекция 5. PSPACE-полнота задачи QBF. Иерархии DSpace, DTime, NTime.
Проблемы превращения Санкт-Петербурга в глобальную культурную столицу: Государственный Эрмитаж как сокровищница мирового искусства и как модель успешного...
В лекции речь идет о категории границы и о проницаемых местах границ. Таким образом, можно понять семиотические функции рамы в живописи и регулярного поля...
Проверка простоты числа
Арифметика сравнений: сложение, умножение, возведение в степень, нахождение обратного по модулю. Вероятностный тест на простоту....
Страница лекции на сайте Computer Science Center
Лекция посвящена программной библиотеке OpenCV, позволяющей решать широкий круг задач обработки изображений и компьютерного зрения.
Real-time human pose estimation is a very challenging problem. This lecture is devoted to algorithm behind Microsoft Kinect, which solves this problem...
Continuous numerical optimization.
This lecture is devoted to kernel classifiers, conditional random fields and structured support vector machines.
This lecture is devoted to modern action recognition methods.
Computer vision methods usually are very computationally-intensive, yet sometimes we can achieve real-time performance on consumer PC or mobile phone and...
Random Fields are used extensively in modern computer vision algorithms. In this lecture different applications of Random Fields and inference methods based on...
Написать научную статью на ведущую конференцию в мире очень сложно. Но если следовать ряду простых правил, то можно существенно повысить шансы на то, что вашу...
k-независимые хеш-функции, конструкции. Основная лемма о хешировании для попарно независимых хеш-функций. Лемма о хешировании для 2t-независимых хеш-функций....
Генерация равномерного распределения на множестве подсказок с помощью k-независимых хеш-функций. Лемма Вэлианта-Вазирани.
Страница лекции на сайте Computer...
Песочная группа направленного графа.
Бескоалиционные игры n лиц. Равновесие по Нэшу. Смешанные стратегии.
Страница лекции на сайте Computer Science Center
Синхронизация
Жизненный цикл ПО (окончание). Инженерия требований
Страница лекции на сайте Computer Science Center
Лекция 4. Вычисления с ограничениями по памяти. Схемы полилогарифмической глубины.
Числовые алгоритмы
Система непересекающихся множеств: доказательство оценки на время работы алгоритма с эвристикой сжатия путей. Числовые алгоритмы. Основные...
Страница лекции на сайте Computer Science Center
Карринг и ленивые вычисления
Частичная параметризация функций. Карринг и сечения.
Функциональное представление множеств.
"Ленивые" вычисления и бесконечные...