Concept
Logic programming
Related publications (114)
Generative AI-Enabled Conversational Interaction to Support Self-Directed Learning Experiences in Transversal Computational Thinking
Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer, 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 ...
2024Robustness Against Read Committed: A Free Transactional Lunch
Transaction processing is a central part of most database applications. While serializability remains the gold standard for desirable transactional semantics, many database systems offer improved transaction throughput at the expense of introducing potenti ...
ASSOC COMPUTING MACHINERY2022Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies
Giovanni De Micheli, Heinz Riener, Shubham Rai, Akash Kumar
Emerging reconfigurable nanotechnologies allow the implementation of self-dual functions with a fewer number of transistors as compared to traditional CMOS technologies. To achieve better area results for Reconfigurable Field-Effect Transistors (RFET)-base ...
2021On Proving and Disproving Equivalence of Functional Programming Assignments
Viktor Kuncak, Dragana Milovancevic
We present an automated approach for verifying the correctness of programming assignments, such as ones arising in a functional programming course. Our approach takes a small set of reference implementations and a set of student implementations and checks, ...
2021Trust as a Programming Primitive
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 t ...
EPFL2021Self-commissioning glare-based control system for integrated venetian blind and electric lighting
Jean-Louis Scartezzini, Laurent Deschamps, Ali Motamed
Rule-based control logics have proven to be efficient for automation of shading and lighting systems. However, successful commissioning of these systems for multiple stores non-residential buildings, regardless of the control logic, requires time-consuming ...
2020Reconfigurable logic circuit
Edoardo Charbon, Francesco Regazzoni
The present invention relates to a reconfigurable logic circuit comprising - a first, second and third switching circuit arranged for receiving a first input bit, a second input bit and a third input bit, respectively, and each arranged for being configure ...
2020Mechanically programmable, degradable & ingestible soft actuators
One of the key challenges in soft robotics is the development of actuators which are truly soft and compliant, and can be adapted and tailored for different applications. In particular, the development of untethered soft actuators could enable robots to au ...
Institute of Electrical and Electronics Engineers Inc.2020Learning from Demonstration (Programming by Demonstration)
Learning from Demonstration (LfD), also called Programming by Demonstration (PbD), refers to the process used to transfer new skills to a machine by relying on demonstrations from a user. It is inspired by the imitation capability developed by humans and a ...
Springer2019Switching event detection and self-termination programming circuit for energy efficient ReRAM memory arrays
Alexandre Sébastien Julien Levisse, Etienne Nowak
Energy efficiency remains a challenge for the design of non-volatile resistive memories (ReRAMs) arrays. This memory technology suffers from intrinsic variability in switching speed, programming voltages and resistance levels. The programming conditions of ...
2019