KAIST: https://cais.kaist.ac.kr/totalOpeningCourse
Eksempel på Forhåndsgodkjenning_MikaelBjerga.pdf
De aller fleste fagene til KAIST relatert til datateknologi kan finnes på
https://cs.kaist.ac.kr/education/graduate
https://cs.kaist.ac.kr/education/undergraduate
https://lang.kaist.ac.kr/pages/view/lang_03
KAIST-fag | ECTS | NTNU-fag | Comment | Merk | OK? |
|---|---|---|---|---|---|
| Conversation 1A & 1B | 7,5 | K-emne (tilsvarende av Japansk 1) | Able to use simple Korean sentences in greeting others
| 2018.03.13 LJ | |
| CS409 - Software Projects for Industrial Collaboration | 10 | Kundestyrt prosjekt eller Eksperter i Team | This course aims to help students internalize project-based competencies that are essentially needed in the software industries. First of all, they get to figure out the fundamentals and philosophies of software engineering through panel discussions with the reading list. Also, they are asked to be organized into teams with mentors from the industry companies, and to conduct their own software project based on the infrastructures and tools that are really used in the field, minimizing the gap between academia and practitioners. | updated 30.08.2018 after conversation with Magnus Myrmo Osberg | 2018.02.18 LJ |
| CS500 - Design and Analysis of Algorithms | 10 | TDT4125 - Algoritmekonstruksjon (O) | This course introduces basic techniques for the design and analysis of computer algorithms, such as divide-and-conquer, the greedy method, and dynamic programming. Students learn to reason algorithmically about problems arising in computer applications, and experience the practical aspects of implementing an abstract algorithm. | Obligatorisk for Algoritmer og HPC. Bygger på Introduction to Algorithms, og er dermed strukturert litt lignende som AlgDat + AlgKon | 2018.02.18 OK 2018.03.13 LJ |
| CS510 - Computer Architecture | 10 | TDT4260 - Datamaskinarkitektur | This goal of this course is to provide the student with an understanding of (i) the architectural aspect of the performance issues, and (ii) investigation of the full spectrum of design alternatives and their trade-offs. | 2018.03.13 LJ | |
CS542 - Internet Systems Technology | 10 | IT2805 - Webteknologi | This course reviews the state-of-the-art of today's Internet system as well as service architectures, describes the challenges facing them, and discusses emerging approaches. In particular, the course covers issues around Internet traffic characterization; protocols; server architectures and performance; mobile and pervasive services and systems, virtualization; content distribution; peer-to-peer architecture, quality of services (QoS); and architectural alternatives for applications and services. The goal of the course is to gain understanding of the current research issues and a vision of the next generation Internet system and service architecture. | approved as V. | 2018.02.18 OK |
| CS543 - Distributed Systems | 10 | TDT4190 - Distribuerte systemer | This course provides theoretical knowledge and hands-on experience with distributed systems' design and implementation. The course will focus on the principles underlying modern distributed systems such as networking, naming, security, distributed sychronization, concurrency, fault tolerance, etc. along with case studies. Emphasis will be on evaluating and critiquing approaches and ideas. (Prerequisite: CS510, CS530) | Har forkunnskapskrav om OS og Datamaskinarkitektur fra KAIST. | 2018.02.18 LJ 2018.03.13 LJ |
| CS552 - Models of Software Systems | 10 | Advanced Software Design - TDT4250 | For long time, computer scientists have investigated the problem of automating software development from a specification to its program. So far the efforts were not fully successful but much of the results can be fruitfully applied to development of small programs and critical small portions of large programs. In this course, we study the important results of such efforts and, for that, we learn how to model software systems with formal description techniques, how to model software systems such that the various properties expected of the software systems are verifiable and how to verify various properties of software systems though the models. | 2018.02.18 OK | |
| CS554 - Designs for Software and Systems | 10 | TDT4240 - Programvarearkitektur | Development of software and systems requires to understand engineering design paradigms and methods for bridging the gap between a problem to be solved and a working system. This course teaches how to understand problems and to design, architect, and evaluate software solutions. | 2018.02.18 OK | |
| CS610 - Parallel Processing | 10 | TDT4200 - Parallelle beregninger (O) | This course discusses both parallel software and parallel architectures. It starts with an overview of the basic foundations such as hardware technology, applications and, computational models. An overview of parallel software and their limitations is provided. Some existing parallel machines and proposed parallel architectures are also covered. | Obligatorisk for Algoritmer og HPC | 2018.02.18 OK 2018.03.13 LJ |
CS665 - Advanced Data Mining | 10 | TDT4300 - Data Warehousing and Data Mining | Mining big data helps us find useful patterns and anomalies which lead to high impact applications including fraud detection, recommendation system, cyber security, etc. This course covers advanced algorithms for mining big data. | OK 2018.02.18 | |
| CS676 - Pattern Recognition | 10 | TTK4205 - Pattern Recognition | Through this course, students are expected to acquire general ideas of pattern recognition and its application. Three fields (character, speech and image processing) will be studied in which pattern recognition techniques can be successfully applied. | 2018.02.18 OK | |
| CS672 - Reinforcement Learning | 10 | TDT4173 - Maskinlæring og case-basert resonnering | This course covers reinforcement learning, which is one of the core research areas in machine learning and artificial intelligence. Reinforcement learning has various applications, such as robot navigation/control, intelligent user interfaces, and network routing. Students will be able to understand the fundamental concepts, and capture the recent research trends. | 2018.02.18 OK | |
| CS676 - Pattern Recognition | 10 | TTK4205 - Pattern Recognition | Through this course, students are expected to acquire general ideas of pattern recognition and its application. Three fields (character, speech and image processing) will be studied in which pattern recognition techniques can be successfully applied. | 2018.03.13 LJ | |
CS550 - Software Engineering | 10 | TDT4242 - Avansert Programvareutvikling | This course covers fundamental concepts required in developing reliable softwares in a cost-effective manner. | 2018.05.22 LJ | |
| CS636 - UX-oriented Platform Design Studio Ⅰ | 10 | Eksperter i Team | This course provides a studio-oriented eduction for designing and prototyping UX-oriented SW platforms. Based on user study and creative concept development method, students will learn to extract system requirements, design a platform, and implement the proposed system. This course will emphasize design and implementation aspects for user-oriented SW systems, in addition to basic theoretical aspects for creative concept. | 2018.05.22 LJ | |
CS448 - Introduction to Information Security
| 5,5 | TTM4135 - Informasjonssikerhet | This class introduces the fundamental understanding on cryptographic primitives to apply for a secure system including classical, symmetric and asymmetric cryptosystems with mathematical background. The students can gain the general knowledge on modern cryptography to execute advanced research in information security. | 2018.05.22 LJ | |
| TDT4252 | Virksomhets-arkitektur og -innovasjon |