-
Induction for Termination
Rapport interne. -
Cutting Planes and the Elementary Closure in Fixed Dimension
Numéro du rapport MPI-I-1999-2-008. Rapport interne. -
On the semantics of static exception handling
Rapport interne. Fusionné avec l'identifiant A00-R-197 || de_groote00a -
Event Management and Real Time constraints model
Rapport interne. -
Timing consideration for electronic device description
Rapport interne. -
Manuel d'annotation en relations de discours du projet ANNODIS
This dataset has no description
-
Informations complémentaires nécessaires aux essais de conformité
Rapport de contrat. -
Supervision et Contrôle des Réseaux Actifs
Stage d' ingénieur. Rapport de stage. -
Déclaration de conformité d'une mise en oeuvre de protocole
Rapport de contrat. -
Supervision et Contrôle des Réseaux Actifs
Stage de DEA. Rapport de stage. -
Jamendo et les Artistes: Un Nouveau Modèle pour l'Industrie Musicale ?
Jamendo, est un site de téléchargement légal gratuit de musique. Cette plate-forme de musique " libre " en ligne, la plus grande au monde, fonctionne sur la base de... -
Musicians on Jamendo: A New Model for the Music Industry?
Jamendo is a website for the legal, free downloading of music. This platform of "free" online music, the biggest in the world, operates on the basis of Creative... -
Comment les big data peuvent-elles permettre de mieux communiquer sur la qual...
Agri Sud Ouest Innovation -
MOVISS : Méthodes et Outils pour l'évaluation de la VulnérabIlité Sociale aux...
Le projet MOVISS a pour objectif de mettre en place des Méthodes et Outils pour l'évaluation de la VulnérabIlité Sociale aux séismes dans la ville de Grenoble.... -
Maîtrise des risques dans les Très Petites Entreprises (TPE) : proposition d'...
Au regard de son poids économique et social, la Très Petite Entreprise (TPE) devrait faire l'objet de toutes les attentions (qu'elles émanent des acteurs de la vie... -
Une étude comparative de quelques schémas d'approximation de type iterations ...
Nous considérons le problème du contrôle optimal actualisé à horizon infini formalisé dans le cadre des processus de décision Markoviens. Nous nous focalisons sur... -
A Grammatical Approach to Data-centric Case Management in a Distributed Colla...
This paper presents a purely declarative approach to artifact-centric case management systems, and a decentralization scheme for this model. Each case is presented as... -
A tau-conjecture for Newton polygons
One can associate to any bivariate polynomial P(X,Y) its Newton polygon. This is the convex hull of the points (i,j) such that the monomial X^i Y^j appears in P with a...
