Коллоквиум в 2019/2020 году
28 апреля, 18:10 – 19:30
Антонио Родригес, НИУ ВШЭ
Растровые данные с геопривязкой: настоящее и будущее
Сегодня генерируются колоссальные объемы растровых данных с географической привязкой. Растровые геоданные, которые получают с космических спутников, лидаров, беспилотных летательных аппаратов и других платформ, ежедневно используют для решения важных практических задач в мониторинге окружающей среды, транспорте, городском планировании, сельском и лесном хозяйстве, страховании, секторе недвижимости и многих других сферах. Разнообразие данных, практических задач и стремительный рост объемов данных порождают новые вызовы, которые привлекают исследователей из области компьютерных наук. В докладе будет выполнен обзор основных доступных растровых данных с географической привязкой, решаемых задач с их использованием, современных информационных технологий для обработки этих данных, а также перспектив в этой отрасли.
18 февраля, 18:10 – 19:30
Покровский бульвар 11, ауд. R406
Laurent Beaudou (НИУ ВШЭ)
Of Points and Lines: Graphs, Metrics, and Betweenness
Given n points in the Euclidean plane, they are either all collinear or define at least n distinct lines. This result is a corollary of the Sylvester-Gallai theorem. Its combinatorial generalization was proven by de Bruijn and Erdös in the forties. In 2008, Chen and Chvátal described a generalization of the notion of a line to any metric space and conjectured that the same result remains true in that framework. Since then, a growing community of researchers has been investigating this question. It remains open for metric spaces and even for those specific metric spaces generated by graphs. In this talk, we shall see a broad overview of the state of research on the matter: results and (many!) remaining open questions.
28 января, 18:10 – 19:30
Покровский бульвар 11, ауд. R201
Денис Деркач (НИУ ВШЭ)
Использование генеративных моделей в физике частиц
Применение методов машинного обучения стало стандартом при анализе данных в физике частиц. Эти методы применяются на всех стадиях от первичного сбора данных до финального анализа. Новый запуск Большого адронного коллайдера, запланированный на 2021 год, откроет новую страницу применения машинного обучения из-за возросшей скорости обработки данных и новых технологий, доступных для их анализа. Одной из важных проблем при этом станет наличие достаточного количества симулированных событий, необходимых для детального понимания происходящего в данных. В докладе будут описаны текущие разработки по применению генеративных моделей для быстрой симуляции взаимодействия частиц с детектором. Эти подходы позволяют значительно снизить затраты компьютерных и человеческих ресурсов, а также в перспективе улучшить систематические погрешности измерения.
17 декабря, 16:40 – 18:00
Покровский бульвар 11, ауд. R205
Алексей Мицюк (НИУ ВШЭ)
Что делать, если модель процесса не вполне соответствует реальности?
В центре внимания process mining находятся способы автоматического синтеза моделей для процессов, происходящих в технических или социальных системах. Не менее важными являются алгоритмы, обеспечивающие возможность проверить, соответствует ли уже имеющаяся модель реальному процессу, следы исполнения которого записаны в журналах событий. Но как поступить, если в результате такой проверки выяснилось, что существующая модель не вполне отражает реальный процесс? Конечно, можно синтезировать новую модель «с нуля». Но при этом можно потерять полезные свойства исходной модели. В последние годы были предложены методы для исправления, корректировки, адаптации моделей процессов, которые могут помочь путём не слишком существенных изменений привести имеющуюся модель в соответствие реальному процессу. Эти методы и будут рассмотрены в докладе.
12 ноября, 16:40 – 18:00
Покровский бульвар 11, ауд. R401
Jie-Hong Roland Jiang (National Taiwan University)
Some Adventures in Boolean Satisfiability and Its Logic Synthesis Applications
Boolean satisfiability (SAT) is a fundamental NP-complete problem. Its general and simple formulation makes it an ideal problem to tackle. Although SAT is intractable, many efficient solvers have been engineered and widely applied in industries. This talk will introduce some of the key enabling techniques in SAT solving and showcase some applications in logic synthesis.
10 сентября, 16:40 – 18:00
Покровский бульвар 11, ауд. R503
Ulrich Furbach, University of Koblenz and wizAI GmbH
From Theorem Proving to Cognitive Reasoning
Starting from a depiction of the state of the art in predicate logic theorem proving we address problems which occur if provers are applied in the wild. In particular we discuss how automated reasoning systems can be used for natural language question answering. Our approach to take common sense reasoning benchmarks within the Corg project is presented and we demonstrate how word embeddings can help with the problem of axiom selection.