Register MachineCovers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
The String GameDelves into the string game, showcasing the limitations of exhaustive testing and the importance of heuristics in problem-solving.
Graph Coloring IIExplores advanced graph coloring concepts, including planted coloring, rigidity threshold, and frozen variables in BP fixed points.
Graph Coloring IIIExplores properties of clusters and colorability threshold in graph coloring, including average connectivity and rigidity.
Information Theory: BasicsCovers the basics of information theory, entropy, and fixed points in graph colorings and the Ising model.
Belief PropagationExplores Belief Propagation in graphical models, factor graphs, spin glass examples, Boltzmann distributions, and graph coloring properties.
Optimization and SimulationExplores optimization, simulation, data analysis, and the importance of considering more than just the mean in engineering systems.