Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 1332
Label UNT Conférences

le (32m49s)

Femmes et informatique

L'informatique se cache partout, des objets de haute technologie (avion, satellite) à l'élément le plus banal (téléphone, lave-vaisselle...). Alors que sa maîtrise ne requiert pas de qualités paraissant faire défaut aux femmes, ces dernières semblent cependant s'en exclure de plus en plus, au risque de se couper de tout un pan du monde moderne et d'un secteur d'activité professionnelle particulièrement porteur. Quelles sont les raisons du divorce entre filles et informatique et quelles sont les conséquences de l'absence des femmes dans ce secteur d'activité ?  
Voir la vidéo
Label UNT Conférences

le (37m44s)

Phénomènes Aléatoires dans les Réseaux

Les phénomènes aléatoires sont une composante-clé des réseaux de communication, ils interviennent, de façon majeure, dans le trafic que les réseaux traitent, ainsi que dans certains algorithmes qui gèrent les communications, pour les réseaux sans fil notamment. L'exposé fera un (petit) tour d'horizon sur l'histoire, la modélisation mathématique et l'impact de ces phénomènes dans la conception des algorithmes.
Voir la vidéo
Témoignages

le (5m54s)

Interview de Claudine Noguera

L'Institut des Nanosciences de Paris a été créé en janvier 2005 à partir de quatre laboratoires de physique de la matière condensée. Il réunit 200 personnes dont une centaine de chercheurs permanents et une cinquantaine de personnels techniques, avec une triple tutelle : le CNRS, l'université Pierre et Marie Curie – Paris 6 et l'université Denis Diderot-Paris 7. Générique Claudine Noguera Directrice de l'Institut des Nanosciences de Paris Copywright Studio vidéo Université ...
Voir la vidéo
Label UNT Conférences

le (41m50s)

Logic-based static analysis for the verification of programs with dynamically allocated data structures

Software development has reached a complexity level that cannot be handled without the aid of computer assisted methods. It is therefore of the highest importance to have rigorous methods and automated techniques for software verification, allowing to ensure a high degree of reliability and of confidence in their behaviors. In this talk, we present logic-based frameworks for automatic verification of programs manipulating dynamically allocated data-structures. We focus on static analysis techniques, that generate assertions about the program’s reachable states using the algorithmic capabilities ...
Voir la vidéo
Conférences

le (1h9m52s)

SPINTRONIQUE : ORIGINES, DÉVELOPPEMENTS RÉCENTS ET PERSPECTIVES

La spintronique, qui exploite l’influence du spin sur la conduction électrique et prend racine dans des recherches fondamentales sur les propriétés de transport des métaux ferromagnétiques, s’est développée après la découverte de la Magnétorésistance Géante (GMR) en 1988 et est aujourd’hui en pleine expansion. Elle a des applications importantes. L’utilisation de la GMR à la lecture des disques durs est la plus connue. Elle a conduit à une augmentation considérable des densités de stockage d’information. Aujourd’hui la spintronique se développe sur de nombreux axes. ...
Voir la vidéo
Conférences

le (45m12s)

FORMATION ET ÉVOLUTION DES SYSTÈMES PLANÉTAIRES ET EXTRASOLAIRES

Since the discovery of an extended disk of dust around beta Pictoris in the late 80's, this system has been intensively observed and modeled, in connection with planetary system formation/evolution. The presence of planets has been proposed over 2 decades to explain various observations, and high angular resolution imaging allowed us recently to directly image a planet orbiting about 9 AU from the star; this is so far the closest extrasolar planet imaged. I will present a brief overview of the main indirect signatures of ...
Voir la vidéo
Conférences

le (1h6m39s)

MEASUREMENT OF THE THERMAL SPECTRUM OF HAWKING RADIATION FROM AN ANALOG HORIZON

Hawking predicted that black holes should radiate thermal radiation, the temperature being a function solely of the geometry near the horizon of the black hole. The same arguments show that one would also expect thermal radiation from other horizons, like the sonic horizon formed in a trans-sonic flow, or the horizon to fluid surface gravity waves formed by a blocking flow.This talk will discuss the phenomenon of black hole thermal emission, problems with its derivation, the ubiquity of such thermal emission by horizons, and the measurements ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte