| >Home >Current Students >Graduate >Course Descriptions |
Graduate Course Descriptions |
CSC 717: Advanced Computer SimulationAdvanced discrete simulation modeling using SIMSCRIPT
11.5 and SLAM. Advanced continuous simulation using
ACSL. Modeling concepts, measuring random phenomena.
Passive objects, application of simulation to operating
systems and software design in general. Digital-analog
solution of linear differential equations, industrial dynamics.
Feedback systems.
Prerequisite: CSC 617. 3 credits.
|
CSC 718: Theory of ComputationComputability of functions and sets in terms of Turing
machines and other computational models. Universal Turing
machines and examples of unsolvable problems. Introduction
to other computational models, such as the lambda-calculus,
Post systems, Markov algorithms and recursive function
theory. The Church-Turing thesis and proofs of equivalence
between the models.
Prerequisite: CSC 656 3 credits.
|
CSS 719: Advanced Automata and Formal Languages
Extensive study of context-sensitive, recursive and
recursively enumerable languages, including ambiguity and
closure properties: decidable and undecidable properties of
the different language classes: the halting problem and Post’s
correspondence problem; properties of the deterministic
context-free languages; LR(k) and LL(k) grammars.
Prerequisite: CSC 656 3 credits.
|
CSC 733: Geographic Data Base Systems
Spatial data types and operators: point queries, range queries,
translation, rotation, and scaling. Data structures for object
representation: arc tree, quadtrees. Commercial data bases
vs. spatial data bases: relational, hierarchical, network. (This
course may not be used to satisfy degree requirements in
Computer Science.)
Prerequisites: CSC 135 or CSC 117 or
equivalent, STA 611. 3 credits.
|
CSC 740: Statistical Pattern Recognition
Concepts and formal theoretical structures necessary for
design and implementation of a pattern recognition system.
Topics include: parametric and non-parametric methods,
linear and non-linear classifiers and clustering algorithms.
Prerequisites: STA 667; MAT 253 or MAT 265; CSC 269. 3 credits.
|
CSC 741: Structural Pattern Recognition
Survey of advanced pattern recognition techniques. Topics
include: graph matching methods, syntactic approaches,
neural nets, and context-dependent methods.
Prerequisites: CSC 656 and CSC 677 3 credits.
|
CSC 742: Document Image Understanding
Survey of document understanding methods and related
topics that include: data compression, document exchange
standards, layout analysis methods, logical analysis methods,
OCR, error correction, and document routing.
Prerequisites: CSC 740 and CSC 669 3 credits.
|
CSC 747: Cryptography and Information Theory
Cryptography, cryptographic systems, encryption
algorithms, cryptographic techniques, access control, lattice
model of information flow, flow control mechanisms,
inference control mechanisms, mechanisms restricting noise,
mechanisms restricting statistics, statistical database models.
Prerequisites: CSC 370, STA 411. 3 credits.
|
CSC 750: Computational Algorithms in VLSI
Application and inherent limitations of using VLSI to
implement computational algorithms, design and analysis
of algorithms for design of VLSI circuits, introduction to
VLSI implementation of computational algorithms
represented by logic circuits, lower bounds on area and time,
systolic arrays and their applications, VLSI layout
algorithms, VLSI test generation and simulation.
Prerequisite: CSC 677. 3 credits.
|
CSC 754: Discrete Optimization
Network optimization problems, use of advanced data
structures. Topics may vary and include maximum-flow
algorithms, multiterminal maximum flows, minimum cost
flows and circulations, matching algorithms, approximation
algorithms, and applications. Hamiltonian circuits in dense
graphs, disjoint paths, the postman problem, introduction
to combinatorial geometry, and linear programming.
Prerequisites: CSC 677. 3 credits.
|
CSC 756: Formal Semantics
Coverage of formal methods for defining the semantics of
programming languages, including the operational,
denotation and axiomatic approaches. Proof techniques for
verifying properties of programs. Consistent and
complementary definitions for a Pascal-like language
discussed.
Prerequisites: CSC 319 and CSC 656. 3 credits.
|
CSC 758: Computational Geometry
Geometric searching, point location, range searching, convex
hull, Graham’s scan, gift wrapping, dynamic convex hull,
proximity closest pair, Voronoi diagram, triangulation.
Intersection, visibility shortest paths, geometry of rectangles.
Prerequisite: CSC 677. 3 credits.
|
CSC 763: Advanced Computer Architecture
Advanced study of various current computer architectures.
Examples taken from specialized architectures that support
modern general-purpose programming, operating systems,
artificial intelligence and data bases. SIMD and MIMD
parallel architectures.
Prerequisites: CSC 319 and CSC 663. 3 credits.
|
CSC 767: Advanced Computer Graphics
Hidden line elimination algorithms and implementation.
Perfect interpolators, cubic and bicubic splines, Kriging,
Hermite surfaces, nonperfect interpolators, Bezier curves
and surfaces, B-splines, ray tracing algorithms, shading,
lightness, motion, moving pictures, two- and threedimensional
fractals. Special topics.
Prerequisite: CSC 667. 3 credits.
|
CS 768: Surface Estimation for Computer-Aided
Geometric Design
Affine maps, function spaces, the DeCasteljan algorithm,
Bernstein polynomials, Bezier surfaces, nonparametric
curves, Lagrange polynomials, C continuity, B-spline basis,
Frenet frame, G continuity, gamma splines, beta splines,
geometric continuity, tensor product interpolants, volume
deformations, curvatures.
Prerequisite: CSC 767. 3 credits.
|
CSC 769: Advanced Data Base Management
Continuation of CSC 632, including normalization of
relational data bases using functional and multivalued
dependencies. Query processing, query interpretation, query
optimization, and methods for implementing and optimizing
logic queries. Knowledge data bases, distributed data bases
and object-oriented data bases.
Prerequisite: CSC 632. 3 credits.
|
CSC 770: Advanced Operating Systems
Study of the design principles, organization, and
performance analysis of large-scale computer operating
systems. Particular subjects emphasized include
coordination of tasks, solutions of deadlock problems,
theories of segmentation and paging, and performance
prediction.
Prerequisite: CSC 370. 3 credits.
|
CSC 771: Concurrent Computation
Study of concurrent programming methods and applications;
event spaces; models of concurrency, such as Petri nets, CCS
and CSP. Synchronization, data sharing and communication.
Concurrency constructs in various programming languages.
Scheduling and implementation techniques. Applications of
concurrency in operating system design, fault-tolerance, and
reliability.
Prerequisites: CSC 319 and CSC 370. 3 credits.
|
CSC 772: Software Architecturen
Survey of advanced techniques for specifying and designing
large software systems. System verification. Reliability and
project management..
Prerequisites: CSC 370, CSC 672, and
CSC 678, or consent of instructor. 3 credits.
|
CSC 777: Parallel Algorithms
Methods for creating and analyzing parallel algorithms.
Parallel programming languages and programming models
of shared-memory and distributed architectures. Measuring
complexity of parallel algorithms. NC-class versus P-class
algorithms.
Prerequisite: CSC 677. 3 credits.
|
CSC 778: Advanced Translation
Formal semantics, automatic compiler generation, attribute
grammars. Language issues as they relate to compiler
generation.
Prerequisite: CSC 678. 3 credits.
|
CSC 779: Supercompliers for Parallel and Vector Computers
Dependence analysis, Diophantine equations, the GCD test,
the Banerjee test, do-loop normalization, concurrency in
loops, vector code generation, control dependence and
vectorization, parallel code generation for doall-loops,
parallel code generation for doacross-loops, shared memory
parallelization, parallelization for distributed memory
architectures.
Prerequisite: CSC 778. 3 credits.
|
CSC 780: Distributed Computing and Algorithms
Methods and algorithms of distributed computing. Topics
may include architecture and design goals, formal
approaches to distributed computing problems, networks and
protocols, models of distributed computing, synchronization
and communication, synchronous and asynchronous
systems, fault-tolerance and reliability, self-stabilization,
distributed algorithms and applications.
Prerequisites: CSC 370, CSC 677. 3 credits.
|
CSC 781: Automated Deduction
Use of computers for forming deductions and proving
theorems in symbolic logic covered. Topics include
resolution, unification, proof strategies, and equality. Also
examines areas of application: problem solving, question
answering, program verification, automatic programming
and logic programming (Prolog).
Prerequisite: CSC 681. 3 credits.
|
CSC 782: Expert System Construction
Design, organization, and construction of expert systems.
Includes general concepts, characteristics, elements,
advantages, and examples of expert systems. Also rule-based
knowledge representations, inference techniques,
implementation tools and shells, and advanced topics.
Prerequisite: CSC 681. 3 credits.
|
CSC 785: Computational Linguistics
Introduction to linguistics and computational linguistics, for
natural language. Phonology, morphology, syntax,
semantics, and lexicology. Text analysis and processing;
construction of lexicons, and indexes and concordances.
Introduction to text retrieval, translation, speech
understanding and generation.
Prerequisite: CSC 656. 3 credits.
|
CSC 786: Advanced Computational Linguistics
Advanced study of computational linguistics. Emphasis on
cognitive methods in natural language understanding and
generation. Pragmatics and discourse.
Prerequisite: CSC 785. 3 credits.
|
CSC 789: Topics in Advanced Computer Science
Graduate-level course in some field of computer science, at
advanced level, depending upon the current interest of the
staff and the students. May be repeated with a different
subject matter to a maximum of nine credits.
Prerequisite: Consent of instructor. 3 credits.
|
CSC 790: Master’s Project
May be repeated, but only three credits will be applied to
the student’s program. S/F grading only.
1-3 credits.
|
CSC 791: Thesis
May be repeated, but only six credits will be applied to the
student’s program. S/F grading only.
3-6 credits.
|
CSC 792: Research Seminar
Oral presentation of assigned articles. May be repeated to a
maximum of four credits.
1 credit.
|
CSC 799: Dissertation Research
Research analysis and writing towards completion of
dissertation and subsequent defense. May be repeated but
no more than 18 credits will be allowed in the degree. S/F
grading only. Prerequisites: Graduate standing in Ph.D.
program and consent of advisor.
1-6 credits.
|
Additional Courses
The following courses may also be used for graduate credit.
For descriptions of 600-level courses, please consult the
current Undergraduate Catalog, where they are listed as
400-level classes.
- CSC 617 Introduction to Computer Simulation
- CSC 632 Introduction to Data Base Management Systems
- CSC 641 Advanced Internet Programming
- CSC 641L Advanced Internet Programming Lab
- CSC 651 Multimedia Systems Design
- CSC 651L Multimedia Systems Design Lab
- CSC 656 Automata and Formal Languages
- CSC 663 Computer Architecture
- CSC 665 Computer Networks
- CSC 667 Computer Graphics
- CSC 669 Introduction to Digital Image Processing
- CSC 671 Program Derivation
- CSC 672 Software Design and Development
- CSC 677 Design and Analysis of Algorithms
- CSC 678 Compiler Construction
- CSC 681 Introduction to Artificial Intelligence
- CSC 689 Advanced Computer Science Topics
- CSC 690 Independent Study
|
|
