Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 831
Conférences

le (46m22s)

Les nombres et l'ordinateur

Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une arithmétique dite flottante qui a ses contraintes. D'une part chaque calcul est effectué avec un certain nombre de chiffres  et donc chaque calcul peut créer une erreur, certes faible, mais qui peut s'accumuler avec les précédentes pour fournir un résultat complètement faux. ...
Voir la vidéo
Conférences

le (16m28s)

L'actualité de "La Rivoluzione Liberale"

Incontro ricordo in occasione dell'ottantesimo anniversario della morte di Piero Gobetti, in ricordo del suo impegno antifascista e dell'esilio parigino. Organizzato dal Centro studi Piero Gobetti, la Maison de l'Italie, la Fondation Maison des Sciences de l'Homme e il Centre d'étude et de documentation sur l'émigration italienne.Rencontre à l'occasion du quatre-vingtième anniversaire de la mort de Piero Gobetti, en mémoire de son engagement antifasciste et de son exil parisien. Organisée par le Centro studi Piero Gobetti, la Maison de l'Italie, la Fondation Maison des Sicences de l'Homme et le Centre d'étude et de documentation sur l'émigration italienne.
Voir la vidéo
Label UNT Conférences

le (32m40s)

Quelques algorithmes de calcul d'enveloppe convexe en 2D

Le calcul de l'enveloppe convexe d'un nuage de points est un des problèmes fondamentaux en informatique, avec des applications multiples : traitement d'images, reconstruction 3D, détection de collisions, planification de trajectoires, ... Nous présentons deux algorithmes pour résoudre ce problème, connus sous le nom de "gift wrapping" et de "Graham scan", et nous discutons leur complexité algorithmique. 
Voir la vidéo
Label UNT Conférences

le (15m34s)

Polyèdres et synthèse de programmes

En informatique, un calcul est décrit par un programme, lui-même exprimé dans un langage de programmation. Dans cet exposé, nous nous intéresserons à la synthèse de programmes, c'est à dire la construction automatique d'un programme à partir d'une spécification équationnelle.A travers l'exemple de la recherche du parenthésage optimal d'un produit de matrices, nous montrerons comment un programme efficace peut être synthétisé à l'aide d'un raisonnement sur des polyèdres entiers et des relations affines. Les notions en jeu s'inscrivent dans le cadre plus général du modèle polyédrique, ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte