Лекция
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
- …
- следующая ›
- последняя »
Конференция
На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
Страница курса на сайте 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 Center
Спектральная теория графов позволяет судить о свойствах графа по свойствам связанных с ним матриц (смежности, лапласиана, инцидентности). Дело в том, что у...
В миникурсе будут приведены два этюда из теории динамических игр.
Бывают ситуации, когда существование объекта с какими-то свойствами доказать легко, но это доказательство неконструктивно (не даёт возможности предъявить такой...
Среди многочисленных результатов о разрешимости массовых проблем одним из самых замечательных является алгоритм Тарского, позволяющий установить истинность или...
Курс знакомит со сложностью вероятностных вычислений и теоретическими основами криптографии.
Цели курса:
Принципы построения систем хранения (и обработки) данных
Проблемы и варианты их решения
Промышленные примеры реализации подходов
Навыки оценки...
Языки программирования со статической типизацией было бы крайне неудобно использовать, если бы для них не существовало алгоритмов вывода типов. К сожалению,...
Параметризованная сложность – относительно новая и активно развивающаяся область алгоритмов. Мы обсудим основные приемы построения и анализа параметризованных...
Классические помехоустойчивые коды кодируют сообщения из k бит кодовыми словами из n бит, позволяя однозначно восстанавливать сообщения даже из искажённых...
Структурная теория сложности изучает классы вычислительных задач и взаимоотношения между ними.
Теория формальных языков изучает математические модели синтаксиса. Языки, естественные или искусственные, задаются формальными грамматиками, описывающими...
Курс посвящён рассмотрению различных аспектов использования Linux-based операционных систем.
В курсе рассматриваются:
Курс посвящен базовым понятиям компьютерной графики. Рассматриваются общие принципы и задачи компьютерной графики, алгоритмы построения и визуализации плоских...
Традиционные курсы по алгоритмам, несмотря на подчеркнутую заботу об эффективности и практичности, часто предполагают, что обрабатываемые данные достаточно...
Компилятор GHC (The Glasgow Haskell Compiler) языка Haskell уже в течение почти 30 лет представляет собой площадку для экспериментов в области теории языков...
Несмотря на долгое развитие Computer Science использование формальных математических моделей и строгих методов при промышленной разработке программного...
Вероятностные конструкции и рассуждения очень часто используются в различных разделах теоретической информатики: при построении и анализе алгоритмов, в теории...
Теория игр занимается математическим моделированием конфликтных ситуаций, таких как конкуренция в экономике, политические конфликты, проблемы, связанные с...
История исследования ДНК и белковых структур: от французской революции до современной биоинформатики
Курс построен по следующей философии: давайте представим, что мы перемещаемся в начало 19-го века, время, когда в научном сообществе зарождался рациональный...
Курс предназначен для краткого знакомства с некоторыми широко распространёнными с технологиями, которые используются при разработке программного обеспечения. В...
В курсе будет дан обзор идей и методов, использующихся при построении и анализе алгоритмов для 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.
Параллельные вычисления стремительно входят в мейнстрим современной computer science. Новый уровень сложности, привносимый параллелизмом в вычислительный...
Курс будет посвящён оценкам длины доказательств в первую очередь для утверждений логики высказываний, хотя будут рассмотрены и другие языки. Существование...
Курс посвящён разнообразным криптографическим протоколам и примитивам, с упором не на конкретные реализации и "дырки" в конкретных протоколах, а на понимание...
Очень часто при построении и анализе сложности алгоритмов, в теории сложности вычислений, вычислительной криптографии и в других областях теоретической...
Программа ориентирована на студентов, имеющих хотя бы небольшой опыт процедурного программирования, предпочтительно на языке со строгой типизацией.
Курс будет состоять из двух формально независимых частей. Взятые вместе, они демонстрируют существенное различие, с алгоритмической точки зрения, вещественных...
Компоненты системы автономной навигации мобильных роботов: perception (извлечение значимых измерений их сенсоров), localization (определение позиции в текущем...
Детерминированный конечный автомат называется синхронизируемым, если существует такое слово w, что любой путь в автомате, вдоль которого читается w,...