Publications associées à A Programming Workshop using the Robot "Thymio II": The Effect on the Understanding by Children

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

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

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

OSSCAR, an open platform for collaborative development of computational tools for education in science

Giovanni Pizzi, Sara Bonella, Dou Du

In this paper we present the Open Software Services for Classrooms and Research (OSSCAR) platform. OSSCAR provides an open collaborative environment to develop and access educational resources in the form of web applications, for which various deployment m ...

ELSEVIER2023

Hits and Misses: Digital Contact Tracing in a Pandemic

Marcel Salathé

Traditional contact tracing is one of the most powerful weapons people have in the battle against a pandemic, especially when vaccines do not yet exist or do not afford complete protection from infection. But the effectiveness of contact tracing hinges on ...

SAGE PUBLICATIONS LTD2023

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

First-person experience cannot rescue causal structure theories from the unfolding argument

Michael Herzog, Adrien Christophe Doerig, Aaron Schurger

We recently put forward an argument, the Unfolding Argument (UA), that integrated information theory (IIT) and other causal structure theories are either already falsified or unfalsifiable, which provoked significant criticism. It seems that we and the cri ...

Elsevier2022

Roadmap on Machine learning in electronic structure

Michele Ceriotti, Andrea Grisafi, Max David Veit, Jigyasa Nigam

In recent years, we have been witnessing a paradigm shift in computational materials science. In fact, traditional methods, mostly developed in the second half of the XXth century, are being complemented, extended, and sometimes even completely replaced by ...

IOP Publishing Ltd2022

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

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

Turning crowds into communities: The collectives of online citizen science

Jérôme Baudry

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

Highlights of the Science and Life of Peter Varga (1946-2018)

Wolf-Dieter Schneider

Peter Varga has passed on October 27, 2018. His pioneering discoveries of chemical resolution at the atomic scale on surface alloys, atomic resolution of ultrathin alkali halides, nucleation of bcc iron in ultrathin films, and the microscopic structure of ...

2020

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

Switching event detection and self-termination programming circuit for energy efficient ReRAM memory arrays

Etienne Nowak, Alexandre Sébastien Julien Levisse

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

Using Educational Data From Teaching And Learning To Inform Teachers’ Reflective Educational Design In Inquiry-Based STEM Education

Denis Gillet, Maria Jesus Rodriguez Triana

Science, Technology, Engineering and Mathematics (STEM) education is recognized as a top priority for school education worldwide and Inquiry-based teaching and learning is identified as one of the most dominant approaches. To effectively engage individual ...

2019

Ethics in Research

Science is in revolution. The formidable scientific and technological developments of the last century have dramatically transformed the way in which we conduct scientific research. The knowledge and applications that science produces has profound conseque ...

2019

"Citizen Science"? Rethinking Science and Public Participation

Jérôme Baudry

Since the late twentieth century, “citizen science” has become an increasingly fashionable label for a growing number of participatory research activities. This paper situates the origins and rise of the term “citizen science” and offers a new framework to ...

2019

Formal Approaches to Querying Big Data in Shared-Nothing Systems

Bas Ketsman

To meet today's data management needs, it is a widespread practice to use distributed data storage and processing systems. Since the publication of the MapReduce paradigm, a plethora of such systems arose, but although widespread, the capabilities of these ...

ASSOC COMPUTING MACHINERY2019

Learning How to Write with a Social Robot

Shruti Chandra

Learning handwriting is one of the main occupations for children in primary education. It is a complex skill that has been associated with children’s learning and development. Poor handwriting skills affect children negatively concerning their academic per ...

EPFL2019

From research to sustainability transitions - Identifying pathways to societal effects

Thorsten Schilling

Problem statement. The rise of sustainability as a guiding norm for societal development also affects knowledge production in science. Particularly in the context of sustainability science, researchers are increasingly confronted with claims for creating s ...

EPFL2019

Unleashing the power of semantic text analysis: a complex systems approach

Andrea Martini

In the present information era, a huge amount of machine-readable data is available regarding scientific publications. Such unprecedented wealth of data offers the opportunity to investigate science itself as a complex interacting system by means of quanti ...

EPFL2018

A Programming Model and Foundation for Lineage-Based Distributed Computation

Philipp Haller, Heather Christine Klug

The most successful systems for "big data'' processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate, or middleware, upon which to build data-centric distribute ...

Cambridge University Press2018