cs@cs.ucy.ac.cy | +357-22-892700

| | | | MyCS Portal |

Postgraduate Programme Courses Description

Postgraduate Courses

CS 601 Distributed Systems

Specialisation Course for MIC
Restricted Choice for MCS, MIntS, PM
Basic concepts and principles of distributed systems. Communication, processes and synchronization. Faults. Naming. Distributed file systems and distributed operating systems. Security and cryptography in distributed systems. Distributed shared memory and its consistency. Distributed algorithms and distributed programming. Design and development of applications in distributed environments. Case-studies of specific distributed systems. Practical exposition with programming project or programming exercises.

CS 602 Foundations of Web Technologies

Specialisation Course for MIC and PM
Restricted Choice for MCS, MIntS
Protocols Marking Languages. Basic characteristics of the Internet. Client-Server Programming. Organisation and management of information. Search engines. Service-provision infrastructures.

CS 603 Advanced Software Engineering

Specialisation Course for PM
Restricted Choice for MCS, MIC, MIntS
Topics in Component-Based Software: Principles of development of component-based systems based on component-based software. Modelling techniques. Software architectures. Coordination programming. Middleware platforms for the development of systems. Software composition. Elements of distributed programming. Configuration management. Advanced topics in Software Engineering: Requirements in Engineering Processes. Real-time Software

CS 604 Artificial Intelligence

Specialisation Course for MIntS
Restricted Choice for MCS, MIC, PM
Introduction to Artificial Intelligence. Intelligent Agents. Searching. Constraint Satisfaction. Knowledge Representation and Extraction. Temporal Representation. Introduction to Machine Learning. Introduction to Artificial Neural Networks. Single layer andMulti-layer Perceptrons. Radial-basis Function Networks. Self-organizing Maps. Reinforcement Learning. Genetic Algorithms. Fuzzy Logic.

CS 605 Advanced Computer Architecture

Specialisation Course for PM
Restricted Choice for MCS, MIC, MIntS
Performance evaluation and comparison, as well as benchmarking programmes; Basic microarchitecture concepts of modern processors; Pipelining, instruction-level parallelism, prediction, speculation, memory hierarchy, and static/dynamic instruction scheduling; Examples ofmodern processors; Current research projects in the area of computer architecture.

CS 606 Computer Networks and the Internet

Specialisation Course for MIC
Restricted Choice for MCS, MIntS, PM
Introduction to Internet and Networking Technologies. TCP/IP suite of protocols, Quality of Service (QoS), New Networking Architectures. Protocols and Standards (e.g., DiffServ, IPv6, MPLS). Network Performance Evaluation (e.g., queuing theory, and simulation tools). Traffic Modelling and Traffic Engineering. Congestion Control and Resource Allocation. Network Design and Optimization.

CS 607 Visual Computing

Restricted Choice for MCS, MIC, MIntS, PM
Binary image processing, intensity transformations, the discrete Fourier transform, linear and nonlinear filtering, image compression, image analysis, basic principles of video processing. Basic principles of 3d graphics: polygonal representations, transformations, local and world coordinate system, scene graph, camera and field of view specification, orthographic and perspective projection, clipping in 2D & 3D, polygon rasterization, back face elimination, visible surface determination with the Z-byffer method and Binary Space Partitioning Trees, local
illumination - flat, Phong & Gouraud shading, real-time graphics, applications.

CS 651 Data Management for Mobile Computing

Specialisation Course for MIC and PM
Restricted Choice for MCS, MIntS
Introduction (wireless technologies, architectures, applications, limitations). Software architectures for mobile computing. Theoretical models for mobile computing. Support for information recovery. Information Management. Dynamic redirection of computations. Indicative applications and open problems.

CS 652 E-Commerce

Specialisation Course for MIC and PM
Restricted Choice for MCS, MIntS
Mobile E-business. Access security. Cryptographic security. Electronic payments. Massive personalization. Intelligent agents. Transaction management. Strategic analysis. Digital goods. Strategies in ECommerce.

CS 654 Learning Technologies and Open and Distance Learning

Specialisation Course for MIC and PM
Restricted Choice for MCS, MIntS
Learning Technologies and Distance Learning Systems, Learning theories and Distance Learning, systems for developing learning material, Standards and quality control of learning material, Courses and educational software, Exploration of active learning techniques, Research issues in Distance Learning.

CS 655 Advanced Parallel Processing

Specialisation Course for PM
Restricted Choice for MCS, MIC, MIntS
Support for parallel programme execution, parallel architectures, different types of multiprocessor inter-connection networks, compilation of parallel programmes, and performance analysis of various parallel applications.

CS 656 Computer Graphics: Modeling and Realism

Specialisation Course for PM
Restricted Choice for MCS, MIC, MIntS
Modelling, parametric and implicit surfaces, camera specification, projections of primitives. Graphics Pipeline. Local and global illumination, shadows, ray tracing and radiosity. Real-time rendering of large environments. Acceleration techniques.

CS 657 Wireless Computer Networks

Specialisation Course for MIC
Restricted Choice for MCS, MIntS, PM
Wireless environment, Interference and other problems in wireless communications, basic principles of cellular wireless networks and wireless local area networks. New architectures and technologies of wireless networks and wireless communication (e.g., ad-hoc and sensor networks). Resource management techniques, Next Generation wireless networks, design and planning of wireless networks, protocols for wireless and mobile networks.

CS 658 Digital Video Processing

Specialisation Course for MIC
Restricted Choice for MCS, MIntS, PM
Basics of analog and digital video. Frequency domain analysis of video signals, spatial and temporal frequency response of the human visual system. Scene, camera, and motion modelling, 3D  motion and projected 2D motion, models for typical camera/object motions. 2D motion estimation. Basic compression techniques. Waveform-based coding. Video compression standards (H.261 and H.263, MPEG-1, MPEG-2, MPEG-4, MPEG-7, MPEG-21).

CS 660 Information Retrieval and Search Engines

Specialisation Course for MIC
Restricted Choice for MCS, MIntS and PM
Introduction to Information Retrieval. Boolean Retrieval. Text encoding: tokenisation, stemming, lemmatisation, stop words, phrases. Dictionaries and Tolerant retrieval. Index Construction and Compression. Scoring and Term Weighting. Vector Space Retrieval. Evaluation in information retrieval. Relevance feedback/query expansion. Text classification and Naive Bayes. Vector Space Classification. Flat andHierarchical Clustering.Web Search Basics.Web crawling and indexes. Link Analysis.

CS 661 Multi-Agent Systems

Specialisation Course for MIntS
Restricted Choice for MCS, MIC, PM
Intelligent Agents, Principles of multi-agent systems. Interfaces and collaboration. Communication protocols. Multi-agent organisations. Task distribution and coordination. Applications.

CS 662 Machine Learning and Data Mining

Specialisation Course for MIntS
Restricted Choice for MCS, MIC, PM
Data Warehouse and OLAP Technology for Data Mining. Data Processing. Data Mining Primitives, Languages, and System Architectures. Concept Description: Characterization and Comparison. Mining Association Rules in Large Databases. Classification and Prediction. Cluster Analysis. Mining Complex Types of Data. Applications and Trends in Data Mining.

CS 663 Computational Logic

Specialisation Course for MIntS
Restricted Choice for MCS, MIC, PM
Historical introduction. Review of Classical Logic. Abduction and induction. Knowledge representation and knowledge. Reasoning about Actions and Change. Application of Computational Logic. Declarative Programming. Autonomous Agents. Knowledge-based Robotics. Intelligent Information Integration.

CS 664 System Analysis and Verification

Restricted Choice for MCS, MIC, MIntS, PM
Formal methods for system specification and analysis. Concurrent systems and interleaving and partial-order semantics. Transition systems and Kripke structures. Temporal logic (linear and branching). Automatic verification and model-checking. Process algebras: syntax, semantics, equivalence relations and axiom systems. Real-time system analysis (timed automata, timed process algebras and timed temporal logic). The tools SPIN and Concurrency Workbench.

CS 665 Constraint Solving Methods

Specialisation Course for MIntS
Restricted Choice for MCS, MIC, PM
Review of basic concepts of Finite Domain Constraint Satisfaction. Advanced consistency techniques for binary and non-binary problems. Constraint Satisfaction and Propositional Logic:Modern algorithms and problem reduction techniques. Constraint Satisfaction and Logic Programming. Logic Programming with negation and the Smodels and DLV systems. Relation between Finite Domains and Propositional Logic techniques. Implied Constraints. The Planning problemand Constraint Satisfaction. Temporal Constraint Satisfaction. The CHIP Constraint Programming Language. Modelling in CHIP.

CS 666 Computational Bioscience

Specialisation Course for MIntS
Restricted Choice for MCS, MIC, PM
General framework and systems of Abductive and Inductive Logic Programming. Application of methods from the framework to problems and topics of Molecular Biology such as Gene Pathways, Signal and Regulating Networks, Metabolic Networks and Gene Therapy.

CS 667 Neuroinformatics

Specialisation Course for MIntS
Restricted Choice for MCS, MIC, PM
Neuroinformatics or Computational Neuroscience is an emerging and dynamically developing field aiming to elucidate the principles of information processing by the nervous system as well as applying information technology to the processing of neuroscientific data. This course aims to develop and apply computational methods for studying brain and behaviour as well as understanding the dynamics of the consciousmind. Basic biophysics of single neurons. Conductance-based neuronmodels: the generation of action potentials and theHodgkin and Huxley equations, dendritic trees, the propagation of action potentials, cable theory, compartmental models. Modelling synapses. Spiking neuron models and response variability: leaky integrator and integrate and-fire type neuron models, spike time variability. Neuronal coding. Synaptic plasticity. Bottom-up/top-down modelling of the brain. Modelling consciousness.

CS 671 Research Methodologies in Computer Science

Compulsory Course for MCS, MIC and MIntS
Seminars/lectures in Computer Science. Research literature reviewing. Presentation of technical study.

CS 672 Computer Science Professional Practices Seminar

Compulsory Course for PM
This module includes: (a) A series of a two-hour introductory lectures regarding the basic professional practices, for example the use of the library and of digital libraries, the searching for and studying of relevant references, the review of a technical subject or subfield, the review of scientific texts, the writing and substantiation of technical texts, the preparation of technical lectures, etc. (b) Seminars offered by academics of the Computer Science Department and visiting academics from other universities, research centers and industry.

CS 673 Algorithmic Game Theory

Specialisation Course for MIC
Restricted Choice for MCS, MIntS and PM
Strategic games. Pure and mixed strategies, utilities, best responses, equilibrium concepts. Pure and mixed Nash equilibria, their refinements and generalisations. Classical existence theorems of equilibria and their algorithmic aspects. Algorithms and complexity of equilibrium searching. The complexity classes PLS and PPAD and their relation to equilibrium computation. Bimatrix games and algorithms to compute their approximate equilibria. The Price of Anarchy and its variants. Analysis of the Price of Anarchy for both general and specific games (e.g., selfish routing games, congestion games, security games). Applications to realistic cases (e.g., social networks, Internet formation).

CS 674 Network and System Security

Specialisation Course for MIC and PM
Restricted Choice for MCS and MIntS
Introduction to security threats and attacks. Cryptographic and cryptanalysis techniques. Key exchange management (PKI). Network and Internet security protocols (IPSec, SSL/TLS). Identification and authentication standards (Kerberos, AAA). System security (Firewalls, IDS). Specific threats on end-systems (viruses, worms, trojan horses, stack overflow, rootkits). Identification of security vulnerabilities in software and operating systems. Checking of networks and applications for vulnerabilities, introduction to computer systems forensics. Security policies. Security management, ethical and legal issues in system security.

CS 675 Web Services and Service Oriented Computing

Specialisation Course for MIC and PM
Restricted Choice for MCS and MIntS
Introductory concepts. Relationship and difference between services and other related formalisms (distributed systems, component-based systems, etc). Fundamental architectures and protocols (SOAP, WSDL, UDDI). Fundamental development platforms (J2EE, NET, etc). Problems and challenges. Information modelling and representation (ontologies, RDF and OWL protocols, etc). Cooperative Information Systems and service composition.

CS 676 Software Architectures

Specialisation Course for PM
Restricted Choice for MCS, MIC and MIntS
Introductory concepts. Fundamental categories of software architectures. Patterns and contracts. Architecture Description Languages. Techniques for modeling and analysis of software architectures. Fundamental principles of component-based systems. Code generation.

CS 677 Component-Based Systems

Specialisation Course for PM
Restricted Choice for MCS, MIC and MIntS
Introductory concepts. The notion of components. The use of components in the traditional software life cycle. Design Patterns. Middleware platforms. Reusability and classification of components. Composition and integration of component-based systems. Quality assurance and maintenance of component-based systems.

CS 678 Temporal Information Systems in Medicine

Specialisation Course for MIntS
Restricted Choice for MCS, MIC and PM
Information Systems for storing, managing, querying and supporting different inference tasks on time-oriented clinical data. The significance of time inmedicine.Modelling and reasoning with time (modelling time and modelling temporal entities). Requirements, ontologies and temporal reasoning models. General theories of time in relation to medicine. Temporal constraints. Temporal databases and their extension for clinical data. Temporal abstraction of medical data (types of abstraction, temporal monitoring). Time and clinical diagnosis
(diagnostic concepts, applications, abductive reasoning based on timeobjects, temporal constraints). Automated support in planning therapies (modelling clinical guidelines and protocols). Further research challenges.

CS 679 Electronic Health

Specialisation Course for MintS and PM
Restricted Choice for MCS and MIC
Information retrieval from medical databases, data, medical records, live signals, and data mining using intelligent techniques. Study of application systems that are currently in use for managing medical data and suggest ways for better handling and building, medical knowledge bases, electronic health record, and decision support systems for the medical profession.

CS 680 Cognitive Programming

Computational models of cognitive intelligence based on argumentation using models from Cognitive Psychology and Computational Linguistics. The structure of common sense knowledge and the nature of common sense reasoning. Machine Learning of common sense knowledge from the web. The architecture of cognitive systems and their dynamic development cycle. Use of the systems of GORGIAS, STAR and IBM Watson for the development of cognitive systems. Applications for decision systems with adaptive and personalized recommendations. Cognitive assistants for Internet and smart devices services.

CS 699 Special Topics in Computer Sciencee: Online Social Networks

Restricted Choice for Ph.D. candidates (and conditionally for MCS, MIC, MIntS, PM)
Introduction to Social Networks. Design Principles of Online Social Networking Systems. Overview of popular Online Social Networking Systems: Facebook, Twitter, LinkedIn. Social Networks analysis from a Complex Networks Perspective. Data Mining of Online Social Networks data. Modeling of Online Social Networks.