Publications associées à Evaluating the Effects of Introducing Three Gamification Elements in STEM Educational Software for Secondary Schools

How to support students to develop coaching and peer teaching skills

Students learn more when they are actively engaged in the learning process. While hands-on activities, labs and projects are moments when students are active, the learning benefits can be amplified with coaching strategies. This activity will enable studen ...

EPFL2024

How to Support Students to Cultivate Psychological Safety in their Teams

Francesco Mondada, Jessica Elke Dehler Zufferey, Yousef Jalali

The importance of psychological safety in teams has been demonstrated in different settings. Team performance improves when team climate allows team members to be their authentic selves, to ask questions and raise concerns comfortably. However, it is less ...

EPFL2024

Teacher-Mediated and Student-Led Interaction with a Physics Simulation: Effects on the Learning Experience

Denis Gillet, Juan Carlos Farah

Computer simulations are often used as support material for science education, as they can engage students through inquiry-based learning, promote their active interaction in the experimentation phase, and help them visualize abstract concepts. For instanc ...

2024

Creating Trust by Abolishing Hierarchies

Adrien Ghosn, Edouard Bugnion, Evangelos Marios Kogias, Mathias Josef Payer, Charly Nicolas Lucien Castes, Yuchen Qian, Neelu Shivprakash Kalani

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Planned, taught, learnt: analysis of transversal skills through curriculum using portfolio

Helena Kovacs, Alexandra Corina Niculescu, Tamara Milosevic

There is an everlasting effort in education to successfully ensure that the intended learning objectives are clearly taught and effectively learnt at the end of the educational cycle. This has been especially difficult in teaching and learning complex sets ...

TU Dublin2023

A Research-Practice Partnership to Introduce Computer Science in Secondary School: Lessons from a Pilot Program

Francesco Mondada, Jean-Philippe Pellet, Laila Abdelsalam El-Hamamsy, Jessica Elke Dehler Zufferey, Barbara Bruno, Helena Kovacs

Context: Introducing Computer Science (CS) into formal education can be challenging, notably when considering the numerous stakeholders involved which include the students, teachers, schools, and policy makers. We believe these perspectives should be con ...

2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, Le Nguyen Hoang, John Stephan, Sadegh Farhadkhani, Nirupam Gupta, Rafaël Benjamin Pinot

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

The iReCheck project: using tablets and robots for personalised handwriting practice

Pierre Dillenbourg, Chenyang Wang, Barbara Bruno, David Cohen, Daniel Carnieto Tozadore

Handwriting is an important skill in children development as well as in education that take years to be mastered. While keyboards and similar technological devices increasingly become more popular, new tools and engaging approaches are also required to kee ...

Association for Computing Machinery2023

How are primary school computer science curricular reforms contributing to equity? Impact on student learning, perception of the discipline, and gender gaps

Francesco Mondada, Laila Abdelsalam El-Hamamsy, Jessica Elke Dehler Zufferey, Barbara Bruno

Background Early exposure to Computer Science (CS) and Computational Thinking (CT) for all is critical to broaden participation and promote equity in the field. But how does the introduction of CS and CT into primary school curricula impact learning, perce ...

2023

A Conceptual Framework for Integrating Conversational Agents in Digital Education

Juan Carlos Farah

The presence of conversational agents (or chatbots) in educational contexts has been steadily increasing over the past few years. Recent surveys have shown widespread interest in the use of chatbots in education, both for research and practice. Although th ...

EPFL2023

lifex-ep: a robust and efficient software for cardiac electrophysiology simulations

Alfio Quarteroni, Francesco Regazzoni, Marco Fedele, Stefano Pagani

Background: Simulating the cardiac function requires the numerical solution of multi-physics and multi-scale mathematical models. This underscores the need for streamlined, accurate, and high-performance computational tools. Despite the dedicated endeavors ...

BMC2023

Co-constructing an Effective, Sustainable and Scalable Primary School Computer Science Curricular Reform

Laila Abdelsalam El-Hamamsy

Over the past few decades, the debates have shifted from whether to how Computer Science (CS) should be introduced into formal education. Given the diverse ways to introduce CS into formal education, and the struggles many countries have faced, considerabl ...

EPFL2023

Unobtrusively Regulating Children’s Posture via Slow Visual Stimuli on Tablets

Pierre Dillenbourg, Chenyang Wang, Barbara Bruno, Daniel Carnieto Tozadore

Children’s retention of a proper body posture while interacting with educational tablet applications is important for both their physical health and task performance. In this work, we propose a new approach to unobtrusively induce postural changes in child ...

Association for Computing Machinery2023

Modelling the sustainability of a primary school digital education curricular reform and professional development program

Francesco Mondada, Laila Abdelsalam El-Hamamsy, Morgane Solène Denise Chevalier, Jessica Elke Dehler Zufferey, Barbara Bruno, Emilie-Charlotte Monnier

Sustaining changes in teachers’ practices is a challenge that determines the success of curricular reforms, from which Digital Education (DE) is not exempt. As the literature on sustainability is considered “scarce” and “scattered”, long-term studies model ...

2023

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

What Role Do Tangibles Play in Fostering Design Thinking Skills? An Exploratory Study

Mary Jean Bürer, Jessica Elke Dehler Zufferey, Natascia Petringa, Yousef Jalali

Despite the importance of using artifacts during the design thinking process, there is a limited understanding of the influence of tangibles with lower perceptual richness on design thinking skills within educational settings. It is speculated that tangibl ...

2023

Simulated Learners in Educational Technology: A Systematic Literature Review and a Turing-like Test

Tanja Christina Käser Jacober

Simulation is a powerful approach that plays a significant role in science and technology. Computational models that simulate learner interactions and data hold great promise for educational technology as well. Amongst others, simulated learners can be use ...

SPRINGER2023

Supporting Teachers' Orchestration in Robot-mediated Classrooms

Sina Shahmoradi

To bring educational robots to classrooms, we need to consider teachers' self-efficacy and challenges in managing a robot-mediated classroom, and how to support them in overcoming these challenges. Orchestration tools are designed to support teachers by pr ...

EPFL2023

Hardware and Software Support for RPC-Centric Server Architecture

Mark Johnathon Sutherland

Online services have become ubiquitous in technological society, the global demand for which has driven enterprises to construct gigantic datacenters that run their software. Such facilities have also recently become a substrate for third-party organizatio ...

EPFL2022

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022