Лекция
На мастер-классе эксперты «Сбербанк-Технологии» Артем Соковец и Иван Варивода рассказывают, зачем нужна автоматизация, когда следует ее начинать и какие шаги...
Руководитель и основатель компании MobileUp Сергей Денисюк рассказывает про текущее состояние Интернета вещей и о том, какие перспективы в сфере мобильной...
Алгоритм Рейнголда. Надежные вычисления
Алгоритм Рейнголда: решение здачи USTCON на логарифмической памяти.
Построение надежных булевых схем из ненадёжных...
Экстракторы случайности
Построение экстрактора случайности с помощью блуждания на экспандере. Повторное использование отработанной случайности.
Страница лекции...
Генератор Нисана
Генератор Нисана и дерандомизация вычислений на логарифмической памяти.
Страница лекции на CSClub
Зигзаг-произведение графов
Спектр тензорного произведения графов. Зигзаг произведение однородных графов. Оценка спектрального зазора для зигзаг-произведения....
Страницы
- « первая
- ‹ предыдущая
- 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...
Курс лекций
Теория экономических механизмов — один из самых быстроразвивающихся разделов современной экономики, находящийся на стыке теории игр и теоретической информатики.
Коды переменной длины, используемые для сжатия информации, имеют много примечательных свойств. Одно из самых интересных — умение большинства кодов...
Лекции проводились на базе Института Вычислительной Математики и Информационных Технологий Казанского (Приволжского) Федерального Университета в рамках...
Учёным всегда было присуще стремление разрабатывать эффективные методы решения как можно более широких классов задач. Однако чем более общей является задача,...
В первый день курса слушатели познакомятся с проблемой машинного обучения с параллельных данных для автоматического перевода. Слушателям будет предложено...
Параллельные вычисления стремительно входят в мейнстрим современной computer science. Новый уровень сложности, привносимый параллелизмом в вычислительный...
В информатике термин "онтология" означает формальное представление знаний. Онтологии определяют понятия (концепции), относящиеся к какой-то области, а также...
The last decade has witnessed a series of technological breakthroughs in the acquisition, processing, and analysis of 3D geometric data, enabling applications...
Курс о фундаментальных основах криптографии.
В первой части мы обсудим формальные доказательства и Coq в общем, разберемся для чего он нужен, где применяется, его место среди других инструментов...
Приближенное решение оптимизационных задач всегда было важной частью теории оптимизации. Решение, отличающееся от оптимального на 1%, обычно удовлетворительно...
Рекомендуемая литература по курсу:
Bruce Eckel ''Thinking in Java''
Joshua Bloch ''Effective Java''
Первоисточники:
Мы расскажем, как решать задачи комбинаторной оптимизации, используя методы метрической геометрии. Мы обсудим несколько базовых понятий и теорем метрической...
Простейшая модель в теории коммуникационной сложности такова. Имеются два участника (компьютера или человека), которые совместно хотят решить некоторую задачу...
По ходу доклада мы последовательно рассмотрим несколько весьма непростых ситуаций, все глубже и глубже вникая в область оптимизации запросов. Для этого нам...
Recently matroids have played important role in designing parameterized algorithms. During this series of lectures we will see a basic introduction to matroids...
Краткое содержание курса:
Теория потоков, без сомнения, представляет собой один из наиболее хорошо изученных разделов комбинаторной оптимизации, имеющий разнообразные приложения, как...
Вычисление наибольшей общей подпоследовательности (longest common subsequence, LCS) двух строк - одна из классических алгоритмических задач. Во многих...
Комбинаторика слов представляет собой математический аппарат для работы с символьными последовательностями и является динамично развивающейся дисциплиной на...
Introduction to biology and genetics. Information flow in bioinformatics.
Genome organization, SNP/CNV/SVs. Genome–wide association studies. Metagenomics....
Постановка. Задачи, эквивалентные проблеме изоморфизма графов. Изоморфно полные классы.
Каноническая форма. Вероятностный алгоритм распознавания изоморфизма...
In the last decades there has been a considerable investment in the development of automatic techniques and tools with the goal of making the verification of...
На конференции рассказано о функциях и преимуществах Red Hat Enterprise Linux 6, о возможностях использования этой платформы для решения различных задач,...
The networking course has essentially no prerequisites. The lecturer is assuming the student know the basics of binary representations and elementary algebra.
В среду, 20 марта, в офисе Mail.Ru Group прошла встреча с Дмитрием Завалишиным. Дмитрий сделает два доклада: ''Успешные проекты - где стелить солому?'' и ''...
Мы поговорим о структурах данных, основанных на указателях.
Курс даёт уникальную возможность познакомиться с методологией разработки прикладных алгоритмов на конкретной задаче поиска кратчайших путей в дорожных сетях. В...
Это первая часть годового курса о вычислениях.
Машинное обучение — молодая область компьютерных наук, посвящённая поиску скрытых закономерностей в данных и задачам, для которых не существует точного...
Представим себе, что есть явная вычислительная задача, про которую достоверно известно, что ее нельзя решить за разумное время. Хорошо это или плохо? С одной...
В рамках курса будут рассмотрены "продвинутые" алгоритмы и структуры данных, как правило, не покрываемые курсом базовых алгоритмов.
Описание курса на сайте CS...
В курсе разобраны следующие темы:
The school offers the unique opportunity to learn about recent breakthroughs in several domains of algorithms: from classical areas like network flow...
Разработка игр – это особая область разработки программного обеспечения. С одной стороны, все как обычно: фичи, баги, майлстоуны, пользовательский интерфейс,...
В курсе будет рассказано о современном направлении в теории сложности - fine-grained complexity. В рамках этого направления ресурсы, необходимые для выполнения...
Освещение виртуализации как парадигмы организации вычислений. Рассмотрение конкретных технологий создания промышленных высокопроизводительных виртуальных машин...