Timeroom: Fall 2022

Displaying 221 - 230 of 1206 Results for: Level = All Graduate
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.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
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.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
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.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
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.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
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.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Instructors: Alejandro Hausner
Start Date End Date Days Time Location
8/29/2022 12/12/2022 TR 3:40pm - 5:00pm KING N113
Durham   Engineering&Physical Sciences :: Computer Science

CS 898 (01) - Master's Project

Master's Project

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
CRN: 10624
Department Approval Required. Contact Academic Department for permission then register through Webcat.
Instructors: STAFF
Start Date End Date Days Time Location
8/29/2022 12/12/2022 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 2022 - Full Term* (08/29/2022 - 12/12/2022)
Grade Mode: Graduate Credit/Fail grading
CRN: 10318
May be repeated up to a maximum of 6 credits. Cr/F.
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/29/2022 12/12/2022 Hours Arranged TBA
Durham   Engineering&Physical Sciences :: Computer Science

CS 900 (1HY) - Graduate Seminar

Graduate Seminar

Credits: 1.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Graduate Credit/Fail grading
Class Size:   35  
CRN: 10322
Regularly scheduled seminars presented by outside speakers, UNH faculty, and graduate students. Topics include reports of research ideas, progress, and results. Cr/F.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Attributes: Online with some campus visits, EUNH
Instructors: Elizabeth Varki
Start Date End Date Days Time Location
8/29/2022 12/12/2022 Hours Arranged ONLINE
8/29/2022 12/12/2022 F 12:10pm - 1:00pm KING N121
Durham   Engineering&Physical Sciences :: Computer Science

CS 920 (01) - Distributed Systems and Algorithms

Distributed Sys and Algorithms

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   15  
CRN: 16112
Covers fundamental topics in distributed systems: time, global state, synchronization, election, consensus, distributed file systems, security. Also includes a study of several distributed applications. Prereq: Operating System fundamentals or equivalent.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Instructors: Elizabeth Varki
Start Date End Date Days Time Location
8/29/2022 12/12/2022 MWF 9:10am - 10:00am KING N133
Durham   Engineering&Physical Sciences :: Computer Science

CS 927 (01) - Software Security Analysis

Software Security Analysis

Credits: 3.0
Term: Fall 2022 - Full Term (08/29/2022 - 12/12/2022)
Grade Mode: Letter Grading
Class Size:   15  
CRN: 14338
This course covers advanced research topics in software security. The main focus is automatic software analysis techniques, such as symbolic execution, taint analysis, and fuzz testing.
Registration Approval Required. Contact Instructor or Academic Department for permission then register through Webcat.
Instructors: Dongpeng Xu
Start Date End Date Days Time Location
8/29/2022 12/12/2022 TR 11:10am - 12:30pm KING N233