Catalog

Lecture2Go Catalog Universität Hamburg F.6 - Mathematik, Informatik, Naturwissenschaften Informatik

Video Catalog

Institution

F.6 - Mathematik, Informatik, Naturwissenschaften

Sub institution

Informatik

Term

More

Category


14 WiSe 13/14 Softwareentwicklung III - Funktionale Programmierung Prof. Dr. Leonie Dreschler-Fischer Lehrveranstaltung Informatik 31.01.2014 14 - Programmieren mit Zuständen Prof. Dr. Leonie Dreschler-Fischer 24.01.2014 13 - Memoization, CLOS Anwendungen Prof. Dr. Leonie Dreschler-Fischer 17.01.2014 11 - Metaprogrammierung ( nur Sprecher, keine Folien) Prof. Dr. Leonie Dreschler-Fischer 17.01.2014 12 - Relationale Programmierung Prof. Dr. Leonie Dreschler-Fischer 20.12.2013 10 - Musterabgleich; Objekte und generische Funktionen Prof. Dr. Leonie Dreschler-Fischer 18.12.2013 9 - Der Suchraum Prof. Dr. Leonie Dreschler-Fischer 09.12.2013 8 - Callback functions Prof. Dr. Leonie Dreschler-Fischer 29.11.2013 7 - Funktionen höherer Ordnung Prof. Dr. Leonie Dreschler-Fischer 22.11.2013 6 - Rekursion und Induktion Prof. Dr. Leonie Dreschler-Fischer 15.11.2013 5 - Semantik und Korrektheit Prof. Dr. Leonie Dreschler-Fischer 08.11.2013 4 - Rekursive Konstruktion und Selektion Prof. Dr. Leonie Dreschler-Fischer 01.11.2013 3 - Zeichen und Symbole Prof. Dr. Leonie Dreschler-Fischer 24.10.2013 2 - Funktionale Abstraktion Prof. Dr. Leonie Dreschler-Fischer 18.10.2013 1- Einführung Prof. Dr. Leonie Dreschler-Fischer
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 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
6 SoSe 13 Visuelle Gestaltung I - SoSe13 Jutta Werz, Michael Heinecke Lehrveranstaltung Informatik 26.06.2013 Marken und Kommunikation Jutta Werz 05.05.2013 Farbkontraste und Farbklänge - Visuelle Gestaltung I - SoSe13 Michael Heinecke 03.05.2013 Farbwirkung - Visuelle Gestaltung I - SoSe13 Michael Heinecke 23.04.2013 Farbmodelle Michael Heinecke 18.04.2013 Illustrator Workshop Michael Heinecke 28.03.2013 Visuelle Gestaltung I - SoSe13 Michael Heinecke
2 SoSe 13 HI Forum Prof. Dr. Jürgen Pfeffer, Prof. Dr. Thomas Seidl Ringvorlesung Informatik 03.06.2013 04 - Social Network Analysis: The Role of Computer Science Prof. Dr. Jürgen Pfeffer 06.05.2013 3 - Clustering Big Data mit Map Reduce Prof. Dr. Thomas Seidl
31 WiSe 12/13 Interactive Visual Computing Prof. Dr. Leonie Dreschler-Fischer, Dr. Werner Hansmann Lehrveranstaltung Informatik 27.01.2013 30 - Stereoskopie Prof. Dr. Leonie Dreschler-Fischer 21.01.2013 28 - Gesichtsanimation Dr. Werner Hansmann 16.01.2013 27 - Photometrische Szenenrekonstruktion Prof. Dr. Leonie Dreschler-Fischer 14.01.2013 26 - Bewegungserfassung, Kinematik, Bewegungsanpassung, Fort-Bewegung, prozedurale Animation, virtuelle Menschen Dr. Werner Hansmann 09.01.2013 25 - Geometrische Szenenrekonstruktion, Photometrische Szenenrekonstruktion, das Generalitätsprinzip Prof. Dr. Leonie Dreschler-Fischer 07.01.2013 24 - Anwendung von VR-Systemen, Computergestützte Animation Dr. Werner Hansmann 19.12.2012 23 - Filter, Rauschen, Metriken Prof. Dr. Leonie Dreschler-Fischer 17.12.2012 22 - Real Time Interactive Media Dr. Werner Hansmann 12.12.2012 21a - Auflösung eines Bildes, Abtasttheorem, 2D-Fouriertransformation Prof. Dr. Leonie Dreschler-Fischer 12.12.2012 21 - Auflösung eines Bildes, Abtasttheorem, 2D-Fouriertransformation Prof. Dr. Leonie Dreschler-Fischer 10.12.2012 20 - Strahlverfolgung, Strahlungsberechnung, Nicht-Fotorealistische Computergrafik Dr. Werner Hansmann 05.12.2012 19 - Digitale Bildfunktionen, Repräsentation von Bildern Prof. Dr. Leonie Dreschler-Fischer 03.12.2012 18 - Photometrisches Modellieren Dr. Werner Hansmann 28.11.2012 17 - Fraktale, Bilder und Bildfunktionen Prof. Dr. Leonie Dreschler-Fischer 28.11.2012 16 - Zwischenpräsentation der Übungsaufgaben Teil 3 Prof. Dr. Leonie Dreschler-Fischer 26.11.2012 15 - Zwischenpräsentation der Übungsaufgaben Teil 2 Prof. Dr. Leonie Dreschler-Fischer 26.11.2012 14 - Grafische Algorithmen, Photometrisches Modellieren Dr. Werner Hansmann 26.11.2012 13 - Zwischenpräsentation der Übungsaufgaben Teil 1 Prof. Dr. Leonie Dreschler-Fischer 21.11.2012 12 - Farbsysteme Prof. Dr. Leonie Dreschler-Fischer 19.11.2012 11 - Beschreibung der Topologie, Grafische Algorithmen Dr. Werner Hansmann 14.11.2012 10 - Umgebungseffekte, Farbmodelle Prof. Dr. Leonie Dreschler-Fischer 12.11.2012 9 - Beschreibung der Topologie Dr. Werner Hansmann 05.11.2012 7 - Beschreibung der Geometrie, Beschreibung der Topologie Dr. Werner Hansmann 05.11.2012 8 - Das Licht: Elektromagnetische Strahlung, Licht und Oberflächen, Umgebungseffekte Prof. Dr. Leonie Dreschler-Fischer 31.10.2012 6 - Illusionen, Virtuelle und reale Kameras, Höherdimensionale Räume Prof. Dr. Leonie Dreschler-Fischer 29.10.2012 5 - Geometrisches Modellieren Dr. Werner Hansmann 24.10.2012 4 - Geometrische Grundlagen: Abbildung des Raumes Prof. Dr. Leonie Dreschler-Fischer 22.10.2012 3b - 3D Transformationen Dr. Werner Hansmann 22.10.2012 3a - 3D Transformationen Prof. Dr. Leonie Dreschler-Fischer 15.10.2012 1 - Koordinatentransformation Prof. Dr. Leonie Dreschler-Fischer 15.10.2012 2 - Koordinatentransformation Prof. Dr. Leonie Dreschler-Fischer

Showing 51 - 60 of 87 results.