CS 510 Computer-Assisted Instruction (4 units)
General techniques for designing computer systems to provide individualized instruction. Program structure, instruction layout, scoring systems and data organization methods. Existing CAI packages and development of new packages. Hardware requirements for audio-visual effects. 4 lectures/problem-solving. Prerequisite: CS 420 or consent of instructor.
CS 515 Automated Reasoning (4 units)
Logical foundations, logical representation of knowledge, unification, theorem proving, deductive databases, logic programming, program verification and synthesis, nonstandard logics, epistemic logic, temporal logic. 4 lectures/problem-solving. Prerequisites: CS 420 or consent of instructor.
CS 517 Natural Language Processing (4 units)
Grammatical structure and parsing of natural language, representations of meanings (semantics), story understanding and generation, applications. 4 lectures/problem-solving. Prerequisites: CS 420 and PHL 202 or consent of instructor.
CS 519 Computer Vision (4 units)
Representation of images, image data acquisition, methods of object recognition, representation of visual knowledge, boundary detection, texture, motion, the problem of occlusion, applications. 4 lectures/problem-solving. Prerequisite: CS 420 or consent of instructor.
Robot programming, languages and simulation. Origins and taxonomy of robots. Case study in robot architecture, hardware and software. Homogeneous transformations. Kinematic equations and their solution. Elementary digital control. 4 lectures/problem-solving. Prerequisite: CS 420 or consent of instructor.
CS 523 Expert Systems (4 units)
Expert systems construction. Knowledge representation, utilization and acquisition. Rule-based systems, fuzzy logic, knowledge engineering. 4 lectures/problem-solving. Prerequisite: CS 420 or consent of instructor.
CS 525 Advanced Computer Architecture (4 units)
Architecture and organization of high performance computers. Principles of instruction sets. Pipelining, instruction level parallelism and multi-processors. Memory, storage, and interconnection. Quantitative analysis and evaluation of design alternatives. Historical developments. Architectural tradeoffs and innovations. 4 lectures/problem-solving. Prerequisite: CS 365 or consent of instructor.
CS 530 Advanced Algorithm Design and Analysis (4 units)
Advanced problem domains, including graph problems, pattern matching, compression, network flow and transforms. Amortized and average case analysis. Lower bounds. Approximation techniques. Probabilistic algorithms. 4 lectures/problem-solving. Prerequisite: CS 331 or consent of instructor.
CS 531 Computability and Complexity Theory (4 units)
Formalizing problems and algorithms. Characterizations and properties of computability classes, undecidability. Complexity classes. NP-complete problems, proof of NP-completeness. 4 lectures/problem-solving. Prerequisite: CS 331 or consent of instructor.
CS 535 Parallel Algorithms (4 units)
Design and analysis of algorithms for parallel computers. Basic techniques, classic problems. Models of parallel computation, parallel hardware, software issues involved in parallel programming. Parallel complexity classes. 4 lectures/problem-solving. Prerequisite: CS 331 or consent of instructor.
CS 535 (New) Parallel and Distributed Algorithms (4 units)
Models of parallel and distributed computation. Design and analysis of algorithms for parallel and distributed systems. Basic techniques, classic problems. Parallel and distributed complexity classes. Hardware and software issues involved in parallel and distributed problem solviing. 4 Lecture/problem-solving. Prerequisite: CS 331 or consent of instructor.
CS 540 Topics in Compiler Design (4 units)
Code and loop optimization. Data flow analysis. Syntax-directed translation. 4 lectures/problem-solving. Prerequisites: CS 408 and CS 411 or consent of instructor.
CS 541 Programming Language Semantics (4 units)
Operational, denotational and axiomatic semantics of programming languages. Vienna definition language, w-grammars, LISP definition. 4 lectures/problem-solving. Prerequisite: CS 408 or consent of instructor.
CS 555 Computer Image Processing (4 units)
Digital picture processing. Mathematical preliminaries for image processing. Visual perception. Digitization and compression. Image enhancement, restoration and reconstruction. 4 lectures/problem-solving. Prerequisites: MAT 214 and CS 445 or consent of instructor.
CS 565 Advanced Computer Networks (4 units)
Issues in network architectures and standards. Network design. Performance evaluation and monitoring. Network management and security. High-speed networking technologies. Wireless networks and mobile computing. System architectures and network programming. 4 lectures/problem-solving. Prerequisite: CS 380 or consent of instructor.
CS 566 Distributed Computing Systems (4 units)
Processors and processes in distributed systems. Distributed operating systems. Transactions and distributed file servers. Fault tolerance. Performance analysis. Cluster computing. Prototypes and commercial distributed systems. 4 lectures/problem-solving. Prerequisites: CS 380 and CS 431 or consent of instructor.
CS 570 Human Computer Interaction (4 units)
Principles of human factors, computer technology, and their interactions. Theory and practice of user interface design and evaluation. Special topics such as graphical user interfaces, graphics programming, multi-sensory systems, and computer-supported cooperative work. Prerequisite: Consent of instructor.
CS 580 Advanced Software Engineering (4 units)
Software metrics and models. Software development methodologies. Advanced topics in object-oriented software engineering. Formal methods for modeling and specification. Software architecture. Software testing. Real-time software development. Recent developments in software engineering. 4 lectures/problem-solving. Prerequisites: CS 480, or consent of instructor.
CS 585 Software Verification and Validation (4 units)
Techniques for evaluating software quality and integrity. Quality assessment, proof of correctness, testing methods. 4 lectures/problem-solving. Prerequisite: CS 480 or consent of instructor.
CS 599/599A/599L Special Topics for Graduate Students (1-4 units)
Group study of a selected topic, the title to be specified in advance. Instruction by lecture, activity, laboratory or combination. Prerequisite: consent of instructor.
CS 664 Graduate Seminar (2 units)
Topics chosen according to the interests and needs of the students. May be repeated for a maximum of 4 units. Unconditional standing required.
CS 691 Directed Study (1-3 units)
Individual study program under supervision of master's thesis advisor. Presentation of proposal for thesis in acceptable written form. Must be repeated as appropriate. Total credit, 3 units. Credit assigned upon acceptance of proposal by thesis committee. Open only to unconditional students with approval of thesis advisor.
CS 696 Master's Degree Thesis (1-4 units)
Independent investigation intended to be an extension of an existing body of knowledge. Reporting of research results in an oral presentation and acceptable written form. Must be repeated as appropriate. Prerequisite: CS 691. Credit assigned upon successful completion of thesis and oral presentation. Total credit, 4 units. Advancement to Candidacy and approval of thesis committee required.
CS 699 Master's Degree Continuation (0 units)
Registration or an approved leave of absence is required for any quarter following the final assignment of the grade SP until the completion of thesis. The candidate must be enrolled in the university during the quarter in which he/she graduates. Open only to candidates with approval of the thesis committee. Advancement to Candidacy required.
