Лекция
Вычислимость и выразимость в арифметике
Формулы исчисления предикатов. Выразимость в арифметике. Арифметичность перечислимых множеств.
Страница лекции на сайте...
Управляющие конструкции и исключения в java.
Условные операторы (if, switch).
Циклы (for, while, do).
Операторы break и continue, метки.
Исключения, типы...
Разбиения числа в сумму слагаемых.
Рекуррентные соотношения для функций разбиения.Теоремы Харди-Рамануджана (б/д).
Hadoop стал основной платформой для масштабируемых приложений высоконагруженной обработки больших объемов данных. В данной лекции мы обсудим философию дизайна...
Операционная семантика малого шага.
Модули. Исключения
Классы и их синтаксис. Подробнее про области видимости и пространства имен. Объекты-классы. Объекты-экземпляры. Объекты-методы. Наследование...
Что такое транзакция. Зачем она нужна. Свойства ACID. Особенности распределенного состояния данных. CAP теорема. CAP "сказка". Понятие BASE.
Страница лекции на...
Аукцион первой цены, полное решение. Принцип эквивалентности дохода (теорема Маерсона). Оптимальный аукцион с точки зрения продавца, барьеры входа.
Моделируя модели или Next ''Next Model''
Вероятностно проверяемые доказательства и приближенные алгоритмы
Приближенные алгоритмы для MAX3SAT, вершинного покрытия. Класс PCP(r(n),q(n)), формулировка...
Экспоненциальная PCP-теорема
Отсутствие константного приближения для задачи о независимом множестве. Коды Уолша-Адамара, их локальное декодирование....
Разработка многопоточных приложений на Java
Общие сведения о параллелизме.
Управление потоками.
Синхронизация потоков.
Модель памяти.
Страница лекции на сайте ...
Подуровень управления доступом к среде. Ethernet. Коммутация на канальном уровне.
Страница лекции на сайте Computer Science Center
Рекуррентные соотношения
Рекуррентные соотношения и производящие функции. Числа Фибоначчи. Формула Бинэ и матричное представление чисел Фибоначчи. Линейные...
Морфологическая обработка изображений
Морфологические операции (дилатация, эрозия, размыкание, замыкание) и основанные на них алгоритмы.
Страница лекции на...
Томас Манн. Часть 2
Франц Кафка. Часть 1
Кластерный анализ. Самоорганизующиеся сети Кохоннена.
Объекты, классы и пакеты в Java
Основы ООП.
Объявление класса.
Использование класса.
Наследование.
Пакеты.
Модификаторы доступа.
Вложенные классы.
Страница...
Теорема о неподвижной точке. Машины Тьюринга
Теорема о неподвижной точке. Программа, печатающая свой текст. Доказательство с помощью искусственного языка...
Известный политолог, общественный деятель и лидер движения «Суть времени» встретился со студентами и преподавателями Дальневосточного федерального университета...
Выступление Клаудио Франчески на конференции по генетике в РАН 2012.
Отсутствует звук на первых 2-х минутах лекции.
Группа перестановок.
Четность перестановки, разложение в произведение транспозиций, разбиение на циклы, четность цикла, классы сопряженных и циклический тип...
Операционная семантика большого и малого шага.
Архитектура распределенной базы данных, компоненты системы, партиционирование и шардирование данных. Master-slave репликация, журнал операций. Memcached, Redis...
Формализация: теория игр с неполной информацией. Напоминания из классической теории игр. Концепция равновесия Байеса-Нэша, примеры нахождения решения. Аукцион...
Теория вероятностей: использование неравенства Чебышёва и метода сравнения двух распределений (мартингалов) для оценок больших уклонений.
Вероятностные...
Коммуникационная сложность. Детерминированная коммуникационная сложность равенства максимальна.
Вероятностная коммуникационная сложность равенства:...
Последовательное и параллельное повторения для диалогов с одним и двумя доказывающими (формулировки вопросов).
В игре проверяющего с двумя доказывающими...
Разрешимые множества. Перечислимые множества как проекции разрешимых. Арифметическая иерархия. Выразимость с помощью формул первого порядка. Выразимые...
Выразимость перечислимых множеств (с помощью сведения к FRACTRAN). Множества из класса ∑2 как перечислимые с помощью оракула для проблемы остановки.
Теорема...
Application of mean curvature flow to General Relativity" We study 2-dimensional spheres moving in asymptotically flat 3-manifolds of non-negative scalar...
Тысячелетней давности миф про медленную Java все еще живет во многих сердцах. Рассказ Руслана — про то, как отдельные смельчаки, не верящие в мифы, ухитряются...
Уровень передачи данных или канальный уровень.
Страница лекции на сайте Computer Science Center
Подуровень управления доступом к среде. Введение в Ethernet.
Страница лекции на сайте Computer Science Center
Оценки и асимптотики для комбинаторных величин
Понятие об энтропии. Асимптотики для биномиальных коэффициентов и прочее. Оценки сумм биномиальных коэффициентов...
Surgery for mean curvature flow of 2-convex surfaces.
Кризис представлений о культуре. Часть 5
Томас Манн. Часть 1
Singularities of mean curvature flow. The formation of singularities in mean curvature flow is investigated with rescaling techniques, monotonicity formulae...
В лекции освещены мировые тенденции развития здравоохранения и затронута ситуация в области здравоохранения в России. Даниэль Васелла рассказывает о своем...
Массивы и строки в Java
Массивы:
объявление, создание, инициализация, индексация
одномерные и многомерные, представление в памяти
java.util.Arrays
Строки:
Colloquium.
Analytic and geometric properties of mean curvature flow
The lecture gives an introduction to hypersurfaces moving in normal direction in an...