Operations on Formal LanguagesExplores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.
Introduction to C++ StringsCovers the basics of working with strings in C++, including declaration, initialization, characters, assignment, concatenation, and comparison.
Stabilizer FormalismCovers the stabilizer formalism, code words, weights, syndromes, and error correction using stabilizer codes.
Radiation Hard MicroelectronicsExplores radiation-hard microelectronics design, rad-hard ASIC libraries, and mitigation techniques for single-event effects.
Lecture: ShannonCovers the basics of information theory, focusing on Shannon's setting and channel transmission.
Error-Correcting CodesExplores error-correcting codes, decoding processes, constraints satisfaction, randomness in code selection, and error compensation methods.