Introduces the basics of the AutoCAD interface, covering connecting to A360, starting drawings, and managing output add-ins.
Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
Covers optimization methods, focusing on gradient methods and line search techniques.
Explores degree of freedom analysis, redundancy, and data reconciliation in process modeling and optimization.
Explores optimizing recursive queries in database systems using Datalog and semirings, discussing the challenges and solutions in data analytics.
Explores the formalization of memory models and their crucial role in program optimization.
