Explore le transport phononique dépendant de la taille dans les nanofils, couvrant la diffusion du phonon, la conductivité thermique et la dépendance à la longueur.
Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Couvre la gestion du trafic en temps réel, y compris la modélisation du flux de trafic, les stratégies de contrôle, les capteurs et la priorité des transports en commun.
Explore les limites du chauffage ohmique dans le plasma et les avantages et inconvénients de l'injection de faisceau neutre pour le chauffage plasma supplémentaire.
Couvre la reconnection magnétique, les tubes de flux ascendants, le modèle Sweet-Parker, l'équilibre énergétique et les questions ouvertes en physique du plasma.
