Mitochondrial-Derived Peptide MOTS-c

Mitochondria are known to be functional organelles, but their role as a signaling unit is increasingly being appreciated. The… (More)

This document describes a set of extensions to the proof scripting language of the Coq proof assistant. While these extensions… (More)

Eventual consistency aims to ensure that replicas of some mutable shared object converge without foreground synchronisation… (More)

This technical report presents and extends a recent paper we have proposed for large scale image search. State-of-the-art methods… (More)

Algorithm UCB1 for multi-armed bandit problem has already been extended to Algorithm UCT (Upper bound Confidence for Tree) which… (More)

Recently, methods based on local image features have shown promise for texture and object recognition tasks. This paper presents… (More)

Résumé Abstract Natural language analysis systems which combine knowledge-based and corpusbased methods are now becoming accurate… (More)

An identity links the rate of economic growth, the speed of poverty reduction and changes in the distribution of income during… (More)

We address the problem of non-parametric multi-modal image matching. We propose a generic framework which relies on a global… (More)

Most iconic methods for rigid matching consist in nding and minimizing a registration criterion speci cally chosen to solve a… (More)