Департамент больших данных и информационного поиска (original) (raw)
Две недели науки: математики ФКН в Китае и Вьетнаме
Сотрудники научно-учебной лаборатории алгебраических групп преобразований ФКН ВШЭ приняли участие в двух международных научных мероприятиях.
Выездной семинар в Вороново, или как ПАД встретил лето
Преподаватели и студенты бакалавриата «Прикладной анализ данных» приняли участие в выездном семинаре, организованном совместно с департаментом больших данных и информационного поиска в учебном центре ВШЭ «Вороново». За три дня с 30 мая по 1 июня, наши коллеги успели обсудить развитие образовательной программы, провести и послушать лекции и отдохнуть.
Департамент создан в 2014 году, одновременно с созданием факультета компьютерных наук на основе базовой кафедры Яндекса, которая вошла в его состав. Основу департамента составляют научные группы, ведущие исследования мирового уровня в области машинного обучения, теоретической информатики, распределенных вычислений, масштабируемых алгоритмов для обработки больших данных, компьютерного зрения, обработки текстов, информационного поиска и графических моделей.
On the expressive power of some extensions of Linear Temporal Logic
Zakharov V., Gnatenko A.
In bk.: Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018. Yaroslavl: Ярославский государственный университет им. П.Г. Демидова, 2018. P. 29-36.