-
Exact Voronoi diagram of smooth convex pseudo-circles: General predicates, an...
International audience -
Implementation Concepts in Vaucanson 2
International audience -
Transforming EVENT B Models into Verified C# Implementations
International audience -
Modeling, simulation and implementation of an 802.15.4 based adaptive communi...
Monitoring behavior of the elderly and the disabled living alone has become a major public health problem in our modern societies. Among the various scientific aspects... -
Propagation Engine Prototyping with a Domain Specific Language
International audience -
Analysis and Synthesis of the Finite Word Length Implementation of linear con...
These thesis, done in industrial context with PSA Peugeot-Citroën and IRCCyN, deals with the numerical aspect of the implementation of filters or controllers in... -
Stochastic simulation of multiple process calculi for biology
International audience -
Implementation des schemas de commande a retards distribues : Predicteur de S...
International audience -
Arithmetic of pairings on algebraic curves for cryptography
Since 2000 pairings became a very useful tool to design new protocols in cryptography. Short signatures and identity-based encryption became also practical thanks to... -
A tool to analyze the transferability of health promotion interventions.
International audience -
The Compressed Annotation Matrix : an Efficient Data Structure for Computing ...
International audience -
Peut-on supprimer le contrôle au sol ?
Le concept de Free Flight rendrait les avions autonomes. Pour résoudre le problème de saturation de l'espace aérien, des chercheurs ont proposé des projets de contrôle... -
Simple mechanisms and preferences for honesty
We consider full implementation in complete-information environments when agents have an arbitrarily small preference for honesty. We offer a condition called... -
Adapted scheduling of QC-LDPC decoding for multistandard receivers
International audience -
DyRAM: an Active Reliable Multicast framework for Data Distribution
Group communications (multicast) are foreseen to be one of the most critical yet challenging technologies to meet the exponentially growing demands for data... -
Lessons from the Implementation of the EU's 2008 Wine Policy Reform : Deep Ch...
This dataset has no description
-
Contribution to the implementation of a process control system for continuous...
Powder mixing is an essential operation in various industrial fields, such as pharmaceuticals, agro-food, cements, etc. Continuous powder mixing, as an alternative to... -
Turbo-Information processing: algorithms, implementations & applications
International audience -
A Content-Centric Networking Node for a Realistic Efficient Implementation an...
The current IP based Internet architecture was designed in 70s. The development of new technologies and the evolution of Internet usages make the limitations of this... -
Study of the Compilation of Contraint Logic Programming Languages over Finite...
This work focuses on the compilation of languages constraint logic programming over finite domains (DF) . Rather than taking the usual approach considering the...
