Лекция
Интерпретация и компиляция функциональных программ
Eval / Apply -интерпретатор.
Эффективная и ленивая интерпретация.
SECD-машина. Эффективная и ленивая версии...
Выпуклая оптимизация.
Страница лекции на сайте Computer Science Center
Исключения и ООП. Приведение типов в стиле C.
N-ядро. Теорема Колберга. Теорема Соболева. Монотонность. Теорема Янга.
Страница лекции на сайте Computer Science Center
Параллельные реализации алгоритмов
Оптимизации в компиляторах
Системы управления дефектами. Системы контроля версий
Страница лекции на сайте Computer Science Center
Лекция 9. Трудный бит. Псевдослучайный генератор.
Симплекс-метод
Подробнее о двойственности, симплекс-метод.
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science клуба
Лекция посвящена современным подходам и алгоритмам обнаружения текста на изображениях. Решение данной задачи является обязательным для последующего...
Обзор методов оптимизации (по Ю.Е. Нестерову).
Страница лекции на сайте Computer Science Center
Шаблоны продолжение. Исключения продолжение.
Кооперативные игры, решения. С-ядро. ТП и НТП игры. Теорема Бондаревой-Шепли. Линейные решения кооперативных игр. Вектор Шепли, аксиоматизации.
Страница лекции...
Кластеры и стандарт MPI
Лекция 8. Сложность в среднем. Односторонние функции.
Управление программными проектами (окончание). Управление рисками
Страница лекции на сайте 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...
Вычислительная трудность декодирования линейного кода
NP-трудность общей задачи декодирования линейного кода: по проверочной матрице кода H, вектору y и числу...
Чистое лямбда-исчисление
Чистое лямбда-исчисление
Страница лекции на сайте 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:...
Лекция 7. Интерактивные протоколы.
Управление программными проектами
Страница лекции на сайте Computer Science Center
Страница лекции на сайте Computer Science Center
Быстрое преобразование Фурье
Каскадные коды, явная конструкция асимптотически хорошего кода
Декодирование списком
Декодирование списком. Граница Хэмминга для декодирования списком. Существование кода, допускающего декодирование списком линейного...
Вероятностная модель канала с шумом и классические теоремы Шеннона
Энтропия Шеннона. Теорема Шеннона об оптимальном блоковом кодировании для канала без шума....
Комбинаторная модель канала с шумом. Базовые определения и простейшие оценки
Классические линейные коды: код Хэмминга и код Рида-Соломона
Системы функционального программирования. Основы лямбда-исчисления
Системы функционального программирования. Основы лямбда-исчисления
Страница лекции на сайте Computer Science Center
Переборные методы. Сэмплирование пространства параметров.
Страница лекции на сайте Computer Science Center
Standard Template Library. Ассоциативные контейнеры: set, multiset, map, multimap. Функторы.
Динамические игры. Фольклорная теорема.
Страница лекции на сайте Computer Science Center
Поиск ошибок и анализ производительности. OpenMP
Всем нам хочется думать, что для успеха проекта достаточно его как следует запрограммировать. Жизнь же показывает, что нередко технически продвинутые проекты...
За время работы с юзабилити в проектах у меня сложилось устойчивое мнение, что практика применения юзабилити плохо структурирована и вообще сродни шаманству. В...