Couvre le redécoupage, une méthode pour convertir des ensembles de données 3D en images 2D en extrayant des valeurs d'intensité le long d'une ligne, et ses applications dans l'analyse des objets en mouvement et des relations spatiales.
Couvre les grammaires sans contexte, y compris la définition des symboles non terminaux et terminaux, les règles pour générer des chaînes, et le concept de dérivations.
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Explore le développement d'une machine virtuelle WebAssembly par le groupe 13, couvrant les étapes du pipeline, la structure de l'interprète et la gestion des piles.
Explore la dualité d'assemblage dans les microcontrôleurs, couvrant les opérations de bits, les techniques de masquage, les macros, les sous-programmes et la gestion des piles.
