-
High performance digitization systems - robust architecture adapted to the co...
The future applications of cognitive radio require digitization systems being capable to perform a flexible conversion in terms of bandwidth and Resolution. The... -
A system for web widget discovery using semantic distance between user intent...
International audience -
Multiple precision evaluation of the Airy Ai function with reduced cancellation
International audience -
Computer simulation of random experiments and acquisition of probability conc...
The mathematics curriculum claims that simulating a random experiment amounts to the simulation of the underlying probability distribution. We show here that this is... -
On the tensor rank of multiplication in any extension of $\F_2$
International audience -
Shimura modular curves and asymptotic symmetric tensor rank of multiplication...
International audience -
New uniform and asymptotic upper bounds on the tensor rank of multiplication ...
International audience -
Algoriths for optimizing shared mobility systems
Bikes sharing systems have known a growing success all over the world. Several attempts have been made since the 1960s. The latest developments in ICT have enabled the... -
Usage of the terms "likewise" and "like" in texts for algorithms. Algorithmic...
The article focuses on texts for algorithms found in the earliest extant mathematical sources in Chinese. It brings to light that texts regularly make use of analogy.... -
A general algorithm for the MacMahon omega operator
In his famous book ldquoCombinatory Analysisrdquo MacMahon introduced Partition Analysis (ldquoOmega Calculusrdquo) as a computational method for solving problems in... -
Proof in the Wording: Two modalities from Ancient Chinese Algorithms
In the mathematical writings that have come down to us from ancient China, proofs did not aim at establishing the truth of theorems but rather the correctness of... -
Algorithmic-level specification and Characterization of Embedded Multimedia A...
Designing embedded system is a non-trivial task during which wrong choices can lead to extremely costly re-design loops. The extra cost is even higher when wrong... -
Exploring the latent segmentation space for the assessment of multiple change...
International audience -
Analysis of Spike-train Statistics with Gibbs Distributions: Theory, Implemen...
We propose a generalization of the existing maximum entropy models used for spike trains statistics analysis. We bring a simple method to estimate Gibbs distributions,... -
Transforming EVENT B Models into Verified C# Implementations
International audience -
Algorithmic Contributions to Computational Molecular Biology
Nous présentons ici nos résultats de recherche depuis 2001 sur l'algorithmique des graphes linéaires, la recherche de motif (avec ou sans topologie) dans les graphes,... -
Practical Reduction of Edge Flip Sequences in Two-Dimensional Triangulations
15 pages, submitted in ESA 2013. -
Enumerating functional substructures of genome-scale metabolic networks : sto...
In this thesis, we presented three different methods for enumerating special subnetworks containedin a metabolic network: metabolic stories, minimal precursor sets and... -
Auto-Scale Factor algorithm for MIMO channel hardware simulator: Toward highe...
International audience -
The current status of clinical proteomics and the use of MRM and MRM(3) for b...
International audience
