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.
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.
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.
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.
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.
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.
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.
Wireless network applications, wireless channel and communication fundamentals, medium access control protocol, routing protocol, topology control, time synchronization, data-centric networking, wireless communication standards.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Presentation of research topics to introduce the students into thesis research.
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.
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.
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.
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.