Лекция
Все знают, что квантовый компьютер обладает большей вычислительной мощностью. Но как это работает и зачем это нужно? Станислав Страупе расскажет доступным...
Хотите запустить собственную игру? Вы программист, художник или у вас просто есть крутая идея? Степан расскажет вам, как правильно разработать игру и получить...
Страницы
- « первая
- ‹ предыдущая
- 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 клуба.
Курс лекций
В курсе рассматриваются несколько базовых понятий комбинаторики слов, как имеющих прямое отношение к прикладным алгоритмическим задачам, так и представляющих...
Простейшая модель в теории коммуникационной сложности такова. Имеются два участника (компьютера или человека), которые совместно хотят решить некоторую задачу...
Целью этого курса является изложить некоторые классические результаты теоретической информатики, которые сочетают в себе (по возможности) разные качества...
В последнее время мы наблюдаем бурное развитие технологий беспилотных автомобилей.
Мы обсудим:
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,...
В курсе речь пойдет о современных математических моделях, позволяющих с той или иной степенью адекватности описывать формирование интернета. Также будет...
Экспандеры (расширяющие графы) являются мощным инструментом теоретической информатики и дискретной математики. По-видимому, эффективность экспандеров отчасти...
Kotlin — современный язык программирования, созданный в компании JetBrains изначально для платформы JVM. Со временем добавилась поддержка JavaScript, iOS, и...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Согласно одной притче, восточный властелин приказал двум своим мудрецам истолковать один из снов властелина.
К 2011 году девять стран умеют выводить в космос спутники. И лишь в четырех странах (Россия, США, Китай, Чехия) есть компании, которые умеют создавать...
In the last 10-15 years, NLP techniques have proven effective in a number of forensic applications, such as author profiling and deception detection.
This course will consider algorithmic aspects of distributed systems. Distributed algorithms arise in a wide range of applications: telecommunications,...
Курс предназначен программистам, желающим познакомиться с теоретическими и практическими аспектам технологий, связанных с хранением, обработкой, анализом...
Курс знакомит слушателей с функциональным подходом к программированию, все более набирающим силу в последнее время (наблюдается взрывной рост популярности...
Комбинаторика слов (символьных последовательностей) является одной из современных и быстро развивающихся дисциплин теоретических компьютерных наук.
Целями...
Небольшой курс лекций Олега Плисса по виртуальным машинам.
Примерный план лекций:
Коды переменной длины, используемые для сжатия информации, имеют много примечательных свойств. Одно из самых интересных — умение большинства кодов...
Линейное программирование (ЛП) возникло в 40-х годах прошлого века как один из разделов теории оптимизации. Довольно быстро оно стало популярным методом для...
Страница курса на сайте Computer Science Center
SBERDAYS — образовательные события для digital-специалистов от Сбербанка. Цель проекта — формирование сообщества активных участников IT-индустрии,...
Вероятностно проверяемые доказательства (Probabalistically Checkable Proofs или PCP) - это одно из самых ярких достижений теоретической информатики 90-х годов.
Этот курс дает представление о современном положении дел в теории нейросетей. Рассмотрены полносвязные и сверточные нейросети на примерах задач классификации и...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
Joker 2013, конференция по Java-технологиям, которая прошла 15 октября 2014 года в Санкт-Петербурге.
Летняя школа Microsoftпо компьютерному зрению (Microsoft Computer Vision Summer School) проходила с 28 июля по 3 августа 2011 года на Факультете ВМК МГУ имени...
Биоинформатика — это быстро растущий раздел computer science, благодаря которому биология в 21 веке переходит из раздела наук о жизни в вычислительные науки....
