-
A Family of Fast Syndrome Based Cryptographic Hash Functions
Recently, some collisions have been exposed for a variety of cryptographic hash functions including some of the most widely used today. Many other hash functions using... -
État de l'art des méthodes de correction des déformations cérébrales per-opér...
L'utilisation croissante de systèmes de navigation pour l'aide à la chirurgie a permis de faciliter les interventions ainsi que la planification des gestes... -
Typing Noninterference for Reactive Programs
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano,... -
Behavioural Models for Hierarchical Components
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the... -
Formalisme pour la construction automatique d'interactions dans les SMA réact...
Nous proposons un nouveau formalisme de représentation des actions et des interactions dans les SMA réactifs inspiré des processus de décision Markoviens décentralisés... -
Apparent Diffusion Coefficients from High Angular Resolution Diffusion Images...
High angular resolution diffusion imaging (HARDI) has recently been of great interest in characterizing non-Gaussian diffusion processes. In the white matter of the... -
Mesh adaptation by Optimal Control of a continuous model
The problem of finding the best mesh in a numerical simulation is addressed with the introduction of a scalar output and of an adjoint state in combination with an a... -
Publier et diffuser sa thèse électronique sur Internet : conseils aux doctora...
Mise à jour du rapport :Publier et diffuser sa thèse électronique sur Internet : conseils aux doctorants accueillis par le Cirad [2006]http://archivesic.ccsd.cnrs.fr/sic_00001652 -
Description and Packaging of MPI Applications for Automatic Deployment on Com...
Computational grids promise to deliver a vast computer power as transparently as the electric power grid supplies electricity. Thus, applications need to be... -
Visual servoing by means of structured light for plane-to-plane positioning
In this paper we face the problem of positioning a camera attached to the end-effector of a robotic manipulator so that it gets parallel to a planar object. Such... -
Yule process sample path asymptotics
This research report presents two results on sample paths for the Yule process: one fluid limit theorem and one sample path large deviation result. The main interest... -
Fast and Simple Computations on Tensors with Log-Euclidean Metrics.
Computations on tensors, i.e. symmetric positive definite real matrices in medical imaging, appear in many contexts. In medical imaging, these computations have become... -
IEEE 802.11 scanning algorithms: cross-layer experiments
In wireless communication, the discovery of the surrounding access points is crucial to provide seamless connectivity to mobile users. In IEEE 802.11, this discovery... -
Signal norm testing in additive and independant standard Gaussian noise
This paper addresses signal norm testing (SNT), that is, the problem of deciding whether a random signal norm exceeds some specified value τ > 0 or not, when the... -
Stabilization of a class of Delay Systems using PI methods
We study in this report the $H_\infty$-stabilizing properties of PI controllers for particular SISO delay systems of three classes : dead-time systems as well as... -
Blockwise processing applied to brain micro-vascular network study
The study of cerebral micro-vascular network requires high resolution images. However, to obtain statistically relevant results, a large area of the brain (about few... -
Closures are Needed for Closed Module Systems
In a classical paper of D.H.D. Warren, the higher-order extensions of Prolog were questioned as they do not really provide more expressive power than meta-programming... -
Étude statistique de l'activité de la fonction de sélection dans l'algorithme...
Ce travail porte sur l'étude statistique de l'activité liée à la fonction de sélection dans l'algorithme d'approximation de polynômes connu sous le nom de E-méthode... -
Random thresholds for linear model selection
A method is introduced to estimate the number of significant coefficients in non ordered model selection problems. The method is based on a convenient random centering... -
Estimation of the Weibull tail-coefficient with linear combination of upper o...
We present a new family of estimators of the Weibull tail-coefficient. The Weibull tail-coefficient is defined as the regular variation coefficient of the inverse...
