Лекция
В этой лекции Кандидат физико-математических наук Алексей Власов рассказывает о солнечных батареях, от открытия фотоэффекта французским ученым А. Беккерелем...
Для того, чтобы продукт получился качественным, его надо контролировать на всех этапах изготовления. Контроль и диагностика, это меры, которые необходимы в...
Сегодня мы используем свет не только для освещения: солнечные батареи, которые можно раскатывать на любой крыше, датчики для выявления вредных газов, радары...
В этой лекции дается определение оптического волокна, и объясняется главный принцип передачи информационных потоков с его помощью - принцип полного...
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 ...
The term “ubiquitous computing” describes the vision of incorporating sensing, computation, and communication into everyday things in order to make them and ...
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 класса в рамках вечерней физмат школы.
Из данной лекции мы узнаем области применения небесной механики Кеплера и Ньютона и об их взаимосвязи. Узнаем о влиянии движения небесных тел на развитие...
