Timeroom: Fall 2024

Displaying 1241 - 1250 of 4540 Results for: %20items_per_page = 100
Durham   Engineering&Physical Sciences :: Computer Science

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

Formal Spec & Verif of Systems

Credits: 4.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   10  
CRN: 16265
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). 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.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Cross listed with : CS 745.01
Instructors: Michel Charpentier
Start Date End Date Days Time Location
8/26/2024 12/9/2024 TR 9:40am - 11:00am KING N133
Final Exam 12/11/2024 12/11/2024 W 10:30am - 12:30pm KING N133
Durham   Engineering&Physical Sciences :: Computer Science

CS 851A (01) - Reinforcement Learning

Reinforcement Learning

Credits: 4.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   20  
CRN: 16266
Reinforcement learning studies how agents can learn to act to achieve goals in complex, stochastic environments. This course introduces students to fundamental theoretical concepts of reinforcement learning, standard algorithms, and practical techniques. In addition to theoretical topics, the course involves implementing basic algorithms in a high-level programming language. Programming and statistics required prior to taking this course.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Cross listed with : CS 751.01
Instructors: Marek Petrik
Start Date End Date Days Time Location
8/26/2024 12/9/2024 TR 9:40am - 11:00am KING N101
Final Exam 12/11/2024 12/11/2024 W 10:30am - 12:30pm KING N101
Durham   Engineering&Physical Sciences :: Computer Science

CS 852 (01) - Foundations of Neural Networks

Foundations of Neural Networks

Credits: 4.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   25  
CRN: 16267
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. Students are expected to have background in data structures.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Cross listed with : CS 752.01
Instructors: Laura Dietz
Start Date End Date Days Time Location
8/26/2024 12/9/2024 MW 3:40pm - 5:00pm KING N101
8/26/2024 12/9/2024 M 5:10pm - 6:00pm KING N328
Additional Course Details: 

This is an implementation-intensive elective.

Durham   Engineering&Physical Sciences :: Computer Science

CS 858 (01) - Algorithms

Algorithms

Credits: 4.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   10  
CRN: 13178
An introduction to important concepts in the design and analysis of algorithms and data structures, including implementation, complexity, analysis, and proofs of correctness. Understanding of basic data structures, familiarity with proof methods and basic concepts from discrete mathematics and the ability to program with recursion.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Cross listed with : CS 758.01
Instructors: Wheeler Ruml
Start Date End Date Days Time Location
8/26/2024 12/9/2024 TR 11:10am - 12:30pm KING N121
8/26/2024 12/9/2024 F 1:10pm - 2:00pm KING N101
Final Exam 12/11/2024 12/11/2024 W 3:30pm - 5:30pm KING N121
Durham   Engineering&Physical Sciences :: Computer Science

CS 861 (01) - Programming Language Concepts and Features

Program Lang Concepts&Features

Credits: 4.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   8  
CRN: 16268
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. Students are expected to have background in operating systems fundamentals and Computer organization, and some knowledge of Java.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Cross listed with : CS 761.01
Instructors: Michel Charpentier
Start Date End Date Days Time Location
8/26/2024 12/9/2024 TR 3:40pm - 5:00pm KING S145
Final Exam 12/13/2024 12/13/2024 F 1:00pm - 3:00pm KING S145
Durham   Engineering&Physical Sciences :: Computer Science

CS 870 (01) - Computer Graphics

Computer Graphics

Credits: 4.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   10  
CRN: 12069
Input-output and representation of pictures from hardware and software points of view; interactive techniques and their applications; three-dimensional image synthesis techniques. Students are expected to have background in Data Structures and Computer Organization.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Cross listed with : CS 770.01
Instructors: Alejandro Hausner
Start Date End Date Days Time Location
8/26/2024 12/9/2024 TR 2:10pm - 3:30pm KING N101
Final Exam 12/17/2024 12/17/2024 T 10:30am - 12:30pm KING N101
Durham   Engineering&Physical Sciences :: Computer Science

CS 898 (01) - Master's Project

Master's Project

Credits: 3.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
CRN: 10484
Master's Project.
Department Approval Required. Contact Academic Department for permission then register through Webcat.
Instructors: STAFF
Start Date End Date Days Time Location
8/26/2024 12/9/2024 Hours Arranged TBA
Durham   Engineering&Physical Sciences :: Computer Science

CS 898 (17) - Master's Project

Master's Project

Credits: 3.0
Term: Fall 2024 - Full Term (08/26/2024 - 12/09/2024)
Grade Mode: Letter Grading
Class Size:   5  
CRN: 15814
Master's Project.
Instructor Approval Required. Contact Instructor for permission then register through Webcat.
Instructors: May-Win Thein
Start Date End Date Days Time Location
8/26/2024 12/9/2024 Hours Arranged TBA
Durham   Engineering&Physical Sciences :: Computer Science

CS 899 (01) - Master's Thesis

Master's Thesis

Credits: 1.0 to 6.0
Term: Fall 2024 - Full Term - Grad Thesis (08/26/2024 - 12/09/2024)
Grade Mode: Graduate Credit/Fail grading
CRN: 13924
Master's Thesis.
Department Approval Required. Contact Academic Department for permission then register through Webcat.
Repeat Rule: May be repeated for a maximum of 6 credits.
Instructors: STAFF
Start Date End Date Days Time Location
8/26/2024 12/9/2024 Hours Arranged TBA
Durham   Engineering&Physical Sciences :: Computer Science

CS 899 (10) - Master's Thesis

Master's Thesis

Credits: 1.0 to 6.0
Term: Fall 2024 - Full Term - Grad Thesis (08/26/2024 - 12/09/2024)
Grade Mode: Graduate Credit/Fail grading
Class Size:   5  
CRN: 14304
Master's Thesis.
Department Approval Required. Contact Academic Department for permission then register through Webcat.
Repeat Rule: May be repeated for a maximum of 6 credits.
Instructors: Radim Bartos
Start Date End Date Days Time Location
8/26/2024 12/9/2024 Hours Arranged TBA