Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
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.
Covers optimization principles, including linear optimization, networks, and concrete research examples in transportation.
