Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Data-flow analysis

Cours associés (10)

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...

CS-401: Applied data analysis

This course teaches the basic techniques, methodologies, and practical skills required to draw meaningful insights from a variety of data, with the help of the most acclaimed software tools in the data science world (pandas, scikit-learn, Spark, etc.) ...

CS-420: Advanced compiler construction

Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language. ...

ENG-270: Computational methods and tools

This course prepares students to use modern computational methods and tools for solving problems in engineering and science. ...

PHYS-403: Computer simulation of physical systems I

The two main topics covered by this course are classical molecular dynamics and the Monte Carlo method. ...

EE-105: Sciences et technologies de l'électricité (printemps)

Ce cours propose une introduction à l'électrotechnique. Les lois fondamentales de l'électricité et différents composants d'un circuit électrique linéaire seront étudiés. L'analyse élémentaire des circuits en régime continu et sinusoidal sera aussi couverte ...

MATH-101(de): Analyse I (allemand)

Es werden die Grundlagen der Analysis sowie der Differential- und Integralrechnung von Funktionen einer reellen Veränderlichen erarbeitet. ...

BIO-645: Introduction to Applied Data Science (I2ADS)

The "Introduction to Applied Data Science" (I2ADS) course is aimed at students of all levels to train them in the core computer science software stack and techniques forming the pillars of open & reproducible science. Registration in student portal & at ht ...

MGT-618: Computational research methods for social sciences

The objective of this course is to introduce doctoral students to computational methods for data-driven research in the social sciences. ...

MSE-443(b): Modelling problem solving, computing and visualisation II

Covers development and design of models for materials processes and structure-property relations. Emphasizes techniques for solving equations from models or simulating and visualizing behavior. Topics include symmetry, structure, thermodynamics, solid sta ...