CS7IS1 – Knowledge and Data Engineering
(Semester 1, 5 ECTS) The module is designed to explore the management, delivery and inter-operability of knowledge, information and data through knowledge and data engineering.
Category: Electronic and Computer Engineering Year 5
CS7GV3 – Real-Time Rendering
(Semester 2, 5 ECTS) This module deals with programming for GPU pipeline architectures e.g. geometry,
rasterisation, texturing, fragment / pixel and vertex shaders.
CSU55004 – Formal Verification
(Semester 1, 5 ECTS) Specification languages and logics; axiomatic program semantics. Formal proof
systems to verify software and system properties such as propositional, predicate
and Hoare logic.
CS7NS5 – Security and Privacy
(Semester 2, 5 ECTS) The objectives of this module are: to develop an in-depth understanding of risk, data
privacy, threats and risks of security breaches, an awareness of computer security
(cryptographic) and protocol techniques, and an ability to make appropriate
decisions about securing data.
CS7NS2 – Internet of Things
(Semester 2, 5 ECTS) In this module, students will explore the prevailing vision for an Internet of Things in
a practical, pragmatic manner.
CS7IS3 – Information Retrieval and Web Search
(Semester 1, 5 ECTS) Explain the process of content indexing in information retrieval including stop word removal, conflation (stemming, string-comparison), and the language dependency of these methods.
CS7IS2 – Artificial Intelligence
(Semester 2, 5 ECTS) Appreciate the scope, applications and limitations of artificial intelligence;
CS7GV5 – Real-Time Animation
(Semester 2, 5 ECTS) The aim of this module is to provide students with a deep understanding of the theory and techniques behind real time animation.
CS7CS4 – Machine Learning
(Semester 1, 5 ECTS) Understand what machine learning is and how it works.