CHBI 506 / BIOINFORMATICS
Kredi: 3Önkoşul:

The principles and computational methods to study the biological data generated by genome sequencing, gene expressions, protein profiles, and metabolic fluxes. Application of arithmetic, algebraic, graph, pattern matching, sorting and searching algorithms and statistical tools to genome analysis. Applications of Bioinformatics to metabolic engineering, drug design, and biotechnology.

COMP 504 / DIGITAL SPEECH AND AUDIO PROCESSING
Kredi: 3Önkoşul: Prerequisite: ELEC. 201 or consent of the instructor

Sound and human speech systems, phonetics and phonology, speech signal representations, role of pitch and formants, pitch-scale and time-scale modifications, basics of speech coding and VoIP systems, fundamentals of pattern and speech recognition, search algorithms for speech recognition.

COMP 506 / DIGITAL IMAGE AND VIDEO PROCESSING
Kredi: 3Önkoşul: Prerequisite: ELEC. 303 or consent of the instructor

Review of multi-dimensional sampling theory, aliasing, and quantization, fundamentals of color, human visual system, 2-D Block transforms, DFT, DCT and wavelets. Image filtering, edge detection, enhancement, and restoration. Basic video file formats, resolutions, and bit rates for various digital video applications. Motion analysis and estimation using 2D and 3D models. Motion-compensated filtering methods for noise removal, de-interlacing, and resolution enhancement. Digital image and video compression methods and standards, including JPEG/JPEG2000 and MPEG-1/2 and 4. Content-based image and video indexing and MPEG-7.

COMP 508 / COMPUTER VISION AND PATTERN RECOGNITION
Kredi: 3Önkoşul:

Study of computational models of visual perception and their implementation in computer systems. Topics include: image formation; edge, corner and boundary extraction, segmentation, matching, pattern recognition and classification techniques; 3-D Vision: projection geometry, camera calibration, shape from stereo/silhouette/shading, model-based 3D object recognition; color texture, radiometry and BDRF; motion analysis.

COMP 510 / COMPUTER GRAPHICS
Kredi: 3Önkoşul: Prerequisite: COMP. 202 or consent of the instructor

Theory and practice of 3D computer graphics. Topics covered include graphics systems and models; geometric representations and transformations; graphics programming; input and interaction; viewing and projections; compositing and blending; illumination and color models; shading; texture mapping; animation; rendering and implementation; hierarchical and object-oriented modeling; scene graphs; 3D reconstruction and modeling.

COMP 513 / INFORMATION THEORY
Kredi: 3Önkoşul:

Entropy, Relative Entropy and Mutual Information; Asymptotic Equipartition Theory; Entropy Rates of a Stochastic Process; Data Compression; Kolmogorov Complexity; Channel Capacity; Differential Entropy; The Gaussian Channel; Maximum Entropy and Spectral Estimation; Rate Distortion Theory, Network Information Theory.

COMP 515 / DISTRIBUTED COMPUTING SYSTEMS
Kredi: 3Önkoşul: Prerequisite: COMP. 304 or consent of the instructor

Introduction to distributed computing, overview of operating systems, process synchronization and deadlocks, threads and thread synchronization, communication protocols, synchronization in distributed systems, management of time, causality, logical clocks, consistent global states, distributed mutual exclusion, distributed deadlock detection, election algorithms, agreement protocols, consensus, multicast communication, distributed transactions, replication, shared memory model, scheduling, distributed file systems, fault tolerance in distributed systems, distributed real-time systems.

COMP 528 / WIRELESS NETWORKS
Kredi: 3Önkoşul:

Wireless network applications, wireless channel and communication fundamentals, medium access control protocol, routing protocol, topology control, time synchronization, data-centric networking, wireless communication standards.

COMP 529 / PARALLEL PROGRAMMING
Kredi: 3Önkoşul:

Fundamental concepts of concurrency, non-determinism, atomicity, race-conditions, synchronization, mutual exclusion. Overview of parallel architectures, multicores, distributed memory. Parallel programming models and languages, multithreaded, message passing, data driven, and data parallel programming. Design of parallel programs, decomposition, granularity, locality, communication, load balancing. Patterns for parallel programming, structural, computational, algorithm strategy, concurrent execution patterns. Performance modeling of parallel programs, sources of parallel overheads.

COMP 532 / MULTIMEDIA COMMUNICATIONS
Kredi: 3Önkoşul: Prerequisite: ELEC. 406 or consent of the instructor

Review of multimedia (image, video and audio) source coding/compression techniques and standards (JPEG, MPEG, H26x); Review of communication and networking architectures and IP networks; QoS, delay, jitter, rate control, scheduling, and traffic engineering for real-time multimedia delivery; Reliability, error control, error concealment and resilience techniques; Streaming media and real-time communication techniques and protocols, RTP/RTCP, IntServ, DiffServ, MPLS; Transmission of multimedia over Internet, wireless channels, mobile cellular networks, GSM, 3G, 4G wireless systems, and satellite networks; Current and future applications of multimedia communications, e.g., voice-over-IP (VoIP), Internet Video conferencing, SIP, IMS, video-on-demand, digital video broadcasting systems, real-time delivery of 3DTV; Current state-of-the-art and future visions in multimedia communications research.

COMP 534 / COMPUTER AND NETWORK SECURITY
Kredi: 3Önkoşul:

Overview of Computer Security Techniques, Conventional Encryption, Public-Key Cryptography, Key Management, Message Authentication, Hash Functions and Algorithms, Digital Signatures, Authentication Protocols, Access Control Mechanisms, Network Security Practice, TCP/IP Security, Web Security, SSL (Secure Socket Layer), Denial-of-Service Attacks, Intrusion Detection, Viruses.

COMP 537 / INTELLIGENT USER INTERFACES
Kredi: 3Önkoşul: Prerequisite: (COMP. 130 or COMP. 131) or consent of the instructor

Applications of artificial intelligence in user interfaces. Design, implementation, and evaluation of user interfaces that use machine learning, computer vision and pattern recognition technologies. Supporting tools for classification, regression, multi-modal information fusion. Gaze-tracking, gesture recognition, object detection, tracking, haptic devices, speech-based and pen-based interfaces.

COMP 541 / DEEP LEARNING
Kredi: 3Önkoşul:

Basic linear models for classification and regression; stochastic gradient descent (backpropagation) learning; multi-layer perceptrons, convolutional neural networks, and recurrent neural networks; recent advances in the field; practical examples from machine translation, computer vision; practical experience in programming, training, evaluating and benchmarking deep learning models.

COMP 542 / NATURAL LANGUAGE PROCESSING
Kredi: 3Önkoşul: Prerequisite: COMP. 341 or consent of the instructor

Fundamental concepts and current research in natural language processing. Algorithms for processing linguistic information. Computational properties of human languages. Analysis at the level of morphology, syntax, and semantics. Modern quantitative techniques of using large corpora, statistical models, and machine learning applied to problems of acquisition, disambiguation and parsing. Applications such as machine translation and question answering.

COMP 543 / MODERN CRYPTOGRAPHY
Kredi: 3Önkoşul: Prerequisite: COMP. 106 or consent of the instructor

Introduction to cryptographic concepts. Symmetric encryption, the public-key breakthrough, one-way functions, hash functions, random numbers, digital signatures, zero-knowledge proofs, modern cryptographic protocols, multi-party computation. Everyday use examples including online commerce, BitTorrent peer-to-peer file sharing, and hacking some old encryption schemes.

COMP 546 / ALGORITHM DESIGN AND ANALYSIS
Kredi: 3Önkoşul: Prerequisite: COMP. 202 or consent of the instructor

Advanced topics in data structures, algorithms, and their computational complexity. Asymptotic complexity measures. Graph representations, topological order and algorithms. Forests and trees. Minimum spanning trees. Bipartite matching. Union-find data structure. Heaps. Hashing. Amortized complexity analysis. Randomized algorithms. Introduction to NP-completeness and approximation algorithms. The shortest path methods. Network flow problems.

COMP 570 / BIOINFORMATICS AND ALGORITHMS IN COMPUTATIONAL BIOLOGY
Kredi: 3Önkoşul:

Algorithms, models, representations, and databases for collecting and analyzing biological data to draw inferences. Overview of available molecular biological databases. Sequence analysis, alignment, database similarity searches. Phylogenetic trees. Discovering patterns in protein sequences and structures. Protein 3D structure prediction: homology modeling, protein folding, representation for macromolecules, simulation methods. Protein-protein interaction networks, regulatory networks, models and databases for signaling networks, data mining for signaling networks.

COMP 589 / SOFTWARE RELIABILITY: SPECIFICATION, TESTING AND VERIFICATION
Kredi: 3Önkoşul:

Tools and techniques for ensuring software reliability. Specification formalisms and languages. Modeling tools and languages. Unit and integration testing. Automated testing and verification tools and algorithms. Mathematical representations for programs and executions. Hoare logic. Specification using modular contracts: Preconditions, postconditions, loop and object invariants. Ownership systems. Automated test generation. Model-based testing. Coverage metrics for testing adequacy. Type and effect systems for reliable software. Software model checkers. Static analysis. Concurrent/multi-threaded programs. Correctness criteria for concurrent programs: race-freedom, atomicity, linearizability and serializability. Testing, verification and debugging tools for concurrent programs.

COMP 590 / SEMINAR
Kredi: 0Önkoşul:

Presentation of research topics to introduce the students into thesis research.

COMP 695 / PhD THESIS
Kredi: 0Önkoşul:

ENGL 500 / ACADEMIC WRITING
Kredi: 0Önkoşul:

The following objectives will be met through extensive reading, writing and discussion both in and out of class.Build a solid background in academic discourse, both written and spoken. Improve intensive and extensive critical reading skills. Foster critical and creative thinking. Build fundamental academic writing skills including summary, paraphrase, analysis, synthesis. Master cohesiveness as well as proper academic citation when incorporating the work of others.

INDR 520 / NETWORK MODELS AND OPTIMIZATION
Kredi: 3Önkoşul: Prerequisite: INDR. 262 or consent of the instructor

Network flow models and optimization problems. Algorithms and applications. Minimum spanning tree problem. Shortest path problems. Maximum flow problems, minimum cuts in undirected graphs and cut-trees. The minimum cost network flow problem. Matching problems. Generalized flows. Multicommodity flows and solution by Lagrangean relaxation, column generation and Dantzig-Wolfe decomposition. Network design problems including the Steiner tree problem and the multicommodity capacitated network design problem; their formulations, branch-and-cut approaches and approximation algorithms.

MECH 534 / COMPUTER BASED SIMULATION AND MODELING
Kredi: 3Önkoşul:

Geometric, physics-based, and probabilistic modeling methodology and associated computational tools for interactive simulation: computer programming, numerical methods, graphical modeling and programming, physics-based and probabilistic modeling techniques.

MECH 544 / ROBOTICS
Kredi: 3Önkoşul:

Fundamental concepts of modeling, control sensing, and intelligence of robotic systems. Robotic manipulators and mobile robots. Forward and inverse kinematics, trajectory planning, dynamics, control, and programming of robotic manipulators. Hardware components of mobile robots, visual and navigational sensors, pose estimation, navigation, and reasoning in mobile robots. Hands-on experience with robotic arms and mobile robots in a laboratory environment.