x, y, z

Поиск публикаций: компьютерные_науки

Поля поиска:




Запрос:
Номер раздела:
Сортировать:
Публикации: 71
|1|2|3|4| >>>
ПубликацияРазделКомм.
Валерий Опойцев
Как по одному проводу или радиоканалу одновременно разговаривают миллионы? Кодовое разделение каналов CDMA (Code Division Multiple Access) на основе ортогональной системы векторов.
Информатика, компьютерные науки ≫ Видео 0 Ø
RSA (аббревиатура от фамилий Rivest, Shamir и Adleman) — криптографический алгоритм с открытым ключом, основывающийся на вычислительной сложности задачи факторизации больших целых чисел. Алгоритм используется в большом числе криптографических приложений, включая PGP, S/MIME, TLS/SSL, IPSEC/IKE и других.
Информатика, компьютерные науки ≫ Видео 0 Ø
Николай Адрианов
В этом курсе мы познакомимся с замечательной теорией NP-полных задач. Проблема (не)равенства классов P и NP — одна из «задач тысячелетия», за каждую из которых объявлен приз в миллион долларов. Мы разберемся в определении класса NP и научимся доказывать NP-полноту различных комбинаторных задач (классические теоремы Кука–Левина и Карпа). Особое внимание уделим задаче выполнимости булевых формул SAT. Мы поиграем с программами, решающими эту задачу, разберем какие алгоритмы они используют, как результатом их работы может быть доказательство, допускающее автоматическую проверку. Научимся сводить логические головоломки и математические задачи к SAT, поговорим о судоку, задачах теории Рамсея, недавнем продвижении в задаче о хроматическом числе плоскости и о «самом большом математическом доказательстве».
Математика ≫ Видео 0 Ø
Лев Беклемишев
Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Математик Лев Беклемишев о теории множеств, интерактивных системах и проблеме о четырех красок.
Математика ≫ Видео 0 Ø
Юлия Зотова
Вы узнаете: Какие технологии называются квантовыми и почему. В чем преимущество квантовых технологий перед классическими. Что может и что не может квантовый компьютер. Как физики делают квантовый компьютер. Когда он будет создан.
Космология, астрономия ≫ Книги 0 Ø
Владимир Соколов, Алексей Семихатов
Вопрос науки
Как устроена технология блокчейн и каковы ее перспективы? Сколько криптовалют будет через 15 лет? Как, вообще, может существовать валюта, не привязанная к золотому запасу какой-либо страны? Об этом расскажет Владимир Соколов — заведующий лабораторией Международного института экономики и финансов НИУ ВШЭ.
Информатика, компьютерные науки ≫ Видео 0 Ø
Хотите разобраться, как устроена децентрализованная криптовалюта биткойн? В этом ролике простым языком описывается принцип работы блокчейн.
Информатика, компьютерные науки ≫ Видео 0 Ø
Сергей Марков
В 1950 году английский ученый Алан Тьюринг в статье "Вычислительные машины и разум" задался вопросом: "Может ли машина понимать человека?". Так родился знаменитый тест Тьюринга, в котором компьютер пытался обмануть людей. Но как компьютер понимает человека и чего он пока понять не может? Об этом по гамбургскому счету мы решили спросить специалиста в области машинного обучения, директора информационных технологий компании "Activebusinesscollection" Сергея Маркова.
Кибернетика, когнитивистика ≫ Видео 0 Ø
Кирилл Жовнер
Биткойн — пиринговая платёжная система, использующая одноимённую единицу для учёта операций и одноимённый протокол передачи данных. Для обеспечения функционирования и защиты системы используются криптографические методы.
Экономика ≫ Видео 0 Ø
Сергей Марков
На лекции мы обсудим вторую весну искусственного интеллекта в цифрах и фактах, ключевые работы в области искусственного интеллекта и машинного обучения в 2017 году. Поговорим о распознавании изображений, речи, обработке естественного языка и о других направлениях исследований; обсудим новые модели и оборудование 2017 года. Также поговорим о применении ИИ и машинного обучения в бизнесе, медицине и науке, а также обсудим, чего мы ждем от искусственного интеллекта и машинного обучения в 2018 году.
Кибернетика, когнитивистика ≫ Видео 0 Ø
Сергей Кулик
Какие условия должны соблюдаться при применении технологии квантовой криптографии? Каковы коммерческие перспективы этой технологии? Каким образом обеспечивается безопасность информации при использовании данного метода ее передачи? О принципе квантового распределения ключа, коммерческой составляющей квантовых технологий и информационной безопасности рассказывает доктор физико-математических наук Сергей Кулик.
Информатика, компьютерные науки ≫ Видео 0 Ø
Владимир Шалаев
Существует ли предел скорости обработки информации в электронике? Какое решение проблемы предлагают исследования в области нанофотоники? И как сфера квантовых технологий развивается в России? Об этом рассказывает PhD in Physics Владимир Шалаев.
Информатика, компьютерные науки ≫ Видео 0 Ø
Алексей Федоров
Электронно-цифровые подписи мы используем повсеместно. Это действительно один из самых простых, универсальных и надежных способов гарантировать наше авторство на какой-либо цифровой контент в цифровом мире. Однако, как было показано Питером Шором, квантовые компьютеры дают ускорение в решении ряда математических задач, в частности в решении задачи факторизации. Таким образом, квантовый компьютер может стать угрозой для инфраструктуры электронно-цифровых подписей. Физик Алексей Федоров о квантовых технологиях, принципе блокчейна и электронно-цифровых подписях.
Информатика, компьютерные науки ≫ Видео 0 Ø
Алексей Федоров
Физик Алексей Федоров о будущем гибридной криптографии, предпосылках возникновения квантового компьютера и задаче факторизации.
Информатика, компьютерные науки ≫ Видео 0 Ø
Юрий Кудряшов
Принцип исключенного третьего говорит, что любое утверждение либо истинно, либо ложно. В этом курсе мы откажемся от принципа исключенного третьего. Мы не сможем ни доказывать от противного, ни перебирать случаи. Зато все наши доказательства будут в каком-то смысле конструктивны: доказательство существования объекта всегда можно будет превратить в компьютерную программу, которая строит этот объект. На практике конструктивные доказательства полезнее неконструктивных. Я расскажу о некоторых утверждениях конструктивной математики и о её связи с компьютерными системами доказательств.
Математика ≫ Видео 0 Ø
Татьяна Романовская
Окраска многих животных устроена причудливо и замысловато. На клеточном уровне ее возникновение описывается реакционно-диффузными моделями при помощи систем дифференциальных уравнений. В недавней работе группа ученых из Швейцарии детально изучила механизм формирования окраски глазчатых ящериц Timon lepidus. Оказалось, что это происходит по правилам, характерным для дискретного клеточного автомата, где в роли ячеек автомата выступают отдельные чешуйки кожи ящериц. Математическое моделирование позволило понять, что реакционно-диффузная система может порождать клеточный автомат благодаря особым условиям — в данном случае это подходящие размеры чешуек и толщина кожи ящериц внутри и на границе чешуек.
Математика 0 Ø
Роман Фишман
Возьмите простое решетчатое пространство. Задайте набор нехитрых правил. Запустите время. Вы получили клеточный автомат — почти что целый мир.
Математика 0 Ø
Александр Панов
Специалист по Computer Science Александр Панов об искусственном интеллекте, целенаправленном действии и вычислительной модели неокортекса.
Кибернетика, когнитивистика ≫ Видео 0 Ø
В 1936 году советский инженер и учёный Владимир Лукьянов создал вычислительную машину, все математические операции в которой выполняла текущая вода. Гидравлический интегратор Лукьянова — первая в мире вычислительная машина для решения дифференциальных уравнений в частных производных — на протяжении полувека был единственным средством вычислений, связанных с широким кругом задач математической физики.
Информатика, компьютерные науки 0 Ø
Информатика, компьютерные науки 0 Ø
|1|2|3|4| >>>