Лекция
Симплекс-метод
Подробнее о двойственности, симплекс-метод.
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science Center
Шаблоны продолжение. Исключения продолжение.
Обзор методов оптимизации (по Ю.Е. Нестерову).
Страница лекции на сайте Computer Science Center
Кооперативные игры, решения. С-ядро. ТП и НТП игры. Теорема Бондаревой-Шепли. Линейные решения кооперативных игр. Вектор Шепли, аксиоматизации.
Страница лекции...
Кластеры и стандарт MPI
Управление программными проектами (окончание). Управление рисками
Страница лекции на сайте Computer Science Center
Линейное программирование
Линейное программирование. Линейное программирование: общий вид задачи, двойственность. Задача о максимальном потоке. Задача о...
Страница лекции на сайте Computer Science Center
Verifying specifications is still one of the most important undeveloped topics in software engineering. It is important because quite a few critical bugs are...
Чистое лямбда-исчисление
Чистое лямбда-исчисление
Страница лекции на сайте Computer Science Center
Генетические алгоритмы. Differential evolution.
Страница лекции на сайте Computer Science Center
XML.
Арбитражные схемы. Решение Нэша. Решения Калаи-Смородинского. Кооперативные игры.
Страница лекции на сайте Computer Science Center
Intel TBB и java.util.concurrent
Обзор Intel TBB: алгоритмы, аллокаторы, деревья задач, планирование
TLS (Thread Local Storage)
Обзор Java.util.concurrent:...
Управление программными проектами
Страница лекции на сайте Computer Science Center
Быстрое преобразование Фурье
Страница лекции на сайте Computer Science Center
Каскадные коды, явная конструкция асимптотически хорошего кода
Декодирование списком
Декодирование списком. Граница Хэмминга для декодирования списком. Существование кода, допускающего декодирование списком линейного...
Вероятностная модель канала с шумом и классические теоремы Шеннона
Энтропия Шеннона. Теорема Шеннона об оптимальном блоковом кодировании для канала без шума....
Комбинаторная модель канала с шумом. Базовые определения и простейшие оценки
Классические линейные коды: код Хэмминга и код Рида-Соломона
Системы функционального программирования. Основы лямбда-исчисления
Системы функционального программирования. Основы лямбда-исчисления
Страница лекции на сайте Computer Science Center
Переборные методы. Сэмплирование пространства параметров.
Страница лекции на сайте Computer Science Center
Standard Template Library. Ассоциативные контейнеры: set, multiset, map, multimap. Функторы.
Поиск ошибок и анализ производительности. OpenMP
Динамические игры. Фольклорная теорема.
Страница лекции на сайте Computer Science Center
За время работы с юзабилити в проектах у меня сложилось устойчивое мнение, что практика применения юзабилити плохо структурирована и вообще сродни шаманству. В...
Инженерия требований (окончание)
Страница лекции на сайте Computer Science Center
Всем нам хочется думать, что для успеха проекта достаточно его как следует запрограммировать. Жизнь же показывает, что нередко технически продвинутые проекты...
Технологии виртуализации все глубже проникают в нашу повседневную жизнь и становятся неотъемлемым компонентом инфраструктуры компаний, встраиваются в телефоны...
RSA
Генерация случайных простых чисел. Криптография: схемы с закрытым ключом, RSA.
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science Center
"Завязывание узлов". Классы
"Завязывание узлов". Потоки.
Пример: программирование регулярных выражений.
Пример: функциональное представление графов.
Классы в...
"Завязывание узлов". Классы
Страница лекции на сайте Computer Science Center
Некоторые способы построения параметрической целевой функции: Lq, maximum a posteriori, метод максимального правдоподобия, метод максимальной энтропии....
Страница лекции на сайте Computer Science Center
Standard Template Library. Последовательные контейнеры: vector, deque, list, string. Итераторы.
Позиционные игры. Теорема Цермело-Неймана. Теорема Куна.
Страница лекции на сайте Computer Science Center
Виды синхронизации
Разные виды мьютексов
CAS-операции: реализация AtomicInteger, futex
Виды алгоритмов реализации потокобезопасных контейнеров
Страница лекции...
Инженерия требований (продолжение)
Страница лекции на сайте Computer Science Center
Проверка простоты числа
Арифметика сравнений: сложение, умножение, возведение в степень, нахождение обратного по модулю. Вероятностный тест на простоту....
Страница лекции на сайте Computer Science Center
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.