10 - dense vector representations part 3 and Graph-based methods for NLP

09 -dense vector representations part 2

08 - statistical parsing part 2 and dense vector representations

07 - statistical parsing

06 - POS Tagging, Syntax Processing

05 - Hidden Markov Models part 2 and Sequence Tagging

04 - Language Models part 3 and Hidden Markov Models

03 - Language Models part 2

02 - Search Trees and Language Models

01 - Chomsky Hierarchy of formal languages and Finite State Morphology

Chronik Teil 4: Antworten, Optionen, Innovationen

Chronik Teil 2: Von der SAP-Welt zu den Bausteinen der digitalen Transformation

Chronik Teil 1: Von F.W. Taylor und Henry Ford zur SAP-Welt

Vorlesung 26

Vorlesung 25

Vorlesung 24

Vorlesung 23

Vorlesung 22

Vorlesung 21

Vorlesung 20

Vorlesung 19

Vorlesung 18

Vorlesung 17

Vorlesung 16

Vorlesung 15

Vorlesung 14

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

Migration und Rassismus - Zwei Strategien in globalen Verteilungskonflikten

07 internationale Tabellen & Raumgruppe P21/c

06 Schraubenachsen & Einführung in Raumgruppen

05 Gleitspiegelebenen

04 Punktsymmetrieelemente

03 Bravais-Gitter & die hexagonale Kristallfamilie

02 Kristallsysteme und Bravaisgitter

01 Einführung in die Strukturchemie

Vorlesung 27

Vorlesung 26

Vorlesung 25

Vorlesung 24

Vorlesung 23

Vorlesung 22

Vorlesung 21

Vorlesung 20

Vorlesung 19

Vorlesung 18

Vorlesung 17

Vorlesung 16

Vorlesung 15

Vorlesung 14

Vorlesung 13

Vorlesung 11

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

16 - Biome der Erde

15 - Fauna der Kulturlandschaft & Urbane Tierökologie

14 - Ökosysteme

13 - Moderne Agrarlandschaft und urbane Lebensräume 1

12 - Biozönose & Biodiversität

11 - Historische Kulturlandschaft: Heiden und Grasländer

10 - Populationsbiologie

09 - Anpassungen im Tierreich II

08 - Anpassungen im Tierreich

07 - Fließgewässer und Auen mitteleuropäischer Lebensräume

06 - Die Faune des Waldes

05 - Biotische Interaktionen I: Konkurrenz, Herbivorie, Mutualismus

04 - Küstenlebensräume im Mitteleuropäischen Raum

03 - Anpassungen im Pflanzenreich

02 - Umweltbedingungen 2: Böden und Hydrologie

01 - Was ist Ökologie? Historische Entwicklung Umweltbedingungen 1: Klima

27 Virtueller Speicher

25 Pipelining 2 und Parallelarchitekturen

24 Assembler Programmierung 4 und Pipelining

23 Assembler Programmierung 3

22 Assembler Programmierung 2

21 Assembler Programmierung

20 Instruction Set Architecture - Befehlsformate und Adressierungsarten

19 Speicherorganisation

18 Hardwarestruktur

17 Automaten & Rechnerachitektur

16 Schaltwerke - Flipflops und Takte

15 Schaltnetze und Schaltwerke

14 Schaltnetze

13 KV-Diagramme, Schaltnetze und Einführung in HADES

12 Schaltfunktionen Darstellung, Normalformen und Entscheidungsbäume

11 Fehlererkennende Codes

10 Codierung Symbolhäufigkeiten, Informationstheorie, Entropie und Kanalcodierung

9 Codierung

8 Logische Operatoren

7 Arithmetik / Zeichen und Text

6 Gleitkommazahlen

5 Ziffern und Zahlen 2 / Gleitkommazahlen

4 Ziffern und Zahlen

3 Moore's Law

02 Digitalrechner

26 - Klausurhinweise und Constraint Satisfaction in der Sprachverarbeitung

25 - Planning with relational actions

24 - Reasoning about Individuals and Relations Teil 2

23 - Korrektur zum Whack-the-Mole Beispiel und Reasoning about Individuals and Relations

22 - Rational vs Human Behavior

21 - Decisions Networks, Policies und Properties of Preferences

20 - Planning Teil 2 und Decisions under Uncertainty

19 - Dynamic Bayesian Networks und Planning

18 - Bayesian Networks: Whack-the-Mole Example

17 - Multimodal Human-Computer Interaction

16 - Hidden Markov Models Teil 2 und Sensor Data Fusion

15 - Hidden Markov Models

14 - Belief Networks Teil 2

13 - Belief Networks

12 - Reasoning under Uncertainty

11 - Reasoning und Causal Networks

10 - Propositions and Inference Teil 2

09 - Propositions and Inference

08 - Constraint Satisfaction Problems Teil 2

07 - Constraint Satisfaction Problems

06 - Isolated Word Recognition, Summary Search und scheduling activities

05 - Iterative Deepening, Dynamic Programming und String-to-String Mapping

04 - heuristische Suche Teil 2, cycle checking und multiple path pruning

03 - künstliche Intelligenz und heuristische Suche

Analysis 10.07.2017 Mathias Schacht

Analysis 06.07.2017 Mathias Schacht

Analysis 03.07.2017 Mathias Schacht

Analysis 29.06.2017 Mathias Schacht

Analysis 22.06.2017 Mathias Schacht

Analysis 19.06.2017 Mathias Schacht

Analysis 15.06.2017 Mathias Schacht

Analysis 12.06.2017 Mathias Schacht

Analysis - Informatik 2. Semester 01.06.2017

Analysis - Informatik 2. Semester 29.05.2017

Analysis - Informatik 2. Semester 18.05.2017

Diskrete Mathematik - Informatik 2. Semester 15.05.2017

Diskrete Mathematik - Informatik 2. Semester 11.05.2017

Diskrete Mathematik - Informatik 2. Semester 08.05.2017

Diskrete Mathematik - Informatik 2. Semester 04.05.2017

Diskrete Mathematik - Informatik 2. Semester 27.04.2017

Diskrete Mathematik - Informatik 2. Semester 24.04.2017

Diskrete Mathematik - Informatik 2. Semester 20.04.2017

Diskrete Mathematik - Informatik 2. Semester 13.04.2017

Diskrete Mathematik - Informatik 2. Semester 10.04.2017

Diskrete Mathematik - Informatik 2. Semester 06.04.2017

Diskrete Mathematik - Informatik 2. Semester 03.04.2017

3 - Folgen der Digitalen Transformation sowie Verankerung der digitalen Transformation in der Hochschullehre

2 - Bausteine, Muster und Folgen der Digitalen Transformation

1 - Bausteine der digitalen Transformation

28 - Speicherhierarchie Teil 2

27 - Parallelarchitekturen und Speicherhierarchie

26 - Pipelining und Parallelarchitekturen

25 - Dynamische Speicherverwaltung

24 - Assembler Programmierung Teil 3

23 - Assembler Programmierung Teil 2

22 - Assembler Progammierung

21 - Warum Assembler?

20 - Instruction Set Architecture Teil 2

19 - Instruction Set Architecture Teil 2 - Befehlsformate

18 - Rechnerarchitektur Teil 3 und Instruction Set Architecture

17 - Rechnerachitektur Teil 2

16 - Schaltwerke Teil 2 sowie Rechnerarchitektur

15 - Schaltwerke

14 - Schaltnetze Teil 2

13 - Schaltnetze

12 - Schaltfunktionen und HADES Editior

11 - Codierung - Hamming Code

10 - Fehlererkennende Codes

9 - Codierung - Symbolhäufigkeiten

8 - Logische Operationen und Codierung

7 - Zeichen und Text

5 - Gleitkommazahlen

4 - Ziffern und Zahlen

3 - Moores Law

2 - Digitalrechner

1 - Einführung

14 - aktive Datenstrukturen Teil 2

13 - Scheme in Prolog Teil 3 und Aktive Datenstrukturen

12 - Scheme in Prolog Teil 2

11 - Scheme in Prolog

10 - Prädikate höherer Ordnung Teil 2, Metaprogrammierung

9 - Extra- und Metalogische Prädikate und Prädikate höherer Ordnung

8 - Verkettete Listen Teil 3

7 - Verkettete Listen Teil 2

6 - Rekursive Datenstrukturen Teil 3 und Verkettete Listen

5 - Rekursive Datenstrukturen Teil 2

4 - Deduktive Datenbanken und Rekursive Datenstrukturen

3 - komplexe Anfragen, deduktion, rekursion

2 - Relationale Datenbanken

1 - Allgemeines und Programmierparadigmen

13 - General Problem Solver und Zusammenfassung

12 - Meta- und Stromorientierte Programmierung sowie Programmieren mit Zuständen

11 - Relationale Programmierung

10 - Entwurf eines ereingnisorientierten Simulationssystem

9 - Pattern Matching Teil 2 und Objektorientierte Programmierung

8 - Backtracking, Nichtdeterminismus und Pattern Matching

7 - GUI und kombinatorische Logik

6 - Der Entwurf von Funktionen

5 - Rekursion

4 - Semantik, Korrektheit und Spezifikation

3 - Datenabstraktion in Racket

2 - Das Racket-System

1 - Einführung

Diskrete Mathematik - Informatik 1. Semester 23.12.2016

Diskrete Mathematik - Informatik 1. Semester 03.02.2017

Diskrete Mathematik - Informatik 1. Semester 02.02.2017

Diskrete Mathematik - Informatik 1. Semester 27.01.2017

Diskrete Mathematik - Informatik 1. Semester 20.01.2017

Diskrete Mathematik - Informatik 1. Semester 13.01.2017

Diskrete Mathematik - Informatik 1. Semester 12.01.2017

Diskrete Mathematik - Informatik 1. Semester 22.12.2016

Diskrete Mathematik - Informatik 1. Semester 16.12.2016

Diskrete Mathematik - Informatik 1. Semester 15.12.2016

Diskrete Mathematik - Informatik 1. Semester 09.12.2016

Diskrete Mathematik - Informatik 1. Semester 08.12.2016

Diskrete Mathematik - Informatik 1. Semester 02.12.2016

Diskrete Mathematik - Informatik 1. Semester 01.12.2016

Diskrete Mathematik - Informatik 1. Semester 25.11.2016

Diskrete Mathematik - Informatik

Diskrete Mathematik - Informatik 1. Semester 17.11.2016

Binärbäume

Natürliche Zahlen

Listen

Nicht-rekursive Datentypen

Theoreme zu Gleichheit, Lambda-Ausdrücke, Suchen

Prädikatenlogik mit Gleichheit in Coq

Prädikatenlogische Regeln mit Gleichheit

Aussagenlogik in Coq Teil 2 und Formalisierung durch Prädikatenlogik

Aussagenlogik in Coq Teil 1

Aussagenlogische Regeln Teil 2 und Kurzeinführung in Coq

Aussagenlogische Regeln Teil 1

Mathematisches Argumentieren

Freie Formate für offene Lernressourcen

English Strategies - Ideas for dealing with English in your studies

Gut ankommen! Erste Tipps zum Studienstart

KickOff-Meeting zur Projektphase - Erstellung von Online-Lerninhalten

Gut gerüstet schreiben - Schreibcoaching und LaTeX

Zeitmanagement im Studium

Visualisierung mit Sketchnotes

KickOff-Meeting SoSe2015

Kursrückblick SoSe14

Studienunterstützende Seminare

Medienkompetenz

Studierfähigkeit als individuelle und institutionelle Herausforderung

KickOff-Meeting SoSe2014

14 - Klausurvorbereitung

13 - Nachholprogramm equals

12 - Refactoring

11 - Fachwerte

10 - Objektorientierter Entwurf

9 - Programmierung von GUIs

8 - Entwurfsmuster

7 - Entwurfsregeln

6 - Strukturierung interaktiver Anwendungssysteme

5 - Fehlerbehandlung

4 - Vererbung

3 - Polymorphie und Vererbung

2 - Formale Korrektheit, Abstrakte Datentypen und Vertragsmodell

Softwareentwicklung II - Eröffnungsveranstaltung

26 - Zusammenfassung

25 - NP-Vollständigkeit Teil 2

24 - NP-Vollständigkeit

23 - P un NP

22 - Zeit- und Platzkomplexität

21 - Unentscheidbarkeit, Herbrand-Theorie, Resolution

20 - Prädikatenlogische Normalformen Teil 2 und Prädikatenlogische Resolution

19 - Prädikatenlogische Normalformen

18 - Prädikatenlogik Syntax & Semantik Teil 2

17 - Prädikatenlogik Syntax & Semantik

16 - Resolution

15 - Normalformen und Hornformeln

14 - Folgerbarkeit, Äquivalenzen und Normalformen

13 - Aussagenlogik Syntax & Semantik

12 - Aufzählbarkeit und (Un-)Entscheidbarkeit Teil 2 und Wiederholung der ersten 12 Vorlesungen

11 - Aufzählbarkeit und (Un-)Entscheidbarkeit

10 - Turing Maschinen Teil 2

9 - Turing Maschinen

8 - Eigensch. & Grenzen kontexfreier Sprachen

7 - Kontextfreie Sprachen

6 - Abschlusseigenschaften & Grenzen regulärer Sprachen

5 - Abschlusseigenschaften

4 - DFAs und NFAs Teil 2

3 - DFAs und NFAs

2 - Endl. Automaten und reguläre Sprachen

1 - Endliche Automaten

14 - Zusammenfassung

13 - Programmieren mit Zuständen, GPS

12 - Prolog in Racket, Metaprogrammierung, stromorientierte Programmierung

11 - Relationale Programmierung

10 - ereignisorientierte Simulationssysteme, objektorientierte Verarbeitungsmodelle

9 - Objekte und generische Funktionen

8 - Pattern Matching, Eliza, GPS

7 - Backtracking

6 - Funktionen höherer Ordnung, modularer Entwurf, funktionale Abschlüsse und Graphische Bedienoberflächen

5 - Rekursion und Induktion

14 - Zusammenfassung

13 - Sammlungen implementieren II: Mengen

12 - Dynamische Datenstrukturen

11 - Arrays

10 - Objektsammlungen

9 - Klassen, Typen, Interfaces

8 - Rekursion

7 - Strukturierte Programmierung

6 - Das Typkonzept imperativer und objektorientierter Programmiersprachen

5 - Elementare Typen

4 - Prozedur/Methode

3 - Klassendefinitionen / Exemplarerzeugungen

2 - Karel the robot

1 - Einführung

13 - Wiederholung

12 - Zusammenfassung

11 - Flüsse

10 - Minimale Spannbäume und kürzeste Pfade (Fortsetzung)

9 - Minimale Spannbäume und kürzeste Pfade

8 - Graphen

7 - Dynamische Mengen, das Suchproblem & Binäre Suchbäume

6 - Komplexitätstheorie: P, NP und NPC

5 - Sortieren - (k?) eine untere Schranke

4 - Neue Datenstrukturen, besseres (?) Sortieren

3 - Divide & Conquer

2 - Korrektheit von Algorithmen und Laufzeitanalyse rekursiver Algorithmen (mittels Rekurrenzgleichungen)

1 - Einführung

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

14 - Lehreevaluation

13 - Refactoring

12 - Werte und Objekte in Programmiersprachen

11 - Klassenentwurf

10 - Programmierung von Graphical User Interfaces (GUI)

9 - Entwurfsmuster (Fortsetzung)

8 - Entwurfmuster

7 - Reguläre Ausdrücke

6 - Entwurfsregeln

5 -Fehlerbehandlung mit Exceptions / Namensräume und Modularisierung

4 - Motivation: Wiederverwendung

3 - Motivation: Vererbung

2.1 - Motivation des Vertragsmodells

1 - Eröffnungsveranstaltung

Vorlesung 13

Vorlesung 12

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

Mistral: bull environment

HLRE-3 (mistral) Introduction

23 - Zusammenfassung

22 - Äquivalente Normalformen und Prädikatenlogische Resolution

21 - Prädikatenlogische Normalform

20 - Prädikatenlogik, Syntax und Semantik

19 - Resolution

18 - Ableitungen und Resolution

17 - Ableitungen

16 - Normalformen und Hornformeln

15 - Folgerbarkeit, Äquivalenzen und Normalformen

14 - Aussagenlogik / Syntax & Semantik

13 - NP-Vollständigkeit

12 - Zeit- und Platzkomplexität

11 - Aufzählbarkeit und (Un-) Entscheidbarkeit (Teil 2) und Wiederholung

10 - Aufzählbarkeit und (Un-) Entscheidbarkeit

9 - Turing-Maschinen (Teil 2)

8 - Turing-Maschinen

7 - Eigenschaften kontextfreier Sprachen

6 - Kontextfreie Sprachen

5. - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma (Teil 2)

4 - Über reguläre Sprachen hinaus - Kellerautomaten und Pumping Lemma

3 - Mehr zu regulären Sprachen

2 - Endliche Automaten und reguläre Sprachen

1 - Grundlagen

29 - Fragestunde (Teil 2)

28.2 - Fragestunde (Teil 1)

28.1 - Klausurvorbereitung

27 - SMP: Symmetric Multiproccessing

26 - Motivation

25 - Pipelining

24 - Array

23 - Stack

22 - Assembler

21 - Adressierungsarten

20 - Byte-Order

19 - Busse

18 - Rechnerarchitektur

17 - Beschreibung von Schaltwerken

16 - Mealy-Modell und Moore-Modell/ Flipflops

15 - Multiplizierer

14 - Schaltnetze

13 - Grafische Minimierungsverfahren

12 - Schaltfuntionen

11 - Strukturbeschreibung

10 - Informationsbegriff

9 - Codierung von Texten

8 - Rechenregeln: Ring/Algebra

7 - ISO 8859 Familie

6 - Addition und Subtraktion

5 - Gleitkommaformat

4 - Ziffern und Zahlen

3 - Moore's Law

2 - Digitalrechner

1 - Einführung

14 - Fallstudien

13 - Metaprogrammierung und Programmierstile

12 - Relationale Programmierung

11 - Ereignisorientierte Simulation

9 - Backtracking

8 - Funktionale Abschlüsse

7 - Der Entwurf von Funktionen

6 - Rekursion und Induktion

4- Datenabstraktion in Racket

3 - Mehrdeutigkeit von Zahlen (Teil 1)

3 - Mehrdeutigkeit von Zahlen (Teil 2)

2 - Die Arbeitsumgebung

1 - Einführung

14 - Mehr zu Sammlungen

13 - Bäume und das Hash-Verfahren als Realisierung für Mengen

12 - Testen/Listen

11 - Array

10 - Objektsammlungen

9 - Klassen, Typen und Interfaces

8 - Rekursion

7 - Strukturierte Programmierung

6 - Werttypen/ Referenztypen

5 - Zuweisung

4 - Imperative Grundkonzepte

3 - Karel the Robot - Lektion 2 1/2

2 - Robot - Lektion II

1 - Grundlagen objektorientierter Programmierung: Einführung

26 - Parallele Algorithmen

25 - Parallele Maschinen

24- Fairness/Parallele Maschinen

23 - Geschützte Rekursion

22 - Parallele Komposition/Rekursion

21 - Prozessalgebra

20 - Prozessalgebra und Bisimulation

19 - Bankiersproblem

18 - Bankiersproblem/ Renew

17 - Höhere Petrinetze

16 - CPN / Workflow

15 - Systemverifikation durch Petrinetze

14 - Zustandsraumexplosion

13 - Analyse endlicher Erreichbarkeitsgraphen

12 - Entscheidbarkeitsproblem

11 - Kantenkonstante Netze (KKN)

10 - Verfeinerung/Vergröberung

9 - Partial order semantics

8 - Synchrone Produkte (Wdh.)/ Partial order semantics

7 - Computational Tree Logic (CTL)

6 - Temporale Logik

5 - Kripkestrukturen von Programmen

4 - Synchrone Produkte

3 - Büchi-Automaten

2 - Model-Checking

1 - Modellierung und Analyse von Informatiksystemen

14 - Funktionalen Stack komplettieren; Lehreevaluation

13 - Formale Korrektheit, Abstrakte Datentypen

12 - Refactoring

11 - Wert und Objekt

10 - Klassenentwurf

9b - Vorstellung von Livecode

9a - Programmierung von GUIs

8 - Entwurfsmuster

7 - Strukturierung interaktiver Anwendungssysteme

6 - Objektorientierte Modellierung - fachlich und technisch

5 - Fehlerbehandlung mit Exceptions

4 - Implementationsvererbung

3 - Polymorphie und Vererbung

2 - Testing

1 - Einführung: Abstraktion und Modelle

Vorlesung 11

Vorlesung 10

Vorlesung 9

Vorlesung 8

Vorlesung 7

Vorlesung 6

Vorlesung 5

Vorlesung 4

Vorlesung 3

Vorlesung 2

Vorlesung 1

12 - NP-Vollständigkeit (2)

11 - NP-Vollständigkeit

10 - Zeit- und Platzkomplexität

9 - Entscheidbarkeit und Aufzählbarkeit

8 - Turing-Maschinen (2)

7 - Turing-Maschinen

6 - Eigenschaften kontextfreier Sprachen

5 - Kellerautomaten und Pumping Lemma

4 - Über reguläre Sprachen hinaus

3 - Mehr zu regulären Sprachen

2 - Endliche Automaten und reguläre Sprachen

1 - Endliche Automaten

[KBS-SoSe14] Angriffe auf kryptografische Systeme

[KBS] Lightning Talks 2

[KBS] OpenAccess und Web-Publishing für Studierende

[KBS] CryptoCampagne 2011

[KBS] Lightning Talks WiSe 2011/12

[KBS] Ernährung und Kochen für Erstsemester

[KBS] Python im Wunderland - the beauty of code

[KBS] Social Payment: Flattr and Bitcoin

[KBS] Source Control

[KBS] CryptoCampagne 2010

[KBS] Lightning Talks 2010

[KBS] IPv6

[KBS] Was ist eigentlich LaTeX?

[KBS] Ubuntu-Installationsparty

[KBS] Workshop Rechnerbenutzung

[KBS] Leben in und mit der Uni

Getting Things Done: Selbstorganisation

14 - Programmieren mit Zuständen

13 - Memoization, CLOS Anwendungen

11 - Metaprogrammierung ( nur Sprecher, keine Folien)

12 - Relationale Programmierung

10 - Musterabgleich; Objekte und generische Funktionen

9 - Der Suchraum

8 - Callback functions

7 - Funktionen höherer Ordnung

6 - Rekursion und Induktion

5 - Semantik und Korrektheit

4 - Rekursive Konstruktion und Selektion

3 - Zeichen und Symbole

2 - Funktionale Abstraktion

1- Einführung

14 - Differenzlisten

13 - Funktionen höherer Ordnung

11 - Prädikate höherer Ordnung, Funktionale Programmierung ( Nur Sprecher, keine Folien)

12 - Funktionen

10 - Extra- und Metalogische Prädikate; Prädikate höherer Ordnung

9 - Sortieren

7 - Verkettete Listen

6 - Rekursive Datenstrukturen und verkettete Listen

5 - Rekursive Datenstrukturen

4 - Rekursive Datenstrukturen

3 - Deduktive Datenbanken

2 - Relationale Datenbanken

1- Einführung

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

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.)

Nahfeldmikroskopie und Interferometrie

Aufgerollte Metamaterialien

Optische Quantensysteme

Optische Untersuchungsmethoden von Metamaterialien

Modelle für effektive Medien

Metamaterials IV

Transformation Optics

Metamaterials III

Metamaterials I

Nanoplasmonics II

Nanoplasmonics I - Experiment

Nanoplasmonics I

Marken und Kommunikation

Farbkontraste und Farbklänge - Visuelle Gestaltung I - SoSe13

Farbwirkung - Visuelle Gestaltung I - SoSe13

Farbmodelle

Illustrator Workshop

Visuelle Gestaltung I - SoSe13

30 - Stereoskopie

28 - Gesichtsanimation

27 - Photometrische Szenenrekonstruktion

26 - Bewegungserfassung, Kinematik, Bewegungsanpassung, Fort-Bewegung, prozedurale Animation, virtuelle Menschen

25 - Geometrische Szenenrekonstruktion, Photometrische Szenenrekonstruktion, das Generalitätsprinzip

24 - Anwendung von VR-Systemen, Computergestützte Animation

23 - Filter, Rauschen, Metriken

22 - Real Time Interactive Media

21a - Auflösung eines Bildes, Abtasttheorem, 2D-Fouriertransformation

21 - Auflösung eines Bildes, Abtasttheorem, 2D-Fouriertransformation

20 - Strahlverfolgung, Strahlungsberechnung, Nicht-Fotorealistische Computergrafik

19 - Digitale Bildfunktionen, Repräsentation von Bildern

18 - Photometrisches Modellieren

17 - Fraktale, Bilder und Bildfunktionen

16 - Zwischenpräsentation der Übungsaufgaben Teil 3

15 - Zwischenpräsentation der Übungsaufgaben Teil 2

14 - Grafische Algorithmen, Photometrisches Modellieren

13 - Zwischenpräsentation der Übungsaufgaben Teil 1

12 - Farbsysteme

11 - Beschreibung der Topologie, Grafische Algorithmen

10 - Umgebungseffekte, Farbmodelle

9 - Beschreibung der Topologie

7 - Beschreibung der Geometrie, Beschreibung der Topologie

8 - Das Licht: Elektromagnetische Strahlung, Licht und Oberflächen, Umgebungseffekte

6 - Illusionen, Virtuelle und reale Kameras, Höherdimensionale Räume

5 - Geometrisches Modellieren

4 - Geometrische Grundlagen: Abbildung des Raumes