Лекция
Рекурсивные конструкции спектральных экспандеров
Алгоритмически эффективные конструкции экспандеров. Случайное блуждание на экспандере и построение генераторов...
Вершинное и рёберное расширение графа
Лемма об уединённых соседях. Декодирование экспандерного кода (параллельный алгоритм с логарифмическим числом итераций)....
Спектр графа, определение спектрального экспандера
Собственные числа и собственные векторы однородного графа. Поведение спектра при возведении графа в степень...
Спектр случайного графа. Случайное блуждание на экспандере
Теорема о существовании спектральных экспандеров с параметрами (n=d4,d,γ). Оценка спектра для...
Комбинаторные экспандеры: определения и теоремы о существовании
Комбинаторные определения экспандера (для однородного и для двудольного графов). Вероятностное...
Примеры применений комбинаторных экспандеров
Два примеры применения экспандеров:
Энтропия пары случайных величин и ее связь с энтропиями самих случайных величин. Условная энтропия. Общая информация. Независимость и информация....
Доказательство линейной нижней оценки вероятностной сложности предиката DISJ.
Страница лекции на CSClub
Прямая сумма задач и проблема Direct-sum для коммуникационной сложности. Информационная сложность протоколов. Решение проблемы Direct-sum для информационной...
Связь безошибочной вероятностной, односторонней вероятностной и недетерминированной сложностей. Вероятностный безошибочный протокол для DISJnk и пример...
Задача префиксного двоичного кодирования символов данного алфавита с известными частотами. Нижняя оценка средней длины кода с помощью этропии Шеннона....
Формальное определение детерминированных и вероятностных коммуникационных протоколов. Дерево протокола. Прямоугольники, соответствующие листьям дерева...
Покрытия нулей и единиц матрицы M(f) предиката f. Применение метода размера прямоугольников для оценки этого покрытия. Недетерминированная сложность предикатов...
Мастер-класс руководителя разработки в отделе развития платежей «Сбербанк-Технологии» Станислава Кима.
Понятие детерминированного коммуникационного протокола (неформально). Тривиальные верхние оценки на коммуникационную сложность D(f) для произвольной функции f:...
Верхняя оценка O(1) для односторонней вероятностной сложности предиката GT для протоколов с общими случайными битами. Оценка O(log2n) вероятностной...
Динамический параллелизм, компиляция и линковка
Страница лекции на сайте CSClub
Отладка и обзор IDE
Страница лекции на сайте CSClub
CUDA и OpenGL. Пример: решение стационарного уравнения Пуассона неявным методом
Страница лекции на сайте CSClub
Иерархия памяти GPU
Страница лекции на сайте CSClub
Архитектура GPU
Страница лекции на сайте CSClub
Быстрая разработка для GPU с использованием Thrust
Страница лекции на сайте CSClub
Библиотеки линейной алгебры
Страница лекции на сайте CSClub
Преобразование Фурье, генерация случайных чисел, обход графов и графические примитивы на GPU
Страница лекции на сайте CSClub
Введение в вычисления на GPU
Страница лекции на сайте CSClub
Введение в CUDA
Страница лекции на сайте CSClub
Вычисления с эффектами
Страница лекции на Computer Science Club
Верификация протоколов на типах и определение EDSL
Страница лекции на Computer Science Club
Страницы
- « первая
- ‹ предыдущая
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- …
- следующая ›
- последняя »
Конференция
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Страница курса на сайте Computer Science клуба.
В силу различных причин, 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...
Курс лекций
Целью курса является знакомство слушателей с основными понятиями и методами дискретной математики: основами математической логики, элементарной комбинаторикой...
Среди многочисленных результатов о разрешимости массовых проблем одним из самых замечательных является алгоритм Тарского, позволяющий установить истинность или...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Согласно одной притче, восточный властелин приказал двум своим мудрецам истолковать один из снов властелина.
В курсе речь пойдет о современных математических моделях, позволяющих с той или иной степенью адекватности описывать формирование интернета. Также будет...
Экспандеры (расширяющие графы) являются мощным инструментом теоретической информатики и дискретной математики. По-видимому, эффективность экспандеров отчасти...
Kotlin — современный язык программирования, созданный в компании JetBrains изначально для платформы JVM. Со временем добавилась поддержка JavaScript, iOS, и...
Курс предназначен программистам, желающим познакомиться с теоретическими и практическими аспектам технологий, связанных с хранением, обработкой, анализом...
Курс знакомит слушателей с функциональным подходом к программированию, все более набирающим силу в последнее время (наблюдается взрывной рост популярности...
Комбинаторика слов (символьных последовательностей) является одной из современных и быстро развивающихся дисциплин теоретических компьютерных наук.
Целями...
К 2011 году девять стран умеют выводить в космос спутники. И лишь в четырех странах (Россия, США, Китай, Чехия) есть компании, которые умеют создавать...
In the last 10-15 years, NLP techniques have proven effective in a number of forensic applications, such as author profiling and deception detection.
This course will consider algorithmic aspects of distributed systems. Distributed algorithms arise in a wide range of applications: telecommunications,...
Небольшой курс лекций Олега Плисса по виртуальным машинам.
Примерный план лекций:
Коды переменной длины, используемые для сжатия информации, имеют много примечательных свойств. Одно из самых интересных — умение большинства кодов...
Линейное программирование (ЛП) возникло в 40-х годах прошлого века как один из разделов теории оптимизации. Довольно быстро оно стало популярным методом для...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Joker 2013, конференция по Java-технологиям, которая прошла 15 октября 2014 года в Санкт-Петербурге.
Страница курса на сайте Computer Science Center
SBERDAYS — образовательные события для digital-специалистов от Сбербанка. Цель проекта — формирование сообщества активных участников IT-индустрии,...
Вероятностно проверяемые доказательства (Probabalistically Checkable Proofs или PCP) - это одно из самых ярких достижений теоретической информатики 90-х годов.
Этот курс дает представление о современном положении дел в теории нейросетей. Рассмотрены полносвязные и сверточные нейросети на примерах задач классификации и...
Биоинформатика — это быстро растущий раздел computer science, благодаря которому биология в 21 веке переходит из раздела наук о жизни в вычислительные науки....
Лекции будут посвящены современным подходам и алгоритмам для обработки и анализа коллекций изображений. Будут рассматриваться такие задачи как классификация...
Сколько информации содержится в генетическом коде человека? Какова взаимная информация между текстами романов “Война и мир” и “Анна Каренина”?
Летняя школа Microsoftпо компьютерному зрению (Microsoft Computer Vision Summer School) проходила с 28 июля по 3 августа 2011 года на Факультете ВМК МГУ имени...
Теория экономических механизмов — один из самых быстроразвивающихся разделов современной экономики, находящийся на стыке теории игр и теоретической информатики.
Коды переменной длины, используемые для сжатия информации, имеют много примечательных свойств. Одно из самых интересных — умение большинства кодов...
Целью курса является знакомство студентов с инструментами data mining, применяемых для больших объемов данных. Говоря большие данные, мы подразумеваем тот факт...
Курс является введением в язык программирования Python. На первых лекциях курс знакомит с основами языка и языковыми конструкциями в языке. Далее курс...
In this tutorial, I will present the basic concepts of neural MT as the new state-of-the-art in automatic translation. We will look at the common architecture...
Лекции проводились на базе Института Вычислительной Математики и Информационных Технологий Казанского (Приволжского) Федерального Университета в рамках...
Учёным всегда было присуще стремление разрабатывать эффективные методы решения как можно более широких классов задач. Однако чем более общей является задача,...
В первый день курса слушатели познакомятся с проблемой машинного обучения с параллельных данных для автоматического перевода. Слушателям будет предложено...
Параллельные вычисления стремительно входят в мейнстрим современной computer science. Новый уровень сложности, привносимый параллелизмом в вычислительный...
