Explore la passivité, la stabilité et le critère de cercle dans les systèmes de contrôle, en mettant l'accent sur le comportement du système et les considérations de conception.
Couvre la fermeture algébrique de Qp et la définition des nombres complexes p-adiques, en explorant la dépendance continue des racines sur les coefficients.
Explore la finitude de fermeture dans les complexes CW, prouvant que les sous-espaces compacts sont contenus dans des sous-complexes finis par induction et des cartes caractéristiques.
Couvre les opérateurs linéaires et les domaines bornés, en se concentrant sur l'existence de tels opérateurs dans des domaines avec des limites bornées.
Explore la dynamique des protéines, en mettant l'accent sur les machines CLpB, les changements conformationnels rapides et les mécanismes de translocation du substrat.
Explore la mise en oeuvre d'un interprète abstrait octagonique pour les programmes C, couvrant l'interprétation abstraite, les contraintes octogonales, les fermetures, les pointeurs et l'analyseur FrontC.
