| |
First Semester
- Core Courses |
|
| |
|
|
| |
CS 601 : Distributed Systems |
|
| |
Basic concepts and principles of Distributed Systems.
Communication, processes and synchronization. Naming. Distributed
file systems and distributed operating systems. Security and cryptography.
Distributed shared memory and its consistency. Distributed algorithms
and distributed programming. Design and development of applications
in a distributed environment. Faults in distributed systems: detection
and recovery. Case studies and practical experience with programming
project or programming exercises. |
|
| |
 |
|
| |
|
|
| |
CS 602 : Foundations of Web Technologies |
|
| |
Protocols Marking Languages. Basic characteristics of Internet. Client-
Server Programming. Organization and management of information. Search engines.
Service-provision infrastructures. |
|
| |
|
|
| |
|
|
| |
CS 603 : Advanced Software Engineering |
|
| |
Topics in Component-Based Software: Principles of development of
component-based systems based on component-based software. Modeling techniques.
Software architectures. Coordination programming. Middleware platforms for the
development of systems. Software composition. Elements of the distributed
programming. Configuration management. Advanced topics in Software Engineering:
Requirements Engineering Processes. Real-time Software Design. Design with Reuse.
User Interface Design. Software Change. |
|
| |
|
|
| |
|
|
| |
CS 604 : Artificial Intelligence |
|
| |
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 and Multi layer Perceptrons. Radial-basis Function Networks.
Self-organizing Maps. Modular Neural Networks. Genetic Algorithms. Fuzzy Logic. |
|
| |
|
|
| |
|
|
| |
CS 605 : Advanced Computer Architecture I |
|
| |
Performance evaluation and comparison , as well as benchmarking
programs; Basic microarchitecture concepts of modern processors; Pipelining,
instruction-level parallelism, prediction, speculation, memory hierarchy, and
static/dynamic instruction scheduling; Examples of modern processors; Current
research projects in the area of computer architecture. |
|
| |
|
|
| |
|
|
| |
CS 606 : Computer Networks and the Internet |
|
| |
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.
queueing theory, and simulation tools). Traffic Modeling and Traffic Engineering.
Congestion Control and Resource Allocation. Network Design and Optimization. |
|
| |
|
|
| |
|
|
| |
|
|
| |
Second Semester - Specialization
Courses |
|
| |
|
|
| |
EPL 651 : Data Management for Mobile Computing |
|
| |
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. |
|
| |
|
|
| |
|
|
| |
EPL 652 : E-Commerce |
|
| |
Mobile E-business. Access security. Cryptographic security. Electronic
payments. Massive personalization. Intelligent agents. Transaction management.
Strategic analysis. Digital goods. Strategies in E-Commerce. |
|
| |
|
|
| |
|
|
| |
EPL 654 : Learning Technologies and Open and Distance Learning |
|
| |
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 Computer Architecture II |
|
| |
TSupport for parallel program execution, parallel architectures, different
types of multiprocessor interconnection networks, compilation of parallel programs,
and performance analysis of various parallel applications. |
|
| |
|
|
| |
|
|
| |
CS 656 Computer Graphics: Modeling and Realism |
|
| |
Modeling, 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 |
|
| |
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 |
|
| |
Basic 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 modeling, 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 661: Multi-Agent Systems |
|
| |
Intelligent Agents. Principles of multiagents systems. Interfaces and
collaboration. Communication protocols. Multiagent organizations. Task distribution
and coordination. Applications. |
|
| |
|
|
| |
|
|
| |
CS 662: Machine Learning and Data Mining |
|
| |
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 |
|
| |
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 Systems Analysis and Verification |
|
| |
Formal methods for system specification and analysis. Concurrent systems
and interleaving and partial-order semantics. Transition systems and Kripke
structures. Temporal logic (lenear and branching). Autoatic varification and modelchecking.
Process algebras: syntax, semantics, equivalence relations and axiom
systems. Real-time system analysis (timed automata, timed process algebrs and timed
temporal logic). The tools SPIN and Concurrency Workbench. |
|
| |
|
|
| |
|
|
| |
CS 665 Constraint Solving Methods |
|
| |
Review of basic concepts from Constraint Satisfaction over Finite Domains.
Advanced Consistency Techniques in Binary and non-Binary problems. Constraint
Satisfaction and Propositional Logic: new algorithms and reduction techniques. Logic
Programs with negations and the systems SMODELS and DLV. Relation between
Constraint Satisfaction and Propositional Satisfiability. Redundant Constraints.
Planning and Constraint Satisfaction. Satisfaction of Temporal Constraints.
Introduction to Distributed Constraint Satisfaction. Problem solving with CHIP. |
|
| |
|
|
| |
|
|
| |
CS 666 Computational Bioscience |
|
| |
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 671 Research Methodologies in Computer Science |
|
| |
Seminars/lectures in Computer Science. Research literature reviewing.
Presentation of technical study. |
|
| |
|
|
| |
|
|
| |
CS 699 Special Topics in Computer Science |
|
| |
The content of the course is according to the specific topic. |
|
| |
|
|
| |
|
|
