Institut national de recherche en sciences et technologies du numérique

Personalized FES-cycling patterns via optimal control: from musculoskeletal simulation to experimental validation

This study introduces an optimal control framework for functional electrical stimulation (FES) cycling that produces personalized stimulation patterns directly transferable from simulation to experimental cycling, without the need for empirical tuning. We use a physiological musc...

Model-Based Learning of Whittle indices

We present BLINQ , a new model-based algorithm that learns the Whittle indices of an indexable, communicating and unichain Markov Decision Process (MDP). Our approach relies on building an empirical estimate of the MDP and then computing its Whittle indices using an extended vers...

A Collectivist, Economic Vision for AI

Information technology is in the midst of a revolution in which omnipresent data collection and machine learning are impacting the human world as never before. The word “intelligence” is being used as a North Star for the development of this technology, with human cognition viewe...

How Does Motion-to-Photon Latency Influence the Perception-Action Loop

The perception-action loop plays an essential role in sports performance. Virtual reality is increasingly used to train this loop because it provides a controlled setting. However, motion-to-photon latency, the delay between the user’s real and virtual motion, may disrupt user ex...

Facing Yourself: A Proxemic Approach to Self-Dyadic Interactions in VR

Virtual Reality (VR) provides a powerful framework for studying human social interactions, yet generating realistic and diverse interaction data remains a major challenge. Asynchronous Interaction (AsI) paradigms offer a promising alternative by enabling users to interact with th...

Constructive characterisations of the must -preorder for asynchrony

De Nicola and Hennessy's must -preorder is a liveness preserving refinement which states that a server q refines a server p if all clients satisfied by p are also satisfied by q . Owing to the universal quantification over clients, this definition does not yield a practical proof...

Discrete adjoint gradient computation for multiclass traffic flow models on road networks

Abstract This paper applies a discrete adjoint gradient computation method for a multi-class traffic flow model on road networks. Vehicle classes are characterized by their specific velocity functions, which depend on the total traffic density, resulting in a coupled hyperbolic s...

Tail Modulo Async-Await

This article extends tail-call optimisation by applying it to asynchronous calls. We first introduce TMA, a novel code transformation for asynchronous tail recursive functions that prevents the creation of unnecessary tasks. We then show how to combine TMA with the existing TMC o...

Confluence Techniques for Dependent Type Theory with Typed Conversion

In the meta-theoretic study of dependent type theory, confluence techniques are powerful tools for establishing the properties required when proving correctness of implementations. Unfortunately, such techniques have historically mostly been studied for type theories with untyped...

Experimental causal inference from measurements alone in the presence of spatial and temporal quantum correlations

The causal structure of a set of events specifies which events influence which others. Determining this structure, known as causal inference, is a fundamental task in science. Reset-style intervention is commonly used to determine causal structure in classical scenarios. However,...