Offered Fall 2017 and Spring 2018. |

This chapter is largely the same with updated history and pointers to newer applications.

CIS 125 - Technology and Policy

CIS 520 - Machine Learning
Prerequisite(s): Elementary probability, calculus, and linear algebra. Basic programming experience.

CIS 106 - Visualizing the Past/Peopling the Past   Cross-listed with ANTH 258, ANTH 620

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.

All papers must be original, unpublished, and not submitted for publication elsewhere.

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

can be provided in a clearly marked appendix which will be read by reviewers at their discretion.


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.