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

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...

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...

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,...