доклад . Кондратьев Д.А., Гаранина Н.О.Формальная верификация искусственного интеллекта

Uploaded By: Myvideo

Published on

2 Jan 2024

1 view

0

0 votes

0

About Share Download Add to

Кондратьев Дмитрий Александрович (к.ф.-м.н., научный сотрудник, Институт систем информатики им. А.П. Ершова СО РАН) , Гаранина Наталья Олеговна (к.ф.-м.н., старший научный сотрудник, Институт систем информатики им. А.П. Ершова СО РАН) “Формальная верификация искусственного интеллекта“

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/alNRZXJvQncwUWlHeEVDVkFKbElCWFBGbkpLUVVpWnlNMUZrUmtna2tGbz0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

VID20241111070629.mp4

just now

00:01:10

VID20241111070629.mp4

46 64%

Этюд 4-2 Мошенническая схема Электронные письма, сообщения извонки от имени различных фондов

25 minutes ago

00:03:50

Этюд 4-2 Мошенническая схема Электронные письма, сообщения извонки от имени различных фондов

2 62%

Clip by @tyum_public

29 minutes ago

00:00:54

Clip by @tyum_public

1 82%

ЧТО СКРЫВАЮТ МОРЯ ТИТАНА_ НОВЫЕ ДАННЫЕ СПУТНИКА САТУРНА

40 minutes ago

00:12:27

ЧТО СКРЫВАЮТ МОРЯ ТИТАНА_ НОВЫЕ ДАННЫЕ СПУТНИКА САТУРНА

1 19%

Video by Ольга Мельник. Стихи, рассказы, сказки

50 minutes ago

00:00:15

Video by Ольга Мельник. Стихи, рассказы, сказки

41 93%

Отчёт фонда Марафон добра с 4 по 10 ноября

52 minutes ago

00:00:30

Отчёт фонда Марафон добра с 4 по 10 ноября

9 12%

Отчёт . Планы на неделю

53 minutes ago

00:10:20

Отчёт . Планы на неделю

13 68%

Есаулов Достоевский и Бердяев

57 minutes ago

00:27:04

Есаулов Достоевский и Бердяев

27 57%

Штурмовики группировки войск Центр проводят занятия на полигоне

1 hour ago

00:03:29

Штурмовики группировки войск Центр проводят занятия на полигоне

2.9K 78%

Video by Таможенные данные 252 стран мира

2 hours ago

00:00:06

Video by Таможенные данные 252 стран мира

1 17%

Безопасный ВПН для России Обход Блокировок и Защита Данных

2 hours ago

00:12:18

Безопасный ВПН для России Обход Блокировок и Защита Данных

1 75%

В гостях у колобка . ДАНИЯ - ОЧЕНЬ НЕ ПРОСТАЯ СТРАНА. !! (360p)

2 hours ago

01:08:26

В гостях у колобка . ДАНИЯ - ОЧЕНЬ НЕ ПРОСТАЯ СТРАНА. !! (360p)

17 29%

Заминированные схроны с оружием производства НАТО обнаружили сотрудники ФСБ

2 hours ago

00:01:04

Заминированные схроны с оружием производства НАТО обнаружили сотрудники ФСБ

7K 58%

Тьфу-тьфу! Запустил стрим пока не вырубили свет! В чате стараюсь читать каждое сообщение и совет! )

2 hours ago

00:00:00

Тьфу-тьфу! Запустил стрим пока не вырубили свет! В чате стараюсь читать каждое сообщение и совет! )

204 15%

Жилой комплекс 7 ВЫСОТ. Отчет стройки. Август 2024.

2 hours ago

00:02:26

Жилой комплекс 7 ВЫСОТ. Отчет стройки. Август 2024.

116 23%

12_33.Евангелие согл. Ап. Иоанна - о.Даниила Сысоева

2 hours ago

00:51:18

12_33.Евангелие согл. Ап. Иоанна - о.Даниила Сысоева

10 51%

Онлайн-рассказ Поэма о Приамурье

2 hours ago

00:01:26

Онлайн-рассказ Поэма о Приамурье

4 30%

Толкование евангельского рассказа о воскрешении сына вдовы из Наина. Проповедь о Василия Андроникова

3 hours ago

00:14:10

Толкование евангельского рассказа о воскрешении сына вдовы из Наина. Проповедь о Василия Андроникова

37 71%

Россия предоставит новые доказательства военных преступлений ВСУ в Донбассе

4 hours ago

00:04:00

Россия предоставит новые доказательства военных преступлений ВСУ в Донбассе

6.7K 64%

Данил Сопочин и его сын Феликс из поселка Тром-Аган Сургутского района открыли зимнюю рыбалку

4 hours ago

00:00:26

Данил Сопочин и его сын Феликс из поселка Тром-Аган Сургутского района открыли зимнюю рыбалку

94 21%

В Испании прошла выставка на тему того, куда идут налоги граждан

5 hours ago

00:00:42

В Испании прошла выставка на тему того, куда идут налоги граждан

7.7K 23%

SaveClip.App_A74682468E045F3CBE611F1B0E5425A0_video_dashinit.mp4

5 hours ago

00:01:00

SaveClip.App_A74682468E045F3CBE611F1B0E5425A0_video_dashinit.mp4

271 51%

SaveClip.App_114449C5BDFB3608BCEAD84369A183B3_video_dashinit.mp4

5 hours ago

00:00:53

SaveClip.App_114449C5BDFB3608BCEAD84369A183B3_video_dashinit.mp4

43 54%

SaveClip.App_5D454ADFC94AC198FF3B4026E851CBB8_video_dashinit.mp4

6 hours ago

00:01:00

SaveClip.App_5D454ADFC94AC198FF3B4026E851CBB8_video_dashinit.mp4

191 39%

0 Comments

Guest