New integrals for electric and magnetic potentials of arbitrary time-independent charge distributions moving with constant velocity are derived. In contrast to the familiar retarded potential integrals, the new integrals express the potentials in terms of the position occupied by the charge distribution at the moment t for which the potentials are being determined. Two different methods are use...

In this paper we describe a new approach for the detection of fine structures in an image. This approach is based on the computation of the topological gradient associated to a cost function defined from a regularization of the data (possibly noisy). We get this approximation by solving a fourth order PDE. The study of the topological sensitivity is made both in the cases of a circular inclusio...

Nous cherchons à comprendre pourquoi la propriété (T) de Kazhdan [Kaz67, HV89, BHV08], et plus particulièrement une forme renforcée de celle-ci introduite dans [Laf08], sont un obstacle à une démonstration de la surjectivité de l’application de Baum-Connes à coefficients arbitraires pour des groupes ayant un élément γ de Kasparov, à l’aide des méthodes connues. Nous passons d’abord en revue tro...

Using the ideas of Keller, Maslov introduced in the mid-1960’s an index for Lagrangian loops, whose definition was clarified by Arnold. Leray extended Arnold results by defining an index depending on two paths of Lagrangian planes with transversal endpoints. We show that the combinatorial and topological properties of Leray’s index suffice to recover all Lagrangian and symplectic intersection i...

Dans cette thèse, nous nous intéressons à l'évaluation de performances des réseaux d'interconnexion multi-étages. Le travail présenté couvre deux aspects essentiels : la définition d'une méthodologie multi-critères pour l'évaluation et la comparaison de réseaux d'interconnexion. Cette méthodologie est basée sur la définition d'une fonction de distance dans un espace multidimension-nelle, où cha...

J.-L. Krivine introduced the AF2 type system in order to obtain programs (λterms) which calculate functions, by writing demonstrations of their totalities. We present in this paper two results of completness for some types of AF2 and for many notions of reductions. These results generalize a theorem of R. Labib-Sami established in the system F of J.-Y. Girard. Résumé. J.-L. Krivine a introduit ...

vu que les conditions actuelles du monde nécessitent l’unicité des cultures et des sociétés humaines et sollicitent une ferme relation entre les différentes civilisations, pour mieux pouvoir se communiquer et se comprendre les uns et les autres, il nous est  fort utile de trouver un langage commun qui ne pourrait être que le langage du cœur. c’est d’ailleurs ce langage qui nous a guidés vers un...

— The propagation of elastic surface waves, guided by the free surface of an infinitely long cylinder, of arbitrary cross section, is formulated as on eigenvalue problem, for an unbounded self adjoint operator. We prove the existence of a hierarchy of guided modes. Two of them propagate for any value of the wave number, whereas all of the others only exist beyond a cut-off wave number. For any ...

More than two years of transaction logs on a children’s portal are analyzed to investigate search patterns, when the users are presented with four search options. The results show that the hierarchical subject directory and alphabetic search options accounted for 83 percent of all the searches, indicating users’ preference for browsing rather than keyword searching. Résumé : Cette communication...