Лекция
Представления и конструкция with
Страница лекции на Computer Science Club
Выражение отношений на данных средствами зависимых типов
Страница лекции на Computer Science Club
Доказательство теорем
Страница лекции на Computer Science Club
Типы данных и ввод-вывод
Страница лекции на Computer Science Club
Типы как сущности первого класса, функции на типах
Страница лекции на Computer Science Club
Интерфейсы, модули и пространства имен
Страница лекции на Computer Science Club
Верификация ПО, соответствие Карри-Ховарда и зависимые типы
Страница лекции на Computer Science Club
Интерактивная разработка через типы
Страница лекции на Computer Science Club
In this report solution for paraphrase detection tasks is considered. It will include description of specific features for these tasks. Also profit of neural...
Алгоритм Дейкстры и его варианты
Страница лекции на сайте CSC
Алгоритм Arc Flags
Страница лекции на сайте CSC
Алгоритм Контракционная Иерархия
Страница лекции на сайте CSC
Введение в методологию разработки прикладных алгоритмов
Страница лекции на сайте CSC
Обзорная лекция по материалу курса
Страница лекции на сайте CSC
Преобразование Фурье
Страница лекции на сайте CSClub
Теорема Хостада
Страница лекции на сайте CSClub
Гипотеза Хота (UGC)
Страница лекции на сайте CSClub
Трудность задач приближенной оптимизации
Страница лекции на сайте CSClub
PCP теорема
Страница лекции на сайте CSClub
Задача об относительном разрезе. Теорема Бургейна
Страница лекции на сайте CSClub
Алгоритм Гёманса–Вильямсона
Страница лекции на сайте CSClub
Относительные разрезы: теорема Ароры–Рао–Вазирани
Страница лекции на сайте CSClub
Задачи комбинаторной оптимизации, приближённые алгоритмы
Страница лекции на сайте CSClub
ЛП релаксации задач комбинаторной оптимизации
Страница лекции на сайте CSClub
Страницы
- « первая
- ‹ предыдущая
- …
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- …
- следующая ›
- последняя »
Конференция
Подумать только, прошло уже целых 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 клуба.
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Курс лекций
Параметризованная сложность – относительно новая и активно развивающаяся область алгоритмов. Мы обсудим основные приемы построения и анализа параметризованных...
Классические помехоустойчивые коды кодируют сообщения из k бит кодовыми словами из n бит, позволяя однозначно восстанавливать сообщения даже из искажённых...
Структурная теория сложности изучает классы вычислительных задач и взаимоотношения между ними.
Цели курса:
Принципы построения систем хранения (и обработки) данных
Проблемы и варианты их решения
Промышленные примеры реализации подходов
Навыки оценки...
Параллельные вычисления стремительно входят в мейнстрим современной computer science. Новый уровень сложности, привносимый параллелизмом в вычислительный...
Курс посвящен базовым понятиям компьютерной графики. Рассматриваются общие принципы и задачи компьютерной графики, алгоритмы построения и визуализации плоских...
Традиционные курсы по алгоритмам, несмотря на подчеркнутую заботу об эффективности и практичности, часто предполагают, что обрабатываемые данные достаточно...
Теория формальных языков изучает математические модели синтаксиса. Языки, естественные или искусственные, задаются формальными грамматиками, описывающими...
Курс посвящён рассмотрению различных аспектов использования Linux-based операционных систем.
В курсе рассматриваются:
Вероятностные конструкции и рассуждения очень часто используются в различных разделах теоретической информатики: при построении и анализе алгоритмов, в теории...
Компоненты системы автономной навигации мобильных роботов: perception (извлечение значимых измерений их сенсоров), localization (определение позиции в текущем...
Теория игр занимается математическим моделированием конфликтных ситуаций, таких как конкуренция в экономике, политические конфликты, проблемы, связанные с...
История исследования ДНК и белковых структур: от французской революции до современной биоинформатики
Курс построен по следующей философии: давайте представим, что мы перемещаемся в начало 19-го века, время, когда в научном сообществе зарождался рациональный...
Курс предназначен для краткого знакомства с некоторыми широко распространёнными с технологиями, которые используются при разработке программного обеспечения. В...
Несмотря на долгое развитие Computer Science использование формальных математических моделей и строгих методов при промышленной разработке программного...
Kotlin — современный язык программирования, созданный в компании JetBrains изначально для платформы JVM. Со временем добавилась поддержка JavaScript, iOS, и...
К концу двадцатого века обнаружились неожиданные связи между информатикой и физикой. Оказалось, что эффективность решения многих задач обработки и передачи...
Курс предназначен для тех, кто интересуется внутренним устройством языков программирования.
Литература по курсу:
Алгоритмическая теория информации пытается измерить количество информации в данном сообщении как число битов в наиболее сжатом его описании (колмогоровская...
В курсе будет дан обзор идей и методов, использующихся при построении и анализе алгоритмов для NP-трудных задач. Несмотря на то что эффективных алгоритмов для...
В курсе рассматриваются несколько базовых понятий комбинаторики слов, как имеющих прямое отношение к прикладным алгоритмическим задачам, так и представляющих...
Простейшая модель в теории коммуникационной сложности такова. Имеются два участника (компьютера или человека), которые совместно хотят решить некоторую задачу...
Целью этого курса является изложить некоторые классические результаты теоретической информатики, которые сочетают в себе (по возможности) разные качества...
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
В курсе будет рассказано про:
многопоточное программирование на примере
◦ С++: POSIX threads, Boost, OpenMP, Intell TBB и ◦ Java: threads, java.util....
Курс посвящён разнообразным криптографическим протоколам и примитивам, с упором не на конкретные реализации и "дырки" в конкретных протоколах, а на понимание...
Коды переменной длины, используемые для сжатия информации, имеют много примечательных свойств. Одно из самых интересных — умение большинства кодов...
Очень часто при построении и анализе сложности алгоритмов, в теории сложности вычислений, вычислительной криптографии и в других областях теоретической...
Программа ориентирована на студентов, имеющих хотя бы небольшой опыт процедурного программирования, предпочтительно на языке со строгой типизацией.
Цель курса — научить правильно применять методы математической статистики к различным прикладным задачам.
Страница курса на сайте Computer Science Center.
Курс будет посвящён оценкам длины доказательств в первую очередь для утверждений логики высказываний, хотя будут рассмотрены и другие языки. Существование...
Этот курс дает представление о современном положении дел в теории нейросетей. Рассмотрены полносвязные и сверточные нейросети на примерах задач классификации и...
Детерминированный конечный автомат называется синхронизируемым, если существует такое слово w, что любой путь в автомате, вдоль которого читается w,...
Целью курса является знакомство слушателей с основными понятиями и методами дискретной математики: основами математической логики, элементарной комбинаторикой...
Среди многочисленных результатов о разрешимости массовых проблем одним из самых замечательных является алгоритм Тарского, позволяющий установить истинность или...
Курс будет состоять из двух формально независимых частей. Взятые вместе, они демонстрируют существенное различие, с алгоритмической точки зрения, вещественных...
Согласно одной притче, восточный властелин приказал двум своим мудрецам истолковать один из снов властелина.
В курсе речь пойдет о современных математических моделях, позволяющих с той или иной степенью адекватности описывать формирование интернета. Также будет...
Экспандеры (расширяющие графы) являются мощным инструментом теоретической информатики и дискретной математики. По-видимому, эффективность экспандеров отчасти...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...