Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 2868
Conférences

le (0s)

Les Palestiniens, une nation sans État Par Jean-Paul Chagnollaud

Au lendemain de la Première Guerre mondiale, à la suite de l’effondrement de l’Empire ottoman, les grandes puissances de l’époque, la France et la Grande-Bretagne, décident de la création de nouveaux États qui vont, avec le système des mandats, rester sous leur domination jusqu’à leurs indépendances. Deux peuples sont alors marginalisés : les Kurdes et les Palestiniens. Plus d’un siècle après la Déclaration Balfour de novembre 1917, les Palestiniens sont toujours en quête de leur "toit politique" même si, au fil des ans, leurs revendications ont été prises en ...
Voir la vidéo
Conférences

le (1h27m21s)

La guerre sacrée de Vladimir Poutine Par Galia Ackermann

Après l’éclatement de l’URSS  – où les Russes ethniques ont joué le rôle d’ossature de l’Empire soviétique  –  la population de la Russie s’est sentie désemparée, humiliée et perdue. L’ouverture des archives et la libération de la parole ont parallèlement provoqué un flot de révélations sur le véritable caractère du régime communiste. À son arrivée au pouvoir, Vladimir Poutine a su réhabiliter le passé soviétique mais sans reprendre l’idée communiste.La fierté du peuple russe se fonde désormais sur le combat victorieux mené contre le plus grand mal du 20e siècle, représenté par l’idéologie et les pratiques nazies. Cela sous-tend que ...
Voir la vidéo
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

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 questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo
Conférences

le (1h15m23s)

LE SATELLITE GAIA, À LA RECHERCHE DU PRÉSENT ET DU PASSÉ DE LA VOIE LACTÉE

La mission astrométrique Gaia, lancée par l'Agence Spatiale Européenne en 2013, est en train de cartographier en 3D plus d'un milliard d'objets de notre Galaxie, avec une précision inégalée. Pour la première fois, nous avons accès aux mouvements de plusieurs millions d'étoiles, bien au-delà du voisinage solaire, alors que jusqu'à présent ces mesures n'étaient possibles qu'à proximité de notre étoile, le Soleil. Je présenterai les nombreuses premières découvertes de la mission Gaia, et en particulier la façon dont Gaia a permis de « peser » la ...
Voir la vidéo
Label UNT Vidéocours

le (23m39s)

Simuler pour optimiser : optimisation topologique d'une clé de serrage

L’objectif de ce vidéocours est de vous initier au potentiel de la modélisation expérimentale ou numérique dans l’optimisation des systèmes, procédés de fabrication, organisation d’une chaine de production ou méthodes de développement. Au travers de trois cas d’études, on va vous montrer dans ce grain SIMULER POUR OPTIMISER comment on optimise en pratique. Dans ce premier cas, nous allons voir comment concevoir des systèmes ou composants avec le minimum de matière. Des méthodes de simulation, expérimentation et optimisation sont utilisées pour des réductions de masse, dans le cadre d’une re-conception « classique », pour aboutir à des géométries optimisées inédites, en rupture ...
Voir la vidéo
Label UNT Vidéocours

le (25m2s)

Simuler pour optimiser : optimisation par surfaces réponses du formage des matériaux

L’objectif de ce vidéocours est de vous initier au potentiel de la modélisation expérimentale ou numérique dans l’optimisation des systèmes, procédés de fabrication, organisation d’une chaine de production ou méthodes de développement. Au travers de trois cas d’études, on va vous montrer dans ce grain SIMULER POUR OPTIMISER comment on optimise en pratique. Ce deuxième cas concerne l’application de la simulation numérique dans le cadre de l’optimisation par surfaces réponses. Les méthodes de la simulation, l’expérimentation et l'optimisation sont utilisées pour aboutir à des conditions de mise en forme acceptables et garantissant la faisabilité d'un procédé.
Voir la vidéo
Label UNT Vidéocours

le (27m34s)

Simuler pour optimiser : optimisation par méthodes méta-heuristique du confort thermique

L’objectif de ce vidéocours est de vous initier au potentiel de la modélisation expérimentale ou numérique dans l’optimisation des systèmes, procédés de fabrication, organisation d’une chaine de production ou méthodes de développement. Au travers de trois cas d’études, on va vous montrer dans ce grain SIMULER POUR OPTIMISER comment on optimise en pratique. Ce troisème cas concerne l'ptimisation par méthodes méta-heuristique du confort thermique. Les méthodes de la modélisation et de l'optimisation sont utilisées pour aboutir à des conditions optimales du confort thermique dans une maison.
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte