Timeroom: Fall 2022

Displaying 211 - 220 of 1153 Results for: Level = All Graduate
Durham   Engineering&Physical Sciences :: Computer Science

CS 800 (01) - Internship

Internship

Credits: 1.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Graduate Credit/Fail grading
Class Size:   5  
CRN: 10878
Provides an opportunity to apply academic experience in settings associated with future professional employment. A written proposal for the internship must be approved by the department chair. The proposal must specify what the student will learn from the internship, why the student is properly prepared for the internship, and what supervision will be available to the student during the internship. A mid-semester report and a final report are required. Permission required. Computer Science majors only. Cr/F.
Department Approval Required. Contact Academic Department for permission then register through Webcat.
Repeat Rule: May be repeated for a maximum of 3 credits.
Only listed majors in section: COMP SCI EXT, COMPUTER SCIENC, COMPUTER SCIENC
Instructors: Elizabeth Varki
Start Date End Date Days Time Location
8/29/2022 12/12/2022 Hours Arranged TBA
Durham   Engineering&Physical Sciences :: Computer Science

CS 820 (01) - Systems Programming

System Programming

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   15  
CRN: 14336
Study and simulation of various types of systems that include assemblers, linkers, memory management, concurrency and other resource management techniques. Prereq: Machine Organization, Operating Systems Fundamentals or equivalent.
Instructors: Arvind Narayan
Start Date End Date Days Time Location
8/29/2022 12/12/2022 MW 10:10am - 11:30am PARS NB22
Durham   Engineering&Physical Sciences :: Computer Science

CS 822 (01) - Cloud Computing Systems

Cloud Computing Systems

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   10  
CRN: 15459
The course covers a variety of topics in cloud computing systems, or more precisely, distributed systems that enable modern cloud computing. The topics include virtualization and its impact on system design, cloud-scale storage, cloud data processing and machine learning systems, and cloud configuration management. The course also covers the latest advancements in cloud computing/systems, IoT, edge, and fog computing. Prereq: Operating Systems Fundamentals.
Instructors: Aleksey Charapko
Start Date End Date Days Time Location
8/29/2022 12/12/2022 TR 3:40pm - 5:00pm KING N133
Durham   Engineering&Physical Sciences :: Computer Science

CS 825 (01) - Computer Networks

Computer Networks

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   20  
CRN: 12290
Introduction to fundamental concepts of computer networks and exploration of widely-used networking technologies. Topics include principles of congestion and error control; network routing; local, wireless and access networks; application protocol design; and network programming. In-depth discussion of the Internet suite of protocols.
Instructors: Radim Bartos
Start Date End Date Days Time Location
8/29/2022 12/12/2022 MW 2:10pm - 3:30pm KING S145
Durham   Engineering&Physical Sciences :: Computer Science

CS 833 (01) - Mobile Robotics

Mobile Robotics

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   10  
CRN: 14872
An introduction to the foundational theory and practices in mobile robotics. Topics include Kinematics of wheeled mobile robots. Seniors for mobile robots, robot navigation and perception, robot vision, localization and mapping of mobile robots. Hands-on experience directed towards implementation with a real robot. Prereq: Programming or permission of instructor.
Instructors: Momotaz Begum
Start Date End Date Days Time Location
8/29/2022 12/12/2022 MW 12:40pm - 2:00pm PARS NB22
8/29/2022 12/12/2022 F 2:10pm - 4:00pm KING N242
Durham   Engineering&Physical Sciences :: Computer Science

CS 845 (01) - Formal Specification and Verification of Software Systems

Formal Spec & Verif of Systems

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   15  
CRN: 12644
Course focuses on the formal specification and verification of reactive systems, most notably concurrent and distributed systems. Topics relevant to these systems, such as non-determinism, safety and liveness properties, asynchronous communication or compositional reasoning, are discussed. We rely on a notation (T LA+, the Temporal Logic of Actions) and a support tool (TLC, the TLA+ Model Checker). Prereq: Students are expected to be knowledgeable in logic and to be able to write symbolic proofs in predicate calculus. A basic understanding of the notions of assertion, precondition, and post-condition is also assumed.
Instructors: Michel Charpentier
Start Date End Date Days Time Location
8/29/2022 12/12/2022 TR 9:40am - 11:00am KING N113
Durham   Engineering&Physical Sciences :: Computer Science

CS 852 (01) - Foundations of Neural Networks

Foundations of Neural Networks

Credits: 4.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   10  
CRN: 16738
Neural networks are a class of machine learning models which have recently revolutionized many applied machine learning domains such as natural language understanding, image/video processing, bioinformatics, time series analysis. This course teaches students to develop new neural network architectures from scratch and customize them. The course covers all necessary foundations of neural networks including gradient descent optimization and vector calculus. Students will learn how to design models using idioms such as observed variables, latent variables, gate variables and different functions as well as a wide range of state-of-the-art architectures as design examples. Prereq: Data Structures.
Instructors: Laura Dietz
Start Date End Date Days Time Location
8/29/2022 12/12/2022 MW 3:40pm - 5:00pm PARS N116
Durham   Engineering&Physical Sciences :: Computer Science

CS 858 (01) - Algorithms

Algorithms

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   20  
CRN: 14876
An introduction to important concepts in the design and analysis of algorithms and data structures, including implementation, complexity, analysis, and proofs of correctness. Prereq: understanding of basic data structures, familiarity with proof methods and basic concepts from discrete mathematics and the ability to program with recursion.
Instructors: Wheeler Ruml
Start Date End Date Days Time Location
8/29/2022 12/12/2022 TR 8:10am - 9:30am KING N101
8/29/2022 12/12/2022 F 1:10pm - 2:00pm KING N121
Durham   Engineering&Physical Sciences :: Computer Science

CS 861 (01) - Programming Language Concepts and Features

Program Lang Concepts&Features

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   10  
CRN: 15592
Explores the main features of modern, high-level, general-purpose programming languages from the user (programmer) standpoint. Students learn how specific features of programming languages can be used effectively in solving programming problems. The course is also an opportunity to use paradigms that expand on simple imperative programming, such as object-oriented, functional and concurrent programming. Prereq: Operating systems fundamentals and Computer organization, some knowledge of Java.
Instructors: Michel Charpentier
Start Date End Date Days Time Location
8/29/2022 12/12/2022 TR 2:10pm - 3:30pm KING N113
Durham   Engineering&Physical Sciences :: Computer Science

CS 870 (01) - Computer Graphics

Computer Graphics

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   11  
CRN: 12940
Input-output and representation of pictures from hardware and software points of view; interactive techniques and their applications; three-dimensional image synthesis techniques. Prereq: data structures.
Instructors: Alejandro Hausner
Start Date End Date Days Time Location
8/29/2022 12/12/2022 TR 3:40pm - 5:00pm KING N113