COMP-SCI 5561      Advanced Artificial Intelligence
AI systems and their languages, implementations and applications, case studies of various expert systems, current research topics in AI, logic programming using PROLOG. Prerequisite: CS 461.
Credits: 3 hours
back to top

COMP-SCI 5564      Inference Techniques And Knowledge Representation
Inference Techniques is an in-depth course of logic and automatic theorem proving, intended for Computer Science graduate students, with particular importance to those students interested in Artificial Intelligence. The main areas of study will be concerned with the principals and techniques used for automatic theorem proving. An overview of the representation of knowledge and logic, a detailed appreciation of theorem proving methods, and implementation techniques will be provided in the course. The course will provide background for further study in varying fields of A.I. Prerequisite: CS 461 or consent of instructor.
Credits: 3 hours
back to top

COMP-SCI 5566      Introduction To Bioinformatics
This course introduces students to the field of Bioinformatics with a focus on understanding the motivation and computer science behind existing Bioinformatic resources, as well as learning the skills to design and implement new ideas. Offered: Every Fall Prerequisites: COMP-SCI 303 and a course/background in Biology (Genomics or Meta Models preferred.)
Credits: 3 hours
back to top

COMP-SCI 5567      Machine Learning In Bioinformatics
This course introduces students to the field of Machine Learing algorithms that are used in Bioinformatics, illustrated by several examples of applications to various problems. Offered: Every Winter Prerequisites: COMP-SCI 303 and a course/background in Biology (Genomics or eta Models preferred.)
Credits: 3 hours
back to top

COMP-SCI 5570      Architecture Of Database Management Systems
Covers in detail, architecture of centralized database systems, database processing, management of concurrent transactions, query processing, query optimization, data models, database recovery, datawarehousing, workflow, World Wide Web and Database performance, and reviews the architecture of some commercial centralized database systems. Prerequisites: COMP-SCI 470 and COMP-SCI 431, or consent of instructor.
Credits: 3 hours
back to top

COMP-SCI 5572      Mobile Computing
This course covers in detail the architecture of mobile and wireless network. It discusses and develops reveland concepts and algorithms for building mobile database systems (MDS), which is necessary for managing information on the air and E-commerce. This course is offered once a year. Prerequisite: COMP-SCI 5570 Offered: Every Fall
Credits: 3 hours
back to top

COMP-SCI 5573      Information Security and Assurance
This course deals with information security and assurance and covers the concepts necessary to secure the cyberspace. It introduces security models, assurance policies, security policies and procedures, and technology. It enables students to understand the need for information assurance, identify security vulnerabilities, and devise security solutions that meaningfully raise the level of confidence in computer systems. It teaches students how to design secured database and computer systems. Prerequisites: CS 470
Credits: 3 hours
back to top

COMP-SCI 5574      Large Scale Semistructured Date Management
This course will cover topics related to managing large scale semistructured data modeled using the Extensible Markup Language XML and the Resource Description Framework (RDF). This will include storing XML (e.g. natively, using a relational database), indexing XML (e.g. numbering schemes, structural indexes, sequencing paradigms), XML query processing algorithms (e.g. join-based, subsequence-based), RDF DATA STORAGE (e.g. triple stores, graph stores), RDF indexing and SPARQL query processing algorithms. The course will also cover emerging many core processor architectures (e.g. Intel Single-chip Cloud Computer) and the opportunities they provide for building next-generation semistructured data management solutions. Extensive reading of research papers and in-class presentations will be a core part of this class. Grades will be based on in-class presentations of research papers, exams, and a research project (to be done in groups). Prerequisites: CS 470 or equivalent course.
Credits: 3 hours
back to top

COMP-SCI 5575      Advanced Computer Graphics
Review of transformations, 3D viewing, curve fitting in 3D, generation of surfaces, hidden surface elimination, scan-line coherence, rigid solid representation, shading, color theory. Prerequisite: CS 475.
Credits: 3 hours
back to top

COMP-SCI 5581      Parallel Computer Architecture I
Parallelism in computer architecture, pipelined processors, array processors and multi-processor systems, algorithms for SISD, SIMD, MISD and MIMD organizations, vectorization, pipelining algorithms. Prerequisite: CS 481.
Credits: 3 hours
back to top

COMP-SCI 5590      Special Topics
Selected topics in specific areas of computer science. May be repeated for credit when the topic varies.
Credits: 1-3 hours
back to top

COMP-SCI 5590A      Special Topics
Credits: 3 hours
back to top

COMP-SCI 5590AB      Special Topics
Credits: 1-3 hours
back to top

COMP-SCI 5590AC      Special Topics
Credits: 1-3 hours
back to top

COMP-SCI 5590AW      Special Topics
Credits: 1-3 hours
back to top

COMP-SCI 5590BI      Special Topics
Credits: 1-3 hours
back to top

COMP-SCI 5590C      Special Topics In Computer Science
Special Topics In Computer Science
Credits: 1-3 hours
back to top

COMP-SCI 5590CA      Special Topics
Credits: 1-3 hours
back to top

COMP-SCI 5590CC      Special Topics In Computer Science
Credits: 1-3 hours
back to top

COMP-SCI 5590CD      Special Topics
Credits: 1-3 hours
back to top