Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 5. Теория процессов
00:02:22 Общий формат описания процесса
00:22:54 Параллельная композиция двух процессов
00:47:55 Блокировка взаимодействия по внутренним каналам для параллельной композиции
Курс: Методы искусственного интеллекта в задачах анализа данных и верификации программ
Ссылка на плейлист:
1 view
195
55
2 months ago 07:48:04 174
VIII Всероссийский форум оториноларингологов с международным участием. Зал Енисей - 10 октября
3 months ago 00:05:41 968
Тизер спектакля “Блондинка в законе“ (концертная версия)
3 months ago 01:21:38 1
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 13. Агрегирующий алгоритм
3 months ago 01:20:19 3
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 1. Верификация алгоритмов вычисления суммы
3 months ago 01:20:02 4
Миронов А.М.-Методы ИИ в задачах анализа данных-Лекция 2.Верификация алгоритмов возведения в степень
3 months ago 01:23:40 1
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 3. Верификация алгоритма сортировки массива
3 months ago 01:20:43 1
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 4. Верификация функциональной программы
3 months ago 01:22:39 6
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 6. Конфиденциальный обмен информацией
3 months ago 01:15:18 1
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 5. Теория процессов
3 months ago 01:21:45 1
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 8. Прогнозирование в больших данных
3 months ago 01:18:41 1
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 11. Алгоритмы следования за лидером
3 months ago 01:27:08 2
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 9. Верификация алгоритмов с потерями
3 months ago 01:17:58 1
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 10. Усиление алгоритмов машинного обучения
3 months ago 01:11:49 2
Миронов А.М.-Методы ИИ в задачах анализа данных - Лекция 12. Метод опорных векторов
3 months ago 01:31:45 22
Миронов А.М. - Формальная семантика и верификация ПО - 1. Верификация программ. Метод Флойда
3 months ago 01:26:31 2
Миронов А.М. - Анализ протоколов безопасности - 2. Уязвимости протоколов безопасности
3 months ago 01:18:38 1
Миронов А.М. - Анализ протоколов безопасности - 1. Понятие протокола безопасности
3 months ago 01:21:43 3
Миронов А.М. - Формальная семантика и верификация ПО - 4. Параллельные и распределенные программы
3 months ago 01:26:24 1
Миронов А.М. - Анализ протоколов безопасности - 3. Протоколы электронного голосования
3 months ago 01:27:09 5
Миронов А.М. - Анализ протоколов безопасности - 4. Протоколы электронных платежей
3 months ago 01:20:44 1
Миронов А.М.-Анализ протоколов безопасности-5.Теория процессов.Примеры верификации свойств процессов
3 months ago 01:21:38 1
Миронов А.М. - Анализ протоколов безопасности - 6. Верификация протокола с чередованием битов
3 months ago 01:28:01 2
Миронов А.М. - Анализ протоколов безопасности - 7.Протоколы передачи данных через небезопасную среду
3 months ago 01:19:24 1
Миронов А.М. - Анализ протоколов безопасности - 8. Протоколы безопасности на вероятностном уровне