• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинары и мероприятия лаборатории

Лаборатория проводит международные и периодические семинары, организует публичные лекции и участвует в различных мероприятиях НИУ ВШЭ.

Информация о планируемых мероприятиях публикуется на странице анонсов лаборатории.
На данной странице расположены мероприятия текущего года. О мероприятиях предыдущих годов вы можете узнать на странице Архива мероприятий.

На семинары открытый доступ для всех желающих.
Для студентов, аспирантов, преподавателей и сотрудников НИУ ВШЭ - вход свободный.
При необходимости заказа пропуска в здание НИУ ВШЭ просьба сообщить по e-mail: lantropova@hse.ru.


ТемаСовместное заседание лабораторий ПОИС и ИССА - Предварительная защита кандидатских диссертаций  А.А.Мицюка.
Место проведения: Кочновский проезд, 3, 16:40
В работе предлагаются алгоритмы для решения задачи исправления модели процесса на основе информации о его актуальном поведении, записанной в журнале событий.

Исходными данными задачи являются модель процесса в виде сети Петри и журнал событий, содержащий последовательности записей о выполнении действий процесса.
Результатом исправления должна быть новая модель процесса, которая 
- лучше соответствует журналу событий, чем исходная модель;
- по возможности мало отличается от исходной модели по структуре.

Тема: Семинар ММИТ — Ongoing research on Computational Neurosciences and Cybernetics Systems (CONCYS) at Federal University Rio Grande do Sul (UFRGS), Brazil
Докладчик: Prof. Dr. Dante Barone, Institute of Informatics, Federal University Rio Grande do Sul. Porto Alegre - Brazil
Место проведения: Кочновский проезд, 3. ауд. 317, 16:40
Computational Neuroscience (CN) is the field of study in which mathematical tools and neuroscience theories are used to investigate how the brain operates, both normal and abnormal. It is truly an interdisciplinary domain, where many disciplines contribute, such as Computer Science, Neuroscience, Psychology, Mathematics, Physics, Philosophy, among others. Its main aim is to build biological and plausible models able to reproduce brain functions. Based on numerical modelling, CN supports theoretical neuroscience trying to understand some brain phenomena through computational simulations. Thanks to the quick grow of computing power, CN has achieved some important advances in its effort for simulate large networks of the brain. Projects such as the european Human-Brain Project (HBP), Brain Research through Advancing Innovative Neurotechnologies (BRAIN), USA – Brain Project demonstrate how CN is a consolidate and growing research area. In the last decades, CN has been playing an important role. In order to give a broader view of the area, some important factors to the scientific community interested on CN will be presented as main conferences, vehicles for publications, associations and etc, evidently having Computer Science on mind. In this context, a latin american perspective on CN will also be presented. Last year the Federal University of Rio Grande do Sul (UFRGS), the main research public and federal university in Brazil has organized the first edition of Latin-American Workshop in Computational Neuroscience (I LAWCN), which had prof. Barone as the general chair, with three main topics: a) Neuroscience, b) Neuroengineering and c) Artificial Intelligence and related techniques. The Proceedings were published by Springer. LAWCN contributed as a starting point for the creation at the Informatics Institute of UFRGS the Computational Neuroscience and Cybernetics Systems laboratory (CONCYS). Currently the research carried out in this lab includes topics such as Working Memory, Psycholinguistics, Natural Language Processing (NLP), electroencephalography (EEG), Eye-Tracking, Human-Computer Interaction (HCI), Human Factors and Neuroergonomics, Computational Modelling and Artificial Intelligence, mainly related to Deep Learning issues. Then, the aim of this presentation is introducing the audience into CN, giving an overview through its history, influence, research and initiatives (as the mentioned above) giving an emphasis on our research at CONCYS as well."

Тема: Второй семинар "Анализ данных в медицине 2018" (АДаМ-18)
Место проведения: Кочновский проезд, 3. ауд. 205 с 9:30 до 12:00, ауд. 402 с 12:00 до 18:00.
Докладов по следующим темам:
- Анализ данных (тексты и изображения)
- Big Data в здравоохранении
- Персонализированная медицина
- Рекомендательные системы в здравоохранении
- mHealth для прогнозирования развития болезней и реакции на терапии

Тема: Семинар ММИТ — Granular Clustering: Augmenting Principles, Realizing Symbolic-Granular Descriptions and Application-Oriented Implications
Докладчик: Dr. Witold Pedrycz, Professor and Chair Canada Research Chair IEEE Fellow Professional Engineer Department of Electrical and. Computer Engineering, University of Alberta, Edmonton, Canada
Место проведения: Кочновский проезд, 3. ауд.219,16:40-18:10
Clustering has been for decades a focal point of studies quite often researched in relation with modeling, pattern classification, and data analysis. With the advent of data analytics bringing a suite of new problems, clustering has been subjected to a visible paradigm shift. Granular clustering, the term being recently used, has emphasized the role of clustering regarded as a sound vehicle to construct information granules – entities aimed at the building abstract yet flexible and adjustable views at data, facilitating processing of  masses of data and subsequently constructing interpretable models. 
The term granular clustering can be sought from the two general points of view; in this talk those perspectives are carefully analyzed along with a formulation of far reaching ramifications. The first general view is concerned with the formation of information granules completed on a basis of predominantly numeric (non-granular) data. The alternative view stresses the clustering of granular data themselves. The hybrid architectures of these views are also investigated.
While the results of clustering algorithms are conveyed through numeric constructs (say, prototypes and partition matrices, etc.), we discuss here an attractive alternative of symbolic (qualitative) characterization of information granules (clusters), which supports higher levels of interpretability and offers insights into aspects of stability of structural findings.
In the setting of data analytics, there are several well-articulated and emerging challenges. Considering objective function-based clustering, these techniques return a small number of numeric representatives (prototypes) of big data. This triggers a question as to the representation capabilities of the prototypes. A certain line of research is to augment the numeric prototypes produced by their granular generalizations (viz. granular prototypes) and optimize their abilities to capture the essence of the data. We discuss a direction of research aimed at building optimal granular prototypes and their characterization.  It is shown that some clustering techniques exhibiting a great deal of flexibility (such as e.g., DBSCAN or hierarchical clustering) still require a concise characterization of the comprehensive results coming in the form of granular prototypes. An impact on ensuing modeling (viz. modeling exploiting granular data) is discussed.
Clustering techniques are commonly concerned with the formation of direction-free  (relational) constructs such as those being used in association (linkage) analysis. The accommodation of the aspect of directionality (required to cope with in various modeling tasks) entails another wave of pursuits that are referred to as direction-sensitive clustering. "

Тема: 3-й Колмогоровский семинар по компьютерной лингвистике и наукам о языке
Место проведения: Кочновский проезд, 3. ауд.219,16:40-18:10
Основная цель семинара - активизировать обмен идеями между исследователями естественного языка и теми, кто создает практические приложения и инструменты для его автоматической обработки. Семинар организован совместно Департаментом анализа данных и исскуственного интеллект, МНУЛ Интеллектуальных систем и структурного анализа  и Школой лингвистики. К участию в семинаре приглашаются исследователи, занимающиеся различными проблемами обработки естественного языка. Исследования могут быть посвящены как практическим подходам и инструментам, так и теоретическим вопросам.  В теоретических работах, тем не менее, приветствуется наличие результатов, указывающих на возможность практического применения при решении задач обработки языка.

Тема: Предварительная защита кандидатской диссертации Максименковой Ольги Вениаминовны
Место проведения: Кочновский проезд, 3. ауд.322,16:40-18:10
в рамках  семинара ""Математические модели информационных технологий""  департамента анализа данных и искусственного интеллекта и МНУЛ ""Интеллектуальные системы и структурный анализ"" под руководством С.О. Кузнецова состоится предварительная защита кандидатской диссертации Максименковой Ольги Вениаминовны на тему ""Совершенствование информационных систем учебного назначения на основе моделей процессов жизненного цикла контрольно-измерительных материалов"" (специальность 05.25.05 Информационные системы и процессы)
Научный руководитель: д.т.н., Зыков Сергей Викторович
С текстом автореферата и диссертации можно ознакомиться в Департаменте анализа данных и искусственного интеллекта факультета компьютерных наук.

Тема: Предварительная защита кандидатской диссертации Масютина Алексея Александровича  
Место проведения: Кочновский проезд, 3. ауд.219,16:40-18:10
Прошла защита кандидатской диссертации Масютина Алексея Александровича на тему: ""Interval pattern structures randomized algorithms for classification and regression tasks in credit risk management"", специальность 05.13.18 - ""Математическое моделирование, численные методы и комплексы программ"".Научный руководитель: д. ф.-м. н., профессор Кузнецов Сергей Олегович.С текстом автореферата и диссертации можно ознакомиться в Департаменте анализа данных и искусственного интеллекта факультета компьютерных наук. 

Тема: Актуальные направления исследований и  проблемы современной  кардиологии
Докладчик: Талашов Константин Леонидович, начальник департамента здравоохранения Костромской области
Место проведения: Кочновский проезд, 3. ауд.219,16:40-18:10
Более 50% населения в возрасте после 50 лет страдают сердечно-сосудистыми заболеваниями. В докладе будут рассмотрены следующие темы:
1. Основные направления исследований в современной кардиологии.
2. Обзор объективных методов исследования пациента и кардиологического диагностического оборудования
3. Описание проблем и ограничений применения диагностического кардиологического оборудования и современных диагностических технологий с позиций соотношения информативность/стоимость, доступности, и др.  Оценка значения результатов диагностических тестов как фактора изменяющего степень вероятности  диагноза  и изменения лечебной тактики.
4. Краткое исследование проблемы автоматического анализа кардиологических данных (ЭКГ) и постановки диагноза на конкретных примерах искажений объективных данных генерируемых диагностическим оборудованием.

Aspect Based Recommendations: Recommending Items with the Most Valuable Aspects Based on User Reviews
Prof. Alexander Tuzhilin, Leonard N. Stern Professor of Business and the Chair of the Department of Information, Operations and Management Sciences at the Stern School of Business, NYU
Место проведения:
Кочновский проезд, 3. ауд.509, 18:10
This talk will present a new recommendation technique, called Sentiment Utility Logistic Model (SULM), that not only can recommend items of interest to the user, as traditional recommendation systems do, but also specific aspects of consumption of the items to further enhance user experiences with those items. For example, it can recommend the user to go to a particular restaurant (item) and also order some specific foods there, such as seafood (an aspect of consumption). SULM uses sentiment analysis of user reviews by first predicting the sentiment that the user may have about the item based on what she might express about the aspects of the item and then identifies the most valuable aspects of user’s potential experience with that item. Furthermore, the method can recommend items together with those most important aspects over which the user has control and can potentially select them, such as the time to go to a restaurant and what to order there. The proposed method was tested on three applications (restaurant, hotel, and beauty&spa), and it was experimentally shown that those users who followed the recommendations of the most valuable aspects while consuming the items, had better experiences, as defined by the overall rating.


Тема: Integrating Tools for Retrospective Analysis of Big Collection of Clinical Narratives
Докладчик: Assoc. Prof. Dr. Svetla Boytcheva, Bulgarian Academy of Sciences
Место проведения: Кочновский проезд, 3. ауд.509, 18:10
Аннотация: Today more than 80% of the patient-related clinical information is stored as free text in the Electronic Health Record systems. During the last decade several Information Extraction system for analysis of clinical narratives were developed – for diagnosis extraction, drugs and dosage identification, recognition of complaints and related events, risk factors, etc. Despite the achievements in this area these systems are difficult to (re)use because most of them, including the associated linguistic resources, are language specific (mainly for English language) and cannot be easily adapted for other languages. Moreover, they are developed either as academic research projects or as commercial software. Usually their results are evaluated on annotated corpora manually tuned to specific tasks, so that the performance assessment is difficult as well. The presentation discussed the automatic generation of Diabetic Register from very large repository of free text clinical documents (currently 262 million pseudonymised outpatient records submitted to the Bulgarian National Health Insurance Fund in 2010-2016 for more than 5 million citizens yearly). The construction relies on advanced automatic analysis of free text information as well as on Business Analytics technologies for storing, maintaining, searching, querying and analyzing big data. Original frequent pattern mining algorithms enable to discovery of complex relations between some disorders (comorbidities) taking into account context information. The experiments confirm some known comorbidities; in addition novel hypotheses for discovery of stable comorbidities were generated. Effective explication of comorbidities can fill knowledge gaps and assist informed clinical decision making. The claim is that the synergy of modern analytics tools transforms a static archive of clinical patient records to a sophisticated software environment for knowledge discovery and prediction.


Тема: Синтезатор текста по онтологическому представлению как базовый компонент при разработке диалоговых систем
Докладчик: Емельянов Антон
Место проведения: Кочновский проезд, 3. ауд.329, 17:30
Аннотация: В последнее время в мире наблюдается бурное развитие диалоговых систем различного профиля: от примитивных чатботов, решающих отдельные простые задачи, до комплексных систем, агрегирующих множество функций. Современные диалоговые системы анализируют звуковой поток, распознают речь, определяют желания пользователя, стараются произвести действия, наилучшим образом соответствующие этим желаниям, генерируют языковое сообщение и синтезируют по нему ответный звуковой фрагмент. Для создания диалоговой системы, имеющей синтезатор ответов и анализатор запросов пользователя, современные подходы используют корпуса текстов. Однако, сейчас не для всех предметных областей существуют текстовые корпуса. А чтобы собрать корпус, система должна некоторое время работать и собрать статистику ответов и запросов пользователя. В данной работе предлагается подход к построению синтезатора текста для диалоговой системы, использующий автоматическое генерирование корпуса по онтологическому представлению предметной области. Также в рамках работы предполагается создание инструмента, позволяющего автоматически создавать синтезатор ответов, анализатор сообщений пользователя, а также генератор онтологических представлений для диалоговых систем. Поставленная задача требует проведения исследования по двум направлениям: использование онтологий при разработке диалоговых систем, применение нейронный сетей к задаче структурного анализа и синтеза текста.

Bounded Skeptical Reasoning
Prof. Dr. Steffen Holldobler, TU-Dresden
Место проведения:
Кочновский проезд, 3. ауд. 205, 13.40
Адрес: г. Москва, Кочновский проезд,3, ауд. 205
Начало: 13:40
The weak completion semantics is a new cognitive theory which has been applied to model — among others — the suppression task, the selection task, and syllogistic reasoning. In each of these applications it was necessary to apply skeptical abduction. The application of credulous abduction leads to either wrong conclusions in the suppression and the selection task or to an overall weaker performance in syllogistic reasoning. On the other hand, from a complexity point of view, computing skeptical conclusions is quite expensive. If reasoning tasks and, in particular, the sets of abducibles considered in abductive reasoning tasks become larger, then skeptical reasoning appears to be infeasible. Hence, I will argue for bounded skeptical reasoning

 Предварительная защита кандидатской диссертации Орлова Михаила Анатольевича
Адрес: г. Москва, Кочновский проезд,3, ауд. 329
Tема диссертации: «Разработка модели и метода линейной многокритериальной стратификации» 
Научный руководитель: д.т.н, профессор Миркин Б.Г.

: Семинар "Анализ данных в медицине 2017 (АДаМ-17)"
Адрес: г. Москва, Кочновский проезд,3, ауд. 317
Начало: 10:00-18:00
Аннотация: Семинар призван охватить широкий спектр развивающихся и перспективных научных разработок в диагностике и выбора терапии с помощью анализа больших данных и обсудить актуальные вопросы прогнозирования развития заболеваний.
Официальный сайт - https://cs.hse.ru/wdam17

Title: Adjusting sense representations for knowledge-based word sense disambiguation and automatic pun interpretation
Speaker: Tristan Miller, Technische Universität Darmstadt (Germany)
Place: Кочновский проезд, 3. ауд. 317, 16:40
Abstract: Word sense disambiguation (WSD) – the task of determining which meaning a word carries in a particular context – is a core research problem in computational linguistics.  Though it has long been recognized that supervised (i.e., machine learning–based) approaches to WSD can yield impressive results, they require an amount of manually annotated training data that is often too expensive or impractical to obtain.  This is a particular problem for under-resourced languages and text domains, and is also a hurdle in well-resourced languages when processing the sort of lexical-semantic anomalies employed for deliberate effect in humour and wordplay.  In contrast to supervised systems are knowledge-based techniques, which rely only on pre-existing lexical-semantic resources (LSRs) such as dictionaries and thesauri. These techniques are of more general applicability but tend to suffer from lower performance due to the informational gap between the target word's context and the sense descriptions provided by the LSR. In this seminar, we treat the task of extending the efficacy and applicability of knowledge-based WSD, both generally and for the particular case of English puns.  In the first part of the talk, we present two approaches for bridging the information gap and thereby improving WSD coverage and accuracy.  In the first approach, we supplement the word's context and the LSR's sense descriptions with entries from a distributional thesaurus.  The second approach enriches an LSR's sense information by aligning it to other, complementary LSRs. In the second part of the talk, we describe how these techniques, along with evaluation methodologies from traditional WSD, can be adapted for the "disambiguation" of puns, or rather for the automatic identification of their double meanings.

Title: Introduction to CodaLab Competitions / LaTeX for NLP researchers
Speaker: Tristan Miller, Technische Universität Darmstadt (Germany)
Place: Кочновский проезд, 3. ауд. 317, 16:40
Abstract:This workshop will focus on tools that researchers and teachers in computer science and computational linguistics can use to evaluate and disseminate results.  The first half will introduce CodaLab Competitions, a platform for running comparative evaluations of data analytics software.  CodaLab Competitions can be used in the classroom to automate the evaluation of AI programming projects.  It can also be used by researchers to run collaborative or competitive tasks on shared data sets.  The second half of the workshop will cover LaTeX, the popular document preparation and typesetting system.  Topics covered will be of greatest interest to those conducting teaching and research in natural language processing, and will include overviews of packages for linguistic and multilingual typesetting, and for the preparation of slides, homework exercises, and exams.

Title: Flow-networks: graph theoretical approach to study flow systems
: Liubov Tupikina, Ecole Polytechnique (Paris, France)
Место проведения:
Кочновский проезд, 3. ауд.317
Abstract: Complex network theory provides an elegant and powerful framework to statistically investigate different types of systems such as society, brain or the structure of local and long-range dynamical interrelationships in the climate system. Network links in correlation, so-called climate networks typically imply information, mass or energy exchange. However, the specific connection between oceanic or atmospheric flows and the climate network’s structure is still unclear. We propose a theoretical approach of flow-networks for verifying relations between the correlation matrix and the flow structure, generalizing previous studies and overcoming the restriction to stationary flows [1]. We studied a complex interrelation between the velocity field and the correlation network measures. Our methods are developed for correlations of a scalar quantity (temperature, for example) which satisfies an advection-diffusion dynamics in the presence of forcing and dissipation. Our approach reveals the insensitivity of correlation networks to steady sources and sinks and the profound impact of the signal decay rate on the network topology. We illustrate our results with calculations of degree and clustering for a meandering flow resembling a geophysical ocean jet. Moreover, we discuss the follow-up approaches and application of the flow-networks method [2].

[1] "Correlation networks from flows. The case of forced and time-dependent advectiondiffusion dynamics" L.Tupikina, N.Molkenthin, C.Lopez, E.Hernandes-Garcia, N.Marwan, J.Kurths, Plos One. 2016

[2] "A geometric perspective on spatially embedded networks. Quantification of edge anisotropy and application to flow networks", H.Kutza, N.Molkenthin, L.Tupikina, J.Donges, N.Marwan, U.Feudel, J.Kurths, R.Donner, Chaos, 2016

Title: Natural language processing with UIMA and DKPro
Tristan Miller, Technische Universität Darmstadt (Germany)
Место проведения: Кочновский проезд, 3. ауд.317

Abstract: This talk introduces UIMA (Unstructured Information Management Architecture), an industry-standard software architecture for content analytics.  UIMA provides extensible data, component, and process models for annotating, exchanging, and analyzing unstructured data such as natural-language text.  We also introduce DKPro, a family of ready-to-use natural language processing (NLP) components built on UIMA. Using UIMA and DKPro, students and researchers can rapidly develop and deploy experimental text processing pipelines.  In a classroom setting, these tools are valuable because they significantly reduce the barriers to entry for learning and applying advanced NLP techniques.  Using DKPro, students can start projects in text classification, discourse analysis, etc., without needing to spend time implementing lower-level NLP tasks such as morphological analysis, word sense disambiguation, or text similarity.  In a graduate-level research setting, UIMA and DKPro facilitate conducting experiments in a fully reproducible manner.  The talk will provide a tutorial-style overview of both frameworks, including code snippets and sample applications.

Tristan’s bio:
Tristan Miller holds a doctorate in computer science from Technische Universität Darmstadt (Germany), where he is engaged as a Research Scientist in the Ubiquitous Knowledge Processing Lab.  He has previously held research and teaching appointments at the German Research Center for Artificial Intelligence (Germany), Griffith University (Australia), and the University of Toronto (Canada).  From 2008 to 2011 he worked as a language engineer and business analyst at InQuira, an enterprise knowledge management company subsequently acquired by Oracle. Dr. Miller's research interests lie mainly in natural language processing, and more specifically in computational lexical semantics. He has published on topics such as argumentation mining, word sense disambiguation, lexical substitution, and computational detection and interpretation of humour.  He is also an ardent science popularizer, serving as an advisory panel member or contributor to non-specialist linguistics publications such as Babel: The Language Magazine and Word Ways: The Journal of Recreational Linguistics.

Тема: Семинар МНУЛ ИССА: Задачи клинической информатики в исследованиях Медицинской лаборатории «Гемотест»
Адрес:г. Москва, Кочновский проезд, 3, ауд. 317
Начало: 16:30
Пожарская Наталья Ивановна (Руководитель отдела аналитики); 
Гулиев Руслан Акифович (Старший технолог по информационным системам);
Карпухин Илья Николаевич (Ведущий бизнес-аналитик)
Аннотация: Медицинская лаборатория «Гемотест» – это современный высокотехнологичный исследовательский центр, ежедневно выполняющий десятки тысяч медицинских анализов для пациентов со всей России. В докладе рассматриваются организация федеральной сети медицинских лабораторий Гемотест, методы проведения различного вида исследований и особенности организации программной и аппаратной поддержки проведения лабораторных исследований.

: Семинар "Компьютерная лингвистика и наука о языке"
Адрес: г. Москва, Старая Басманная ул., 21/4, ауд. 506
Начало: 11:00-17:00
Аннотация: Объемы неструктурированных текстов, нуждающихся в обработке, последние несколько лет измеряются в зеттабайтах и ежегодно продолжают расти. Это требует появления новых инструментов и методов автоматической обработки естественного языка (АОТ). Многие базовые потребности АОТ успешно удовлетворяются статистическими подходами, однако по мере появления в компьютерной лингвистике более сложных задач вновь возникает потребность в использовании знания о языке и лингвистических моделей.

Тема: Предзащита кандидатских диссертаций Максименковой Ольги Вениаминовны
Адрес: г. Москва, Кочновский проезд, 3, ауд. 322
Начало 16:40
Аннотация: На заседании международной научно-учебной лаборатории интеллектуальных систем и структурного анализа факультета компьютерных наук НИУ ВШЭ состоится предварительная защита кандидатской диссертации Максименковой Ольги Вениаминовны на тему "Математические модели программных средств поддержки жизненного цикла контрольно-измерительных материалов в процессах активного обучения" (специальность 05.13.18 Математическое моделирование, численные методы и комплексы программы. Научный руководитель: д.т.н., профессор Подбельский Вадим Валериевич

Тема: Предзащита кандидатских диссертаций
Адрес: г. Москва, Кочновский проезд, 3, ауд. 329
Начало 16:40
Аннотация: На заседании департамента анализа данных и искусственного интеллекта факультета компьютерных наук НИУ ВШЭ состоялась предварительная защита кандидатской диссертации Кашницкого Юрия Савельевича на тему «Методы замкнутых описаний в задачах машинного обучения и обнаружения знаний».Научный руководитель: д.ф.-м.н, профессор Кузнецов Сергей Олегович. Также состоялась предзащита Орлова Михаила Анатольевича на тему «Разработка модели и метода линейной многокритериальной стратификации». Научный руководитель: д.т.н, профессор Миркин Б.Г.

Международный семинар "Formal Concept Analysis for Knowledge Discovery"
Официальный сайт 
Место проведения: 
Кочновский проезд, 3. ауд.509, начало в 9:00
Методы формальных понятий подтвердили большую значимость для анализа данных в качестве инструмента для точного представления ассоциативных правил, инструмента для кластеризации и построения таксономий. Цель семинара FCA4KD была в обсуждении направлений и результатов применения исследований в различных областях, таких как компьютерные науки, лингвистика, социальные науки, биоинформатика и химия. 

Vellvm - проверяя LLVM
Steve Zdancewic ,University of Pennsylvania
Место проведения: 
Кочновский проезд, 3. ауд.317, 16.40
Компилятор LLVM предоставляет современный, промышленный уровень промежуточного представления (IR) языков. В докладе рассмотрен проект Vellvm, целью которого является предоставление формальной платформы для разработки машинно проверяемых доказательств о LLVM IR программах.

: Реактивные системы: мощная парадигма для моделирования и анализа от инженерных до биологических систем
ДокладчикThomas A. Henzinger , IST Austria
Место проведения: Кочновский проезд, 3. ауд.317, 15.10
Аннотация: Реактивная система - это динамическая система, которая развивается путем реагирования на внешние события. Компьютерная наука разработала мощные модели, теории, алгоритмы и инструменты для анализа и предсказания поведения реактивных систем. Эти приемы основаны на математической логике, теории вычислений, языках программирования и теории игр. Изначально они были разработы для того, чтобы позволить нам строить более настраиваемую компьютерную инфраструктуру. Однако, применение результатов перешагнуло область компьютерных наук. Например, и самолет и живые организмы можно рассматривать в качестве реактивных систем.

: Приблизительно правильное вычисление канонического базиса
ДокладчикДаниэль Борхман, Технический Университет Дрездена 
Место проведения: Кочновский проезд, 3. ауд.205, 16.40
Аннотация: Извлечение функциональных зависимостей является общим подходом для получения знаний из реляционных данных.Одним из способов получения знаний является построение формального контекста и вычисление базисов импликаций. В докладе будет рассмотрены подход к получению приблизительных импликативных знаний из данных; описаны первые результаты исследований и рассмотрено как можно совместно использовать метод "attribute exploration" и PAC-базис для получения алгоритма приблизительно корректного метода "attribute exploration"

Тема: Сложность доступа к данным на основе онтологий OWL 2 QL
ДокладчикКикоть Станислав,  Research and Teaching assistant at Birkbeck College, University of London
Место проведения: Кочновский проезд, 3. ауд.322, 16.40
Аннотация: В докладе пойдет речь о задачах математической логики и сложности вычислений,  связанных с доступом к данным  на основе онтологий и с переформулировками SPARQL запросов в SQL, учитывающих всю информацию из онтологии. Будет рассказано, как сложность этих задач меняется при различных ограничениях на структуру онтологии  и форму запроса. Особое внимание будет уделено параллелям между математическими понятиями  и техническими стандартами.



Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.