Tout processus de développement logiciel effectué dans un cadre industriel inclut désormais une phase de test ou de vérification formelle, y compris pour le développement des programmes à contraintes. Notre travail vise à poser les jalons d’une Théorie du test des programmes à contraintes qui puisse servir de socle à cette vérification. Cette nouvelle théorie est également motivée par le dévelo...

cet article a pour but de mettre l’accent sur l’importance de la traduction adaptatrice conçue comme le canevas de l’activité socioculturelle de muhammad-ali djamalzadeh. le café de surate de bernardin de saint-pierre est repris dans la guerre de soixante-douze pays où djamalzadeh aborde le thème de la divinité conforme à la curiosité des interlocuteurs du récit. ainsi la clarification et l'all...

The design of decision procedures for combinations of theories sharing some arithmetic fragment is a challenging problem in verification. One possible solution is to apply a combination method à la Nelson-Oppen, like the one developed by Ghilardi for unions of non-disjoint theories. We show how to apply this non-disjoint combination method with the theory of abelian groups as shared theory. We ...

Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...

RÉSUMÉ De nombreuses études sont en cours afin de développer des méthodes de traitement automatique de langues des signes. Plusieurs approches nécessitent de grandes quantités de données segmentées pour l’apprentissage des systèmes de reconnaissance. Nos travaux s’occupent de la segmentation semi-automatique de gestes afin de permettre d’identifier le début et la fin d’un signe dans un énoncé e...

or represent aspects of nature or the language-user's own general or circumstantial experience. In his book Professor Bazerman rarely avoids assuming as obvious the distinction between language and that which language is about, so that statements like the following are typical: "Experimental reports attach themselves to the nature that surrounds the text through the representation of the doings...

— In this paper we show how to recover a special class of valuations (which generalize in a natural way the Zariski prime divisors) of function fields from the Galois theory of the functions fields in discussion. These valuations play a central role in the birational anabelian geometry and related questions. Résumé (Théorie de Galois pro-` des diviseurs premiers de Zariski) Dans cet article nou...

La théorie des réseaux de Petri est née de la thèse de Carl Adam Petri [PE 62]. Mais, bien d’autres chercheurs ont contribué à ce qui est devenu “les réseaux de Petri”. Certains sont explicitement partis des travaux de Carl Adam Petri, les ont légèrement modifiés et ont développé les notions que ce dernier avait introduites. D’autres ont menés indépendamment des travaux sur la représentation et...

résumé – Le théorème de Guilbaud de 1952 sur le problème logique de l’agrégation Dans un article publié en 1952, peu après la publication du théorème d’impossibilité d’Arrow, le mathématicien français Georges-Théodule Guilbaud a obtenu un résultat dictatorial pour le problème logique de l’agrégation, anticipant ainsi la théorie abstraite de l’agrégation et celle de l’agrégation des jugements. N...

RÉSUMÉ. Cet article est une introduction à la théorie des grandes matrices aléatoires, à destination d’un public non spécialiste. On y énonce et démontre en détail le théorème de MarčenkoPastur qui décrit le spectre asymptotique d’une grande matrice de covariance. On introduit la transformée de Stieltjes et les techniques de calcul associées, ainsi que quelques techniques de calcul gaussien qui...