Discipline ID
bf91b86a-62db-4996-b583-29c1ffe6e71e
COURSE DETAIL
LOGIC FOR PROOFS AND PROGRAMS
Country
Singapore
Host Institution
National University of Singapore
Program(s)
National University of Singapore
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
141
UCEAP Course Suffix
UCEAP Official Title
LOGIC FOR PROOFS AND PROGRAMS
UCEAP Transcript Title
LOGIC/PROOFS&PROG
UCEAP Quarter Units
6.00
UCEAP Semester Units
4.00
Course Description
This course introduces logic as a means for specifying and solving computational problems. It explores how logic can be used to represent computational problems, how these representations can be proven correct, and how they can be executed on a computer. Students learn about logic as formal systems (semantic, axiomatic, and deductive) and how to write proofs in the different systems. They also learn how to use a proof assistant such as Coq and how to program in a logic programming language such as Prolog. Topics include classical and intuitionistic logic, SAT, Peano’s axioms, Hoare logic, and other selected logic systems.
Language(s) of Instruction
English
Host Institution Course Number
CS3234
Host Institution Course Title
LOGIC FOR PROOFS AND PROGRAMS
Host Institution Course Details
Host Institution Campus
Host Institution Faculty
Host Institution Degree
Host Institution Department
Computer Science
Course Last Reviewed
2021-2022
COURSE DETAIL
SOFTWARE CAPSTONE DESIGN I
Country
Korea, South
Host Institution
Yonsei University
Program(s)
Yonsei University
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
119
UCEAP Course Suffix
UCEAP Official Title
SOFTWARE CAPSTONE DESIGN I
UCEAP Transcript Title
SOFTWARE DESIGN I
UCEAP Quarter Units
4.50
UCEAP Semester Units
3.00
Course Description
This course introduces the latest research fields and topics in computer science and helps students develop creative problem solving skills through dissertation or research report writing, and application software development processes (selection of topic, data collection, related research, method proposal, SW design, experiment and verification).
Language(s) of Instruction
English
Host Institution Course Number
CSI4101
Host Institution Course Title
SOFTWARE CAPSTONE DESIGN (1)
Host Institution Course Details
Host Institution Campus
Host Institution Faculty
Host Institution Degree
Host Institution Department
Computer Science
Course Last Reviewed
COURSE DETAIL
USER INTERFACE TECHNOLOGY
Country
Denmark
Host Institution
University of Copenhagen
Program(s)
University of Copenhagen
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
103
UCEAP Course Suffix
UCEAP Official Title
USER INTERFACE TECHNOLOGY
UCEAP Transcript Title
USER INTERFACE TECH
UCEAP Quarter Units
6.00
UCEAP Semester Units
4.00
Course Description
This course focuses on technology for modern and emerging user interfaces and hardware, with an emphasis on physical computing. Learning takes place in two ways: a theoretical component introducing both classic and the latest and most exciting research around novel user interfaces; and a practical component to gain hands-on skills in building novel physical interfaces.
Language(s) of Instruction
English
Host Institution Course Number
NDAK16008U
Host Institution Course Title
USER INTERFACE TECHNOLOGY (UIT)
Host Institution Course Details
Host Institution Campus
Host Institution Faculty
Faculty of Science
Host Institution Degree
Master
Host Institution Department
Department of Computer Science
Course Last Reviewed
2021-2022
COURSE DETAIL
INTRODUCTION TO MACHINE LEARNING
Country
Korea, South
Host Institution
Yonsei University
Program(s)
Yonsei University Summer
UCEAP Course Level
Lower Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
12
UCEAP Course Suffix
S
UCEAP Official Title
INTRODUCTION TO MACHINE LEARNING
UCEAP Transcript Title
INTRO MACHINE LEARN
UCEAP Quarter Units
4.50
UCEAP Semester Units
3.00
Course Description
This course covers foundational concepts of machine learning for beginners with limited programming experience. Students use elementary machine learning algorithms with programming languages, such as Python to solve real-life problems with data sets. In addition, this course develops the mathematical basis for students to understand how basic machine learning techniques such as singular-value decomposition, principal component analysis, and linear least squares for linear regression work.
Language(s) of Instruction
English
Host Institution Course Number
IEE1065
Host Institution Course Title
INTRODUCTION TO MACHINE LEARNING
Host Institution Course Details
Host Institution Campus
Yonsei International Summer School
Host Institution Faculty
Host Institution Degree
Host Institution Department
Science & Technology
Course Last Reviewed
2022-2023
COURSE DETAIL
ALGORITHMS
Country
United Kingdom - England
Host Institution
Imperial College London
Program(s)
Imperial College London
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
107
UCEAP Course Suffix
UCEAP Official Title
ALGORITHMS
UCEAP Transcript Title
ALGORITHMS
UCEAP Quarter Units
5.00
UCEAP Semester Units
3.30
Course Description
This course expands students' knowledge and thinking about algorithms and algorithmic design. The course exposes students to several new classes of computational problems and concrete algorithmic solutions, and provides a study of general (or commonly useful) approaches to algorithmic thinking.
Language(s) of Instruction
English
Host Institution Course Number
CO202
Host Institution Course Title
SOFTWARE ENGINEERING- ALGORITHMS
Host Institution Course Details
Host Institution Campus
Imperial College London
Host Institution Faculty
Host Institution Degree
Host Institution Department
Computing
Course Last Reviewed
2018-2019
COURSE DETAIL
CYBER SECURITY
Country
Hong Kong
Host Institution
University of Hong Kong
Program(s)
University of Hong Kong
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
155
UCEAP Course Suffix
UCEAP Official Title
CYBER SECURITY
UCEAP Transcript Title
CYBER SECURITY
UCEAP Quarter Units
5.00
UCEAP Semester Units
3.30
Course Description
This course introduces the principles, mechanisms and implementation of cyber security and information protection. Topics include cyber-attacks and defense; notion and terms of cyber security; introduction to cryptography; symmetric key cryptography and public key cryptography; authentication techniques; access control methods; network and Internet security and protection (e.g. firewall and IDS); application and web security; analysis and models of secure systems; cyber threat assessment and penetration testing; mobile code security.
Language(s) of Instruction
English
Host Institution Course Number
COMP3355
Host Institution Course Title
CYBER SECURITY
Host Institution Course Details
Host Institution Campus
Host Institution Faculty
Host Institution Degree
Host Institution Department
Computer Science
Course Last Reviewed
COURSE DETAIL
ARTIFICIAL INTELLIGENCE
Country
Netherlands
Host Institution
Maastricht University – University College Maastricht
Program(s)
University College Maastricht
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
120
UCEAP Course Suffix
UCEAP Official Title
ARTIFICIAL INTELLIGENCE
UCEAP Transcript Title
ARTIFICIAL INTEL
UCEAP Quarter Units
6.00
UCEAP Semester Units
4.00
Course Description
This course offers a study of artificial intelligence. The course focuses on topics including whether machines can think, and the metaphor of an “intelligent agent.” These topics are explored through an examination of a number of state-of-the-art concepts, algorithms, and methods which enable computers, such as software and robots, to solve problems in a way which deserves to be called intelligent. Topics covered in this part are chosen from AI areas such as intelligent search and constraint satisfaction, architectures for intelligent agents, and coordination among intelligent agents. The course as a whole conveys basic aspects and facets of engineering (analyzing and designing) AI systems. The course requires that students have completed high school level mathematics as a prerequisite.
Language(s) of Instruction
English
Host Institution Course Number
SCI2036
Host Institution Course Title
ARTIFICIAL INTELLIGENCE
Host Institution Course Details
Host Institution Campus
University College Maastricht
Host Institution Faculty
University College Maastricht
Host Institution Degree
Host Institution Department
Science
Course Last Reviewed
2024-2025
COURSE DETAIL
MOBILE COMPUTING
Country
Denmark
Host Institution
University of Copenhagen
Program(s)
University of Copenhagen
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
109
UCEAP Course Suffix
UCEAP Official Title
MOBILE COMPUTING
UCEAP Transcript Title
MOBILE COMPUTING
UCEAP Quarter Units
6.00
UCEAP Semester Units
4.00
Course Description
This course provides an overview of mobile, ubiquitous, and wearable computing interfaces; including commercial devices such as mobile phones, smart watches, augmented reality glasses, smart speakers, and other home devices; as well as research interfaces such as public displays, smart jewelry, or body-based user interfaces. The course sheds light on two fundamental aspects of mobile computing: the technological foundations of mobile computing interfaces and the user interface requirements for such novel computing interfaces. It contains advanced material on both technological foundations and interaction styles on mobile interfaces.
Language(s) of Instruction
English
Host Institution Course Number
NDAK16004U
Host Institution Course Title
MOBILE COMPUTING (MC)
Host Institution Course Details
Host Institution Campus
Host Institution Faculty
Faculty of Science
Host Institution Degree
Master
Host Institution Department
Department of Computer Science
Course Last Reviewed
2021-2022
COURSE DETAIL
INDIVIDUAL PROJECT MENG
Country
United Kingdom - England
Host Institution
Imperial College London
Program(s)
Imperial College London
UCEAP Course Level
Graduate
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
201
UCEAP Course Suffix
y
UCEAP Official Title
INDIVIDUAL PROJECT MENG
UCEAP Transcript Title
IND PROJECT MENG
UCEAP Quarter Units
12.00
UCEAP Semester Units
8.00
Course Description
In this class you will have the opportunity to demonstrate independence and originality, to plan and organise a large project over a long period, and to put into practice the knowledge, skills and research methods that you have learnt throughout the course. Upon successful completion of this module, you will have demonstrated your ability to apply previously taught knowledge and skills to a substantial problem in Computing, as an individual. You will conduct an independent investigation and apply cutting-edge research, methods and thinking appropriate to the problem, presenting complex technical material orally to a mixed audience. You will exercise scientific writing skills by way of a substantial written report, summarising your findings There will be a small number of supporting lectures that will describe the structure of the project, including expectations, milestones and deliverables,give guidance on writing and presentation skills targeted specifically at individual projects and explain the assessment procedures. Please note this is a graduate level course The rest of the project involves an independent investigation under the supervision of an academic advisor.
Language(s) of Instruction
English
Host Institution Course Number
CO401
Host Institution Course Title
INDIVIDUAL PROJECT MENG
Host Institution Course Details
Host Institution Campus
Imperial College
Host Institution Faculty
Host Institution Degree
Host Institution Department
Computing
Course Last Reviewed
COURSE DETAIL
HARDWARE
Country
United Kingdom - England
Host Institution
Imperial College London
Program(s)
Imperial College London
UCEAP Course Level
Upper Division
UCEAP Subject Area(s)
Computer Science
UCEAP Course Number
113
UCEAP Course Suffix
UCEAP Official Title
HARDWARE
UCEAP Transcript Title
HARDWARE
UCEAP Quarter Units
5.00
UCEAP Semester Units
3.30
Course Description
This course explores the fundamental principles and devices used in the design of digital computers, including how primitive control logic can be organized to construct a programmable machine. The course covers Boolean algebra, combinatorial logic functions, principles of semiconductor devices and logic gates, adders subtractors and multipliers, bistable storage devices, S-R flip-flop, D-type flip-flop, latch versus edge triggering, J-K flip-flops, registers, shift registers, multiplexers and decoders, counters, finite state machine design, static and dynamic RAM, register transfer descriptions, ALU design and CPU design. Practical laboratory work consists of the design of combinatorial and sequential circuits using modern VLSI design tools.
Language(s) of Instruction
English
Host Institution Course Number
C112
Host Institution Course Title
HARDWARE
Host Institution Course Details
Host Institution Campus
Imperial College London
Host Institution Faculty
Host Institution Degree
Host Institution Department
Computing
Course Last Reviewed