Aujourd'hui, le computer est au coeur des techniques de conception comme de représentation et de formalisation dans les sciences et dans les techniques contemporaines. L'informatique passe à la
Dans le cadre du cycle de conférence de la fondation Institut d'Etudes Avancées de Nantes organisé au Lieu Unique à Nantes en partenariat avec l'Agence Nationale de la Recherche, Gérard Berry,
Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en
Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux
Après avoir été sous-estimée par Descartes, constructeur d'une science déductive essentiellement théorique, l'expérience, à partir de Newton, a acquis une place prépondérante, sinon autonome, dans les
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes
Dans cette présentation nous expliquerons les concepts les plus basiques de l'évolution. Nous expliquerons ce qu'est un arbre phylogénétique et comment il est construit. Ensuite, nous verrons que
Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel
Et si Morpheus avait raison ? Et si nous vivions dans la matrice ? Dans une simulation parfaite de l'univers ? Cette idée, tout droit sortie d'une grosse production hollywoodienne n'est pourtant
" Comprendre c'est comprendre autrement " H. G. Gadamer Au début de l'été 2000, sur les murs d'une ville, deux affiches, deux affiches réelles : - La première, affichée dans des bars ou des boîtes
Dans cet exposé Jean-Jacques Lévy propose de décortiquer quelques algorithmes d'étiquetage des objets dans une image, c'est à dire de segmentation de cette image en régions homogènes, et de regarder
Cette conférence essaiera de jeter un regard original sur certains aspects de la révolution numérique : plutôt que de tenir un discours cent fois entendu sur les dangers du piratage et sur la