Лекция
Экстракторы
Использование сэмплера для понижения ошибки в вероятностных алгоритмах с экономией случайных битов. Усредняющие сэмплеры, "самый лучший" сэмплер...
Страница лекции на сайте Computer Science клуба
В докладе будет рассмотрено несколько красивых алгоритмов вычислительной геометрии, на примере которых могут быть проиллюстрированы общие подходы, используемые...
Явное представление знаний. Онтологии в информатике. Примеры онтологий. Языки представления онтологий. RDF/S и его критика.
Страница лекции на сайте Computer...
Страница лекции на сайте Computer Science клуба
География в запросах. ВременнЫе аспекты запросов. Перевод запросов
Страница лекции на сайте Computer Science клуба
Академические инициативы Яндекса
Страница лекции на сайте Computer Science Club
Системы типов (начало)
В лекции вводится понятие системы типов и даются начальные сведения о системе типов языка Haskell и об одном из самых важных ее...
Когерентные конфигурации
Алгоритм Вейсфейлера-Лемана
Recent breakthroughs in the next-generation DNA sequencing fueled the genomics studies and revealed that some classical biological theories may be incomplete...
Умеренно-экспоненциальный алгоритм распознавания изоморфизма
В этой лекции на примере программы для упрощения выражений иллюстрируется ряд идей, связанных с "предметными языками" (DSL):
Изменяемое состояние и модель окружений
В этой лекции вводится понятие изменяемого состояния и тождества объектов, а также показывается, как при этом...
Распознавание изоморфизма кубических графов
Характеристики запросов, источники данных, сегментация
Страница лекции на сайте Computer Science клуба
Тематическая классификация, близкие запросы
Страница лекции на сайте Computer Science клуба
Открытые проблемы
Длины кратчайших синхронизирующих слов для автоматов с различными ограничениями. Автоматы с буквой дефекта 2. Тотально синхронизируемые...
Проблема Черни для апериодических автоматов. Часть 1
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Проблема Черни для апериодических автоматов. Часть 2
Апериодические автоматы, беззвездные языки и логические характеризации языков формулами первого порядка....
Автоматы и матрицы
Связь между длиной кратчайшего синхронизирующего слова синхронизируемого автомата и экспонентой его орграфа. Гибридная гипотеза. Медленно...
Гипотеза Черни
Задача о длине кратчайшего синхронизирующего слова для автоматов с данным числом состояний. Серия Черни, нижняя оценка. Гипотеза Черни. Обзор...
Проблема раскраски дорог. Часть 1
Проблема раскраски дорог. Часть 2
История и мотивация
Обзор математических и технических задач, приводящих к рассмотрению синхронизируемых автоматов.
Страница лекции на сайте Computer Science...
Алгоритмы и сложность
Комбинаторные алгоритмы
Алгоритмы для групп перестановок
Моноиды, векторный параллелизм, MapReduce
Алгоритм Симса
Нижние оценки для принципа Дирихле и корректности метода резолюций
Страница лекции на сайте Computer Science клуба
Свертки
В лекции рассматриваются списочные и обобщенные свертки как абстракции вычисления "по индукции", а также их применение к инкрементальным, параллельным...
Проблемы, эквивалентные проблеме изоморфизма
Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res
Страница лекции на сайте Computer Science клуба
Лекция 8. Стандартизированный контекст исполнения
Лекция 1. Введение
Определения и общие понятия
Виртуализация как парадигма
Обзор курса
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 2. Управление вычислительными ресурсами:
Ресурсы как инварианты вычислительной системы
Ресурсно-агностическое программирование
Высокоуровневое...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 10. Производительность виртуальных машин
Ленивая динамическая оптимизация
Эффективная организация основных структур данных
Динамическая кодогенерация...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Лекция 3. Обратная совместимость и выбор стратегии реализации оной:
Соображения сложности
Скорость программирования vs. скорость исполнения, требования...
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
Альтернирующие автоматы (конечные и Бюхи) и их применения
hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
Лекция 4. Концепция виртуальной машины:
Страницы
Конференция
В силу различных причин, 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-трудных задач. Несмотря на то что эффективных алгоритмов для...
К концу двадцатого века обнаружились неожиданные связи между информатикой и физикой. Оказалось, что эффективность решения многих задач обработки и передачи...
