Computational models, computable functions, uncomputable functions, decision problems and formal languages; automata and relations among automata, grammars and formal languages, computational complexity, NP problem and mathematical logics.
Design of efficient algorithms, divide and conquer, recursion, dynamic programming and greedy algorithm, selection of appropriate data abstraction, analysis and correctness of algorithms, algebraic algorithms, combinatorial problems, proving techniques for complexity analysis.
Design and analysis of parallel algorithms. Fundamental models of parallel computers. Parallel algorithms for selection, sorting, searching, combinatorial problems, matrix problems, numerical problems, and graph algorithms.
Algorithms for discrete computational geometry. Geometric computation range searching, convex hulls, proximity, vornoi diagram, intersection. Application in very large scale integrated circuit design and computer graphics.
Design and classification of computer architectures. Memory management, special purpose computer architectures. Varieties of high-performance computers, reduced instruction set computers (RISC), parallel and distributed computers, pipelining, vector processors, associative processors, supercomputers, and massively parallel computers.
High performance computer systems, reduced instruction set computers (RISC) and pipelining techniques, memory technology, shared-memory and distributed-memory system, classification of parallel computers, SIMD vs. MIMD, vector vs. array processors, massively parallel computers, multiprocessors, clusters of computers, heterogeneous computing environment, high speed I/O and networking, data-parallel vs. functional-parallel programming.
Specification of fault-tolerance, fault classes, measures of reliability, fault detection and system recovery algorithms, methodology of implementation, analytical models and evaluation, design and analysis of fault-tolerant software.
Wireless sensor network architecture, application and protocol stack. Communication protocols at different layers. Routing and data flow. On-route data aggregation and processing. Node-centric and data-centric addressing. Power management. Topology control. Developing and installing software on wireless sensor nodes.
Wireless communications, wireless local area network, technologies, standards, and components, wireless medium access control, wireless physical architecture and system design, integration and implementation, mobile internet, multimedia wireless local area network, related research topics.
Design and analysis of operating systems for large computers, time-shared data processing, interprocess communications, system security and protection, managing and assessing multitasking processing, distributed processing, parallel processing, and real-time processing.
Design and construction of software for real-time computer systems. Requirements and specification methods, scheduling algorithms and timing analysis, real-time operating systems, real-time programming languages, case studies.
Relation between languages and automata; classification of grammars, lexical analysis and symbol-table management, top-down parsing and bottom-up parsing, semantic analysis and intermediate code generation, code optimization and code generator, approaches in constructing language processors, language translator project.
Massively parallel SIMD processors, multiprocessor architecture, interconnection networks, synchronization and communication, memory and address space management, process management and scheduling, parallel compilers and languages, performance evaluation.
System analysis and software requirements specification, software design languages, program control-flow analysis, software verification and validation, software metrics, software development tools, and human factors related to software usage.
Techniques and tools for designing and developing software, especially for large software projects, detailed software specifications, software testing, software maintenance, system quality assurance, large software project that requires new software engineering tools.
Advanced database systems, distributed database, integrity of data, reliability and consistency control, relational theory, semantics of data types and connection between programming languages and database.
Hardware and software of big data infrastructure, big data sources and types. Programming on distributed platform, file system for large data analysis, storage and its access using SQL-like and No-SQL-like tools, data analysis and prediction techniques using machine learning and data mining, tools for structure and unstructured analysis for batch and real-time mode. Case study.
Social media structure and modeling, social network properties, methods for link analysis, network community detection, user behavior characterization, information diffusion, behavior cascade and social influence, link prediction and network inference, sentiment analysis and opinion mining, applications for social sciences and economics.
Fundamentals of artificial intelligence from the standpoint of logic - the representation of declarative knowledge, the process of conceptualization, syntax and semantics of predicate calculus. Frames and semantic nets, inference procedure resolution and resolution strategies. Planning and meta reasoning. Non-classical logics, non monotonic reasoning, temporal reasoning, and modal logic.
Knowledge representation and its reasoning tasks. Principles, advantages and limitations of rule-based systems, frame-based systems and logic-based system. Black-board architecture. Knowledge acquisition, validation and verification. Explanation production techniques. Truth-maintenance systems. Automatic planning systems.
Formal models of problem structures, Heuristic techniques for mechanized problem solving. Machine representation of judgemental knowledge and uncertain relationships. Inference on inexact knowledge based. Fundamental quantitative coding of qualitative information. Theories of subjective probabilistics and utility. Relationships between artificial intelligence and decision analysis. Information processing models of human decision making and problem-solving behavior.
Fundamental method of connectionist model networks. Surveys of historical developments and recent research results from both the computational and dynamical systems. Logical neurons, perceptrons, linear adaptive networks. Adaptive resonance. Energy mininizing models, competitive activation models, error back-propagation and tensor models.
Natural language processing. Representation and manipulation of conceptualizations underlining processes of thought for natural language comprehension and generation. Process models of story comprehension, question answering, paraphrasing and machine translation. Conceptual dependency theory, scripts, plans, goals, and expectation-based parsing.
Advanced natural language processing. Emphasis on organization of human memory for language comprehension. Episodic and semantic memory. Subjective understanding and modeling ideologics, language acquisition, processes of generalization during comprehension. Machine learning. Cross contextual reminding and thematic abstraction. Case based reasoning.
Tools, techniques, and issues in artificial intelligence programming. Techniques of logic programming, functional programming for artificial intelligence applications. Review of LISP and introduction to lexically scoped LISP. Lambda calculus, closures, data-driven and object-oriented programming, and resolution-based deductive systems.
Discrete time signal and system, Z-transform algorithm, Discrete Fourier Transform and Fast Fourier Transform. Digital filter design and special techniques of signal processing including its application.
Analysis of methods of the design and operation of robotic systems, Identification of three-dimensional objects using digitized images, Arm Control, coordinate transformations, feedback control systems, hardware components, applications of distributed microcomputer systems for robotic control, command languages and planning of job assignments.
VLSI Design, processing unit architecture, memory and logic circuit, and IC placement. Design and construction of a rapid prototype large scale integration, delay time determination, and performance analysis. Synthesis and simulation the circuit via CAD tools.
Principle of design of a combinational logic circuit and finite state machine. Digital system design technique. Computer aided design for digital circuits. Hardware descriptive languages and its compiler. Analysis and simulation of a digital logic circuit. Digital design automation of a digital circuit. Circuit synthesis, partitioning, placement and routing on PLD and FPGA. Digital of computer component.
Digital signal processing techniques for speech analysis. A linear system model of the vocal tract. Waveform coding and decoding for speech transmission and compression. Vocal tract and glottal parameter generation for speech synthesis. Pattern recognition approaches for speech and speaker recognition.
Pattern recognition theory, parametric and non-parametric approaches to classification. Decision functions, classification with likelihood functions and distance functions. Density estimation, supervised and unsupervised learning. Decision tree feature, reduction performance. Estimation and classification using contextual information.
Human factors in the role of users in relation to software development and database system use. Designing user interface, programming technique, preparing user manual, program development strategy, program debugging and readability. Building interactive system, consideration of response time, graphical display rate, online help, command languages and menu selection.
Research principles and methods in computer engineering, and problem analysis for research topic identification, data collection for research planning, identification of samples and techniques. Analysis, interpretation and discussion, of research result report writing for presentation and publication.