-
The value problem in stochastic games
Game theory proved to be very useful in the field of verification of open reactive systems. This is due to the wide variety of games' model that differ in the way... -
Kleene algebra, Rewriting modulo AC and Circuits in Coq.
This thesis describe three formalisations in Coq. The first chapter is devoted to the implementation of an efficient decision procedure for Kleene algebras : as... -
Automata and Constraint Programming for Personnel Scheduling Problems
As soon as a structure is organized, the ability to put the right people at the right time is critical to satisfy the need of a department, a school or a company. We... -
Le programme Mogador en linguistique formelle arabe et ses applications dans ...
The MOGADOR project aims at devolopping a new approach to Arabic Natural Langage Processing, by designing software tools based on an original description of Arabic... -
" La salvezza 'attraverso la macchina' -Religione, regola di vita e disposizi...
Traduction par Fausto Pellechia de " Les 'preuves par la machine' ? Religion, règle de vie et disposition des corps chez Spinoza ", intervention au Colloque international... -
ArchiMed: canevas multi-médiateur pour la réconciliation de conversations ent...
Numéro spécial Modèles, Formalismes et Outils pour les Systèmes d'Information -
Evaluation des systèmes électroniques programmables relatifs à la sécurité de...
Actuellement, les exploitants de process industriels se tournent vers des organismes indépendants pour faire valider les performances de leurs systèmes de gestion des... -
Exigences techniques pour les systèmes dédiés à la sécurité comme définies da...
Actuellement, les fabricants d'automates programmables industriels dédiés à la gestion de fonctions de sécurité, soumettent leur produit à des organismes indépendants... -
D'une sociologie de l'atelier de chimie de spécialité à une sociologie de la ...
This dataset has no description
