x, y, z

Информатика, компьютерные науки > Видео

Сортировать:
|1|2|3| >>>
ПубликацияРазделКомм.
Сергей Кулик
Какие условия должны соблюдаться при применении технологии квантовой криптографии? Каковы коммерческие перспективы этой технологии? Каким образом обеспечивается безопасность информации при использовании данного метода ее передачи? О принципе квантового распределения ключа, коммерческой составляющей квантовых технологий и информационной безопасности рассказывает доктор физико-математических наук Сергей Кулик.
Информатика, компьютерные науки > Видео 0 Нет
Владимир Шалаев
Существует ли предел скорости обработки информации в электронике? Какое решение проблемы предлагают исследования в области нанофотоники? И как сфера квантовых технологий развивается в России? Об этом рассказывает PhD in Physics Владимир Шалаев.
Информатика, компьютерные науки > Видео 0 Нет
Алексей Федоров
Электронно-цифровые подписи мы используем повсеместно. Это действительно один из самых простых, универсальных и надежных способов гарантировать наше авторство на какой-либо цифровой контент в цифровом мире. Однако, как было показано Питером Шором, квантовые компьютеры дают ускорение в решении ряда математических задач, в частности в решении задачи факторизации. Таким образом, квантовый компьютер может стать угрозой для инфраструктуры электронно-цифровых подписей. Физик Алексей Федоров о квантовых технологиях, принципе блокчейна и электронно-цифровых подписях.
Информатика, компьютерные науки > Видео 0 Нет
Алексей Федоров
Физик Алексей Федоров о будущем гибридной криптографии, предпосылках возникновения квантового компьютера и задаче факторизации.
Информатика, компьютерные науки > Видео 0 Нет
Юрий Кудряшов
Принцип исключенного третьего говорит, что любое утверждение либо истинно, либо ложно. В этом курсе мы откажемся от принципа исключенного третьего. Мы не сможем ни доказывать от противного, ни перебирать случаи. Зато все наши доказательства будут в каком-то смысле конструктивны: доказательство существования объекта всегда можно будет превратить в компьютерную программу, которая строит этот объект. На практике конструктивные доказательства полезнее неконструктивных. Я расскажу о некоторых утверждениях конструктивной математики и о её связи с компьютерными системами доказательств.
Математика > Видео 0 Нет
Александр Панов
Специалист по Computer Science Александр Панов об искусственном интеллекте, целенаправленном действии и вычислительной модели неокортекса.
Кибернетика, когнитивистика > Видео 0 Нет
Елена Белоусова
Каждый день мы пользуемся банковскими картами и даже не подозреваем, как легко с них украсть деньги. На лекции вы узнаете простейшие способы защиты денежного кусочка пластика.
Информатика, компьютерные науки > Видео 0 Нет
Илья Танрывердиев
В наш век информационных технологий нейросети и автоматизация процессов занимает все больше и больше места. О принципах работы нейросети, как с ее помощью автоматизировать экономические процессы и о многом другом расскажет кандидат технических наук, доцент кафедры проектирования и производства электронно-вычислительных средств ПГТУ, Танрывердиев Илья Оруджевич.
Кибернетика, когнитивистика > Видео 0 Нет
Иван Иванчей
Когнитивная психология с самого начала своей истории описывала человека как вычислительную машину. Иван расскажет о ключевых моментах развития этого пути исследования человека, к чему он привёл на сегодняшний день и как учёные моделируют такие таинственные и, как кажется, присущие только человеку процессы, как интуиция, предвидение, инсайт и уверенность.
Кибернетика, когнитивистика > Видео 0 Нет
Владимир Тихомиров
Энтропия — мера неопределённости, мера хаоса. В естественных науках это мера беспорядка системы, состоящей из многих элементов; в теории информации — мера неопределённости какого-либо опыта, процесса или испытания, которые могут иметь разные исходы (а значит, мера количества информации); в математике — мера сложности объекта или процесса. Понятие энтропии было впервые введено в 1865 году Р. Клаузиусом в термодинамике, К. Шенноном в теории информации в 1949 г., в теории стохастичпеских процессов Колмогоровым, Гельфандом и Яглом в 1956 г., в функциональном анализе и теории динамических систем Колмогоровым в 1956–1958 гг. Между мирами полной детерминированности, изучаемой классическим анализом и миром хаоса, изучаемым теорией вероятностей, ныне перекидывается мост, который связан с понятием энтропии.
Математика > Видео 0 Нет
Александр Зильберман
Зильберман Александр Рафаилович. Летняя школа «Современная математика», г. Дубна 28 июля 2007 г.
Математика > Видео 0 Нет
Александр Шень
План лекций: Доказуемость и недоказуемость (почему некоторые утверждения нельзя ни доказать, ни опровергнуть?); Вычислимые функции (почему некоторые функции нельзя вычислить на компьютере?); Сложность алгоритмов; Формальные языки и исчисления.
Математика > Видео 0 Нет
Антон Трушечкин
Март 2016 года ознаменовался сенсацией в области информатики и искусственного разума: программа AlphaGo, разработанная компанией Google DeepMind, выиграла со счётом 4:1 матч в го у одного из сильнейших гоистов мира Ли Седоля. До этого игра го считалась недоступной для компьютера, ввиду того что большую роль в ней играют не только расчёт, но и такие сложно формализуемые понятия, как интуиция, чувство гармонии и т.п. Как же удалось научить машину «чувствовать гармонию», преодолеть ограничения классических методов машинного анализа игр? В докладе будут рассмотрены как классические методы (минимакс, альфа-бета-отсечение), которые показали свою эффективность в шахматах и шашках, так и методы, воплощённые в программе AlphaGo: поиск на дереве методом Монте-Карло, свёрточные нейронные сети для распознавания изображений, обучение с подкреплением.
Информатика, компьютерные науки > Видео 0 Нет
Юрий Матиясевич
Наряду с привнесением революционных идей в информатику, искусственный интеллект и биологию, Тьюринг внес существенный вклад и в такой традиционный раздел математики, как теория чисел. К сожалению, даже о сaмом существовании таких исследований Тьюринга за пределами круга теоретико-числовиков известно немногим. Все опубликованные Тьюрингом работы по теории чисел связаны с одним, но фундаментальным вопросом этой области математики — распределением простых чисел. В частности, Тьюринг предложил метод для проверки справедливости гипотезы Римана для начальных нулей дзета функции Римана. Этот метод остается основным и при всех современных вычислениях на суперкомпьютерах. Тьюринг также изобрел механическое устройство для вычисления нулей дзета функции, получил грант на его реализацию, но эта работа была прервана войной и никогда не закончена.
Математика > Видео 0 Нет
Алексей Сосинский
В алгоритмической теории информации колмогоровская сложность объекта (такого, как текст) есть мера вычислительных ресурсов, необходимых для точного определения этого объекта. Колмогоровская сложность также известна как описательная сложность, сложность Колмогорова — Хайтина, стохастическая сложность, алгоритмическая энтропия или алгоритмическая сложность.
Математика > Видео 0 Нет
Thomas Fernique
Теорема о четырёх красках утверждает, что всякую расположенную на сфере карту можно раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок границы, были раскрашены в разные цвета. В виде проблемы она была сформулирована в 1852 году — и доказана в 1976-м лишь с помощью компьютера. Такое решение не всем понравилось, и некоторые до сих пор ждут доказательства, которое можно проверить без компьютера. Другие (как великий математик Владимир Воеводский) — наоборот, стали развивать автоматическую проверку правильности доказательств на компьютере… В курсе мы разберем доказательство теоремы о четырёх красках (это простая комбинаторика, доступная любому школьнику), а также обсудим сегодняшнее использование компьютера в математике (надо примерно знать, что такое компьютер).
Математика > Видео 0 Нет
Дмитрий Чернавский
Все слышали слово «синергетика», гораздо меньше народу знает, что это относится к закономерностям развития сложных неравновесных систем, и уж совсем немногие точно представляют себе, что это такое. Из первых рук нам об этом расскажет один из адептов синергетики в России, автор физической концепции «белок — машина», биолог и физик Дмитрий Чернавский.
Информатика, компьютерные науки > Видео 0 Нет
Системы искусственного интеллекта, которые могут играть в абстрактные, стратегические и настольные игры, прошли огромный путь, однако как на самом деле устроены их «мозги»?
Кибернетика, когнитивистика > Видео 0 Нет
Джозеф Браун
На чем основаны генетические алгоритмы? Как происходит создание различных уровней в компьютерной игре? Каковы перспективы применения эволюционных алгоритмов? На эти и другие вопросы отвечает доцент Университета Иннополис Джозеф Браун. Процедурная генерация контента в играх — это процесс автоматического создания различных ресурсов. Таким образом можно создавать повествование или сюжет игры или более простые объекты, такие как деревья. Или какие-нибудь элементы игрового процесса. Например, какие будут уровни. Этим я в основном и занимаюсь: как создать уровень, который отвечает некоторым ожиданиям игрока и некоторым ожиданиям в контексте повествования. Я использую много приемов из области, которая называется вычислительный интеллект. А вычислительный интеллект применяет биоинспирированные методы для решения сложных задач оптимизации.
Информатика, компьютерные науки > Видео 0 Нет
Мультфильм рассказывает об использовании идеи биологической эволюции в задачах искусственного интеллекта, истории эволюционных алгоритмов и принципах их работы. Все это подробно изучается на магистерской программе Университета Иннополис «Робототехника». Историю об эволюционных алгоритмах нам помог рассказать доцент, руководитель Лаборатории искусственного интеллекта в разработке игр Университета Иннополис Джозеф Браун.
Информатика, компьютерные науки > Видео 0 Нет
|1|2|3| >>>