27 - Beispiele ausdrucksstarker Planung

25 - Challenges of building ontologies

23 - Individuals and Relations

21 - Markov Decision Process

19 - Decision Networking

17 - Hidden Markov Models

15 - The Bayesian Network

13 - Possible World Semantics

11 - Complete knowledge assumption (Nur Sprecher, keine Folien)

9 - Human's view of semantics

7 - Searching (Artificial Intelligence)

5 - Search Strategies (Artificial Intelligence)

3 - Searching (Artificial Intelligence)

1 - Intellectual tasks (Artificial Intelligence)

27 - Berechnung kleinster Kreise

26 - Voronoi-Diagramme

25 - Bestimmung dichtester Punkte; Geometrische Datenstrukturen

24 - Simplexalgorithmus

23 - Das Scan-line-Prinzip; Berechnung Kovexer Hüllen

21 - Lineare Gleichungssyteme und ihre Programmierung

20 - Matrixmultiplikation

19 - Treaps; Matrizen

18 - Fibonacci-Heaps

17 - Heaps

16 - Splay Trees

15 - Maximales Matching in gewichteten Graphen

14 - Die Ungarische Methode

13 - Matching-Algorithmen

12 - Push-Relabel-Algorithmen

11 - Der Dinic Algorithmus

10 - Algorithmen in Flussnetzwerken

9 - Floyd Warshall & Johnson Algorithmus, Maximale Flüsse

8 - Breitensuche, Dijkstras Algorithmus

7 - Tiefensuche, Breitensuche

6 - Bi- und Tri-Zusammenhangskomponenten, Planarität, DAGs, SCCs

05 - Tiefensuche

04 - Dynamische Arrays; Graphen im Überblick; Strukturanalyse von Graphen

3 - Amortisierte Analyse

2 - Rekursive Algorithmen; Probabilistische Analyse

1 - Einführung

27 - PRAM

26 - Parallele Maschinen

25 - Abstraktion

24 - Rekursion

23 - ACP-Axiome

22 - Prozessalgebra

21 - Prozessalgebra

20 - Datenbank - Manager; Alternierprotokoll

19 - Renew (Wdh.); Bankiersproblem

18 - Renew; Workflow

17 - Strukturelle Eigenschaftem von Systemverifikationen

16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen

15 - Fairness; Zustandsraumexplosion

14 - Entscheidbarkeitsproblem

13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.)

12 - Elementare Systemeigenschaften von P/T-Netzen

11 - Verfeinerung / Vergrößerung

10 - Partial order semantics / Petrinetze

9 - Synchrone Produkte

8 - Komplexität: CTL-Model-Checking

7 - Fairness

6- Linearzeit-Logik (LTL,CTL)

5 - Sequentielle Programme

4 - Synchrone Produkte: Kripkestrukturen; Wechselseitiger Ausschluss

3 - Büchi Automaten

2 - Büchi Automaten; Transitionssysteme

1 - Model Checking

14 - Graphen; Epilog

13 - Stack und Queue; Sortieren

12 - Sammlungen implementieren: Hashing

11 - Sammlungen implementieren: verkettete und Array-Listen

10 - Arrays; Klassen als Objekte

9 - Sammlungen benutzen: Mengen, Listen u.a.

8 - Schnittstellen mit Interfaces; Systematisches Testen

7 - Kontrollstrukturen: Rekursion; Reguläre Ausdrücke

6 - Kontrollstrukturen: Schleifen; Strings

5 - Referenzen in Java; Einstieg in die UML

4 - Imperative Grundkonzepte: Variablen, Ausdrücke, Basistypen

3 - Imperative Grundkonzepte: Prozeduren, Syntax

2 - Grundkonzepte der Objektorientierten Programmierung

1 - Einführung in die Objektorientierte Programmierung

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 8

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

Tranquility and Insight lecture 11

Tranquility and Insight lecture 10

Tranquility and Insight lecture 09

Tranquility and Insight lecture 08

Tranquility and Insight lecture 07

Tranquility and Insight lecture 06

Tranquility and Insight lecture 05

Tranquility and Insight lecture 04

Tranquility and Insight lecture 03

Tranquility and Insight lecture 02

Tranquility and Insight lecture 01

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Staatsrecht 1

Rückblick, Zusammenfassung, Ausblick

Messen, Methoden & Big Data

Das Partizipationsparadox vernetzter Öffentlichkeit

Vernetzte Öffentlichkeiten und Politik

Kompetenzen in und für vernetzte/n Öffentlichkeit

Informationsfluss in vernetzten Öffentlichkeiten

Vernetzte Öffentlichkeiten und Journalismus

Vernetzte Identitäten, vernetzte Gemeinschaften

Die technischen Grundlagen vernetzter Öffentlichkeiten

Analysekategorien

Netzwerke & Öffentlichkeit

Einführung

13 - Metamodell, Rückblick auf Laborphase 2, Lehreevaluation

12 - Refactoring, Korrektheit, abstrakte Datentypen

11 - Werte und Objekte, Fachwerte

10 - Objektorientierter Entwurf

9 - GUI-Programmierung

8 - Entwurfsmuster insb. Beobachter

7 - Strukturierung von Anwendungssystemen (WAM light)

6 - OO Analyse und Modellierung (WAM)

5 - Fehlerbehandlung, Exceptions; Module (Pakete)

3 - Polymorphie und Typhierarchien

2 - Objektorientierte Tests, Vertragsmodell

1 - Einführung, Modellierung & Abstraktion

4 - Implementationsvererbung (Die Vorlesung konnte aufgrund technischer Probleme nicht aufgezeichnet werden. Hier finden Sie das Video vom letzten Jahr.)

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1