Catalog

Video Catalog


13 WiSe 13/14 Softwareentwicklung III: Logikprogrammierung Prof. Dr.-Ing. Wolfgang Menzel Lehrveranstaltung Informatik 31.01.2014 14 - Differenzlisten Prof. Dr.-Ing. Wolfgang Menzel 24.01.2014 13 - Funktionen höherer Ordnung Prof. Dr.-Ing. Wolfgang Menzel 17.01.2014 11 - Prädikate höherer Ordnung, Funktionale Programmierung ( Nur Sprecher, keine Folien) Prof. Dr.-Ing. Wolfgang Menzel 17.01.2014 12 - Funktionen Prof. Dr.-Ing. Wolfgang Menzel 20.12.2013 10 - Extra- und Metalogische Prädikate; Prädikate höherer Ordnung Prof. Dr.-Ing. Wolfgang Menzel 18.12.2013 9 - Sortieren Prof. Dr.-Ing. Wolfgang Menzel 29.11.2013 7 - Verkettete Listen Prof. Dr.-Ing. Wolfgang Menzel 22.11.2013 6 - Rekursive Datenstrukturen und verkettete Listen Prof. Dr.-Ing. Wolfgang Menzel 15.11.2013 5 - Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 08.11.2013 4 - Rekursive Datenstrukturen Prof. Dr.-Ing. Wolfgang Menzel 01.11.2013 3 - Deduktive Datenbanken Prof. Dr.-Ing. Wolfgang Menzel 24.10.2013 2 - Relationale Datenbanken Prof. Dr.-Ing. Wolfgang Menzel 18.10.2013 1- Einführung Prof. Dr.-Ing. Wolfgang Menzel
14 WiSe 13/14 Wissensbasierte Systeme Prof. Dr.-Ing. Wolfgang Menzel, Arne Köhn, Matthias Kerzel Lehrveranstaltung Informatik 28.01.2014 27 - Beispiele ausdrucksstarker Planung Prof. Dr.-Ing. Wolfgang Menzel 21.01.2014 25 - Challenges of building ontologies Prof. Dr.-Ing. Wolfgang Menzel 14.01.2014 23 - Individuals and Relations Prof. Dr.-Ing. Wolfgang Menzel 07.01.2014 21 - Markov Decision Process Prof. Dr.-Ing. Wolfgang Menzel 17.12.2013 19 - Decision Networking Prof. Dr.-Ing. Wolfgang Menzel 10.12.2013 17 - Hidden Markov Models Arne Köhn 03.12.2013 15 - The Bayesian Network Prof. Dr.-Ing. Wolfgang Menzel 26.11.2013 13 - Possible World Semantics Prof. Dr.-Ing. Wolfgang Menzel 19.11.2013 11 - Complete knowledge assumption (Nur Sprecher, keine Folien) Matthias Kerzel 12.11.2013 9 - Human's view of semantics Prof. Dr.-Ing. Wolfgang Menzel 05.11.2013 7 - Searching (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel 29.10.2013 5 - Search Strategies (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel 22.10.2013 3 - Searching (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel 15.10.2013 1 - Intellectual tasks (Artificial Intelligence) Prof. Dr.-Ing. Wolfgang Menzel
26 WiSe 13/14 Algorithmik Prof. Dr. Matthias Rarey, Matthias Hilbig Lehrveranstaltung Informatik 29.01.2014 27 - Berechnung kleinster Kreise Prof. Dr. Matthias Rarey 27.01.2014 26 - Voronoi-Diagramme Prof. Dr. Matthias Rarey 22.01.2014 25 - Bestimmung dichtester Punkte; Geometrische Datenstrukturen Prof. Dr. Matthias Rarey 20.01.2014 24 - Simplexalgorithmus Prof. Dr. Matthias Rarey 15.01.2014 23 - Das Scan-line-Prinzip; Berechnung Kovexer Hüllen Matthias Hilbig 08.01.2014 21 - Lineare Gleichungssyteme und ihre Programmierung Prof. Dr. Matthias Rarey 06.01.2014 20 - Matrixmultiplikation Prof. Dr. Matthias Rarey 18.12.2013 19 - Treaps; Matrizen Prof. Dr. Matthias Rarey 16.12.2013 18 - Fibonacci-Heaps Prof. Dr. Matthias Rarey 11.12.2013 17 - Heaps Prof. Dr. Matthias Rarey 09.12.2013 16 - Splay Trees Prof. Dr. Matthias Rarey 04.12.2013 15 - Maximales Matching in gewichteten Graphen Prof. Dr. Matthias Rarey 02.12.2013 14 - Die Ungarische Methode Prof. Dr. Matthias Rarey 27.11.2013 13 - Matching-Algorithmen Prof. Dr. Matthias Rarey 25.11.2013 12 - Push-Relabel-Algorithmen Prof. Dr. Matthias Rarey 20.11.2013 11 - Der Dinic Algorithmus Prof. Dr. Matthias Rarey 18.11.2013 10 - Algorithmen in Flussnetzwerken Prof. Dr. Matthias Rarey 13.11.2013 9 - Floyd Warshall & Johnson Algorithmus, Maximale Flüsse Prof. Dr. Matthias Rarey 06.11.2013 8 - Breitensuche, Dijkstras Algorithmus Prof. Dr. Matthias Rarey 04.11.2013 7 - Tiefensuche, Breitensuche Prof. Dr. Matthias Rarey 30.10.2013 6 - Bi- und Tri-Zusammenhangskomponenten, Planarität, DAGs, SCCs Prof. Dr. Matthias Rarey 28.10.2013 05 - Tiefensuche Prof. Dr. Matthias Rarey 23.10.2013 04 - Dynamische Arrays; Graphen im Überblick; Strukturanalyse von Graphen Prof. Dr. Matthias Rarey 21.10.2013 3 - Amortisierte Analyse Prof. Dr. Matthias Rarey 16.10.2013 2 - Rekursive Algorithmen; Probabilistische Analyse Prof. Dr. Matthias Rarey 14.10.2013 1 - Einführung Prof. Dr. Matthias Rarey
27 WiSe 13/14 Formale Grundlagen der Informatik II Prof. Dr. Rüdiger Valk, Dr. Daniel Moldt Lehrveranstaltung Informatik 28.01.2014 27 - PRAM Prof. Dr. Rüdiger Valk 23.01.2014 26 - Parallele Maschinen Prof. Dr. Rüdiger Valk 21.01.2014 25 - Abstraktion Prof. Dr. Rüdiger Valk 16.01.2014 24 - Rekursion Prof. Dr. Rüdiger Valk 14.01.2014 23 - ACP-Axiome Prof. Dr. Rüdiger Valk 09.01.2014 22 - Prozessalgebra Prof. Dr. Rüdiger Valk 07.01.2014 21 - Prozessalgebra Prof. Dr. Rüdiger Valk 19.12.2013 20 - Datenbank - Manager; Alternierprotokoll Dr. Daniel Moldt 17.12.2013 19 - Renew (Wdh.); Bankiersproblem Dr. Daniel Moldt 12.12.2013 18 - Renew; Workflow Dr. Daniel Moldt 10.12.2013 17 - Strukturelle Eigenschaftem von Systemverifikationen Dr. Daniel Moldt 05.12.2013 16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen Dr. Daniel Moldt 03.12.2013 15 - Fairness; Zustandsraumexplosion Dr. Daniel Moldt 28.11.2013 14 - Entscheidbarkeitsproblem Dr. Daniel Moldt 26.11.2013 13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) Dr. Daniel Moldt 21.11.2013 12 - Elementare Systemeigenschaften von P/T-Netzen Dr. Daniel Moldt 19.11.2013 11 - Verfeinerung / Vergrößerung Dr. Daniel Moldt 14.11.2013 10 - Partial order semantics / Petrinetze Dr. Daniel Moldt 12.11.2013 9 - Synchrone Produkte Dr. Daniel Moldt 07.11.2013 8 - Komplexität: CTL-Model-Checking Prof. Dr. Rüdiger Valk 05.11.2013 7 - Fairness Prof. Dr. Rüdiger Valk 31.10.2013 6- Linearzeit-Logik (LTL,CTL) Prof. Dr. Rüdiger Valk 29.10.2013 5 - Sequentielle Programme Prof. Dr. Rüdiger Valk 24.10.2013 4 - Synchrone Produkte: Kripkestrukturen; Wechselseitiger Ausschluss Prof. Dr. Rüdiger Valk 22.10.2013 3 - Büchi Automaten Prof. Dr. Rüdiger Valk 17.10.2013 2 - Büchi Automaten; Transitionssysteme Prof. Dr. Rüdiger Valk 15.10.2013 1 - Model Checking Prof. Dr. Rüdiger Valk
14 WiSe 13/14 Softwareentwicklung I Dr. Axel Schmolitzky Lehrveranstaltung Informatik 29.01.2014 14 - Graphen; Epilog Dr. Axel Schmolitzky 22.01.2014 13 - Stack und Queue; Sortieren Dr. Axel Schmolitzky 15.01.2014 12 - Sammlungen implementieren: Hashing Dr. Axel Schmolitzky 08.01.2014 11 - Sammlungen implementieren: verkettete und Array-Listen Dr. Axel Schmolitzky 18.12.2013 10 - Arrays; Klassen als Objekte Dr. Axel Schmolitzky 11.12.2013 9 - Sammlungen benutzen: Mengen, Listen u.a. Dr. Axel Schmolitzky 04.12.2013 8 - Schnittstellen mit Interfaces; Systematisches Testen Dr. Axel Schmolitzky 27.11.2013 7 - Kontrollstrukturen: Rekursion; Reguläre Ausdrücke Dr. Axel Schmolitzky 20.11.2013 6 - Kontrollstrukturen: Schleifen; Strings Dr. Axel Schmolitzky 13.11.2013 5 - Referenzen in Java; Einstieg in die UML Dr. Axel Schmolitzky 06.11.2013 4 - Imperative Grundkonzepte: Variablen, Ausdrücke, Basistypen Dr. Axel Schmolitzky 30.10.2013 3 - Imperative Grundkonzepte: Prozeduren, Syntax Dr. Axel Schmolitzky 23.10.2013 2 - Grundkonzepte der Objektorientierten Programmierung Dr. Axel Schmolitzky 16.10.2013 1 - Einführung in die Objektorientierte Programmierung Dr. Axel Schmolitzky
13 WiSe 13/14 Quantitative Analyseverfahren Prof. Dr. Kai-Uwe Schnapp Lehrveranstaltung Sozialwissenschaften 23.01.2014 Vorlesung 13 Prof. Dr. Kai-Uwe Schnapp 16.01.2014 Vorlesung 12 Prof. Dr. Kai-Uwe Schnapp 09.01.2014 Vorlesung 11 Prof. Dr. Kai-Uwe Schnapp 19.12.2013 Vorlesung 10 Prof. Dr. Kai-Uwe Schnapp 12.12.2013 Vorlesung 8 Prof. Dr. Kai-Uwe Schnapp 05.12.2013 Vorlesung 8 Prof. Dr. Kai-Uwe Schnapp 28.11.2013 Vorlesung 7 Prof. Dr. Kai-Uwe Schnapp 21.11.2013 Vorlesung 6 Prof. Dr. Kai-Uwe Schnapp 14.11.2013 Vorlesung 5 Prof. Dr. Kai-Uwe Schnapp 07.11.2013 Vorlesung 4 Prof. Dr. Kai-Uwe Schnapp 31.10.2013 Vorlesung 3 Prof. Dr. Kai-Uwe Schnapp 24.10.2013 Vorlesung 2 Prof. Dr. Kai-Uwe Schnapp 17.10.2013 Vorlesung 1 Prof. Dr. Kai-Uwe Schnapp
11 SoSe 13 Tranquility and Insight Prof. Dr. Bhikkhu Analayo Lehrveranstaltung Asien-Afrika-Institut 11.07.2013 Tranquility and Insight lecture 11 Prof. Dr. Bhikkhu Analayo 04.07.2013 Tranquility and Insight lecture 10 Prof. Dr. Bhikkhu Analayo 27.06.2013 Tranquility and Insight lecture 09 Prof. Dr. Bhikkhu Analayo 20.06.2013 Tranquility and Insight lecture 08 Prof. Dr. Bhikkhu Analayo 13.06.2013 Tranquility and Insight lecture 07 Prof. Dr. Bhikkhu Analayo 06.06.2013 Tranquility and Insight lecture 06 Prof. Dr. Bhikkhu Analayo 30.05.2013 Tranquility and Insight lecture 05 Prof. Dr. Bhikkhu Analayo 23.05.2013 Tranquility and Insight lecture 04 Prof. Dr. Bhikkhu Analayo 16.05.2013 Tranquility and Insight lecture 03 Prof. Dr. Bhikkhu Analayo 09.05.2013 Tranquility and Insight lecture 02 Prof. Dr. Bhikkhu Analayo 09.05.2013 Tranquility and Insight lecture 01 Prof. Dr. Bhikkhu Analayo
22 SoSe 13 Staatsrecht I Prof. Dr. Markus Kotzur, Dr. Clemens Richter Lehrveranstaltung Rechtswissenschaft 12.07.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 11.07.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 05.07.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 04.07.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 28.06.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 27.06.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 13.06.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 07.06.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 06.06.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 31.05.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 27.05.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 16.05.2013 Staatsrecht 1 Dr. Clemens Richter 10.05.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 03.05.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 02.05.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 26.04.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 19.04.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 18.04.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 12.04.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 11.04.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 05.04.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur 04.04.2013 Staatsrecht 1 Prof. Dr. Markus Kotzur
12 SoSe 13 Vernetzte Öffentlichkeiten Dr. Jan-Hinrik Schmidt Lehrveranstaltung Sprache, Literatur, Medien (SLM I + II) 11.07.2013 Rückblick, Zusammenfassung, Ausblick Dr. Jan-Hinrik Schmidt 04.07.2013 Messen, Methoden & Big Data Dr. Jan-Hinrik Schmidt 27.06.2013 Das Partizipationsparadox vernetzter Öffentlichkeit Dr. Jan-Hinrik Schmidt 20.06.2013 Vernetzte Öffentlichkeiten und Politik Dr. Jan-Hinrik Schmidt 13.06.2013 Kompetenzen in und für vernetzte/n Öffentlichkeit Dr. Jan-Hinrik Schmidt 06.06.2013 Informationsfluss in vernetzten Öffentlichkeiten Dr. Jan-Hinrik Schmidt 30.05.2013 Vernetzte Öffentlichkeiten und Journalismus Dr. Jan-Hinrik Schmidt 16.05.2013 Vernetzte Identitäten, vernetzte Gemeinschaften Dr. Jan-Hinrik Schmidt 25.04.2013 Die technischen Grundlagen vernetzter Öffentlichkeiten Dr. Jan-Hinrik Schmidt 18.04.2013 Analysekategorien Dr. Jan-Hinrik Schmidt 11.04.2013 Netzwerke & Öffentlichkeit Dr. Jan-Hinrik Schmidt 04.04.2013 Einführung Dr. Jan-Hinrik Schmidt
13 SoSe 13 Softwareentwicklung II Dr. Axel Schmolitzky, Dr. Guido Gryczan, Prof. Dr. Heinz Züllighoven Lehrveranstaltung Informatik 10.07.2013 13 - Metamodell, Rückblick auf Laborphase 2, Lehreevaluation Dr. Axel Schmolitzky 03.07.2013 12 - Refactoring, Korrektheit, abstrakte Datentypen Dr. Axel Schmolitzky 24.06.2013 11 - Werte und Objekte, Fachwerte Dr. Axel Schmolitzky 19.06.2013 10 - Objektorientierter Entwurf Dr. Axel Schmolitzky 12.06.2013 9 - GUI-Programmierung Dr. Axel Schmolitzky 05.06.2013 8 - Entwurfsmuster insb. Beobachter Dr. Guido Gryczan 29.05.2013 7 - Strukturierung von Anwendungssystemen (WAM light) Dr. Axel Schmolitzky 15.05.2013 6 - OO Analyse und Modellierung (WAM) Prof. Dr. Heinz Züllighoven 08.05.2013 5 - Fehlerbehandlung, Exceptions; Module (Pakete) Dr. Axel Schmolitzky 17.04.2013 3 - Polymorphie und Typhierarchien Dr. Axel Schmolitzky 10.04.2013 2 - Objektorientierte Tests, Vertragsmodell Dr. Axel Schmolitzky 03.04.2013 1 - Einführung, Modellierung & Abstraktion Dr. Axel Schmolitzky 25.04.2012 4 - Implementationsvererbung (Die Vorlesung konnte aufgrund technischer Probleme nicht aufgezeichnet werden. Hier finden Sie das Video vom letzten Jahr.) Dr. Axel Schmolitzky

Showing 111 - 120 of 238 results.