Лекция
В своём докладе я пройдусь по плюсам и минусам принципа single responsibility в server-side архитектуре, расскажу про типичные проблемы своего текущего проекта...
Лекция на тему рациональности и интерфейсов расскажет о том, кто такие UX-специалисты. UX – User eXperience: с английского «опыт взаимодействия». Это ощущения...
В Java экосистеме, мы имеем богатейший арсенал профайлеров. Коммерческие и бесплатные, различные продукты соревнуются, чтобы завоевать расположение Java...
Литература
Kent Pitman "UNWIND-PROTECT vs. Continuations"
В лекции будет показано, что система команд традиционных машинных языков неадекватно описывает поток управления в исключительных ситуациях. Эти системы команд...
Часть первая: Как прекрасен этот Groovy, посмотри!
Действующие лица: Евгений Борисов, джуниоры, мидлы и синьор девелоперы, желающие ознакомится с невероятными...
Экстракторы
Минимальная энтропия, экстракторы, существование экстракторов. Представление источника в виде выпуклой комбинации плоских. Построение экстрактора...
Сэмплеры и их применения
Булев сэмплер из экспандера, сэмплер из булева сэмплера. Усредняющие сэмплеры, "самый лучший" сэмплер без графов Рамануджана. Хиттер...
Лекция 8. Приложения колмогоровской сложности.
Метод несжимаемых слов. Оценка сложности распознавания языка палиндромов на одноленточной машине Тьюринга....
Лекция 9. Случайность по Мартин–Лёфу.
Префиксная сложность. Случайные по Мартин–Лёфу последовательности. Закон больших чисел в форме Харди и Литтлвуда. Дефект...
Лекция 10. Коммуникационная сложность.
Детерминированная модель коммуникационной сложности; доказательство нижних оценок методом трудного множества....
Лекция 6. Энтропия в классической криптографии.
Оценка Шеннона для длины ключа в симметричной схеме шифрования. Схемы совершенного разделения секрета....
Лекция 7. Колмогоровская сложность.
Простая колмогоровская сложность: определение и теорема о существовании оптимального декомпрессора. Энтропия Шеннона как...
Лекция 5. Энтропийные профили наборов случайных величин и информационные неравенства.
Энтропийные профили для пар и троек случайных величин. Классические...
Лекция 3. Вокруг теоремы Шеннона об оптимальном кодировании.
Однозначно декодируемые и префиксные коды, неравенство Крафта. Теорема Шеннона об оптимальном...
Лекция 4. Блоковое кодирование.
Метод типичных последовательностей. Теорема о блоковом кодировании последовательности независимых одинаково распределенных...
Лекция 1. Комбинаторный подход к определению понятия информации, информация по Хартли.
Определение комбинаторной информации по Хартли; относительная информация...
Лекция 2. Вероятностный подход к определению понятия информации, информация по Шеннону.
Определение энтропии Шеннона; относительная энтропия и взаимная...
Другие задачи криптографии
Oblivious transfer: протокол Рабина, 1–2–OT протокол, их эквивалентность. Секретное вычисление функции. Бросание монетки в колодец,...
Доказательства с неразглашением
Пещера Али–Бабы и Усама бен–Али. Определения: доказательства, системы доказательств. Изоморфизм и неизоморфизм графов. Как...
Сэмплеры
Сэмплеры: наивный сэмплер, попарно-независимый сэмплер, сэмплер,основанный на медиане усреднений.
Страница лекции на сайте Computer Science Center
Экспандеры и случайные блуждания по экспандерам
Комбинаторный и алгебраические экспандеры. Матрица смежности графа. Лемма о перемешивании. Блуждание по...
Комбинаторная сложность. Классы сложности. Слова/языки ограниченной сложности. Слово Фибоначчи и слова Штурма. Фибоначчи, Зимин и нетрадиционные системы...
Комбинаторная сложность. Классы сложности. Слова/языки ограниченной сложности. Слово Фибоначчи и слова Штурма. Фибоначчи, Зимин и нетрадиционные системы...
Бесповторность. Квадраты и кубы. Слова Туэ-Морса, теорема о сильной бескубности. Избегаемые экспоненты. Слова Аршона, теорема о 7/4. Граничная теорема (...
Бесповторность. Квадраты и кубы. Слова Туэ-Морса, теорема о сильной бескубности. Избегаемые экспоненты. Слова Аршона, теорема о 7/4. Граничная теорема (...
Эллиптические кривые
Основные определения. Сингулярные и несингулярные кривые, проективная плоскость и проективные кривые. Результанты. Числа пересечения,...
Эллиптические кривые в криптографии
Групповой закон на эллиптических кривых. Алгоритм Ленстры (ECM) на эллиптических кривых. Вычисления на эллиптических кривых...
Повторы. Что считать повтором? Разбиение Лемпеля-Зива и метод LZ77. Online square detection. Максимальные повторения. Runs theorem: опять слова Линдона. Поиск...
Повторы. Что считать повтором? Разбиение Лемпеля-Зива и метод LZ77. Online square detection. Максимальные повторения. Runs theorem: опять слова Линдона. Поиск...
Конструкция и применение немного смещенных распределений
Доказательство существования маленького epsilon-мещенного множества вероятностным методом. Явная...
Анализ Фурье
Представление функций мультилинейными многочленами, существование и единственность. Базис Фурье, скалярное произведение. Плотность распределения....
Перестановки. Элементарные свойства. Преобразование Барроуза-Уилера (BWT). Эффективность обратного преобразования. Проверка корректности. “Параллельное” BWT:...
Перестановки. Элементарные свойства. Преобразование Барроуза-Уилера (BWT). Эффективность обратного преобразования. Проверка корректности. “Параллельное” BWT:...
Символьные последовательности в различных областях науки и практики, виды задач о символьных последовательностях. Уравнение коммутирования. Примитивные слова....
Символьные последовательности в различных областях науки и практики, виды задач о символьных последовательностях. Уравнение коммутирования. Примитивные слова....
Символьные последовательности в различных областях науки и практики, виды задач о символьных последовательностях. Уравнение коммутирования. Примитивные слова....
Символьные последовательности в различных областях науки и практики, виды задач о символьных последовательностях. Уравнение коммутирования. Примитивные слова....
В лекции было рассказано про интерпретаторы, предложенные McCarthy в работах [1, 2]. Была затронута тема представления в языке булевских значений.
Литература:
Применения хеш-функций: генерация равномерного распределения на множестве подсказок
Лемма о хешировании для 2t-независимых хеш-функций. Генерация равномерного...
Немного смещенные распределения
Статистическое расстояние между распределениями. epsilon-смещенные распределения, их расстояние от равномерного. (epsilon, k)-...
В Java 7 на уровне байткода появилась новая инструкция — invokedynamic. Инструкция с программируемым связыванием позволила динамическим языкам на Java...
Вероятностные алгоритмы для бесконечных задач, машины с переписыванием ответа
Страница лекции на сайте Computer Science Center
Применения леммы Ловаса, ещё о запрещённых подсловах, выполнимость n-кнф с 2n−3 соседей у каждого клоза
Страница лекции на сайте Computer Science Center
Общий алгоритм Мозера-Тардоша и его оценка
Страница лекции на сайте Computer Science Center
Лемма Ловаса: формулировка
Страница лекции на сайте Computer Science Center
Доказательство леммы Ловаса
Страница лекции на сайте Computer Science Center
Криптосистемы
Криптосистемы с открытым ключом: RSA. Атаки на RSA. Криптосистемы Рабина, Эль-Гамаля, Мак-Элиса, Меркле-Хеллмана.
Протоколы согласования ключа
Криптография с открытым ключом: протоколы согласования ключа. Протокол Диффи-Хеллмана. AKEP, протокол Шамира, протокол Отвея-Рииса...
В лекции будет проанализирована функция репрезентации для M-выражений. Будет показано, что на основе S-выражений можно построить более выразительный язык, чем...