Лекция
Получение одной записи из базы: что происходит шаг за шагам. Оптимизации. Кеширование соединений, запросов.
Страница лекции на сайте Computer Science Center
Всякое о языке
Итераторы. Генераторы и выражения-генераторы. Декораторы.
Страница лекции на сайте Computer Science Center
Аукцион первой цены, полное решение. Принцип эквивалентности дохода (теорема Маерсона). Оптимальный аукцион с точки зрения продавца, барьеры входа.
Доказательство PCP теоремы (начало)
Тестирование функции на линейность с помощью базиса Фурье. Общий план доказательства PCP-теоремы. Понижение алфавита (...
Доказательство PCP теоремы (продолжение)
Понижение алфавита (окончание). Алгебраические экспандеры. Лемма о перемешивании, следствия. Повышение зазора:...
Будет построена ''самая общая модель динамической игры'' (в которой пошагово ходы выполняются игроками одновременно). Эта игра служит формализацией целого ряда...
Веб-сайты значительно изменились за последние годы. Если изначально каждый сайт представлял собой статическую страницу, контент которой формировался с помощью...
Производящие функции
Применение степенных рядов и производящих функций для доказательства комбинаторных тождеств. Производящие функции для биномиальных...
Беспроводные технологии передачи данных.
Страница лекции на сайте Computer Science Center
Построение признаков и сравнение изображений: глобальные признаки
Дескрипторы цвета, текстуры, формы, меры подобия на данных пространствах признаков.
Страница...
Франц Кафка. Часть 2
В лекции будут освещены наиболее известные моменты биографии Франца Кафки и различные подходы к пониманию его произведений.
Вычислимость и выразимость в арифметике
Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.
Страница лекции на сайте...
Управляющие конструкции и исключения в java.
Условные операторы (if, switch).
Циклы (for, while, do).
Операторы break и continue, метки.
Исключения, типы...
Разбиения числа в сумму слагаемых.
Рекуррентные соотношения для функций разбиения.Теоремы Харди-Рамануджана (б/д).
Hadoop стал основной платформой для масштабируемых приложений высоконагруженной обработки больших объемов данных. В данной лекции мы обсудим философию дизайна...
Операционная семантика малого шага.
Модули. Исключения
Классы и их синтаксис. Подробнее про области видимости и пространства имен. Объекты-классы. Объекты-экземпляры. Объекты-методы. Наследование...
Что такое транзакция. Зачем она нужна. Свойства ACID. Особенности распределенного состояния данных. CAP теорема. CAP "сказка". Понятие BASE.
Страница лекции на...
Аукцион первой цены, полное решение. Принцип эквивалентности дохода (теорема Маерсона). Оптимальный аукцион с точки зрения продавца, барьеры входа.
Моделируя модели или Next ''Next Model''
Разработка многопоточных приложений на Java
Общие сведения о параллелизме.
Управление потоками.
Синхронизация потоков.
Модель памяти.
Страница лекции на сайте ...
Вероятностно проверяемые доказательства и приближенные алгоритмы
Приближенные алгоритмы для MAX3SAT, вершинного покрытия. Класс PCP(r(n),q(n)), формулировка...
Экспоненциальная PCP-теорема
Отсутствие константного приближения для задачи о независимом множестве. Коды Уолша-Адамара, их локальное декодирование....
Подуровень управления доступом к среде. Ethernet. Коммутация на канальном уровне.
Страница лекции на сайте Computer Science Center
Рекуррентные соотношения
Рекуррентные соотношения и производящие функции. Числа Фибоначчи. Формула Бинэ и матричное представление чисел Фибоначчи. Линейные...
Морфологическая обработка изображений
Морфологические операции (дилатация, эрозия, размыкание, замыкание) и основанные на них алгоритмы.
Страница лекции на...
Томас Манн. Часть 2
Франц Кафка. Часть 1
Кластерный анализ. Самоорганизующиеся сети Кохоннена.
Объекты, классы и пакеты в Java
Основы ООП.
Объявление класса.
Использование класса.
Наследование.
Пакеты.
Модификаторы доступа.
Вложенные классы.
Страница...
Теорема о неподвижной точке. Машины Тьюринга
Теорема о неподвижной точке. Программа, печатающая свой текст. Доказательство с помощью искусственного языка...
Известный политолог, общественный деятель и лидер движения «Суть времени» встретился со студентами и преподавателями Дальневосточного федерального университета...
Выступление Клаудио Франчески на конференции по генетике в РАН 2012.
Отсутствует звук на первых 2-х минутах лекции.
Группа перестановок.
Четность перестановки, разложение в произведение транспозиций, разбиение на циклы, четность цикла, классы сопряженных и циклический тип...
Операционная семантика большого и малого шага.