Relational model of databases, structured query language, normalized structure of database management systems based on relational model, and security and integrity of databases.

Internal design and operation of a modern operating system, including interrupt handling, process scheduling, memory management, virtual memory, demand paging, file space allocation, file and directory management, file/user security and file access methods. Computer Networks

Project oriented hands-on approach.

Conventional and public-key cryptography. Message encryption and authentication. Secure communication between computers in a hostile environment, including E-mail (PGP), virtual private networks (IPSec) and the World Wide Web (SSL). Firewalls. Mandatory weekly linux-based lab.

Overview of all aspects of media forensics including analysis of character encoding, file formats, and digital media, examination of disk acquisition and duplication techniques in criminal investigation scenarios.

Introduction to Probability and Statistics with applications in Computer Science. Counting, permutations and combinations. Probability, conditional probability, Bayes Theorem. Standard probability distributions. Measures of central tendency and dispersion. Central Limit Theorem. Regression and correlation. Hypothesis testing. Random number generation. Random algorithms. Estimating probabilities by simulation. Genetic algorithms.

Selected Topics in Computer Science.

Selected Topics in Computer Science.

This course will help students to be more competitive in the ACM programming contest by exploring numerous problem solving techniques and algorithms not covered in the traditional curriculum.

Context-sensitive and semantic aspects of programming languages, denotational semantics, mathematical foundations.

Lexical and syntactical scan, semantics, code generation and optimization, dataflow analysis, parallelizing compilers, automatic compiler generation

Seminar on Programming Languages.

Relational, hierarchical, and network models; object-oriented databases, knowledge-based systems; security issues, concurrency control and distributed databases, query optimization; advanced topics.

Object data model, object-oriented query languages and database architecture, schema evolution, integration with non-object-oriented models, query optimization.

This course introduces the principles of multimedia databases including multimedia information processing, modeling, and retrieval. The media to be considered include text, image, audio and video. At the conclusion of this course, the students should understand what multimedia data retrieval is, the principles, which allow the location of relevant information from amongst a large corpus of multimedia data, and the applications of multimedia information retrieval. The students should also have the expertise and competence to design and implement retrieval software for multimedia data.

Advanced topics in software design, including: Software modularization, design patterns, formal methods, and software testing.

Formal methods for software requirements specification, including VDM, Z, and object-oriented extensions; the relationship among formal requirements, design, and implementation.

This is a special topics class that meets once a week to study new research ideas emerging in the area of software engineering.

Introduction to computer architecture, including memory subsystems, direct-mapped and set-associative cache and multi-level cache subsystems, direct-access devices including RAID and SCSI disk drives, processor pipelining including super-scalar and vector machines, parallel architectures including SMP, NUMA and distributed memory systems, Interrupt mechanisms, and future microprocessor design issues.

Overview of parallel computing hardware, architectures, & programming paradigms; parallel programming using MPI, Ptureads, and OpenMP; design, development, and analysis of parallel algorithms for matrix computations, FFTs, and Sorting.

Theory and practice of virtualization. Origins, history, technical and economic motivations. Relationship to network operating systems and operating system architecture. Simulation, Emulation, Virtualization of CPUs, networks, storage, desktops, memory, devices, and combinations thereof. Different approaches to virtualization, including hardware assists and software-only techniques. Techniques, approaches, and methodologies for scale-out and scale-up computing, including security, performance and economic concerns.

Lectures & discussion on advanced topics in Computer Systems.

Lectures & discussion on advanced topics in Computer Systems.

Introduction to computational methodologies in bioinformatics.

No description available.

Can only be taken as part of a specialization in Bioinformatics.

Parsing and translation theory, formal syntax, proof properties and complexity measures.

Basic methods and data structures, geometric searching, convex hulls, proximity, intersections.

Programming methodologies, logic foundations, natural language applications, expert systems.

Syntax, semantics, ATNs, logic grammars, language and memory.

Logic, production systems, semantic nets, frames, multiple representational systems.

Interfaces and Engines for games and puzzles such as Chess, Checkers, Othello, Rubik's Cube, Go, Sudoku, etc.

Graphics architectures, geometric transforms, 3-D, object models, shading, intensity, hidden elements, color, advanced topics.

The formal description of a motion is necessary in computer animation for graphics, game design, robotics, and many other disciplines. This course covers various aspects of the design of motions. Typical topics include position control along Bezier curves, orientation control with quaternion splines, motion planning, motion capture, camera control, collision detection, visibility analysis.

Advanced Computer Graphics techniques aimed at "Scientific Visualization" applications.

Lectures & discussion on advanced topics in Graphics and Image Processing.

Matrix computations, including solution of linear systems, least squares, spectral analysis, and singular value decomposition.  Both direct and iterative methods will be studied.  Efficient and robust algorithms will be emphasized.  Applications such as principal component analysis, null space, least-squares alignment.

Combined continuous and discrete simulation, simulation theory, modeling environments.

Selected topics in Computer Science.

Selected topics in Computer Science.

Selected topics in Computer Science.

Masters student registration.

Context-sensitive and semantic aspects of programming languages, denotational semantics, mathematical foundations.

Lexical and syntactical scan, semantics, code generation and optimization, dataflow analysis, parallelizing compilers, automatic compiler generation.

Lectures & discussion on advanced topics in Programming Languages.

Relational, hierarchical, and network models; object-oriented databases, knowledge-based systems; security issues, concurrency control and distributed databases, query optimization; advanced topics.

Object data model, object-oriented query languages and database architecture, schema evolution, integration with non-object-oriented models, query optimization.

This course introduces the principles of multimedia databases including multimedia information processing, modeling, and retrieval. The media to be considered include text, image, audio and video. At the conclusion of this course, the students should understand what multimedia data retrieval is, the principles, which allow the location of relevant information from amongst a large corpus of multimedia data, and the applications of multimedia information retrieval. The students should also have the expertise and competence to design and implement retrieval software for multimedia data.

Advanced topics in software design, including: Software modularization, design patterns, formal methods, and software testing.

Formal methods for software requirements specification, including VDM, Z, and object-oriented extensions; the relationship among formal requirements, design, and implementation.

This is a special topics class that meets once a week to study new research ideas emerging in the area of software engineering.

Object-oriented distributed systems design, distributed software architecture, data and resource access, communication, client-server computing, web technologies, enterprise technologies.

Motivation for developing and using Grid Computing, the evolution of Grid Computing, and relationship between Grid Computing and other types of computing such as Cluster Computing, Distributed Computing, Internet Computing, and Peer-to-Peer Computing. Study technologies and architectures used to develop Grids.

Study of computer security including assurance, authorization, authentication, key distribution, encryption, threats including phishing and key logging, and related distributed computing issues. Theory and practical applications.

Lectures & discussion on advanced topics in Computer Systems.

No description available.

Introduction to computational methodologies in bioinformatics.

Lectures & discussion on topics in Bioinformatics.

Parsing and translation theory, formal syntax, proof properties and complexity measures.

Basic methods and data structures, geometric searching, convex hulls, proximity, intersections.

Programming methodologies, logic foundations, natural language applications, expert systems.

Syntax, semantics, ATNs, logic grammars, language and memory.

Logic, production systems, semantic nets, frames, multiple representational systems.

Interfaces and Engines for games and puzzles such as Chess, Checkers, Othello, Rubik's Cube, Go, Sudoku, etc.

Graphics architectures, geometric transforms, 3-D, object models, shading, intensity, hidden elements, color, advanced topics.

The formal description of a motion is necessary in computer animation for graphics, game design, robotics, and many other disciplines. This course covers various aspects of the design of motions. Typical topics include position control along Bezier curves, orientation control with quaternion splines, motion planning, motion capture, camera control, collision detection, visibility analysis.

Advanced Computer Graphics techniques aimed at "Scientific Visualization" applications.

Lectures & discussion on advanced topics in Graphics and Image Processing.

Model development using popular simulation languages, e.g., Excel or OpenOffice.org Calc Spreadsheet; interfacing to an animation system such as Proof Animation or Open_GL.

Lectures & discussion on advanced topics in Geometric Modeling.

Selected Topics in Computer Science.

Selected Topics in Computer Science.

Selected readings, research and project development under direction of a faculty member. Must have permission of instructor and graduate program director.