Publication

Minimizing Human Effort in Reconciling Match Networks

Publications associées (30)

Turning crowds into communities: The collectives of online citizen science

Over the past two decades, a number of digital platforms have been developed with the aim of engaging citizens in scientific research projects. The success of these platforms depends in no small part on their ability to attract and retain participants, tur ...

2022

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023

Data integration for the numerical simulation of cardiac electrophysiology

Alfio Quarteroni, Luca Dede', Andrea Manzoni, Stefano Pagani

The increasing availability of extensive and accurate clinical data is rapidly shaping cardiovascular care by improving the understanding of physiological and pathological mechanisms of the cardiovascular system and opening new frontiers in designing thera ...

WILEY2021

Conversational Multi-Hop Reasoning with Neural Commonsense Knowledge and Symbolic Logic Rules

Forough Arabshahi, Antoine Bosselut

One of the challenges faced by conversational agents is their inability to identify unstated presumptions of their users' commands, a task trivial for humans due to their common sense. In this paper, we propose a zeroshot commonsense reasoning system for c ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2021

Approaching Ontology Alignment through Representation Learning to Bridge the Semantic Gap in Engineering Applications

Prodromos Kolyvakis

The current information landscape is characterised by a vast amount of relatively semantically homogeneous, when observed in isolation, data silos that are, however, drastically semantically fragmented when considered as a whole. Within each data silo, inf ...

EPFL2020

The organisation of science: topics, incentives and funding

Omar Ballester Gonzalez

Ever since the links between the development of new technologies and economic growth became evident, researchers have attempted to study how the creation of knowledge fosters progress. If pushing the frontier of knowledge has an impact on progress and well ...

EPFL2020

Systems Engineering Approach to Identify Requirements for Digital Twins Development

Dimitrios Kyritsis, Ali Gharaei, Jinzhi Lu, Xiaochen Zheng

Digital Twins (DT) are proposed in industries to support the entire lifecycle of services with different perspectives. Lack of systematic analysis of DT concepts leads to various definitions and services which challenges the DT developers for data integrat ...

SPRINGER INTERNATIONAL PUBLISHING AG2020

Graph Embeddings for One-pass Processing of Heterogeneous Queries

Karl Aberer, Quoc Viet Hung Nguyen, Chi Thang Duong

Effective information retrieval (IR) relies on the ability to comprehensively capture a user's information needs. Traditional IR systems are limited to homogeneous queries that define the information to retrieve by a single modality. Support for heterogene ...

IEEE COMPUTER SOC2020

Towards semantics-driven modelling and simulation of context-aware manufacturing systems

Damiano Nunzio Arena

Systems modelling and simulation are two important facets for thoroughly and effectively analysing manufacturing processes. The ever-growing complexity of the latter, the increasing amount of knowledge, and the use of Semantic Web techniques adhering meani ...

EPFL2019

An ontological approach to representing the product life cycle

Dimitrios Kyritsis

The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and t ...

IOS PRESS2019