Например: 09/22/2020
Например: 09/22/2020
Найдено:
 
1678
Вид отображения:  

Лекция

Вычисления на GPU. Основные подходы, архитектура, оптимизации. Лекция 2

Введение в CUDA Страница лекции на сайте CSClub
Алексей Ивахненко

Дата записи: 25.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 8

Вычисления с эффектами Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 19.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 9

Верификация протоколов на типах и определение EDSL Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 19.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 10

Представления и конструкция with Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 19.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 6

Выражение отношений на данных средствами зависимых типов Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 18.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 7

Доказательство теорем Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 18.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 3

Типы данных и ввод-вывод Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 12.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 4

Типы как сущности первого класса, функции на типах Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 12.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 5

Интерфейсы, модули и пространства имен Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 12.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 1

Верификация ПО, соответствие Карри-Ховарда и зависимые типы Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 11.02.2017
Computer Science клуб при ПОМИ РАН

Программирование с зависимыми типами на языке Idris. Лекция 2

Интерактивная разработка через типы Страница лекции на Computer Science Club
Виталий Брагилевский

Дата записи: 11.02.2017
Computer Science клуб при ПОМИ РАН

Теоретическая информатика. Лекция 16

Александр Охотин

Дата записи: 15.12.2016
Математическая лаборатория имени П.Л. Чебышева

Теоретическая информатика. Лекция 15

Александр Охотин

Дата записи: 08.12.2016
Математическая лаборатория имени П.Л. Чебышева

Теоретическая информатика. Лекция 14

Александр Охотин

Дата записи: 01.12.2016
Математическая лаборатория имени П.Л. Чебышева

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 8

Виталий Осипов

Дата записи: 27.11.2016
Computer Science клуб при ПОМИ РАН

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 9

Виталий Осипов

Дата записи: 27.11.2016
Computer Science клуб при ПОМИ РАН

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 6

Виталий Осипов

Дата записи: 26.11.2016
Computer Science клуб при ПОМИ РАН

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 7

Виталий Осипов

Дата записи: 26.11.2016
Computer Science клуб при ПОМИ РАН

Теоретическая информатика. Лекция 13

Александр Охотин

Дата записи: 24.11.2016
Математическая лаборатория имени П.Л. Чебышева

Теоретическая информатика. Лекция 12

Александр Охотин

Дата записи: 17.11.2016
Математическая лаборатория имени П.Л. Чебышева

Визуализация данных. Лекция 3

Александр Дайняк

Дата записи: 13.11.2016
Computer Science клуб при ПОМИ РАН

Визуализация данных. Лекция 4

Александр Дайняк

Дата записи: 13.11.2016
Computer Science клуб при ПОМИ РАН

Визуализация данных. Лекция 5

Александр Дайняк

Дата записи: 13.11.2016
Computer Science клуб при ПОМИ РАН

Визуализация данных. Лекция 1

Александр Дайняк

Дата записи: 12.11.2016
Computer Science клуб при ПОМИ РАН

Визуализация данных. Лекция 2

Александр Дайняк

Дата записи: 12.11.2016
Computer Science клуб при ПОМИ РАН

A general method applicable to the search for anglicisms in russian social network texts

Ilia Karpov, Alena Fenogenova, Viktor Kazorin

Дата записи: 11.11.2016
AINL FRUCT Conference

Deep learning tutorial. Part I

Andrey Filchenkov

Дата записи: 11.11.2016
AINL FRUCT Conference

Neural nets for paraphrase detection

In this report solution for paraphrase detection tasks is considered. It will include description of specific features for these tasks. Also profit of neural...
Kirill Skornyakov

Дата записи: 10.11.2016
AINL FRUCT Conference

Теоретическая информатика. Лекция 11

Александр Охотин

Дата записи: 10.11.2016
Математическая лаборатория имени П.Л. Чебышева

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 4

Алгоритм Arc Flags Страница лекции на сайте CSC
Виталий Осипов

Дата записи: 06.11.2016
Computer Science клуб при ПОМИ РАН

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 5

Алгоритм Контракционная Иерархия Страница лекции на сайте CSC
Виталий Осипов

Дата записи: 06.11.2016
Computer Science клуб при ПОМИ РАН

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 3

Алгоритм Дейкстры и его варианты Страница лекции на сайте CSC
Виталий Осипов

Дата записи: 06.11.2016
Computer Science клуб при ПОМИ РАН

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 1

Введение в методологию разработки прикладных алгоритмов Страница лекции на сайте CSC
Виталий Осипов

Дата записи: 05.11.2016
Computer Science клуб при ПОМИ РАН

Поиск кратчайших путей в дорожных сетях: от теории к реализации. Лекция 2

Обзорная лекция по материалу курса Страница лекции на сайте CSC
Виталий Осипов

Дата записи: 05.11.2016
Computer Science клуб при ПОМИ РАН

Теоретическая информатика. Лекция 10

Александр Охотин

Дата записи: 03.11.2016
Математическая лаборатория имени П.Л. Чебышева

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 8

Преобразование Фурье Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 30.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 9

Теорема Хостада Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 30.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 10

Гипотеза Хота (UGC) Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 30.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 6

Трудность задач приближенной оптимизации Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 29.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 7

PCP теорема Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 29.10.2016
Computer Science клуб при ПОМИ РАН

Теоретическая информатика. Лекция 9

Александр Охотин

Дата записи: 27.10.2016
Математическая лаборатория имени П.Л. Чебышева

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 3

Задача об относительном разрезе. Теорема Бургейна Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 23.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 4

Алгоритм Гёманса–Вильямсона Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 23.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 5

Относительные разрезы: теорема Ароры–Рао–Вазирани Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 23.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 1

Задачи комбинаторной оптимизации, приближённые алгоритмы Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 22.10.2016
Computer Science клуб при ПОМИ РАН

Приближенное решение задач комбинаторной оптимизации: алгоритмы и трудность. Лекция 2

ЛП релаксации задач комбинаторной оптимизации Страница лекции на сайте CSClub
Михаил Вялый

Дата записи: 22.10.2016
Computer Science клуб при ПОМИ РАН

Теоретическая информатика. Лекция 8

Александр Охотин

Дата записи: 20.10.2016
Математическая лаборатория имени П.Л. Чебышева

Теоретическая информатика. Лекция 7

Александр Охотин

Дата записи: 13.10.2016
Математическая лаборатория имени П.Л. Чебышева

Теоретическая информатика. Лекция 5

Александр Охотин

Дата записи: 29.09.2016
Математическая лаборатория имени П.Л. Чебышева

Теоретическая информатика. Лекция 4

Александр Охотин

Дата записи: 22.09.2016
Математическая лаборатория имени П.Л. Чебышева

Страницы

Конференция

JPoint 2015

Java-конференция JPoint 2015 Москва, 20.04.2015
Сообщество JUG.ru

Решения от ГНУ/Линуксцентра на базе СПО

На конференции рассказано о решениях от ГНУ/Линуксцентра на базе СПО для вашей организации:
ГНУ/Линуксцентр

Joker 2014

Java-конференция Joker 2014 Санкт-Петербург, 20 - 21 октября 2014
Сообщество JUG.ru

Computer Science семинар (Весна 2012)

Программа курса
Kokichi Futatsugi, Наталья Васильева, Сергей Якунин, Алексей Колесов, Андрей Морозов, Cesare Pautasso, Наталья Шарыгина
Computer Science клуб при ПОМИ РАН

JPoint 2014

Java-конференция JPoint 2014 Москва, 18.04.2014
Сообщество JUG.ru

Computer Science семинар (осень 2012)

Страница курса на сайте Computer Science клуба.
Сергей Аганезов, Алексей Савватеев, Милинд Бхандаркар
Computer Science клуб при ПОМИ РАН

JUG 2014

Встреча JUG.ru Санкт-Петербург, 26.06.2014
Сообщество JUG.ru

Встреча FProg 2012–12

Илья Сергей, Андрей Бреслав
JetBrains

JUG 2013

Встречи JUG.ru в 2013 году.
Сообщество JUG.ru

JetPoint по Биоинформатике

Олег Шпынов, Николай Вяххи, Сергей Нурк, Антон Банкевич
JetBrains

Java 8 Launch

Java 8 Launch  Санкт-Петербург, 03.04.2014
Сообщество JUG.ru

Computer Science семинар (Весна 2013)

Программа курса
Александр Кноп, Елена Иконникова, Александр Куликов, Александр Уланов
Computer Science клуб при ПОМИ РАН

Лекции Олега Плисса по виртуальным машинам

Санкт-Петербург, 02.09.2013
Олег Плисс
Сообщество JUG.ru

Язык Scala, сложности поддержки Scala в IDE и Play Framework 2.0

В силу различных причин, Java, как язык программирования, развивалась не очень динамично. Постепенно возникла необходимость в языке для JVM, в котором в первую...
Сообщество JUG.ru

JUG 2012

Встреча JUG.ru 31.05.2012
Сообщество JUG.ru

Computer Science семинар (Осень 2010)

Computer Science клуб при ПОМИ РАН

Java: 20 лет инноваций!

Подумать только, прошло уже целых 20 лет со дня рождения самой популярной платформы, а она по прежнему не перестает удивлять теперь уже 9 миллионов...
Сообщество JUG.ru

OpenJDK TestFest Russia 2013

Санкт-Петербург, 17.08.2013
Сообщество JUG.ru

Computer Science семинар (Весна 2011)

Computer Science клуб при ПОМИ РАН

Joker 2015 University Day

Java-конференция Joker 2015 University Day Санкт-Петербург, 18.10.2015
Сообщество JUG.ru

Машинное обучение

18–20 декабря 2017 года в Мраморном зале ПОМИ РАН прошла конференция, организованная сотрудниками ПОМИ РАН при поддержке компании Huawei. Основная цель...
Василий Усатюк, Александр Куликов, Иван Оселедец, Виктор Лобачев, Александр Тискин
Computer Science клуб при ПОМИ РАН

The 6th International Computer Science Symposium in Russia

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...
Санкт-Петербургский академический университет

JUG 2015

Встреча JUG.ru в Петербурге 05.02.2015.
Сообщество JUG.ru

Computer Science семинар (Осень 2011)

Computer Science клуб при ПОМИ РАН

Курс лекций

Программный анализ и формальные методы верификации

In the last decades there has been a considerable investment in the development of automatic techniques and tools with the goal of making the verification of...
Наталья Шарыгина
Computer Science клуб при ПОМИ РАН

From univariate polynomials to probabilistically checkable and error-tolerant proofs

Petteri Kaski
Computer Science клуб при ПОМИ РАН

Обзор Red Hat Enterprise Linux 6

На конференции рассказано о функциях и преимуществах Red Hat Enterprise Linux 6, о возможностях использования этой платформы для решения различных задач,...
ГНУ/Линуксцентр

Networking

The networking course has essentially no prerequisites. The lecturer is assuming the student know the basics of binary representations and elementary algebra.
Antonio Carzaniga
Computer Science клуб при ПОМИ РАН

Встреча CodeFreeze с Дмитрием Завалишиным

В среду, 20 марта, в офисе Mail.Ru Group прошла встреча с Дмитрием Завалишиным. Дмитрий сделает два доклада: ''Успешные проекты - где стелить солому?'' и ''...
Дмитрий Завалишин
Сообщество CodeFreeze

Страницы