University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
University of Aberdeen - Natural language front ends; formal properties of linguistic formalisms; semantic interpretation of English sentences, particularly temporal semantics; modelling of verbal humour.
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Concise introduction and demonstration of the Hough Transform, used for finding lines and edges in images, along with pointers to more advanced techniques for partial and curved lines.
A library of tools for constructing maximum entropy (maxent) model in either python or C++. Some program features are L-BFGS and GIS parameter estimation, and gaussian prior smoothing. [GPL]