148 citations
- Institut national de recherche en sciences et technologies du numériqueFR10 papers
- Université Grenoble AlpesFR10 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Technische Universität BraunschweigDE2 papers
- Translational Innovation in Medicine and ComplexityFR2 papers
- Université Paris CitéFR2 papers
- University of OxfordGB2 papers
- Association for Symbolic LogicUS1 paper
- Canterbury Christ Church UniversityGB1 paper
- Centre Inria de l'Université Grenoble AlpesFR1 paper
- Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et TechnologiesFR1 paper
- Institut de Planétologie et d'Astrophysique de GrenobleFR1 paper
7 papers · 1 filter
On characterising strong bisimilarity in a fragment of CCS with replication
Daniel Hirschkoff, Damien Pous
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch…
An Export Architecture for a Multimedia Authoring Environment
Jan Mikác, Cécile Roisin, Bao Le Duc
In this paper, we propose an export architecture that provides a clear separation of authoring services from publication services. We illustrate this architecture with the LimSee3…
A Distributed Algorithm for Fair and Efficient User-Network Association in Multi-Technology Wireless Networks
Pierre Coucheney, Corinne Touati, Bruno Gaujal
Recent mobile equipment (as well as the norm IEEE 802.21) now offers the possibility for users to switch from one technology to another (vertical handover). This allows flexibility…
An overview of QML with a concrete implementation in Haskell
Jonathan Grattage
This paper gives an introduction to and overview of the functional quantum programming language QML. The syntax of this language is defined and explained, along with a new QML defi…
On group theory for quantum gates and quantum coherence
Michel Planat, Philippe Jorrand
Finite group extensions offer a natural language to quantum computing. In a nutshell, one roughly describes the action of a quantum computer as consisting of two finite groups of g…
Haptic guidance improves the visuo-manual tracking of trajectories
Jérémy Bluteau, Sabine Coquillart, Yohan Payan +1
BACKGROUND: Learning to perform new movements is usually achieved by following visual demonstrations. Haptic guidance by a force feedback device is a recent and original technology…