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.
Explore l'aide à la mémoire du cerveau humain, en mettant l'accent sur les possibilités d'étudier la mémoire humaine, les enregistrements d'une cellule unique et la représentation de l'espace, du temps et des objets.
Compare la prise de notes à la main longue et à l'ordinateur portable pour l'apprentissage, en mettant l'accent sur les effets néfastes de la transcription textuelle sur la compréhension et la conservation.
Explore les données du cortex visuel primaire de la souris, en mettant l'accent sur l'encodage des informations visuelles, la transformation, la diversité des réponses et la modulation de locomotion.
