Результат фильтрации: 895 элементов

Внимание! Видеоматериалы, размещённые в данном разделе, представлены из открытых интернет-источников в исходном виде. В связи с этим Администрация сайта profspo.ru не несёт ответственности за содержание данных материалов и не является их правообладателем. Использование на сайте материалов из открытых интернет-источников осуществляется в соответствии со ст. 1274 ГК РФ («Свободное использование произведения в информационных, научных, учебных или культурных целях»).

Lecture 5 | From univariate polynomials to probabilistically checkable | Petteri Kaski | Лекториум

Lecture 5 | Курс: From univariate polynomials to probabilistically checkable and error-tolerant proofs | Лектор: Petteri Kaski | Организатор: CSClub Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33659 Другие лекции по курсу «From univariate polynomials to probabilistically checkable and error-tolerant proofs» доступны для просмотра по ссылке:…

Информатика, информационные технологии и программирование

Lecture 5 | Introduction to Computational Social Choice | Piotr Faliszewski | Лекториум

Lecture 5 | Курс: Introduction to Computational Social Choice | Лектор: Piotr Faliszewski | Организатор: CSClub Смотрите это видео на Лекториуме: https://www.lektorium.tv/node/33666 Другие лекции по курсу «Introduction to Computational Social Choice» доступны для просмотра по ссылке: https://www.lektorium.tv/node/33667 Подписывайтесь на канал:…

Информатика, информационные технологии и программирование

Lecture 5 | Recent Advances in Algorithms | Michael Kapralov

Lecture 5 | Курс: Recent Advances in Algorithms | Лектор: Michael Kapralov | Организатор: Computer Science Club Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30492 Другие ролики конференции «Recent Advances in Algorithms» доступны для просмотра по ссылке: https://www.lektorium.tv/course/30494 Подписывайтесь на канал:…

Информатика, информационные технологии и программирование

Lecture 6 | Recent Advances in Algorithms | Saket Saurabh

Lecture 6 | Курс: Recent Advances in Algorithms | Лектор: Saket Saurabh | Организатор: Computer Science Club Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30493 Другие ролики конференции «Recent Advances in Algorithms» доступны для просмотра по ссылке: https://www.lektorium.tv/course/30494 Подписывайтесь на канал:…

Информатика, информационные технологии и программирование

Lecture 7 | Recent Advances in Algorithms | Aleksander Mądry

Lecture 7 | Курс: Recent Advances in Algorithms | Лектор: Aleksander Mądry | Организатор: Computer Science Club Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30512 Другие ролики конференции «Recent Advances in Algorithms» доступны для просмотра по ссылке: https://www.lektorium.tv/course/30494 Подписывайтесь на канал:…

Информатика, информационные технологии и программирование

Lecture 8 | Recent Advances in Algorithms | Ilya Razenshteyn

Lecture 8 | Курс: Recent Advances in Algorithms | Лектор: Ilya Razenshteyn | Организатор: Computer Science Club Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30513 Другие ролики конференции «Recent Advances in Algorithms» доступны для просмотра по ссылке: https://www.lektorium.tv/course/30494 Подписывайтесь на канал:…

Информатика, информационные технологии и программирование

Lecture 9 | Recent Advances in Algorithms | Michael Kapralov

Lecture 9 | Курс: Recent Advances in Algorithms | Лектор: Michael Kapralov | Организатор: Computer Science Club Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/30514 Другие ролики конференции «Recent Advances in Algorithms» доступны для просмотра по ссылке: https://www.lektorium.tv/course/30494 Подписывайтесь на канал:…

Информатика, информационные технологии и программирование

Local proof transformations for flexible interpolation and proof reduction | Лекториум

Local proof transformations for flexible interpolation and proof reduction | Курс: Computer Science семинар (Весна 2012) | Лектор: Natasha Sharygina | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13820 Model checking based on Craig's interpolants ultimately relies on efficient engines, such as SMT-Solvers, to log proofs of unsatisfiability and to derive…

Информатика, информационные технологии и программирование

Locally decodable codes | The 6th International Computer Science Symposium in Russia | Лекториум

Locally decodable codes | Курс: The 6th International Computer Science Symposium in Russia | Лектор: Sergey Yekhanin | Организатор: Санкт-Петербургский академический университет Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13314 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Информатика, информационные технологии и программирование

Neural nets for paraphrase detection | Kirill Skornyakov

Neural nets for paraphrase detection | Конференция: AINL FRUCT: Artificial Intelligence and Natural Language Conference 2016 | Лектор: Kirill Skornyakov | Организатор: AINL FRUCT Conference Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/29487 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Информатика, информационные технологии и программирование

On the CSP Dichotomy conjecture | Andrei Bulatov | СПб АУ | Лекториум

On the CSP Dichotomy conjecture | Курс: The 6th International Computer Science Symposium in Russia | Лектор: Andrei Bulatov | Организатор: Санкт-Петербургский академический университет Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13315 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Информатика, информационные технологии и программирование

Privacy of profile based ad targeting | Computer Science семинар (осень 2011) | Лекториум

Privacy of profile based ad targeting | Курс: Computer Science семинар (осень 2011) | Лектор: Александр Смаль | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13371 В 2010 году была показана практическая возможность использования таргетирования рекламных…

Информатика, информационные технологии и программирование

Recent Results on Polynomial Identity Testing | Amir Shpilka | СПб АУ | Лекториум

Recent Results on Polynomial Identity Testing | Курс: The 6th International Computer Science Symposium in Russia | Лектор: Amir Shpilka | Организатор: Санкт-Петербургский академический университет Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13316 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Информатика, информационные технологии и программирование

Red Hat Enterprise Linux. Особенности версии 6.2, RHEL for SAP, MRG | Алексей Асафьев

Red Hat Enterprise Linux. Особенности версии 6.2, RHEL for SAP, MRG | Курс: Обзор Red Hat Enterprise Linux 6 | Лектор: Алексей Асафьев | Организатор: ГНУ/Линуксцентр Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13617 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Информатика, информационные технологии и программирование

Red Hat Enterprise Virtualization (RHEV) и облачная стратегия Red Hat | Лекториум

Red Hat Enterprise Virtualization (RHEV) и облачная стратегия Red Hat. Примеры использования продуктов Red Hat | Курс: Обзор Red Hat Enterprise Linux 6 | Лектор: Алексей Асафьев | Организатор: ГНУ/Линуксцентр Смотрите это видео на Лекториуме: https://www.lektorium.tv/lecture/13618 Подписывайтесь на канал:…

Информатика, информационные технологии и программирование

Service Oriented Computing with Resource Oriented Architectures | Cesare Pautasso | Лекториум

Service Oriented Computing with Resource Oriented Architectures | Курс: Computer Science семинар (Весна 2012) | Лектор: Cesare Pautasso | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13819 Recent technology trends in service oriented computing indicate that a solution eliminating the perceived complexity of the WS-* standard technology stack may be in…

Информатика, информационные технологии и программирование

Snakes and Cellular Automata: Reductions and Inseparability Results | Jarkko Kari | СПб АУ

Snakes and Cellular Automata: Reductions and Inseparability Results | Курс: The 6th International Computer Science Symposium in Russia | Лектор: Jarkko Kari | Организатор: Санкт-Петербургский академический университет Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13313 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Информатика, информационные технологии и программирование

The method of multiplicities | Madhu Sudan | СПб АУ | Лекториум

The method of multiplicities | Курс: The 6th International Computer Science Symposium in Russia | Лектор: Madhu Sudan | Организатор: Санкт-Петербургский академический университет Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13317 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за новостями:…

Информатика, информационные технологии и программирование

Two-Party Differential Privacy and Deterministic Extraction from Santha-Vazirani Sources

Лекция: Two-Party Differential Privacy and Deterministic Extraction from Santha-Vazirani Sources | Курс: Computer Science семинар (осень 2010) | Лектор: Григорий Ярославцев | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13175 Подписывайтесь на канал: https://www.lektorium.tv/ZJA Следите за…

Информатика, информационные технологии и программирование

Verifying Specifications with Proof Scores in CafeOBJ | Kokichi Futatsugi | Лекториум

Verifying Specifications with Proof Scores in CafeOBJ | Курс: Computer Science семинар (Весна 2012) | Лектор: Kokichi Futatsugi | Организатор: Computer Science клуб при ПОМИ РАН Смотрите это видео на Лекториуме: https://lektorium.tv/lecture/13698 Verifying specifications is still one of the most important undeveloped topics in software engineering. It is important because quite a few critical bugs are caused at the…

Информатика, информационные технологии и программирование