## Offered Fall 2017 and Spring 2018. |

### CIS 125 - Technology and Policy

**CIS 520 - Machine Learning**

Prerequisite(s): Elementary probability, calculus, and linear algebra. Basic programming experience.

### T1 - The Probabilistic Model Checking Landscape

**CIS 552 - Advanced Programming**

Prerequisite(s): Four courses involving significant programming and a discrete mathematics or modern algebra course. Enrollment by permission of the instructor only.

**CIS 549 - Wireless Mobile Communications**

Prerequisite(s): Any undergraduate networking or distributed systems course, e.g. ESE 404, ESE 407, CIS 505, CIS 551 or CIS 553 or permission of the instructor

## DANS is an institute of KNAW and NWO

Discussion of problems and techniques in Artificial Intelligence (AI). Knowledge Representation and Reasoning, Planning, Natural Language Processing, Constraint Systems, Machine Learning; Applications of AI.

## Offered Fall 2017, Spring 2018, and Summer 2017. |

This course studies issues in nonlinear control theory, with a particular emphasis on the use of geometric principles. Topics include: controllability, accessibility, and observability for nonlinear systems; Forbenius' theorem; feedback and input/output linearization for SISO and MIMO systems; dynamic extension; zero dynamics; output tracking and regulation; model matching; disturbance decoupling; examples will be taken from mechanical systems, robotic systems, including those involving nonholonomic constraints, and active control of vibrations.

## Scoot: A Tool for the Analysis of SystemC Models

**CIS 613 - Nonlinear Control Theory (MEAM 613/ESE 617) **

Prerequisite: A sufficient background to linear algebra (ENM 510/511 or equivalent) and a course in linear control theory (MEAM 513 or equivalent), or written permission of the instructor

## Instant access to the journals you need!

The purpose of this course is to present some of the advanced geometric methods used in geometric modeling, computer graphics, computer vision, etc. The topics may vary from year to year, and will be selected among the following subjects (nonexhaustive list): Introduction to projective geometry with applications to rational curves and surfaces, control points for Rational curves, rectangular and triangular rational patches, drawing closed rational curves and surfaces; Differential geometry of curves (curvature, torsion, osculating planes, the Frenet frame, osculating circles, osculating spheres); Differential geometry of surfaces (first fundamental form, normal curvature, second fundamental form, geodesic curvature, Christoffel symbols, principal curvatures, Gaussian curvature, mean curvature, the Gauss map and its derivative dN, the Dupin indicatrix, the Theorema Egregium, equations of Codazzi-Mainardi, Bonnet's theorem, lines of curvatures, geodesic torsion, asymptotic lines, geodesic lines, local Gauss-Bonnet theorem).

## Read and print from thousands of top scholarly journals.

This course will focus on research topics in computer architecture, and include reading and presenting research papers and an optional project. The content will differ with each offering, covering topics such as multicore programmability, datacenter and warehouse-scale computing, security, energy-efficient architectures, etc.