Cette étude fait suite au rapport du service pour la Science et la Technologie de l’Ambassade de France en Allemagne intitulée « Coopération de l’Allemagne avec l’Inde » du 26 février 2008. Elle a pour objectif d’apporter, ...

This paper is a non-exhaustive review of John Dawson's research work in the domain of space plasma simulation. Its includes some of his most significant contributions brought on physics of auroral phenomena, on magnetospheric ...

Le but de ce document de travail est de présenter les différents concepts utilisés en programmation linéaire multiobjectif en précisant les types de décision qu'il est possible de prendre, les choix des partenaires et les ...

(eng) This is a programmer's guide for Nestor, a library to easily manipulate Fortran programs through a high level internal representation based on C++ classes. Nestor is a research tool that can be used to quickly implement ...

This is the second part of a report on the results from the medium-frequency (MF) mutual-impedance probe experiment that was supplied by the Centre for Research in Environmental Physics (CRPE, Orléans, France) as a ...

Les organisations comme le CNRS, connaissent depuis longtemps, la place déterminante de l'information et son rôle fondamental dans leur fonctionnement. A mesure que les technologies informatiques se diversifient et se ...

Ce document constitue un avant-projet d'étude de sous-système de satellite de télécommunications. Il concrétise la réflexion menée en commun depuis Janvier 1979 par des ingénieurs des départements EFT et ETE visant à ...

Cette étude vise à mieux connaître les spécificités d’insécurité des quartiers en Politique de la ville : quels types d’accident rencontrés, quels usagers impliqués ? Ces territoires témoignent-ils d’un taux d’accident ...

(eng) The firing squad synchronization is a cellular automata problem introduced by Moore; in 1987, J.Mazoyer gave a six state solution to this problem. The proof of correctness of this solution uses discrete geometrical ...

(eng) In the field of formal methods, rewriting techniques and provers by consistency in particular appear as powerful tools for automating deduction. However, these provers suffer limitations as they only give a (non-readable) ...