Dans le cadre du DIU d'Echocardiographie du Nord-Est, le Docteur Christine SELTON-SUTY vous présente son cours sur l'insuffisance aortique. Sont évoqués le diagnostic positif avec le Doppler, les atteintes de signaux aortiques, les fuites aortiques, et les autres techniques d'exploration. Origine Laboratoire SPIE-EAO - Faculté de Médecine, Université Henri Poincaré Nancy I, 2006 Générique Réalisation : CERIMES - SPI-EAO SCD médecine Nancy
Mot(s) clés libre(s) : diagnostic positif, DIU d'échocardiographie, doppler, échocardiographie, flux régurgitant, fuite aortique, insuffisance aortique, quantification

Dans le cadre du DIU d'Echocardiographie du Nord-Est, le Docteur Christine SELTON-SUTY vous présente son cours sur l'insuffisance aortique. Sont évoqués le diagnostic positif avec le Doppler, les atteintes de signaux aortiques, les fuites aortiques, et les autres techniques d'exploration. Origine Laboratoire SPIE-EAO - Faculté de Médecine, Université Henri Poincaré Nancy I, 2006 Générique Réalisation : CERIMES - SPI-EAO SCD médecine Nancy
Mot(s) clés libre(s) : quantification, DIU d'échocardiographie, échocardiographie, doppler, diagnostic positif, flux régurgitant, fuite aortique, insuffisance aortique

Ce cours est le quatrième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs.
Mot(s) clés libre(s) : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle

Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques
Mot(s) clés libre(s) : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule

Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage.
Mot(s) clés libre(s) : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences

Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantificateurs Cours 5 : Interprétation : variables et quantificateurs
Mot(s) clés libre(s) : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne

Extremely powerful computers with up to 100,000 processors have enabled unprecedented numerical simulations that are pushing the boundaries of knowledge. Join Prof. Gianluca Iaccarino as he demonstrates how he and colleagues from the Center for Turbulence Research at Stanford University are using the world’s largest computers to study fluid dynamics in interesting ways. The talk will describe several applications including creating a planet in seven days, quieting noisy jets and slowing a Formula 1 car. In this talk, Prof. Iaccarino will provide a window into intriguing physical phenomena, the challenges of extreme-scale computations and include plenty of computer graphics and art illustrating the fascinating beauty of fluid turbulence.
Mot(s) clés libre(s) : mécanique des fluides, quantification des incertitudes

"La théorie quantique, centrale à notre compréhension de la nature, introduit en physique microscopique les notions essentielles de superpositions d'états et d'intrication quantique, qui nous apparaissent comme "" étranges "" et contre-intuitives. Les interférences quantiques et la non-localité - conséquences directes du principe de superposition et de l'intrication - ne sont en effet pas observables sur les objets macroscopiques de notre expérience quotidienne. Le couplage inévitable de ces objets avec leur environnement détruit très vite les relations de phase entre les états quantiques. C'est le phénomène de la décohérence qui explique pourquoi autour de nous l'étrangeté quantique est généralement voilée. Pendant longtemps, superpositions, intrication et décohérence sont restés des concepts analysés à l'aide d'" expériences de pensée " virtuelles, dont celle du chat de Schrödinger à la fois mort et vivant est la plus connue. À la fin du XXe siècle, les progrès de la technologie ont rendu réalisables des versions de laboratoire simples de ces expériences. On peut maintenant piéger et manipuler des atomes et des photons un par un et construire des systèmes de particules suspendus entre deux états quantiques distincts qui apparaissent ainsi comme des modèles réduits de chats de Schrödinger. Au delà de la curiosité scientifique et du défi que constitue l'observation de l'étrangeté quantique pour ainsi dire in vivo, ces expériences éclairent la frontière entre les mondes classique et quantique et ouvrent des perspectives fascinantes d'applications. "
Mot(s) clés libre(s) : constante de Planck, décohérence, dualité onde-particule, infiniment petit, interférence quantique, intrication, non-localité, physique quantique, quantification, Schrödinger, superposition d'états

Nous décrirons des expériences permettant de mettre en évidence des propriétés simples et fondamentales de la physique quantique, comme l'existence de superpositions linéaires d'états, ou celle d'états "enchevêtrés" ou "intriqués". Nous montrerons ensuite comment de tels états peuvent être utilisés dans le domaine très actif de "l'information quantique", pour réaliser des dispositifs de cryptographie parfaitement sûrs, ou pour effectuer certains calculs de manière potentiellement beaucoup plus efficace qu'avec des ordinateurs usuels.
Mot(s) clés libre(s) : calcul quantique, cryptographie, équations de Maxwell, infiniment petit, interférence quantique, lumière ondulatoire, mécanique quantique, non-localité, optique quantique, photon, quantification de la lumière, superposition d'états

Grâce à la lumière, il est possible de suivre le mouvement de la surface d'un miroir avec une précision qui dépasse le centième de la taille d'un noyau atomique. Cette précision extrême nous procure un accès direct à de nombreux phénomènes de physique fondamentale : agitation thermique de la surface d'un miroir, caractère quantique de la lumière. Elle rend aussi possible la détection des ondes gravitationnelles.
Mot(s) clés libre(s) : agitation thermique, quantification du rayonnement, lumière, ondes gravitationnelles