Trajectory

Utah Computer Science

Evaluate Department

Course List

# Number Title
1 1000 Engineering Computing
This course is an Introduction to programming principles and engineering problem solving via computa
introduct program principl engin problem solv comput mean matlab spreadsheet teach appli program sol
(0.899) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
2 1001 Engineering Computing using MATLAB
This course is a half semester introduction to programming principles and engineering problem solvin
half semest introduct program principl engin problem solv comput mean matlab spreadsheet teach appli
(0.908) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
3 1030 Foundations of Computer Science
Foundations of Computer Science is a course for students who are interested in pursuing a computer s
foundat comput scienc student interest pursu comput scienc degre background comput gentl introduct f
(0.382) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
(0.381) comput, scienc, mathemat, field, scientif, disciplin, visual, complex, model, data
(0.178) student, learn, skill, requir, write, analyz, program, organ, complex, teach
4 1040 Creating Interactive Web Content
Introduction to the essentials of web page design and object-oriented programming through the use of
introduct essenti web page design object orient program html javascript creat interact web page stud
(0.592) web, client, server, program, side, page, wide, world, browser, creat
5 1060 Explorations in Computer Science
Computing touches every aspect of modern society. The artifacts of computing-hardware, software, an
comput touch aspect modern societi artifact comput hardwar softwar network transform commerc commun
(0.288) increas, continu, todai, work, comput, consum, electr, internet, energi, medicin
6 1410 Introduction to Object-Oriented Programming
The second course required for students intending to major in computer science and computer engineer
requir student intend major comput scienc comput engin introduct engin mathemat skill requir effect
(0.577) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
(0.185) comput, scienc, mathemat, field, scientif, disciplin, visual, complex, model, data
7 2000 Introduction to Program Design in C
Introduction to essential programming concepts using C. Decomposition of programs into functional un
introduct essenti program concept decomposit program function unit control structur fundament data s
(0.759) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
(0.189) system, level, develop, languag, low, implement, domain, applic, program, manag
8 2050 Making Noise: Sound Art and Digital Media
Electronic technology is pervasive in our modern world but how it actually works can be a mystery to
electron technolog pervas modern world work mysteri peopl class student explor fundament electron te
(0.336) electron, discov, context, end, circuit, world, focus, present, overhead, scratch
(0.276) work, experi, inform, ground, technolog, make, build, servic, consult, goal
(0.168) student, class, week, modul, assign, hand, lectur, unit, lab, expect
9 2100 Discrete Structures
Introduction to propositional logic, predicate logic, formal logical arguments, finite sets, functio
introduct proposit logic predic logic formal logic argument finit set function relat induct proof re
(0.934) logic, mathemat, theori, proof, set, introduct, algorithm, discret, formal, relat
10 2420 Introduction to Algorithms & Data Structures
This course provides an introduction to the problem of engineering computational efficiency into pro
introduct problem engin comput effici program student learn classic algorithm includ sort search gra
(0.507) data, structur, algorithm, tree, sort, search, graph, queue, list, analysi
(0.324) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
11 2960 Apple Certification
A hands-on course that provides an intensive and in-depth exploration of troubleshooting on Mac OS X
hand intens depth explor troubleshoot mac give entri level system administr skill tool knowledg impl
(0.375) file, script, includ, linux, unix, exam, configur, manag, administr, mac
(0.348) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
12 2961 Cisco CCNA Level 1
In this first of two semesters students learn to use network modules to explain the layers of commun
semest student learn network modul explain layer commun data network design calcul appli subnet mask
(0.440) protocol, network, rout, switch, layer, manag, includ, address, ipv, internet
(0.298) configur, router, lab, basic, style, verifi, studio, wan, switch, learn
13 2962 Cisco CCNA Level 2
In this second of two semesters students learn to troubleshoot common network problems using the lay
semest student learn troubleshoot common network problem layer model approach interpret network diag
(0.383) configur, router, lab, basic, style, verifi, studio, wan, switch, learn
(0.355) file, script, includ, linux, unix, exam, configur, manag, administr, mac
(0.171) network, protocol, wireless, layer, applic, commun, tcp, mobil, internet, architectur
14 2963 Linux Professional Institute Level 1
A kickstart for Windows users who want to learn Linux. This course covers installation methods, dir
kickstart window user learn linux cover instal method directori structur file system creat user acco
(0.530) file, script, includ, linux, unix, exam, configur, manag, administr, mac
(0.156) system, oper, manag, process, distribut, memori, file, program, concurr, commun
15 2964 Linux Professional Institute Level 2
Designed for students looking to develop skills as network administrators. Topics explored in the c
design student develop skill network administr topic explor class includ setup mainten popular netwo
(0.404) file, script, includ, linux, unix, exam, configur, manag, administr, mac
16 3011 Industry Forum
Meets with CS 3010. Presentations from local and national business leaders discussing issues in comp
meet present local nation busi leader discuss issu comput industri perspect trend comput scienc prof
(0.305) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
(0.228) comput, ethic, issu, social, profession, technolog, impact, privaci, properti, legal
(0.153) comput, topic, scienc, credit, vari, section, current, repeat, interest, area
(0.152) intellig, collect, process, inform, nation, repres, technic, engin, emploi, deliv
17 3020 Research Forum
Research Forum is a course with a format similar to that of CS 3011 Industry Forum, but with a focus
research forum format similar industri forum focu research semest student hear number speaker kind p
(0.494) present, student, project, report, complet, semest, write, class, research, plan
(0.422) speaker, seri, number, faculti, space, form, univers, field, prime, existenti
18 3100 Models of Computation
This course covers different models of computation and how they relate to the understanding and bett
cover model comput relat understand design real world comput program exampl studi ture machin defin
(0.346) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.199) comput, automata, languag, complex, machin, theori, ture, regular, finit, complet
(0.182) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
(0.163) logic, mathemat, theori, proof, set, introduct, algorithm, discret, formal, relat
19 3130 Engineering Probability and Statistics
An introduction to probability theory and statistics, with an emphasis on solving problems in electr
introduct probabl theori statist emphasi solv problem electr comput engin topic probabl includ discr
(0.439) includ, estim, theorem, probabl, distribut, condit, variabl, count, expect, independ
(0.153) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
20 3200 Introduction to Scientific Computing
Scientific computation relevant to computational science and engineering, with emphasis on the proce
scientif comput relev comput scienc engin emphasi process model simul visual evalu topic relat area
(0.353) comput, scienc, mathemat, field, scientif, disciplin, visual, complex, model, data
(0.289) method, equat, problem, numer, differenti, linear, includ, finit, system, interpol
(0.177) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
21 3470 Scripting Language Design and Implementation
The three major themes in the course are: (1) how to use scripting languages, (2) how to design scri
major theme script languag design script languag implement script languag student introduc script la
(0.217) learn, student, design, applic, appli, technolog, machin, method, broad, adapt
(0.216) file, script, includ, linux, unix, exam, configur, manag, administr, mac
(0.156) program, languag, object, orient, includ, type, design, abstract, data, specif
(0.155) project, team, final, experi, design, lectur, softwar, signific, major, propos
22 3500 Software Practice
Meets with CS 5010. Practical exposure to the process of creating large software systems, including
meet practic exposur process creat larg softwar system includ requir specif design implement test ma
(0.600) softwar, design, test, system, develop, requir, manag, model, engin, specif
(0.300) sourc, develop, code, open, softwar, tool, practic, project, emphasi, manag
23 3505 Software Practice II
Meets with CS 5020. An in-depth study of traditional software development (using UML) from inception
meet depth studi tradit softwar develop uml incept implement entir class team base includ project ag
(0.489) softwar, develop, engin, team, system, knowledg, practic, effect, defin, concern
(0.444) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
24 3700 Fundamentals of Digital System Design
Techniques for reasoning about, designing, minimizing, and implementing digital circuits and systems
techniqu reason design minim implement digit circuit system combin logic arithmet sequenti circuit c
(0.495) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.207) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.182) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
25 3710 Computer Design Laboratory
Working in teams, students employ the concepts of digital logic design and computer organization to
work team student emploi concept digit logic design comput organ design implement test comput system
(0.356) softwar, design, test, system, develop, requir, manag, model, engin, specif
(0.236) student, comput, work, research, program, complet, qualifi, engag, educ, lab
(0.197) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
26 3810 Computer Organization
An in-depth study of computer architecture and design, including topics such as RISC and CISC instru
depth studi comput architectur design includ topic risc cisc instruct set architectur cpu organ pipe
(0.657) memori, instruct, comput, control, architectur, organ, perform, processor, assembl, level
(0.189) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
27 3991 CE Junior Seminar
Presentations from faculty and industry representatives to discuss trends in computer engineering, p
present faculti industri repres discuss trend comput engin profession ethic impact engin global soci
(0.344) comput, ethic, issu, social, profession, technolog, impact, privaci, properti, legal
(0.294) intellig, collect, process, inform, nation, repres, technic, engin, emploi, deliv
28 3992 Computer Engineering Pre-Thesis/Pre-Clinic/Pre-Project
This is the first course in a 2 or 3 semester series. The purpose of this course is to form teams an
semest seri purpos form team propos select senior project complet clinic complet subsequ semest indi
(0.497) present, student, project, report, complet, semest, write, class, research, plan
(0.431) project, team, final, experi, design, lectur, softwar, signific, major, propos
29 4000 Senior Capstone Project - Design Phase
During their last two semesters, senior Computer Science students form teams to develop significant
semest senior comput scienc student form team develop signific softwar project class semest sequenc
(0.343) present, student, project, report, complet, semest, write, class, research, plan
(0.325) project, team, final, experi, design, lectur, softwar, signific, major, propos
30 4010 Computer Science Internship
The School of Computing Cooperative Education and Internship Program (CEIP) seeks to provide student
school comput cooper educ internship program ceip seek provid student practic experi complement clas
(0.326) student, assign, respons, question, conduct, cloud, paper, studi, answer, univers
(0.264) case, studi, class, includ, learn, written, exam, assign, describ, code
(0.156) present, student, project, report, complet, semest, write, class, research, plan
31 4150 Algorithms
Study of algorithms, data structures, and complexity analysis beyond the introductory treatment from
studi algorithm data structur complex analysi introductori treatment balanc tree heap hash tabl stri
(0.287) data, structur, algorithm, tree, sort, search, graph, queue, list, analysi
(0.287) algorithm, analysi, design, complex, problem, includ, dynam, matrix, case, sort
(0.184) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
32 4190 Programming Challenges
The course is a hands-on seminar for practicing advanced problem solving and programming skills in a
hand seminar practic advanc problem solv program skill mildli competit atmospher student work team s
(0.533) program, problem, data, comput, algorithm, solv, structur, introduct, engin, languag
(0.169) softwar, develop, engin, team, system, knowledg, practic, effect, defin, concern
33 4230 Parallel Programming
This course is a comprehensive exploration of parallel programming paradigms, examining core concept
comprehens explor parallel program paradigm examin core concept focus subset wide contemporari paral
(0.276) parallel, program, comput, algorithm, model, memori, includ, perform, share, messag
34 4300 Artificial Intelligence
Meets with CS 6300. Introduction to field of artificial intelligence, including heuristic programmin
meet introduct field artifici intellig includ heurist program problem solv search theorem prove ques
(0.584) search, intellig, knowledg, reason, problem, represent, artifici, languag, learn, system
(0.183) student, assign, respons, question, conduct, cloud, paper, studi, answer, univers
35 4400 Computer Systems
Introduction to computer systems from a programmer's point of view. Machine level representations o
introduct comput system programm point view machin level represent program optim program perform mem
(0.559) memori, instruct, comput, control, architectur, organ, perform, processor, assembl, level
(0.264) parallel, program, comput, algorithm, model, memori, includ, perform, share, messag
36 4480 Computer Networks
A comprehensive study of the principles and practices of data communication and networks. Topics inc
comprehens studi principl practic data commun network topic includ transmiss media data encod local
(0.344) network, protocol, wireless, layer, applic, commun, tcp, mobil, internet, architectur
(0.202) protocol, network, rout, switch, layer, manag, includ, address, ipv, internet
(0.166) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
37 4500 Senior Capstone Project
This course is the capstone experience for graduating Computer Science seniors. It involves the deve
capston experi graduat comput scienc senior involv develop signific softwar system small select stud
(0.316) present, student, project, report, complet, semest, write, class, research, plan
(0.270) project, team, final, experi, design, lectur, softwar, signific, major, propos
(0.158) softwar, develop, engin, team, system, knowledg, practic, effect, defin, concern
38 4540 Web Software Architecture
Software architectures, programming models, and programming environments pertinent to developing web
softwar architectur program model program environ pertin develop web applic topic includ client serv
(0.573) web, client, server, program, side, page, wide, world, browser, creat
(0.262) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
39 4600 Introduction to Computer Graphics
Computer graphics is the discipline of generating images though computer programs. This course cover
comput graphic disciplin gener imag comput program cover modern comput graphic hardwar softwar stude
(0.573) graphic, model, render, map, textur, includ, geometr, comput, geometri, trace
(0.157) project, team, final, experi, design, lectur, softwar, signific, major, propos
40 4640 Image Processing Basics
This course is an introduction to digital image processing. Simply put, image processing is the stud
introduct digit imag process simpli put imag process studi algorithm take imag input produc imag out
(0.438) imag, process, comput, visual, vision, camera, recognit, techniqu, digit, includ
(0.168) increas, continu, todai, work, comput, consum, electr, internet, energi, medicin
41 4710 Computer Engineering Senior Project
This is the capstone team project course for Computer Engineering majors who do not choose to do a t
capston team project comput engin major choos thesi clinic team remain intact goal build demonstr pr
(0.481) present, student, project, report, complet, semest, write, class, research, plan
(0.241) project, team, final, experi, design, lectur, softwar, signific, major, propos
42 4940 Undergraduate Research
The goal of undergraduate research is primarily to learn first hand about how research is conducted
goal undergradu research primarili learn hand research conduct faculti univers secondarili student c
(0.366) student, research, project, thesi, faculti, member, senior, enrol, publish, work
(0.172) student, class, week, modul, assign, hand, lectur, unit, lab, expect
43 4970 Computer Science Bachelor's Thesis
Only students who have previously worked with a faculty member in a research group may register for
student previous work faculti member research group regist bachelor thesi credit permiss faculti mem
(0.833) student, research, project, thesi, faculti, member, senior, enrol, publish, work
44 4991 Computer Engineering Senior Thesis I
Students work on an original senior thesis project under the direction of their approved thesis advi
student work origin senior thesi project direct approv thesi advisor substitut comput engin senior p
(0.875) student, research, project, thesi, faculti, member, senior, enrol, publish, work
45 4992 Computer Engineering Senior Thesis II
Students work on original senior thesis project under the direction of their approved thesis advisor
student work origin senior thesi project direct approv thesi advisor make oral present annual studen
(0.827) student, research, project, thesi, faculti, member, senior, enrol, publish, work
46 4998 Honors Project Thesis
This course is for students completing the Thesis Work requirements of the Honors Degree. students m
student complet thesi work requir honor degre student concurr enrol senior capston project eae senio
(0.460) student, research, project, thesi, faculti, member, senior, enrol, publish, work
(0.296) graduat, work, student, requir, meet, extra, time, honor, school, depart
(0.165) present, student, project, report, complet, semest, write, class, research, plan
47 4999 Computer Science Honors Thesis/Project
An honors thesis is a publication-quality description of work done in previous semesters. At a minim
honor thesi public qualiti descript work previou semest minimum thesi publish technic report ideal s
(0.923) student, research, project, thesi, faculti, member, senior, enrol, publish, work
48 5010 Software Practice
Meets with CS 3500. This course is for graduate students from departments other than School of Compu
meet graduat student depart school comput practic exposur process creat larg softwar system includ r
(0.394) softwar, design, test, system, develop, requir, manag, model, engin, specif
(0.360) sourc, develop, code, open, softwar, tool, practic, project, emphasi, manag
(0.171) graduat, work, student, requir, meet, extra, time, honor, school, depart
49 5020 Software Practice II
Meets with CS 3505. This course is for graduate students in departments other than School of Computi
meet graduat student depart school comput depth studi tradit softwar develop uml incept implement en
(0.342) softwar, develop, engin, team, system, knowledg, practic, effect, defin, concern
(0.307) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.214) graduat, work, student, requir, meet, extra, time, honor, school, depart
50 5040 Teaching Introductory Computer Science
Issues confronted by undergraduate teaching assistants in introductory computer science courses, inc
issu confront undergradu teach assist introductori comput scienc cours includ lead lab section condu
(0.408) student, assign, respons, question, conduct, cloud, paper, studi, answer, univers
(0.239) comput, topic, scienc, credit, vari, section, current, repeat, interest, area
(0.204) student, learn, skill, requir, write, analyz, program, organ, complex, teach
51 5100 Foundations of Computer Science
Meets with CS 6100. A survey of topics in theoretical computer science, focusing on computability a
meet survei topic theoret comput scienc focus comput complex ture machin decid rel comput recurs the
(0.510) comput, automata, languag, complex, machin, theori, ture, regular, finit, complet
(0.244) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
52 5130 Computational Statistics
Meets with CS 6130. This is a course in fundamental statistical techniques used in computer science,
meet fundament statist techniqu comput scienc special emphasi method occur comput graphic scientif v
(0.578) visual, graphic, comput, percept, statist, perceptu, imag, displai, specif, includ
(0.380) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
53 5140 Data Mining
Meets with CS 6140. Data mining is the study of efficiently finding structures and patterns in data
meet data mine studi effici find structur pattern data set structur pattern base statist probablist
(0.644) data, mine, algorithm, larg, web, effici, techniqu, search, time, cluster
(0.262) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
54 5310 Robotics
Meets with CS 6310 and ME EN 6220. The mechanics of robots, comprising kinematics, dynamics, and tra
meet mechan robot compris kinemat dynam trajectori planar spheric spatial transform displac repres o
(0.972) trajectori, kinemat, robot, mechan, invers, angl, euler, serial, joint, paramet
55 5320 Computer Vision
Meets with CS 6320. Basic pattern-recognition and image-analysis techniques, low-level representatio
meet basic pattern recognit imag analysi techniqu low level represent intrins imag shape method segm
(0.385) imag, process, comput, visual, vision, camera, recognit, techniqu, digit, includ
(0.349) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
56 5340 Natural Language Processing
Meets with CS 6340. The goals for this course are to study: (1) algorithms and methods for building
meet goal studi algorithm method build comput model natur languag understand includ syntact analysi
(0.809) languag, natur, understand, process, model, analysi, method, answer, translat, question
(0.166) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
57 5350 Machine Learning
Meets with CS 6350. This course covers techniques for developing computer programs that can acquire
meet cover techniqu develop comput program acquir knowledg automat adapt behavior time topic includ
(0.443) learn, decis, network, model, algorithm, topic, method, probabilist, neural, approach
(0.156) estim, linear, featur, reduct, nonlinear, filter, dimension, nonparametr, parametr, select
58 5460 Operating Systems
Characteristics, objectives, and issues concerning computer operating systems. Hardware-software int
characterist object issu comput oper system hardwar softwar interact process manag memori manag prot
(0.607) system, oper, manag, process, distribut, memori, file, program, concurr, commun
(0.267) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
59 5470 Compiler Principles and Techniques
Meets with CS 6470. Lexical analysis, top-down and bottom-up parsing, symbol tables, internal forms
meet lexic analysi top bottom pars symbol tabl intern form intermedi languag runtim environ code gen
(0.918) compil, code, pars, analysi, gener, optim, techniqu, lexic, languag, construct
60 5490 Network Security
Meets with CS 6490. This course will provide a comprehensive introduction to the principles and prac
meet provid comprehens introduct principl practic network secur internet secur topic cover includ cr
(0.392) secur, network, includ, attack, cryptographi, topic, cover, inform, applic, depth
(0.196) case, studi, class, includ, learn, written, exam, assign, describ, code
(0.153) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
61 5510 Programming Language Concepts
Ideas behind the design and implementation of programming languages. Syntactic description; scope an
idea design implement program languag syntact descript scope lifetim variabl runtim stack organ pars
(0.671) program, languag, object, orient, includ, type, design, abstract, data, specif
(0.237) compil, code, pars, analysi, gener, optim, techniqu, lexic, languag, construct
62 5530 Database Systems
Representing information about real world enterprises using important data models including the enti
repres inform real world enterpris import data model includ entiti relationship relat object orient
(0.242) databas, data, system, manag, queri, relat, model, design, process, optim
(0.217) search, plan, infer, problem, inform, method, constraint, logic, state, satisfact
(0.198) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.194) softwar, design, test, system, develop, requir, manag, model, engin, specif
63 5540 Human/Computer Interaction
Meets with CS 6540. Fundamentals of input/output devices, user interfaces, and human factors in the
meet fundament input output devic user interfac human factor context design interact applic undergra
(0.379) interfac, design, user, interact, human, evalu, prototyp, graphic, hci, cognit
(0.272) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.190) area, comput, knowledg, fundament, concept, topic, inform, import, develop, softwar
64 5610 Interactive Computer Graphics
Meets with CS 6610. Interactive 3D computer graphics, polygonal representations of 3-D objects. Inte
meet interact comput graphic polygon represent object interact light model introduct interact textur
(0.577) graphic, model, render, map, textur, includ, geometr, comput, geometri, trace
(0.247) graphic, interact, introduct, devic, surfac, hidden, represent, displai, simpl, packag
65 5630 Visualization
Meets with CS 6630. Introduction to the principles, methods, and techniques for effective visual ana
meet introduct principl method techniqu effect visual analysi data student explor aspect visual incl
(0.561) visual, data, cut, edg, spatial, analysi, deep, rang, text, effect
(0.419) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
66 5650 Visual Perception from a Computer Graphics and Visualization Perspective
Meets with CS 6650. Computer graphics produces images intended to be seen by people, yet relatively
meet comput graphic produc imag intend peopl practition field specif human vision introduct human vi
(0.979) visual, graphic, comput, percept, statist, perceptu, imag, displai, specif, includ
67 5710 Digital VLSI Design
Meets with ECE/CS 6710. Basic concepts of the design of digital CMOS integrated circuits. Course top
meet basic concept design digit cmo integr circuit topic includ static dynam properti circuit compos
(0.718) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.248) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
68 5720 Analog Integrated Circuit Design
Meets with ECE/CS 6720. Design of analog and mixed-signal CMOS integrated circuits. Fundamental buil
meet design analog mix signal cmo integr circuit fundament build block analog circuit includ basic p
(0.619) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.227) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
69 5740 Computer-Aided Design of Digital Circuits
Meets with ECE/CS 6740. Introduction to theory and algorithms used for computer-aided synthesis of d
meet introduct theori algorithm comput aid synthesi digit integr circuit topic includ algorithm repr
(0.408) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.273) learn, decis, network, model, algorithm, topic, method, probabilist, neural, approach
70 5745 Testing and Verification of Digital Circuits
Study of failure and fault models in digital circuits, stuck-at-faults, transition faults, transisto
studi failur fault model digit circuit stuck fault transit fault transistor fault combin sequenti ci
(0.925) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
71 5750 Synthesis and Verification of Asynchronous VLSI Systems
Meets with ECE/CS 6750. Introduction to systematic methods for the design of asynchronous VLSI syste
meet introduct systemat method design asynchron vlsi system high level specif effici reliabl circuit
(0.308) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
(0.272) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.204) visual, graphic, comput, percept, statist, perceptu, imag, displai, specif, includ
72 5780 Embedded System Design
Meets with CS/ECE 6780. Introduction to issues in embedded system design using microcontrollers. To
meet introduct issu embed system design microcontrol topic includ microcontrol architectur memori in
(0.728) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
(0.214) parallel, program, comput, algorithm, model, memori, includ, perform, share, messag
73 5785 Advanced Embedded Software
This course is about designing and implementing reliable and efficient embedded software, with a bia
design implement reliabl effici embed softwar bia system issu student profici program complet number
(0.945) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
74 5789 Embedded Systems and Kinetic Art
This is a project based course that meets with a corresponding course in the Art department (Kinetic
project base meet art depart kinet sculptur art goal work interdisciplinari team creat kinet art pro
(0.474) python, kinet, art, aspect, move, sculptur, actuat, regul, ait, complement
(0.215) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
75 5830 VLSI Architecture
Meets with ECE/CS 6830. Project-based study of a variety of topics related to VLSI systems. Use of f
meet project base studi varieti topic relat vlsi system field programm gate arrai design implement t
(0.467) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.382) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
76 6020 Conducting, Publishing, and Presenting Early-Career Research
This is an independent study offering designed to encourage beginning graduate students to conduct,
independ studi offer design encourag begin graduat student conduct publish present origin research e
(0.307) student, assign, respons, question, conduct, cloud, paper, studi, answer, univers
(0.278) student, research, project, thesi, faculti, member, senior, enrol, publish, work
(0.161) graduat, work, student, requir, meet, extra, time, honor, school, depart
77 6030 Technical Communications in Computer Science
Basic writing and oral presentation skills for technical communications in computer science. Emphasi
basic write oral present skill technic commun comput scienc emphasi mechan write present develop pre
(0.781) present, student, project, report, complet, semest, write, class, research, plan
78 6100 Foundations of Computer Science
Meets with CS 5100. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
79 6110 Formal Methods for System Design
Study of methods for formally specifying and verifying computing systems. Specific techniques includ
studi method formal verifi comput system specif techniqu includ explicit state enumer implicit state
(0.294) search, plan, infer, problem, inform, method, constraint, logic, state, satisfact
(0.241) logic, mathemat, theori, proof, set, introduct, algorithm, discret, formal, relat
(0.162) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
80 6130 Computational Statistics
Meets with CS 5130. This is a course in fundamental statistical techniques used in computer science,
meet fundament statist techniqu comput scienc special emphasi method occur comput graphic scientif v
(0.578) visual, graphic, comput, percept, statist, perceptu, imag, displai, specif, includ
(0.380) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
81 6140 Data Mining
Meets with CS 5140. Data mining is the study of efficiently finding structures and patterns in data
meet data mine studi effici find structur pattern data set structur pattern base statist probablist
(0.714) data, mine, algorithm, larg, web, effici, techniqu, search, time, cluster
(0.254) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
82 6150 Advanced Algorithms
Meets with CS 5150. Graduate and Honors students only. Extra work required.
meet graduat honor student extra work requir
(0.832) graduat, work, student, requir, meet, extra, time, honor, school, depart
83 6160 Computational Geometry
Meets with CS 5160. Graduate and Honors students only. Extra work required.
meet graduat honor student extra work requir
(0.832) graduat, work, student, requir, meet, extra, time, honor, school, depart
84 6170 Computational Topology
This course provides a gentle introduction to topology-based techniques for the analysis and visuali
gentl introduct topolog base techniqu analysi visual geometr model student learn fundament topolog i
(0.208) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.189) data, structur, algorithm, tree, sort, search, graph, queue, list, analysi
(0.189) comput, scienc, mathemat, field, scientif, disciplin, visual, complex, model, data
85 6210 Advanced Scientific Computing I
An introduction to existing classical and modern numerical methods and their algorithmic development
introduct exist classic modern numer method algorithm develop effici implement topic includ numer li
(0.690) method, equat, problem, numer, differenti, linear, includ, finit, system, interpol
(0.203) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
86 6220 Advanced Scientific Computing II
A study of the numerical solution of two- and three-dimensional partial differential equations that
studi numer solut dimension partial differenti equat aris scienc engin problem topic includ finit di
(0.833) method, equat, problem, numer, differenti, linear, includ, finit, system, interpol
87 6230 Parallel Computing and High Performance Computing
This course provides an overview of parallel computing including processors, communications, topolog
overview parallel comput includ processor commun topolog languag workstat network parallel comput de
(0.386) parallel, program, comput, algorithm, model, memori, includ, perform, share, messag
(0.224) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
88 6235 Parallel Programming for Many-Core Architectures
This courses examines an important trend in high-performance computing, the use of special-purpose h
cours examin import trend high perform comput special purpos hardwar origin design graphic game solv
(0.228) multicor, perform, project, program, master, suitabl, gpu, purpos, achiev, potenti
(0.203) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
(0.152) student, class, week, modul, assign, hand, lectur, unit, lab, expect
89 6300 Artificial Intelligence
Meets with CS 5300. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.674) graduat, work, student, requir, meet, extra, time, honor, school, depart
90 6310 Robotics
The mechanics of robots, comprising kinematics, dynamics, and trajectories. Planar, spherical, and s
mechan robot compris kinemat dynam trajectori planar spheric spatial transform displac repres orient
(0.952) trajectori, kinemat, robot, mechan, invers, angl, euler, serial, joint, paramet
91 6320 3D Computer Vision
Meets with CS 5320. Introduction to fundamental problems of 3D Computer Vision and main concepts and
meet introduct fundament problem comput vision main concept techniqu solv discuss analysi methodolog
(0.296) imag, process, comput, visual, vision, camera, recognit, techniqu, digit, includ
(0.192) graphic, model, render, map, textur, includ, geometr, comput, geometri, trace
92 6330 Introduction to Robot Control
Meets with ME EN 5230. Control of serial robot manipulators is examined. Topics include control sy
meet control serial robot manipul examin topic includ control system fundament sensor actuat joint l
(0.432) robot, control, plan, motion, autonom, manipul, sensor, method, includ, topic
(0.314) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
93 6340 Natural Language Processing
Meets with CS 5340. Graduate students only. Extra work required. The goals for this course are to s
meet graduat student extra work requir goal studi algorithm method build comput model natur languag
(0.680) languag, natur, understand, process, model, analysi, method, answer, translat, question
94 6350 Machine Learning
Meets with CS 5350. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
95 6360 Virtual Reality
Human interfaces: visual, auditory, haptic, and locomotory displays; position tracking and mapping.
human interfac visual auditori haptic locomotori displai posit track map comput hardwar softwar gene
(0.429) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
(0.294) robot, control, plan, motion, autonom, manipul, sensor, method, includ, topic
96 6370 Geometric Computation for Motion Planning
Geometric computation is the study practical algorithms for solving queries about geometric properti
geometr comput studi practic algorithm solv queri geometr properti comput model relationship comput
(0.346) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
(0.207) robot, control, plan, motion, autonom, manipul, sensor, method, includ, topic
97 6380 Multi-agent Systems
Covers fundamental notions of (1) software agents, including autonomy, communication, persistence, a
cover fundament notion softwar agent includ autonomi commun persist intellig multi agent system incl
(0.369) search, intellig, knowledg, reason, problem, represent, artifici, languag, learn, system
(0.294) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.205) sourc, develop, code, open, softwar, tool, practic, project, emphasi, manag
98 6460 Operating Systems
Graduate students only. Extra work required.
graduat student extra work requir
(0.779) graduat, work, student, requir, meet, extra, time, honor, school, depart
99 6470 Compiler Principles and Techniques
Meets with CS 5470. Lexical analysis, top-down and bottom-up parsing, symbol tables, internal forms
meet lexic analysi top bottom pars symbol tabl intern form intermedi languag runtim environ code gen
(0.918) compil, code, pars, analysi, gener, optim, techniqu, lexic, languag, construct
100 6475 Advanced Compilers
Compilation of modern languages. Optimization techniques, register allocation and instruction schedu
compil modern languag optim techniqu regist alloc instruct schedul garag collect except handl linker
(0.567) compil, code, pars, analysi, gener, optim, techniqu, lexic, languag, construct
(0.207) memori, instruct, comput, control, architectur, organ, perform, processor, assembl, level
(0.155) intellig, collect, process, inform, nation, repres, technic, engin, emploi, deliv
101 6480 Advanced Computer Networks
Graduate level course on computer networking. The course will consist of a taught component, as well
graduat level comput network consist taught compon term project compon taught compon focu advanc net
(0.553) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
(0.158) multicor, perform, project, program, master, suitabl, gpu, purpos, achiev, potenti
102 6490 Network Security
Comprehensive introduction to the principles and practices of network security, especially Internet
comprehens introduct principl practic network secur internet secur topic cover includ cryptographi a
(0.828) secur, network, includ, attack, cryptographi, topic, cover, inform, applic, depth
103 6510 Functional Programming
Practical programming with functional language (e.g., Scheme, ML, Haskell) and functional techniques
practic program function languag scheme haskel function techniqu fold oper continu pass style monad
(0.339) program, type, languag, compil, time, run, dynam, implement, static, machin
(0.217) present, student, project, report, complet, semest, write, class, research, plan
(0.155) function, recurs, sequenc, higher, tree, order, gener, languag, definit, basic
104 6530 Database Systems
Graduate-level course on the design and implementation of (relational) database system kernels, as w
graduat level design implement relat databas system kernel larg scale data manag techniqu review rel
(0.388) databas, data, system, manag, queri, relat, model, design, process, optim
(0.239) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
105 6540 Human/Computer Interaction
Meets with CS 5540. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
106 6600 Mathematical Foundations of Computer Graphics and Visualization
Algorithms and techniques in geometric modeling, computer graphics, visualization, image processing,
algorithm techniqu geometr model comput graphic visual imag process comput vision robot comput geome
(0.510) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.176) comput, scienc, mathemat, field, scientif, disciplin, visual, complex, model, data
107 6610 Interactive Computer Graphics
Meets with CS 5610. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
108 6620 Ray Tracing for Graphics
This is a project based course covering the fundamental concepts of rendering using ray tracing. Eac
project base cover fundament concept render rai trace student implement rai trace base render step s
(0.748) graphic, model, render, map, textur, includ, geometr, comput, geometri, trace
(0.192) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
109 6630 Visualization
Meets with CS 5630. Introduction to the principles, methods, and techniques for effective visual ana
meet introduct principl method techniqu effect visual analysi data student explor aspect visual incl
(0.625) visual, data, cut, edg, spatial, analysi, deep, rang, text, effect
(0.339) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
110 6640 Introduction to Digital Image Processing
This is an introductory course in processing grey-scale images. This course will cover both mathemat
introductori process grei scale imag cover mathemat fundament implement introduc student basic princ
(0.370) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.345) imag, process, comput, visual, vision, camera, recognit, techniqu, digit, includ
111 6650 Visual Perception from a Computer Graphics and Visualization Perspective
Meets with CS 5650. Computer graphics produces images intended to be seen by people, yet relatively
meet comput graphic produc imag intend peopl practition field specif human vision introduct human vi
(0.951) visual, graphic, comput, percept, statist, perceptu, imag, displai, specif, includ
112 6660 Physics-based Animation
Physics-based simulation techniques have revolutionized special effects in film and video games, cre
physic base simul techniqu revolution special effect film video game creat extrem realist effect all
(0.433) game, video, player, film, solut, graphic, emphasi, creat, anim, varieti
(0.211) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
113 6665 Character Animation
Characters are one of the most important components of films and video games. Creating natural looki
charact import compon film video game creat natur motion virtual charact area activ research comput
(0.509) game, video, player, film, solut, graphic, emphasi, creat, anim, varieti
(0.289) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
114 6670 Computer-Aided Geometric Design I
Introduction to current concepts and issues in CAGD systems with emphasis on free-form surface desig
introduct current concept issu cagd system emphasi free form surfac design mathemat free form curv s
(0.169) graphic, model, render, map, textur, includ, geometr, comput, geometri, trace
(0.169) model, databas, data, inform, form, integr, languag, queri, structur, issu
(0.169) graphic, interact, introduct, devic, surfac, hidden, represent, displai, simpl, packag
(0.151) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
115 6680 Computer-Aided Geometric Design II
Project based upon material covered in CS 6670.
project base materi cover
(0.771) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
116 6710 Digital VLSI Design
Basic concepts of the design of digital CMOS integrated circuits. Course topics include static and
basic concept design digit cmo integr circuit topic includ static dynam properti circuit composit la
(0.761) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.204) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
117 6712 Digital IC Projects Testing
This course is for students who have designed and fabricated a digital integrated circuit in ECE/CS
student design fabric digit integr circuit student learn chip test equip test chip function perform
(0.567) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.207) student, learn, skill, requir, write, analyz, program, organ, complex, teach
118 6720 Analog Integrated Circuit Design
Meets with ECE/CS 5720. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
119 6721 Analog Integrated Circuits Lab
Optional lab that accompanies ECE/CS 5720/6720. Students will test and characterize transistors, ci
option lab accompani student test character transistor circuit system modern cmo chip
(0.522) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.237) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
120 6722 Analog IC Projects Testing
This course is designed for students who fabricated an integrated circuit in ECE/CS 5720/6720. Stude
design student fabric integr circuit student test chip independ report experiment result
(0.448) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.375) present, student, project, report, complet, semest, write, class, research, plan
121 6740 Computer-Aided Design of Digital Circuits
Meets with ECE/CS 5740. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
122 6745 Testing and Verification of Digital Circuits
Study of failure and fault models in digital circuits, stuck-at-faults, transition faults, transisto
studi failur fault model digit circuit stuck fault transit fault transistor fault combin sequenti ci
(0.864) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
123 6750 Synthesis and Verification of Asynchronous VLSI Systems
Meets with ECE/CS 5750. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
124 6760 Modeling and Analysis of Biological Networks
Introduction to methods for modeling, analysis, and design of genetic circuits. A particular emphas
introduct method model analysi design genet circuit emphasi method inspir engin circuit analysi topi
(0.412) learn, decis, network, model, algorithm, topic, method, probabilist, neural, approach
(0.192) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.192) method, equat, problem, numer, differenti, linear, includ, finit, system, interpol
125 6770 Advanced Digital VLSI Systems Design
This course addresses advanced issues in VLSI design, covering the following topics: design methodol
address advanc issu vlsi design cover topic design methodolog design cmo circuit scale advanc logic
(0.363) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.175) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
126 6780 Embedded System Design
Meets with ECE/CS 5780. Introduction to issues in embedded system design using microcontrollers. T
meet introduct issu embed system design microcontrol topic includ microcontrol architectur memori in
(0.635) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
(0.176) graduat, work, student, requir, meet, extra, time, honor, school, depart
127 6785 Advanced Embedded Software
Meets with CS 5785. This course is about designing and implementing reliable and efficient embedded
meet design implement reliabl effici embed softwar bia system issu student profici program complet n
(0.946) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
128 6810 Computer Architecture
Principles of modern high-performance computer and micro architecture; static vs. dynamic issues, pi
principl modern high perform comput micro architectur static dynam issu pipelin control data hazard
(0.379) memori, instruct, comput, control, architectur, organ, perform, processor, assembl, level
(0.266) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
129 6830 VLSI Architecture
Meets with ECE/CS 5830. Graduate students only. Extra work required.
meet graduat student extra work requir
(0.809) graduat, work, student, requir, meet, extra, time, honor, school, depart
130 6945 Graduate Internship
The training is designed to provide the student with an opportunity to gain actual employment experi
train design provid student opportun gain actual employ experi chosen profess purpos round complemen
(0.438) student, comput, work, research, program, complet, qualifi, engag, educ, lab
(0.365) project, team, final, experi, design, lectur, softwar, signific, major, propos
131 7010 Writing Research Proposals
Fundamental aspects of writing computer science research proposals, including thesis, dissertation,
fundament aspect write comput scienc research propos includ thesi dissert grant propos form style su
(0.834) present, student, project, report, complet, semest, write, class, research, plan
132 7120 Information-Based Complexity
Analysis of optimal computational methods for continuous problems. Introduction to the general worst
analysi optim comput method continu problem introduct gener worst case theori optim algorithm linear
(0.690) method, equat, problem, numer, differenti, linear, includ, finit, system, interpol
(0.198) algorithm, analysi, design, complex, problem, includ, dynam, matrix, case, sort
133 7240 Sinc Methods
Sinc methods for solving difficult computational problems, such as partial differential and integral
sinc method solv difficult comput problem partial differenti integr equat problem aris scienc engin
(0.309) comput, topic, scienc, credit, vari, section, current, repeat, interest, area
(0.247) method, equat, problem, numer, differenti, linear, includ, finit, system, interpol
134 7250 Advanced Topics in Scientific Computing
In-depth study of research topics of current interest in scientific computing. Topics will typicall
depth studi research topic current interest scientif comput topic typic survei repeat credit focu ch
(0.436) comput, topic, scienc, credit, vari, section, current, repeat, interest, area
(0.336) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
135 7310 Robot Mobility and Manipulation
Modeling and control of static and dynamic characteristics of manipulation and mobility are introduc
model control static dynam characterist manipul mobil introduc case studi highlight classic approach
(0.392) robot, control, plan, motion, autonom, manipul, sensor, method, includ, topic
(0.248) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
(0.197) parallel, program, comput, algorithm, model, memori, includ, perform, share, messag
136 7320 System Identification for Robotics
Modeling and identification of the mechanical properties of robots and their environments. Review o
model identif mechan properti robot environ review probabl statist parametr versu nonparametr estim
(0.569) estim, linear, featur, reduct, nonlinear, filter, dimension, nonparametr, parametr, select
(0.223) trajectori, kinemat, robot, mechan, invers, angl, euler, serial, joint, paramet
137 7460 Distributed Operating Systems
Practical distributed operating systems concepts from basics through the state of the art. Topics in
practic distribut oper system concept basic state art topic includ interprocess commun client server
(0.415) system, oper, manag, process, distribut, memori, file, program, concurr, commun
(0.188) design, techniqu, includ, system, topic, principl, comput, tool, cover, student
(0.162) present, student, project, report, complet, semest, write, class, research, plan
138 7520 Programming Language Semantics
Examination of the formal and pragmatic ideas behind programming language design. Imperative, functi
examin formal pragmat idea program languag design imper function logic object orient multi paradigm
(0.695) program, languag, object, orient, includ, type, design, abstract, data, specif
139 7640 Advanced Image Processing
In-depth study of advanced methods and research topics of current interest in image processing and a
depth studi advanc method research topic current interest imag process analysi cover pde shape repre
(0.361) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
(0.180) imag, process, comput, visual, vision, camera, recognit, techniqu, digit, includ
(0.151) model, system, problem, perform, studi, analysi, evalu, simul, comput, implement
140 7650 Realistic Image Synthesis
Using camera and sensor simulation along with physical simulation to generate realistic synthetic im
camera sensor simul physic simul gener realist synthet imag
(0.481) graphic, model, render, map, textur, includ, geometr, comput, geometri, trace
(0.289) imag, process, comput, visual, vision, camera, recognit, techniqu, digit, includ
141 7810 Advanced Computer Architecture
Investigation of issues in the design of modern microprocessors, with an in-depth treatment of curre
investig issu design modern microprocessor depth treatment current research topic field driven discu
(0.463) research, applic, includ, topic, discuss, paper, advanc, comput, studi, system
(0.173) comput, scienc, mathemat, field, scientif, disciplin, visual, complex, model, data
142 7820 Parallel Computer Architecture
Architecture, design, and analysis of parallel computer systems: vector processing, data vs. control
architectur design analysi parallel comput system vector process data control concurr share memori m
(0.512) parallel, program, comput, algorithm, model, memori, includ, perform, share, messag
(0.198) system, oper, manag, process, distribut, memori, file, program, concurr, commun