Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 724
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 (48m46s)

Révèle tes défauts (série Unithé ou café)

Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu’ils n’ont plus de wifi n’est rien face à l’avalanche d’alertes systèmes que reçoit votre fournisseur d’accès à cet instant. Comment démêler d’où vient la panne, alors que les systèmes sont interconnectés et qu’une défaillance peut se manifester ailleurs qu’à la source du problème ? Tel le médecin, le gestionnaire de systèmes doit faire la part des symptômes, pour soigner la maladie et non sa manifestation, et déduire les causes à partir d’informations incomplètes et chaotiques. Pour aller plus loin, il est parfois ...
Voir la vidéo
Label UNT Conférences

le (36m0s)

Pourquoi mon ordinateur calcule faux?

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 liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique ...
Voir la vidéo
Label UNT Conférences

le (57m20s)

Analyse de programmes : A quoi ça sert ? Comment ça marche ? : 2ème partie

Nous présentons les systèmes embarqués critiques et les exigences qui leur sont liées : dans certains cas (nucléaire, avionique, santé) aucun bug n'est accepté. Puis nous présentons l'analyse statique, que nous illustrons sur un exemple de programme. Nous montrons que pour analyser des variables numériques (entiers et réels) il faut utiliser des notions géométriques telles que les intervalles et les polygones. Nous montrons ensuite que l'analyse des boucles (boucles while et boucles for) requiert des techniques d'accélération. Nous terminons avec des exercices réalisés avec l'outil concurinterproc qui permet d'analyser un ...
Voir la vidéo
Séminaires

le (46m38s)

Introdução aos encontros

Ivani FUSELLIER, Brigitte GARCIA et Marie-Anne SALLANDRE : Introdução aos Terceiros Encontros Interdisciplinares França-Brasil « Surdez, Singularidade, Universidade : Língua, Cultura, Educação, Acessibilidade »  Ivani FUSELLIER, Luizete SOBRAL-CARLIEZ, Christian CUXAC (Conférence plénière) : Parcours interdisciplinaires de recherche sur les langues des signes : épistémologie, théories et méthodologies 
Voir la vidéo
Séminaires

le (45m45s)

Liinguistique et typologie

Linguistique et typologie • Robert GAVRILESCU, Marie-Anne SALLANDRE, Alessio DI RENZO (214538): Comparaison typologique des transferts personnels dans neuf langues des signes (10 min) • Betty LOPES L'ASTORINA DE ANDRADE (210135): Estratégia Linguística de Antropomorfismo em Língua de Sinais (10 min) • Charlotte HAUSER et Valentina ARISTODEMO (210982) : Similaires mais pas identiques : constructions temporelles en LIS et LSF (10 min) • Emmanuella MARTINOD (214462): Vers une typologie adaptée aux langues des signes ? (10 min)
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte