Quelle est la loi de réfraction de la lumière quand celle-ci traverse des espaces normés ? Quel est le volume de la boule unitaire d'un espace normé ? Quelle est l'aire de la sphère unitaire ? Y-a-t'il une généralisation naturelle du théorème de Gauss-Bonnet pour les surfaces finslériennes ? Pour résumer le résumé: une introduction irresponsable et amusante à la géométrie finslérienne.
Nous présenterons une nouvelle preuve du théorème (du à Cheeger) que l'opérateur de la signature est Fredholm sur un espace de Witt compact orientable. Les arguments de cette preuve permettent d'aborder le cas où l'espace n'est plus de Witt mais admet des conditions dites idéales au sens de Cheeger.
Le théorème de Feit-Thompson (1963) est un résultat historique de théorie des groupes finis. En effet, il permet de comprendre la structure de tous les groupes finis simples d'ordre impair et constitue ainsi une étape importante dans la classification des groupes finis simples qui est considérée comme achevée depuis les années 80. Néanmoins cette classification a un statut controversé car elle résulte de la compilation d'un nombre considérable de publications hétérogènes et parfois encore mal comprises. La preuve du théorème de Feit-Thompson est elle-même imposante, par sa taille et par la variété des résultats sur lesquels elle repose (théorie des groupes, algèbre linéaire, théorie de Galois, caractères,...). Elle est un défi pour les assistants à la preuves, logiciels permettant de représenter énoncés et preuves mathématiques sous la forme de termes logiques, vérifiables mécaniquement par un ordinateur. Dans cet exposé, qui ne présuppose aucune connaissance préalable en théorie des groupes, nous essaierons de montrer quels problèmes sont posés par une telle formalisation, par la représentation des objets mathématiques mis en jeu en théorie des types et en particuliers les solutions qui ont été trouvées pour faire vérifier (une partie conséquente de) cette preuve par l'assistant à la preuve Coq.
On dérive un modele Eulerien d'interfaces di ffuses pour l'interaction ``solide élasto-plastique - fluide compressible'' dans le cas de grandes déformations. Les applications du modèle aux problèmes d'impact seront présentées. Références 1. Favrie, N. and Gavrilyuk, S. (2011a) Mathematical and numerical model for nonlinear viscoplas- ticity, Phil. Trans. R. Soc. A, 369, 2864-2880. 2. Favrie, N. and Gavrilyuk, S. (2011b) Di use interface model for compressible fluid-compressible elastic-plastic solid interaction, J. Computational Physics (soumis).
Nous proposons une méthode de calcul de proximité entre textes, appelée mesure de voisinage. Cette mesure est basée sur la présence de mots communs, de synonymes et de mots cooccurrents. Nous comparons cette mesure à la similarité cosinus, utilisée en Recherche d'Informations, au travers de trois bases de données différentes. Nous avons développé un prototype, nommé ALHENA, utilisé dans le domaine de la veille stratégique anticipative (VAS). L'expérimentation menée sur la valorisation du CO2 a montré l'utilité du prototype dans le processus de VAS, face au problème de la surcharge d'information notamment occasionnée par l'usage de l'Internet.
We discuss linearized stable and finite Morse Index solutions of weakly nonlinear elliptic equations on all of R(N) or half spaces and discuss their application to bounded domain problems where either the diffusion is small or the solutions are large.
Recently, A. Polonsky has shown that the range property fails for H. We give here some conditions on a term F that imply that its range has cardinality either 1 or infinity. L'exposé sera accessible à tous les membres de l'équipe.
We exhibit a model structure on 2-Cat. A certain class of homotopies in this model structure turns out to be in 1-to-1 correspondence with strong simulations among labeled transitions systems, formalising the geometric intuition of simulations as deformations. The correspondence still holds in the cubical setting, characterising simulations of higher-dimensional transition systems (HDTS).
Les théories homotopiques de champs quantiques (HQFTs) ont été introduites par V. Turaev. Ils sont une forme de QFT dans lesquelles les variétés ont des structures supplémentaires. Dans cet exposé, je vais passer rapidement en revue quelques bases de la théorie des modules croisés utile plus tard, et introduire les TQFTs et HQFTs avec un espace de but, B. Après classification des cas simples, nous allons examiner le cas dans lequel B est l'espace classifiant d'un module croisé. S'il y a assez de temps, nous aborderons quelques interprétations en forme de gerbes etc. Plan : 1. Motivation 2. Rappels et exemples (simples) des modules croisés. 3. Théories topologiques de champs quantiques (TTCQs = TQFTs); 4. Théories homotopiques de champs quantiques (THCQs = HQFTs); 5. Résultats de Classification: (i) B = K(pi; 1), (ii) B = K(A; 2); 6. Applications formelles et HQFTs formelles : résultats généraux; 7. C-algebras croisées; 8. Complexes croisés, groupes simpliciaux et espaces classifiants; 9. C-fonctions formelles simpliciales et FHCobord(d; C); 10. C-fibrés combinatoires : allant vers les Gerbes.
Le gradient horizontal est défini comme la projection du gradient (riemannien) sur une certaine distribution par rapport à une métrique donnée. Puisque l'inégalité de Lojasiewicz n'est plus forcément valable, gradient horizontal est plus difficile à étudier que gradient. Dans cet exposé, on essaye d'expliquer quelle est la difficulté quand on passe du cas de distributions de codimension 1 au cas de distributions de codimension 2. Au passage, on montre quelques propriétés génériques du gradient horizontal dans le cas le plus simple qui est le cas de structure d'Engel standard.
Finiteness spaces were introduced by Ehrhard as a model of linear logic, which relied on a finitess property of the standard relational interpretation and allowed to reformulate Girard's quantitative semantics in a simple, linear algebraic setting. I will review recent results obtained in a joint work with Christine Tasson, providing a very simple and generic construction of finiteness spaces: basically, one can ``transport'' a finiteness structure along any relation mapping finite sets to finite sets. Moreover, this construction is functorial under mild hypotheses, satisfied by the interpretations of all the positive connectives of linear logic. Recalling that the definition of finiteness spaces follows a standard orthogonality technique, fitting in the categorical framework established by Hyland and Schalk, I will show that the features of transport do not stand on the same level as the orthogonality category construction; rather, they provide a simpler and more direct characterization of the obtained structure, in a webbed setting. PS: Although I have slides (in english) ready for this presentation, it is best enjoyed in its chalk and blackboard version so I will stick to the latter.
On expliquera comment construire un anneau de Grothendieck pour les formules semi-algébriques réelles, dans lequel s'injecte l'anneau de Grothendieck des variétés algébriques K_0(A_R), et qui se réalise dans K_0(A_R) otimes Z[1/2]. On montre ensuite la formule de Denef-Loeser pour des fonctions zêta de nature semi-algébriques puis que les fibres de Milnor semi-algébriques motiviques induites par la rationalité des fonctions zêta se réalisent via la caractéristique d'Euler à supports compacts sur la caractéristique d'Euler des objets semi-algébriques sous-jacents.
Dans cet exposé, on donne des conditions suffisantes pour l'existence de l'inégalité de Lojasiewicz et quelques versions de cette égalité sur des domaines non-compacts en utilisant un outil bien connu dans la théorie d'Optimisation qui est le principe variationnel d'Ekeland. En conséquence, on montre que ces études sont liées à la phénomène de singularité à l'infini.
The epistemic logic used for n-agent systems is the modal logic $S5_n$. In this talk I will briefly look at the Kripke semantics of this, how it relates to simple models of multiagent systems, and then will explore some ideas that make some tentative steps in the direction of modelling the flow information and knowledge in such systems. (The last part will raise more problems and questions than it answers but that is the fun of it!!! Since the paper below was written, directed homotopy has been developed more and it remains to be seen if it can be used to describe evolving multi-agent systems. I will discuss this beyond the prepared slides, if there is time.) (As I have slides in English, I will give the talk in that language.) Ref: Interpreted systems and Kripke models for multiagent systems from a categorical perspective, Theoretical Computer Science, 323 (2004) pp. 235-266.