Лекция
Генератор Нисана
Генератор Нисана и дерандомизация вычислений на логарифмической памяти.
Страница лекции на CSClub
Алгоритм Рейнголда. Надежные вычисления
Алгоритм Рейнголда: решение здачи USTCON на логарифмической памяти.
Построение надежных булевых схем из ненадёжных...
Зигзаг-произведение графов
Спектр тензорного произведения графов. Зигзаг произведение однородных графов. Оценка спектрального зазора для зигзаг-произведения....
Рекурсивные конструкции спектральных экспандеров
Алгоритмически эффективные конструкции экспандеров. Случайное блуждание на экспандере и построение генераторов...
Спектр случайного графа. Случайное блуждание на экспандере
Теорема о существовании спектральных экспандеров с параметрами (n=d4,d,γ). Оценка спектра для...
Вершинное и рёберное расширение графа
Лемма об уединённых соседях. Декодирование экспандерного кода (параллельный алгоритм с логарифмическим числом итераций)....
Спектр графа, определение спектрального экспандера
Собственные числа и собственные векторы однородного графа. Поведение спектра при возведении графа в степень...
Комбинаторные экспандеры: определения и теоремы о существовании
Комбинаторные определения экспандера (для однородного и для двудольного графов). Вероятностное...
Примеры применений комбинаторных экспандеров
Два примеры применения экспандеров:
Доказательство линейной нижней оценки вероятностной сложности предиката DISJ.
Страница лекции на CSClub
Прямая сумма задач и проблема Direct-sum для коммуникационной сложности. Информационная сложность протоколов. Решение проблемы Direct-sum для информационной...
Энтропия пары случайных величин и ее связь с энтропиями самих случайных величин. Условная энтропия. Общая информация. Независимость и информация....
Связь безошибочной вероятностной, односторонней вероятностной и недетерминированной сложностей. Вероятностный безошибочный протокол для DISJnk и пример...
Задача префиксного двоичного кодирования символов данного алфавита с известными частотами. Нижняя оценка средней длины кода с помощью этропии Шеннона....
Формальное определение детерминированных и вероятностных коммуникационных протоколов. Дерево протокола. Прямоугольники, соответствующие листьям дерева...
Покрытия нулей и единиц матрицы M(f) предиката f. Применение метода размера прямоугольников для оценки этого покрытия. Недетерминированная сложность предикатов...
Мастер-класс руководителя разработки в отделе развития платежей «Сбербанк-Технологии» Станислава Кима.
Понятие детерминированного коммуникационного протокола (неформально). Тривиальные верхние оценки на коммуникационную сложность D(f) для произвольной функции f:...
Верхняя оценка O(1) для односторонней вероятностной сложности предиката GT для протоколов с общими случайными битами. Оценка O(log2n) вероятностной...
CUDA и OpenGL. Пример: решение стационарного уравнения Пуассона неявным методом
Страница лекции на сайте CSClub
Динамический параллелизм, компиляция и линковка
Страница лекции на сайте CSClub
Отладка и обзор IDE
Страница лекции на сайте CSClub
Иерархия памяти GPU
Страница лекции на сайте CSClub
Архитектура GPU
Страница лекции на сайте CSClub
Быстрая разработка для GPU с использованием Thrust
Страница лекции на сайте CSClub
Библиотеки линейной алгебры
Страница лекции на сайте CSClub
Преобразование Фурье, генерация случайных чисел, обход графов и графические примитивы на GPU
Страница лекции на сайте CSClub
Введение в вычисления на GPU
Страница лекции на сайте CSClub
Страницы
- « первая
- ‹ предыдущая
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- …
- следующая ›
- последняя »
Конференция
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Подумать только, прошло уже целых 20 лет со дня рождения самой популярной платформы, а она по прежнему не перестает удивлять теперь уже 9 миллионов...
Java-конференция Joker 2015 University Day
Санкт-Петербург, 18.10.2015
18–20 декабря 2017 года в Мраморном зале ПОМИ РАН прошла конференция, организованная сотрудниками ПОМИ РАН при поддержке компании Huawei. Основная цель...
CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science. In 2006-2009 the symposium consisted of...
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Страница курса на сайте Computer Science клуба.
Курс лекций
В курсе будет дан обзор идей и методов, использующихся при построении и анализе алгоритмов для NP-трудных задач. Несмотря на то что эффективных алгоритмов для...
К концу двадцатого века обнаружились неожиданные связи между информатикой и физикой. Оказалось, что эффективность решения многих задач обработки и передачи...
Курс предназначен для тех, кто интересуется внутренним устройством языков программирования.
Литература по курсу: