Лекция
Given the huge number of choices that we often face when interacting with various online systems, such as e-commerce, search engines, and social media, there...
Страницы
- « первая
- ‹ предыдущая
- 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 клуба.
Курс лекций
В рамках курса будут рассмотрены "продвинутые" алгоритмы и структуры данных, как правило, не покрываемые курсом базовых алгоритмов.
Описание курса на сайте CS...
В курсе разобраны следующие темы:
The school offers the unique opportunity to learn about recent breakthroughs in several domains of algorithms: from classical areas like network flow...
В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Ежедневно машинам Веб-поиска задают миллионы запросов. Логи поисковых машин - ценный источник информации об интересах, поведении и предпочтениях пользователей...
Курс будет посвящен одному из направлений построения эффективных алгоритмов для NP-трудных задач, а именно построению FPT-алгоритмов (fixed paramater tractable...
Мини-курс посвящён изложению интересных новых результатов теоретической информатики, имеющих важное применение в верификации дискретных систем. Изложение...
В серии лекций мы изучим основные определения, конструкции и приложения криптографических хэш–функций. В ближайшие годы одной из самых актуальных задач,...
Мы расскажем, как решать задачи комбинаторной оптимизации, используя методы метрической геометрии. Мы обсудим несколько базовых понятий и теорем метрической...
В первой части мы обсудим формальные доказательства и Coq в общем, разберемся для чего он нужен, где применяется, его место среди других инструментов...
Особое внимание в курсе будет уделено следующим темам:
Мир полон данных самой различной природы: метеорологические, экономические, социологические данные, информация о бизнес-процессах, — всё это доступно сегодня,...
Часть 1. Продвинутые структуры данных
Комбинаторика слов представляет собой математический аппарат для работы с символьными последовательностями и является динамично развивающейся дисциплиной на...
В десятой проблеме, поставленной в 1900 году, Гильберт просил найти алгоритм, который позволял бы по произвольному диофантову уравнению узнавать, имет ли оно...
Представим, что у нас есть большой объем данных. Данные могут быть получены с метеорологических сенсоров, это может быть интернет-трафик или, например,...
В курсе рассматриваются как базовые понятния компьютерного зрения, так и ряд современных алгоритмов, позволяющих решать практические задачи. Отдельно...
«Кампус» — это просветительский фестиваль от команды «Бумаги». Учиться можно не только в университетских аудиториях. Любая городская площадка — бар, театр,...
Артур Хачуян, Наталья Никифорова, Павел Кузьмич, Алексей Ковалев, Марина Ветрова, Сергей Сушинский, Ирина Миронова, Вадим Волков, Жанна Чернова, Капитолина Федорова, Иван Курилла, Артемий Магун, Алексей Миллер, Юлия Вымятнина, Александр Марей, Алексей Кнорре, Марина Попова, Денис Ривин, Кирилл Титаев, Ольга Хорошилова
This course assumes no specific knowledge in the field. It will be an introductory course to main problems (including decidability and tradeoff between testing...
В настоящее время Java всё ещё сохраняет позиции самого популярного языка программирования для разработки корпоративных систем и приложений. К сожалению, эти...
Современные функциональные языки программирования, такие как Haskell, наследники ML (SML, Ocaml, F#), Agda2 и т.п., обладают весьма богатыми и сложными...
С появлением технической возможности хранить и пересылать большие объёмы данных немедленно появилась необходимость бороться со спорадически возникающимися в...
Машинное обучение — молодая область компьютерных наук, посвящённая поиску скрытых закономерностей в данных и задачам, для которых не существует точного...
В курсе рассмотрены красивые идеи построения алгоритмов для NP–трудных задач — от классических до недавних результатов.
У меня по жизни среди прочего есть две цели, на которые я держу постоянный курс: сделать так, чтобы мне никогда не приходилось искать работу, а в крайнем...
Мы поговорим о структурах данных, основанных на указателях.
Страница курса на сайте Computer Science Center
Курс посвящён различным аспектам программирования на языке Idris:
Курс познакомит слушателей с основными методами анализа изображений и видео. Будут рассматриваться различные практические задачи: сегментация изображений,...
Теория игр занимается математическим моделированием конфликтных ситуаций, таких как конкуренция в экономике, политические конфликты, проблемы, связанные с...
В курсе будет рассказано о современном направлении в теории сложности - fine-grained complexity. В рамках этого направления ресурсы, необходимые для выполнения...
Помимо стандартных результатов, которые обычно упоминаются в курсах по комбинаторной оптимизации, будут рассказаны не столь хорошо известные, но красивые...
В рамках курса рассказывается об одном из основных направлений теории сложности вычислений — схемной сложности булевых функций.
Программа занятий по функциональному программированию включает в себя лекции и решение задач на программирование в функциональном стиле на языке Haskell....
In this mini-course we will cover recent developments in approximate algorithms for processing very large data sets. We will focus on fundamental techniques...
The course introduces the theory and practice of formal methods for the design and analysis of software systems. The course will cover the underlying logical...
Курс предназначен для тех, кто интересуется внутренним устройством языков программирования.
Страница курса на сайте Computer Science Center.
Мы поговорим об онлайн-алгоритмах для решения задач управления буфером и о том, что можно сделать в таких задачах, а чего нельзя. Основным инструментом для нас...
Курс посвящён конкретным криптографическим протоколам и примитивам: RSA, эллиптической криптографии, разделению секрета, доказательствам с неразглашением. Мы ...