À part entière et entièrement à part ?

Pour une histoire des sciences à part entière

Jacques Roger (1920-1990) was one of the leading French historians of science of the twentieth century, noted for the definitive studies of his countryman Buffon. As professor at the Sorbonne and Director of the Ecole des Hautes Etudes en Sciences Sociales, the Centre Internationale de Synthese, and the Centre Alexandre Koyre, Roger was unquestionably a force to be reckoned with amongst French ...

Introduction à Unicode et à l'ISO 10646

This article presents a concise overview of Unicode 3.2 and its ISO equivalent, ISO/IEC 10646. It introduces and summarizes the main features and design principles before examining the character encoding model, normalizations forms and common processes such as sorting and rendering and their relationship with Unicode. MOTS-CLÉS : Unicode, ISO/CEI 10646, formes normalisées, modèle de caractères,...

Contribution à l’Etude et à la Conception d’Agents Virtuels . . .

In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...

Contribution des sous-ensembles flous à l'aide à la décision et à l'analyse structurale

Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML

One should not underestimate the import of being able to verify the conformance between a program and its specification. Furthermore, being able to verify it using a dedicated program allows one to check the correctness of this verification. For this purpose, one uses proof assistants, which are programs that allows to describe the problem, build proofs, then check them. There are more than one...