Msc For Industry Courses

Object oriented design and programming OO programming; UML modelling and system design.

Software engineering

Program specification; reasoning about the correctness of programs; testing; architectural design patterns

Software engineering environments

Tools and techniques for large-scale systems development, requirements capture and software maintenance

Concurrent programming

Concepts, methods and algorithms appropriate for the construction of concurrent programs

Models of concurrent computation

Formalisms for specifying and verifying concurrent systems

Parallel algorithms

Parallel sorting and searching algorithms; matrix algorithms; optimisation; dynamic programming; knapsack problems; scheduling; element methods

Computer systems

Computer architecture and organisation; operating systems

Advanced computer architectures

High-performance computer architectures; dynamic scheduling and speculative execution; caches and cache coherency; inter connection networks

Networks and distributed systems

Networks overview; local area networks; wireless networking; Internet Protocols; distributed systems overview; interaction primitives and implementation; security

Distributed systems

Distributed system architecture; interaction primitives and implementation; software structures and components; security;distributed systems management

Advances in databases

Entity relationship modelling; the relational model; integrity; database fundamentals; query processing and optimisation; parallel and client/server architectures; serialisability; recovery; distributed and heterogeneous databases;

Advanced databases

Database management systems (DBMS) architecture and implementation; concurrency control and recovery; query optimisation; distributed databases; schemantegration; query optimisation; object oriented and object relational databases

Multimedia

Design of multimedia systems; underlying technologies; compression; standards for multimedia storage and transmission; advanced multimedia applications

Decision analysis

Decision making under certainty; risk and uncertainty; utility functions and risk aversion; multi-criteria decisions; multi- attribute utilities; dynamic programming; Markov decision processes

Operations research

Optimal decision making processes in design and management; constrained optimisation problems; linear programming and linearinteger programming; game theory

Advanced operations research

The sparse simplex method; interior point algorithms; integer programming (IP); logic constraints and IP; constraint classification; connection to planning and scheduling, branch and bound method, network optimisation.

Computing for optimal decisions

Quantitative problems in management decision making; unconstrained and constrained optimal decision formulations; quadratic and general nonlinear programming formulations and algorithms.

Knowledge management techniques

Data warehousing and online analytical processing (OLAP); decision support systems; data mining; traditional methods of information retrieval; multimedia knowledge management.

Network security

Assets, threats and countermeasures; classical cryptography; symmetric key and public key cryptography; digital signatures; PKI; mutual authentication; key management; intruders and programmed threats; firewalls; VPNs; Web and Java security

The practice of logic programming

Efficient, structured Prolog programs, Constraint Logic Programming; expert systems; natural language processing

Artificial intelligence

Reasoning under uncertainty; assumption based reasoning; machine learning

Robotics

Programming small robots; locomotion and sensor systems; reactive behaviour; motion planning

Simulation and modelling

Basic simulation procedures; model classification; Monte Carlo simulation; discrete-event simulation; queuing networks; process-oriented and parallel simulation

Complexity

Turing machines; decidability; machine independence; time complexity; the classes P and NP; NP-completeness; example problems from logic and graphs; space complexity classes; the parallel computation thesis; probabilistic algorithms; cryptography , zero - knowledge proofs

Performance analysis

Analytical modelling techniques; Markov processes; queuing networks; computation of performance measures; mean value analysis; application to multi-access systems with thrashing; Norton's theorem; M/M/n queue; multiple independent parallel servers

Graphics

Raster graphics algorithms; transformation of graphical scenes; shading; texture mapping; ray tracing; morphing; special visual effects

Advanced graphics and visualisation

Volume rendering; surface reconstruction; spline curves; surface modelling; image-based rendering and lightfields; virtual reality; augmented reality; simulation training in medicine.

Computer vision

Computer-based recognition and extraction of features from raster images; segmentation; quadtre structures; mean and variance pyramids; Sobel and Laplacian operators; perceptual grouping; relaxation labelling of images; depth measurement; stereo vision; multiple camera systems

Custom computing

Custom computing design; performance high-level design tools; optimisation; pipelining, serialisation and transposition and their combinations; bit-level designs; data refinement; FPG A-based implementations

Multi-agent systems

Software agents; multi-threaded logic programming; distributed problem solving and the contract net protocol; Agents with mental state; Agent communication languages - KQML and FIPAACL and matchmakers; mobile agents; security issues; infrastructures

Computational logic

Logical representation of problems; Herbr and domains; clausal-form logic; unification and general resolution; finite-failure extension and program completion; SLDN F-resolution and its applications .

Modal and temporal logics

Kripke models, frame axioms versus accessibility conditions, completeness results; temporal logics LTL and CTL in the model checker NuSMV; logics of knowledge and belief; logics of action and duty; dynamic logic

Automated reasoning

Propositional theorem proving; model generation and Davis Putnam Procedure; resolution for the first order predicate calculus; completeness and soundness; hyper-resolution; locking, connection graphs; the Otter Theorem prover; tableau methods;equational methods; Knuth-Bendix algorithm

Program analysis

Data flow analysis; control flow analysis; abstract interpretation; types and effect systems; program transformations; worklist algorithms, interprocedural analysis

Introduction to bioinformatics

Biological background; protein structures; dot-plots; coring schemes; BLAST algorithm; dynamic programming algorithm; structural inferences; PSI-BLAST; HMMs; machine learning approaches; neural networks; drug design; data mining; HT methods; analysis of gene, protein and metabolyte expressions

Grid computing

Service oriented architectures; web services; programming models for Grid environments; Grid infrastructures (Globus, Condor, Condor-G); Open Grid Services Architecture; security issues; resource election and job placement; computational economics models