Algorithm design strategies such as divide and conquer. Elementary techniques for analysis; asymptotic analysis, recursion equations, estimation methods, elementary combinatorial arguments.

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 ...

In this module the student will learn the very basics of algorithms through three examples: insertion sort (sort an array in ascending/descending order); binary search: search whether an element is ...

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 ...

Do you want to enter the job market as a competitive GIS modeler with programming skills? This course will help you get there. It focuses on the extension of geographic information systems (GIS) ...

Ron Shamir, Probabilistic Analysis in Linear Programming, Statistical Science, Vol. 8, No. 1, Report from the Committee on Applied and Theoretical Statistics of the National Research Council on ...

An algorithm used to inform healthcare decisions for millions of people shows significant racial bias in its predictions of the health risks of black patients.