Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 2914
Conférences

le (53m18s)

Transitions de phases et limites infinies / Phase Transitions and Infinite Limits

Vincent Ardourel, Chargé de recherche au CNRS, Institut d’histoire et de philosophie des sciences et des techniques (IHPST, UMR 8590 Vincent Ardourel discute de la possibilité d’éliminer les limites infinies qui apparaissent dans les explications des transitions de phase – un point important du débat sur la réductibilité de la thermodynamique à la mécanique statistique. À cette fin, il examine des théories physiques alternatives qui traitent de transitions de phase dans des systèmes finis. Vincent Ardourel discusses the eliminability of infinite limits in the explanations of phase transitions—an important point in the debate on the reducibility ...
Voir la vidéo
Conférences

le (0s)

Inférence à la meilleure explication en mathématiques : Concilier apriorité et révisabilité / Mathematical inference to the best explanation : Reconciling a priority and revisability.

... explication en mathématiques. Peut-on, en mathématiques, avoir des formes à priori d’inférence à la meilleure explication ? Peuvent-elles être à la fois à priori et révisables ? Marina Imocrante discusses the nature of mathematical inferences to the...
Voir la vidéo
Conférences

le (0s)

Quels phénomènes universels sont émergents ? / Which universal phenomena are emergent?

Christopher Pincock, Professeur de philosophie à l’université d’État de l’Ohio (Ohio State University, États-Unis). Christopher Pincock discute la nature de l’explication de l’universalité de certains phénomènes naturels, comme les phénomènes critiques. Sous quelles conditions est-il possible de les appeler émergents Christopher Pincock discusses the nature of the explanation of the universality of certain natural phenomena, such as critical phenomena. Under what conditions can they be called emergent?
Voir la vidéo
Conférences

le (50m34s)

Le numérique stade suprême du capitalisme ? L'économie politique à l'ère des plateformes

         Conférence inaugurale du CIS : Réseaux en société, sociétés en réseau, 27 septembre 2019,Le Centre Internet et Société (CIS) est un centre de recherche créé par le CNRS en 2019.  Au croisement de disciplines telles que la sociologie, le droit, l'histoire, l'économie, la science politique, les sciences de l'information et de la communication, l'informatique et les sciences de l'ingénieur, le CIS entend construire une recherche et une expertise indépendantes et interdisciplinaires, capables d'éclairer les grandes controverses techniques et la définition des politiques contemporaines liées au numérique, à l'internet, et plus largement à l'informatique.  Table ronde. ...
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