Publications related to Modular programming

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

2024

Promoting Computational Thinking Skills in Non-Computer Science Students Gamifying Computational Notebooks to Increase Student Engagement

Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer, Marc Lafuente Martinez, Pascal Felber

Computational thinking (CT) skills are becoming increasingly relevant for future professionals across all domains, beyond computer science (CS). As such, an increasing number of bachelor and masters programs outside of the computer science discipline integ ...

2022

A modular functional framework for the design and evaluation of multi-robot navigation

Alcherio Martinoli, Cyrill Silvan Baumann

In this work, we address the design of tightly integrated control, estimation, and allocation algorithms allowing a group of robots to move collectively. For doing so, we leverage a modular framework that allows us to define precisely the needed functional ...

2021

A Tangible Programming Language for the Educational Robot Thymio

Francesco Mondada, Alberto Piatti, Christian Giang, Andrea Mussati

In the past, the use of tangible programming languages has shown several advantages compared to screen-based graphical programming languages. Especially when presented to novices, such interfaces may represent a more intuitive and straightforward alternati ...

2019

Pocket guide to solve inverse problems with GlobalBioIm

Michaël Unser, Daniel Sage, Thanh-An Michel Pham, Laurène Donati, Emmanuel Emilien Louis Soubies, Ferréol Arnaud Marie Soulez, Michael Thompson McCann, Thomas Jean Debarre

GlobalBioIm is an open-source MATLAB (R) library for solving inverse problems. The library capitalizes on the strong commonalities between forward models to standardize the resolution of a wide range of imaging inverse problems. Endowed with an operator-al ...

IOP PUBLISHING LTD2019

Resistive random access memory based multiplexers and field programmable gate arrays

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Xifan Tang, Gain Kim, Edouard Giacomin

Resistive random access memory (RRAM) based multiplexers and field programmable gate arrays (FPGAs) are provided. The RRAM-based multiplexers and FPGAs include a 4T1R programming structure to program the RRAMs. The programming structure includes two progra ...

2018

A modular low-complexity ECG delineation algorithm for real-time embedded systems

David Atienza Alonso, Francisco Javier Rincon Vallejos, Roman Hermida Correa

This work presents a new modular and lowcomplexity algorithm for the delineation of the different ECG waves (QRS, P and T peaks, onsets and end). Involving a reduced number of operations per second and having a small memory footprint, this algorithm is int ...

2018

A reconfiguration strategy for modular robots using origami folding

Jamie Paik, Christoph Heinrich Belke, Meibao Yao

Reconfigurability in versatile systems of modular robots is achieved by changing the morphology of the overall structure as well as by connecting and disconnecting modules. Recurrent connectivity changes can cause misalignment that leads to mechanical fail ...

2018

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Modular programming

Degrees of Separation: A Flexible Type System for Safe Concurrency

Promoting Computational Thinking Skills in Non-Computer Science Students Gamifying Computational Notebooks to Increase Student Engagement

HIPE-2022 Shared Task Named Entity Datasets

A modular functional framework for the design and evaluation of multi-robot navigation

PyLandStats: An open-source Pythonic library to compute landscape metrics

A Tangible Programming Language for the Educational Robot Thymio

Pocket guide to solve inverse problems with GlobalBioIm

Resistive random access memory based multiplexers and field programmable gate arrays

A modular low-complexity ECG delineation algorithm for real-time embedded systems

A reconfiguration strategy for modular robots using origami folding

Graph Chatbot

Chat with Graph Search

Degrees of Separation: A Flexible Type System for Safe Concurrency

Promoting Computational Thinking Skills in Non-Computer Science Students Gamifying Computational Notebooks to Increase Student Engagement

A Tangible Programming Language for the Educational Robot Thymio

PyLandStats: An open-source Pythonic library to compute landscape metrics

Pocket guide to solve inverse problems with GlobalBioIm

HIPE-2022 Shared Task Named Entity Datasets

Resistive random access memory based multiplexers and field programmable gate arrays

A modular low-complexity ECG delineation algorithm for real-time embedded systems

A reconfiguration strategy for modular robots using origami folding

A modular functional framework for the design and evaluation of multi-robot navigation