Лекция
Беспроводные технологии передачи данных.
Страница лекции на сайте 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-х минутах лекции.
Группа перестановок.
Четность перестановки, разложение в произведение транспозиций, разбиение на циклы, четность цикла, классы сопряженных и циклический тип...
Операционная семантика большого и малого шага.
Архитектура распределенной базы данных, компоненты системы, партиционирование и шардирование данных. Master-slave репликация, журнал операций. Memcached, Redis...
Формализация: теория игр с неполной информацией. Напоминания из классической теории игр. Концепция равновесия Байеса-Нэша, примеры нахождения решения. Аукцион...
Теория вероятностей: использование неравенства Чебышёва и метода сравнения двух распределений (мартингалов) для оценок больших уклонений.
Вероятностные...
Коммуникационная сложность. Детерминированная коммуникационная сложность равенства максимальна.
Вероятностная коммуникационная сложность равенства:...
Последовательное и параллельное повторения для диалогов с одним и двумя доказывающими (формулировки вопросов).
В игре проверяющего с двумя доказывающими...
Application of mean curvature flow to General Relativity" We study 2-dimensional spheres moving in asymptotically flat 3-manifolds of non-negative scalar...
Тысячелетней давности миф про медленную Java все еще живет во многих сердцах. Рассказ Руслана — про то, как отдельные смельчаки, не верящие в мифы, ухитряются...
Разрешимые множества. Перечислимые множества как проекции разрешимых. Арифметическая иерархия. Выразимость с помощью формул первого порядка. Выразимые...
Выразимость перечислимых множеств (с помощью сведения к FRACTRAN). Множества из класса ∑2 как перечислимые с помощью оракула для проблемы остановки.
Теорема...