Лекция
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
This short course will present the state of the art of distributed information retrieval, that is the area of information retrieval concerned with accessing...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
In this tutorial, I will review some of the work done in the distributed systems community on database replication, focusing on group communication–based...
Introduction to model checking: system modeling and logic specifications.
Abstraction in model checking: Predicate abstraction; CEGAR-based software model checkin.
Альтернирующие автоматы (конечные и Бюхи) и их применения
hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
Альтернирующие автоматы (конечные и Бюхи) и их применения
hwmc competition — соревнования пруверов для верификации железа и доступные академические пруверы
В рамках работы Семинара "Критика социальных и гуманитарных наук" Жан Радвани, Директор Центра французско-русских исследований в Москве, представил по-русски...
В лекции объясняется на примерах какие технологии можно использовать для презентации.
Селигер 2009
Селигер 2009
Откровенный разговор о политике и искусстве.Защищается тезис, что "Истинно великие произведения искусства все насквозь пропитаны ... идеологией"
Страница лекции на сайте Computer Science клуба
Селигер 2009
Селигер 2009
Селигер 2009
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Из данной лекции мы узнаем области применения небесной механики Кеплера и Ньютона и об их взаимосвязи. Узнаем о влиянии движения небесных тел на развитие...
В лекции рассматриваются основные концепции развития мирового политического процесса после конца 1980-х годов 20 века. Концепция «конца истории» Ф. Фукуямы....
Лекция прочитана для школьников 11 класса в рамках вечерней физмат школы.
Лекция 11. Примеры открытых реализаций виртуальных машин
Форт-машина
(например kforth) Hotspot Java Virtual Machine – виртуальная машина для языка Java...
Лекция 12. Заключение
Проблемы существующих ВМ
Необходимость в новых виртуальных машинах
Новые направления в виртуализации
Лектор расскажет, как мифологическая функция существует в рамках мифологической системы и как совокупность этих функций образует персонаж.