admin

3 credits (3-0-0) Pre-requisites: COL333 / COL671 / Equivalent Potential topics or themes which may be covered (one topic per offering) include: information extraction, industrial… Read More »COL864 Special Topics in Artificial Intelligence

3 credits (3-0-0) Special topic that focuses on state of the art and research problems of importance in this area.

3 credits (3-0-0) The course will focus on research issues in areas like parallel computation models, parallel algorithms, Parallel Computer architectures and interconnection networks, Shared… Read More »COL860 Special Topics in Parallel Computation

3 credits (3-0-0) Pre-requisites: COL728/COL729 Special topic that focuses on state of the art and research problems of importance in this area.

3 credits (3-0-0) Pre-requisites: COL331 Or Equivalent To provide insight into current research problems in the area of operating systems. Topics may include, but are… Read More »COL851 Special Topics in Operating Systems

3 credits (3-0-0) Pre-requisites: COL226, COL352 Syntax and semantic foundations: Ranked algebras, homomorphisms, initial algebras, congruences. First-order logic review: Soundness, completeness, compactness. Herbrand models and… Read More »COL832 Proofs and Types

3 credits (3-0-0) Pre-requisites: COL226 OR Equivalent Models of Distributed Computing; Basic Issues: Causality, Exclusion, Fairness, Independence, Consistency; Specification of Distributed Systems: Transition systems, petri… Read More »COL830 Distributed Computing

4 credits (3-0-2) Pre-requisites: COL781 Rendering: Ray tracing, Radiosity methods, Global illumination models, Shadow generation, Mapping, Anti-aliasing, Volume rendering, Geometrical Modeling: Parametric surfaces, Implicit surfaces,… Read More »COL829 Advanced Computer Graphics