Publications related to Qualitative Spatial and Temporal Reasoning with Answer Set Programming

Related publications (30)

Generative AI-Enabled Conversational Interaction to Support Self-Directed Learning Experiences in Transversal Computational Thinking

Denis Gillet, Adrian Christian Holzer, Juan Carlos Farah, Abdessalam Ouaazki

As computational thinking (CT) becomes increasingly acknowledged as an important skill in education, self-directed learning (SDL) emerges as a key strategy for developing this capability. The advent of generative AI (GenAI) conversational agents has disrup ...

2024

OrthoPlanes: A Novel Representation for Better 3D-Awareness of GANs

Zhuoqian Yang

We present a new method for generating realistic and view-consistent images with fine geometry from 2D image collections. Our method proposes a hybrid explicitimplicit representation called OrthoPlanes, which encodes fine-grained 3D information in feature ...

Ieee Computer Soc2023

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

BMAT: An open-source BIDS managing and analysis tool

Meritxell Bach Cuadra, Francesco La Rosa

Magnetic Resonance Imaging (MRI) is an established technique to study in vivo neurological disorders such as Multiple Sclerosis (MS). To avoid errors on MRI data organization and automated processing, a standard called Brain Imaging Data Structure (BIDS) h ...

ELSEVIER SCI LTD2022

System for planning and/or providing neuromodulation

Grégoire Courtine, Marco Capogrosso, Fabien Bertrand Paul Wagner, Vincent Delattre, Karen Minassian

The present invention relates to systems and methods for planning and/or providing neuromodulation One example system includesa stimulation related basic data storage module for storing stimulation related basic data,a stimulation related response data sto ...

2021

Discourse Phenomena in Machine Translation

Lesly Sadiht Miculicich Werlen

Machine Translation (MT) has made considerable progress in the past two decades, particularly after the introduction of neural network models (NMT). During this time, the research community has mostly focused on modeling and evaluating MT systems at the se ...

EPFL2021

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

Trust as a Programming Primitive

Adrien Ghosn

Programming has changed; programming languages have not. Modern software embraced reusable software components, i.e., public libraries, and runs in the cloud, on machines that co-locate applications from various origins. This new programming paradigm leads ...

EPFL2021

Sarah Kenderdine + Merete Sanderhoff

Sarah Irene Brutton Kenderdine

This conversation focuses on the work of Sarah Kenderdine and Merete Sanderhoff, both of whom are based in Europe working on and within museums, as well as playing leadership roles in pan-institutional organisations such as Europeana and the Australasian A ...

Routledge2020

Two degree of freedom oscillator system

Arnaud André Emmanuel Maurel, Simon Nessim Henein, Mohammad Hussein Kahrobaiyan, Billy Nussbaumer

Oscillator system (1) comprising:- a substantially planar frame (3);- a first sub-oscillator (5), a second sub-oscillator (7), a third sub-oscillator (9), and a fourth sub-oscillator (11), each sub-oscillator (5, 7, 9, 11) comprising a substantially rigid ...

2020

Broadening artificial intelligence education in K-12: Where to Start?

Pierre Dillenbourg

Moving from steam and waterpower, electricity and assembly lines, and computerization, to the adoption of cyber-physical systems, the Internet of Things and the Internet of Systems executed as intelligent machines, the world now dives into a new era called ...

2020

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Simon Nessim Henein, Ilan Vardi, Hubert Pierre-Marie Benoît Schneegans, Mohamed Gamal Abdelrahman Ahmed Zanaty

Binary logic operations are the building blocks of computing machines. In this paper, we present a new programmable binary logic gate based on programmable multistable mechanisms (PMM), which are multistable structures whose stability behavior depends on m ...

AMER SOC MECHANICAL ENGINEERS2020

Lieu hologrammatique, un concept et une méthodologie complexe de mesure de l'organisation spatiale des réalités sociales

Thibault Pierre Louis Romany

The urban is a complex phenomenon whose exploration remains a important scientific challenge. Choosing complex thought in order to renew our capacities for understanding and action on and with the urban is not trivial. The complex thought developed by Edga ...

EPFL2020

Logic-in-memory based on an atomically thin semiconductor

Aleksandra Radenovic, Andras Kis, Ahmet Avsar, Zhenyu Wang, Yanfei Zhao, Mukesh Kumar Tripathi, Guilherme Migliato Marega

The growing importance of applications based on machine learning is driving the need to develop dedicated, energy-efficient electronic hardware. Compared with von Neumann architectures, which have separate processing and storage units, brain-inspired in-me ...

2020

A system for planning and/or providing neuromodulation

Grégoire Courtine, Marco Capogrosso, Fabien Bertrand Paul Wagner, Vincent Delattre, Karen Minassian

The present invention relates to a system for planning and/or providing neuromodulation (10), especially neurostimulation, comprising: - first data input module (26) for stimulation related basic data, - a stimulation related basic data storage module (28) ...

2019

A system for planning and/or providing neuromodulation

Grégoire Courtine, Marco Capogrosso, Fabien Bertrand Paul Wagner, Vincent Delattre, Karen Minassian

The present invention relates to a system for planning and/or providing neuromodulation (10), especially neurostimulation, comprising - a stimulation related basic data storage module (28) for storing the stimulation related basic data, - a stimulation rel ...

2019

National assessment of cultural ecosystem services: Participatory mapping in Switzerland

Jérôme Chenal, Rémi Jaligot, Stéphanie Aline Hasler

Previous studies assessed cultural ecosystem services (CES) at the local scale but often ignored them in national assessments. This paper explores CES relationships in Switzerland using web-based participatory mapping. We identified the spatial relationshi ...

2019

Spatial: A Language and Compiler for Application Accelerators

Christos Kozyrakis

Industry is increasingly turning to reconfigurable architectures like FPGAs and CGRAs for improved performance and energy efficiency. Unfortunately, adoption of these architectures has been limited by their programming models. HDLs lack abstractions for pr ...

ASSOC COMPUTING MACHINERY2018

Word Sense Consistency in Statistical and Neural Machine Translation

Xiao Pu

Different senses of source words must often be rendered by different words in the target language when performing machine translation (MT). Selecting the correct translation of polysemous words can be done based on the contexts of use. However, state-of-th ...

EPFL2018

CAR-Net: Clairvoyant Attentive Recurrent Network

Alexandre Massoud Alahi

We present an interpretable framework for path prediction that leverages dependencies between agents' behaviors and their spatial navigation environment. We exploit two sources of information: the past motion trajectory of the agent of interest and a wide ...

2018