Covers the efficiency of register machines over stack machines, memory organization, and mapping instructions.
Explores optimization in energy system modeling, covering decision variables, objective functions, and different strategies with their pros and cons.
Explores degree of freedom analysis, redundancy, and data reconciliation in process modeling and optimization.
Covers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Explores the formalization of memory models and their crucial role in program optimization.
Covers optimization methods, focusing on gradient methods and line search techniques.
