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.
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 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.
Introduit la polarisation nucléaire dynamique en résonance magnétique, mettant l'accent sur la diffusion efficace du spin nucléaire et l'impact de la concentration d'électrons.
Couvre l'interaction laser-cible, y compris la focalisation, les niveaux d'énergie, la pénétration de la profondeur de la peau, l'ionisation, l'expansion, l'ablation et les ondes de choc.
