In this paper we develop a discretized version of the dynamic programming algorithm and study its convergence and stability properties. We show that the computed value function converges quadratically ...

Static program analysis is a cornerstone in verifying, optimising, and debugging modern software systems. By evaluating code without executing it, these techniques enable early detection of ...

Advanced study in models of computation, programming languages and algorithms with a specific focus on concurrent programming. The course includes models of computation, programming language paradigms ...

This paper presents convergence analysis of some algorithms for solving systems of nonlinear equations defined by locally Lipschitzian functions. For the directional derivative-based and the ...

Specialization: Data Science Foundations: Data Structures and Algorithms Instructor: Sriram Sankaranarayanan, Assistant Professor Prior knowledge needed: Mathematical Background: We expect that the ...