• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Тел.: +7 (495) 772-95-90 * 12332

computerscience@hse.ru

125319, Москва, Кочновский проезд, д. 3 (недалеко от станции метро "Аэропорт"). 

 

Руководство

Декан — Аржанцев Иван Владимирович

 

Первый заместитель декана факультета — Вознесенская Тамара Васильевна

 

Заместитель декана по научной работе и международным связям — Объедков Сергей Александрович

 

Заместитель декана по административно-финансовой работе — Гергарт Ирина Александровна

Лабораторная ФКН


Лабораторная факультета компьютерных наук знакомит студентов и сотрудников факультета с исследованиями, которые ведутся в его научно-исследовательских лабораториях, и наиболее интересными результатами, полученными в рамках этих исследований за последнее время.

Лабораторная проводится ежемесячно по вторникам в 18:10.

Заказ пропуска: computerscience@hse.ru


2016


24 января, 18.10 - 19.30, ауд.205

Знаковые модели обучения в задаче планирования поведения

Панов Александр Игоревич

Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС): Научный сотрудник

 



Одной из ключевых стадий при разработке методов планирования поведения является стадия описания используемого способа представления знаний и алгоритмов его построения и пополнения. Для решения реальных задач, а также задач, в которых функционирование интеллектуального агента (программного или робототехнического) происходит в недетерминированной среде с другими активными участниками, невозможно заранее сформировать базу знаний и необходимо разрабатывать методы по ее пополнению. Таким образом, обучение в задаче планирования приобретает особую важность, а разработка соответствующих алгоритмов и подходов, использующих как известные методы машинного обучения, обучения по прецедентам, так и новые методы, учитывающие специфику процесса планирования и коллективного взаимодействия, является достаточно актуальной. В настоящем докладе будут представлены некоторые результаты по разработке знакового способа представления знаний интеллектуального агента, опирающиеся на некоторые психологические теории и нейрофизиологические данные. Будут предложены модели обучения (образования нового знака), с помощью которых пополняется картина мира агента, планирующего свое поведение, и представлены результаты предварительных модельных экспериментов.

 Афиша лабораторной (PDF, 159 Кб)


15 ноября, 18.10 - 19.30, ауд.205

Триадический анализ формальных понятий и трикластеризация

Игнатов Дмитрий Игоревич

Международная научно-учебная лаборатория интеллектуальных систем и структурного анализа: Научный сотрудник

 

Анализ формальных понятий (АФП) возник в начале 1980-х гг. как математическая теория, опирающаяся на математическую формализацию понятия и понятийного мышления, и впоследствии стал популярным подходом алгебраического анализа данных. Иерархии понятий извлекаются из объектно-признаковых данных, а их диаграммы порядка используются для визуализации и последующего анализа. Каждое формальное понятие можно рассматривать как абсолютно плотный бикластер для исходных объектно-признаковых данных.



В докладе представлена попытка найти “оптимальные” паттерны в триадических данных при наличии дополнительного по отношению к объектам и признакам измерения. Типичным примером таких данных являются фолксономии в системах совместного доступа к ресурсам, когда имеются множества пользователей, ресурсов (например, документов) и тегов, которые пользователи присвоили конкретным ресурсам. Мы обсудим результаты сравнения пяти методов трикластеризации по ресурсной эффективности, шумоустойчивости и четырем критериям качества и покажем, что задача поиска оптимального трикластерного покрытия NP-трудна, а подсчет таких покрытий относится к классу #P-полных задач.

Мы также обсудим применимость рассмотренных методов к задачам рекомендательных систем и анализу многомерных данных в различных областях.

 Афиша Лабораторной (PDF, 75 Кб)

 Слайды выступления (PDF, 9.03 Мб)

Dmitry I. Ignatov, Dmitry V. Gnatyshak, Sergei O. Kuznetsov, Boris G. Mirkin:
Triadic Formal Concept Analysis and triclustering: searching for optimal patterns. Machine Learning 101(1-3): 271-302 (2015)


Dmitry I. Ignatov, Sergei O. Kuznetsov, Jonas Poelmans, Leonid E. Zhukov:
Can triconcepts become triclusters? Int. J. General Systems 42(6): 572-593 (2013)


18 октября, 18.10 - 19.30, ауд.205

Интерактивный аналог теоремы Вольфа – Слепяна

Козачинский Александр Николаевич

Международная лаборатория теоретической информатики: стажер-исследователь

В теории информации рассматривается следующая ситуация: отправителю (Алисе) надо передать некоторую информацию получателю (Бобу) по бесшумному каналу наиболее экономным способом. При этом возможны различные уточнения постановки задачи. Например, Боб может обладать или не обладать некоторой дополнительной информацией о входе Алисы. Рассматриваются различные ограничения на то, какими могут быть входы Алисы и Боба. В наиболее общем виде — это произвольные случайные величины. Кроме того, например, можно потребовать, чтобы входы брались из большого (стремящегося к бесконечности) числа независимых испытаний одной и той же случайной величины.

В теореме Вольфа – Слепяна рассматривается как раз это ограничение и устанавливается асимптотика длины оптимального кодирования (даже если у Боба есть вспомогательная информация). В докладе будет рассказано о том, что изменится, если из теоремы Вольфа – Слепяна убрать требование большого числа независимых испытаний. Основное отличие состоит в том, что придется разрешить Бобу посылать ответные сообщения Алисе, чтобы корректировать ее действия. Будет рассказано и о значении этой задачи для коммуникационной сложности.



 Афиша Лабораторной (PDF, 234 Кб)


7 июня

Эксперимент CRAYFIS: космическая обсерватория на основе мобильных телефонов

Борисяк Максим Александрович

Научно-учебная лаборатория методов анализа больших данных: Стажер-исследователь

 

Изучение космического излучения — одно из приоритетных направлений в астрофизике. В то время как излучение в области низкоэнергетического спектра хорошо изучено, космические лучи ультравысоких энергий (> 1018 эВ) остаются загадкой для ученых. Основная проблема, с которой сталкиваются при их изучении, — частицы таких энергий крайне редки: предсказываемые частоты начинаются от 1 частицы на квадратный километр в год.Эксперимент CRAYFIS (Cosmic RAYs Found In Smartphones) предлагает уникальную схему обсерватории — использование мобильных телефонов добровольцев в качестве наземного массива детекторов. Проходя через атмосферу, космические лучи высоких энергий порождают ливень вторичных частиц, к которым чувствительны камеры мобильных телефонов. Расположенная в небольшом радиусе, группа всего из нескольких активных телефонов обладает чувствительностью, достаточной для регистрации исследуемого излучения. По предварительным расчетам, всего миллион активных телефонов обладает покрытием, сравнимым с крупнейшей космической обсерваторией. В докладе будут рассмотрены общая схема эксперимента и задачи, возникающие при обработке данных, а также будет подробно разобрана задача, состоящая в обнаружении следов мюонов на камере телефона и работе с данными Монте-Карло.

 Афиша Лабораторной (PDF, 1.22 Мб)


24 мая 

Вложенные сети Петри: применение и анализ поведенческих свойств


Дворянский Леонид Владимирович

Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС): Научный сотрудник

 

Аннотация:

Вложенные сети Петри — формализм, позволяющий моделировать распределенные системы с динамической структурой. В мире повсеместных вычислений и постоянно усложняющихся технологий построение корректных распределенных программных систем становится все более непростой задачей. Одним из инструментов анализа поведенческих свойств систем являются инварианты поведения. В докладе будет рассмотрен способ обобщить линейные инварианты обыкновенных сетей Петри на вложенные сети Петри, а также некоторые вопросы, связанные с применением и временной семантикой вложенных сетей.

Место: ауд. 317, Кочновский проезд,д. 3, 18:10 – 19:30.

 Афиша (PDF, 1.69 Мб)