Publications associées à Programmation modulaire

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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Programmation modulaire

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

Chattez avec Graph Search

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

A Tangible Programming Language for the Educational Robot Thymio

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

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

Resistive random access memory based multiplexers and field programmable gate arrays

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

HIPE-2022 Shared Task Named Entity Datasets

Pocket guide to solve inverse problems with GlobalBioIm

A reconfiguration strategy for modular robots using origami folding