Лекция
Хранилище фотографий - фотохостинг.
Страница лекции на сайте Computer Science Center
Ловушки
Ловушки языка Python. Отличия python 2 от 3.
Страница лекции на сайте Computer Science Center
Доказательство PCP теоремы (продолжение)
Повышение зазора: сведение к d-регулярному экспандеру. Описание основного сведения.
Страница лекции на сайте Computer...
Доказательство PCP теоремы (окончание)
Повышение зазора: анализ основной конструкции.
Страница лекции на сайте Computer Science клуба
Числа и многочлены Бернулли
Формула суммирования Эйлера–Маклорена. Ее частные случаи и приложения.
Страница лекции на сайте Computer Science Center
Сетевой уровень. Введение. Маршрутизация.
Страница лекции на сайте Computer Science Center
Сетевой уровень. Качество обслуживания. Объединение сетей. Протокол IPv4.
Страница лекции на сайте Computer Science Center
Поиск по подобию. Поиск нечетких дубликатов
Индексирование изображений: KD-деревья, обратный индекс, "мешок визуальных слов", LSH. Методы оценки.
Страница...
Моделирование машин Тьюринга. Недетерминированные машины Тьюринга
Стандартная библиотека Java: пакет java.util
Collections Framework.
Списки.
Множества.
Ассоциативные массивы.
Generics.
Страница лекции на сайте Computer...
Процессы, идущие в социуме, допускают описание под разным углом зрения, с позиций нескольких наук, - социологии, экономики, физики сложных систем,...
Основы теории графов. Графы и орграфы. Основные определения. Матрицы смежности и инцидентности. Маршруты, пути и циклы. Связность, компоненты связности.
Основы теории графов. Связность орграфов: различные виды связности, компоненты сильной связности, граф компонент. Диаметр и радиус графа. Дополнительный граф....
Получение одной записи из базы: что происходит шаг за шагам. Оптимизации. Кеширование соединений, запросов.
Страница лекции на сайте Computer Science Center
Типизация и метапрограммирование
Иерархия типов. Курица или яйцо -- object или type. Объекты-типы. Пользовательские типы. Отношения объектов в Python. Атрибуты...
Страница лекции на сайте Computer Science клуба.
Страница лекции на сайте Computer Science клуба.
Страница лекции на сайте Computer Science клуба.
Страница лекции на сайте Computer Science клуба.
Страница лекции на сайте Computer Science клуба.
Страница лекции на сайте Computer Science клуба.
Построение признаков и сравнение изображений: локальные признаки
Обнаружение точечных особенностей (Harris, LoG, DoG), дескрипторы особенностей (SIFT, SURF),...
Экспоненциальные производящие фунции
Формальная связь с обычными производящими функциями. Факториальные степени. Числа Стирлинга и их применение. Числа Белла....
Оптоволоконные технологии.
Страница лекции на сайте Computer Science Center
Речь пойдёт о главном нововведении Java 8 - лямбда-выражениях.
Самым существенным со времен Java 5 изменением языка станет поддержка лямбда-выражений в Java 8...
Арифметическая иерархия. Колмогоровская сложность
Стандартная библиотека: java.io + java.nio.file
Доступ к файловой системе: java.io.File и java.nio.file.*
Потоки байт: InputStream, OutputStream.
Потоки...
Речь пойдёт о главном нововведении Java 8 - лямбда-выражениях.
Самым существенным со времен Java 5 изменением языка станет поддержка лямбда-выражений в Java 8...
Рекуррентные соотношения. Числа Каталана и числа Белла. Различные интерпретации чисел Каталана.
Получение одной записи из базы: что происходит шаг за шагам. Оптимизации. Кеширование соединений, запросов.
Страница лекции на сайте Computer Science Center
Всякое о языке
Итераторы. Генераторы и выражения-генераторы. Декораторы.
Страница лекции на сайте Computer Science Center
Аукцион первой цены, полное решение. Принцип эквивалентности дохода (теорема Маерсона). Оптимальный аукцион с точки зрения продавца, барьеры входа.
Доказательство PCP теоремы (начало)
Тестирование функции на линейность с помощью базиса Фурье. Общий план доказательства PCP-теоремы. Понижение алфавита (...
Доказательство PCP теоремы (продолжение)
Понижение алфавита (окончание). Алгебраические экспандеры. Лемма о перемешивании, следствия. Повышение зазора:...
Будет построена ''самая общая модель динамической игры'' (в которой пошагово ходы выполняются игроками одновременно). Эта игра служит формализацией целого ряда...
Веб-сайты значительно изменились за последние годы. Если изначально каждый сайт представлял собой статическую страницу, контент которой формировался с помощью...
Производящие функции
Применение степенных рядов и производящих функций для доказательства комбинаторных тождеств. Производящие функции для биномиальных...
Беспроводные технологии передачи данных.
Страница лекции на сайте Computer Science Center
Построение признаков и сравнение изображений: глобальные признаки
Дескрипторы цвета, текстуры, формы, меры подобия на данных пространствах признаков.
Страница...
Вычислимость и выразимость в арифметике
Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.
Страница лекции на сайте...
Управляющие конструкции и исключения в java.
Условные операторы (if, switch).
Циклы (for, while, do).
Операторы break и continue, метки.
Исключения, типы...
Разбиения числа в сумму слагаемых.
Рекуррентные соотношения для функций разбиения.Теоремы Харди-Рамануджана (б/д).
Hadoop стал основной платформой для масштабируемых приложений высоконагруженной обработки больших объемов данных. В данной лекции мы обсудим философию дизайна...
Операционная семантика малого шага.
Модули. Исключения
Классы и их синтаксис. Подробнее про области видимости и пространства имен. Объекты-классы. Объекты-экземпляры. Объекты-методы. Наследование...
Что такое транзакция. Зачем она нужна. Свойства ACID. Особенности распределенного состояния данных. CAP теорема. CAP "сказка". Понятие BASE.
Страница лекции на...