Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 8576
Conférences

le (1h23m19s)

How to build quality software: the Eiffel experience

With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for methods and tools that provide built-in quality (“correctness by construction”) and scale up to very large systems. For several decades my colleagues and I have been building such a method, based in particular on the concept of Design by Contract, the associated tools and the supporting language, Eiffel. The scope is wide, encompassing all aspects of the software development process, from requirements and design to implementation and verification. I will ...
Voir la vidéo
Conférences

le (1h20m22s)

L'ACTIVITÉ SOLAIRE ET LES RELATIONS SOLEIL-TERRE

Après une présentation générale du Soleil, la conférence se focalisera sur les phénomènes les plus spectaculaires qui caractérisent l'activité périodique de cette étoile « ordinaire », que la météorologie spatiale vise à prévoir. Les événements, plus ou moins violents, comme les éjections coronales de matière aux conditions physiques encore mal comprises, participent aux relations entre le Soleil et la Terre, dont les impacts sur notre planète peuvent être à la fois grandioses sous la forme des aurores polaires ou à risque pour l'activité technologique humaine.
Voir la vidéo
Conférences

le (1h2m27s)

L'INTERFÉROMÉTRIE OPTIQUE, APPLIQUÉE DES TROUS NOIRS AUX EXOPLANÈTES

Peut-on voir un trou noir ? Paradoxalement, les trous noirs, ou plus exactement leurs environnements, sont souvent lumineux. Pour les étudier, le principal problème est de parvenir à résoudre la lumière qui nous en parvient, c'est-à-dire de pouvoir la distinguer suffisamment précisément pour en faire une image. Dans ce cadre, l'interférométrie, dont les principes de base seront présentés lors de cette conférence, surpasse toutes les autres techniques. Nous l'appliquerons pour chercher le trou noir super-massif au sein de notre galaxie. Plus proche de nous, ...
Voir la vidéo
Conférences

le (1h30m39s)

Distances et savoirs -  Provocateur

Distances et savoirs– Symposium international– 10-11/12/2009 Les textes d’intervention ainsi qu’une abondante bibliographie sélective liée aux thèmes du symposium sont accessibles à www.cned.fr/ds/symposium.htm Le Conseil scientifique de Distances et savoirs, Martine Vidal, Monique Grandbastien et Pierre Moeglin. ____________________________________________________________ Forte de l'acquis de ses sept volumes annuels (2003-2009) Distances et Savoirs a organisé un dialogue international autour de la collaboration de D&S avec Michael G. Moore, rédacteur en chef de l’American Journal of Distance Education, père de la théorie de la « distance transactionnelle » et coordonnateur du Handbook of Distance Education les 10 et 11 décembre 2009. ...
Voir la vidéo
Conférences

le (1h24m36s)

RÉSULTATS DE LA MISSION JUNO

La sonde JUNO est en orbite autour de Jupiter depuis mi-2016 et sa mission a été étendue jusque mi-2021. Sa caractéristique principale est son orbite polaire qui permet des survols rasants de Jupiter (à moins de 5000 km) donnant accès à des informations hors de portée des précédentes missions Joviennes. En mars 2020, JUNO aura accompli 25 orbites et apporté une belle moisson de résultats dont quelques surprises. En effet, la mesure précise du champ gravitationnel de la planète révèle un coeur « dilué », signe ...
Voir la vidéo
Conférences

le (35m27s)

02 La question de l’hellénisation du Proche-Orient à l’époque médiévale

Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) Session La philosophie dans le monde arabo-musulman au Moyen Âge Dimitri GutasProfesseur de littérature et de civilisation arabes et gréco-arabes, Yale UniversityDimitri Gutas is Professor of Classical Arabic studies and Graeco-Arabic studies at Yale University. He has worked extensively on the formation and development of the medieval Islamic intellectual tradition, with particular emphasis on its linguistic, social, and ideological aspects. He has written about the transmission of Greek scientific and philosophical works into the Islamic world through the momentous Graeco-Arabic translation movement in ...
Voir la vidéo
Conférences

le (38m46s)

06 La logique d’Aristote et le modèle démonstratif chez les philosophes arabes classiques

Session Traduction, langage et pensée philosophique Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) Les philosophes arabes comme Al Fârâbî, Avicenne et Averroès ont commenté abondamment la logique d’Aristote. Ils ont en particulier mis l’accent sur la démonstration comme modèle de connaissance. L’enjeu est de montrer que les opérations logiques relèvent essentiellement de la pratique syllogistique et impriment leurs marques aux différents domaines de la connaissance humaine. Cette communication va s’attacher à rappeler la manière dont la logique d’Aristote a été contextualisée et comment, notamment, la langue philosophique arabe s’est enrichie ...
Voir la vidéo
Conférences

le (45m9s)

07 Langue arabe et logique grecque

Session Traduction, langage et pensée philosophique Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) L’histoire du thème des rapports entre la langue arabe et la logique grecque est aussi ancien que le début des traductions du corpus du savoir grec à l’arabe. La fameuse controverse entre le grammairien al-Sirafi et le logicien Matta Ibn Yunus (320H = vers 930) rapportée par al-Tawhidi en a structuré par formulation. Depuis le XIXe siècle la tradition d’études européenne a traité des rapports de la langue arabe et de sa grammaire avec la logique aristotélicienne ...
Voir la vidéo
Conférences

le (38m38s)

09 En quel sens peut-on parler des racines d’une culture ?

Session Traduction, langage et pensée philosophique Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) Equipe technique Directeur de la production: Christophe Porlier, Responsable des moyens techniques: Francis Ouedraogo, Réalisation : Service commun audiovisuel et multimédia Cadre: Mathias Chassagneux, Carine Doléac, Son: Xavier Comméat, Encodage-Montage-Diffusion Web : Jean-Claude Troncard
Voir la vidéo
Conférences

le (41m19s)

11 Lire Aristote dans le texte de Platon

Averroès et la mutation de la médecine politiqueSession La transmission des savoirs du monde arabo-musulman à l’Occident Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) Lorsqu’il ouvre sa Paraphrase de la République de Platon, Averroès signale qu’il n’a utilisé le texte de Platon que pour pallier l’absence de celui d’Aristote, dont il voulait commenter La Politique. Averroès va donc devoir reconstituer dans sa lecture de Platon un Aristote hypothétique, et cette opération de palimpseste conceptuel le conduit à déplacer délibérément le sens de l’analogie médico-politique qui se trouve effectivement dans la ...
Voir la vidéo

 
FMSH
 
Facebook Twitter
Mon Compte