Agenda

Découplage des événements chimiques et thermiques au sein d'une batterie via des capteurs optiques de Bragg

Multi-sphéroïdes cellulaires

Le lithium : histoire, synthèse, réactivité, usages

De la physique statistique aux sciences sociales : les défis de la pluridisciplinarité

Algèbre (II) : la méthode des polynômes

Tension de surface des tissus

Utilisation de capteurs plasmoniques non intrusifs sur fibres optiques pour surveiller les événements chimiques en direct au sein d'une batterie

Application de la technique de séquençage ultra-rapide de l'ADN par nanopores aux batteries

Bases orthonormales d'ondelettes

Comment raisonner sur un logiciel ? La naissance des logiques de programmes

Le potentiel d'interaction entre deux atomes

Gaz quantiques annulaires en rotation : du courant élémentaire à l'écoulement supersonique

Hydrodynamique et rhéologie des tissus

Apports des techniques acoustiques pour le diagnostic/suivi des batteries

Détection infrarouge par fibres optiques

Parcimonie et compression d'images

Variables et boucles : la logique de Hoare

Les logiques de programmes à l'épreuve du réel : tours et détours avec Frama-C/WP

Éléments de théorie de la diffusion

Comportement actif des tissus

Autres capteurs et introduction à l'autoréparation des batteries

Le système Zn/MnO₂ : une chimie et une histoire exemplaires

Pointeurs et structures de données : la logique de séparation

Preuve auto-active de programmes en SPARK

Collisions à basse énergie