Filter Results
11261 results
28 | 0:00:00 Start 0:00:05 Einleitung 0:00:28 Dominik Schreiber - SAT Solving and Automated Planning 0:00:41 Overview 0:01:51 The SAT Problem 0:03:39 SAT Solving 0:05:06 Parallel SAT Solving 0:09:30 Automated Planning 0:13:20 SAT-based Planning 0:17:44 Outlook: Future Research and Teaching 0:23:16 Sebastian Lamm - Distributed Connected Components 0:23:45 Connected Components and Applications 0:25:23 Sequential Algorithms 0:26:16 General Framework 0:29:04 All-Reduce (AR) - Algorithm 0:31:14 Union-find merging (UFM) 0:35:26 Graph Contraction (GC) - Algorithm 0:38:21 Label Propagation (LP) 0:40:44 Comparison 0:43:14 Conclusion 0:44:40 Sebastion Schlag - High Quality Hypergraph Partitioning 0:47:24 Applications 0:48:57 Parallel Sparse-Matrix Vector Product (SpM x V) 0:52:09 From SpM x V to Hypergraph Partitioning 0:56:33 How does Hypergraph Partitioning work? 0:59:27 Taxonomy of Hypergraph Partitioning Tools 1:01:07 Why Yet Another Multilevel Algorithm? 1:05:30 Latest Experimental Results 1:08:45 KaHyPar - Karlsruhe Hypergraph Partitioning 1:10:20 Tobias Maier - Parallele Algorithmen - Einschub Shared Memory Datenstrukturen 1:12:12 Concurrent Hash Table 1:17:19 Migration als Lösung 1:20:33 Vergrößern der Hash Tabelle 1:24:09 Deallocation Problem
Data Types:
  • Video
Der Eindeutigkeitssatz für Maße besitzt vielfältige Anwendungen in der Maßtheorie und in der Stochastik. In diesem Video wird der Satz vorgestellt und bewiesen. Schlagkräftiges Hilfsmittel ist das Konzept des Dynkin-Systems.
Data Types:
  • Video
02 | 0:00:00 Start 0:00:05 Einführung und Überblick 0:00:36 Kurzdefinition Softwaretechnik 0:00:58 Grobübersicht 0:06:26 Softwaretechnik ist wesentlich mehr als Programmieren 0:09:08 Inhalt 0:09:28 Was ist Software? 0:30:10 Charakteristiken von Software 0:36:39 Änderungen in der Software in den letzten Dekaden 0:39:37 Softwarequalität 0:41:44 Softwarequalitätsprobleme 0:43:49 Gepäcktransportsystem des Flughafen Denver 0:44:50 Softwarequalitätsprobleme (nicht nur) 0:47:42 Fallstudie des Absturzes 0:50:03 Genaue Ursache für den Absturz 0:51:54 Ariane 5 – Navigationssystem (Ada) 0:53:40 Warum ist Software so schwer zu entwickeln? 0:55:44 Probleme bei der Erstellung merktreifer Software 1:00:39 Ausführliche Definition Softwaretechnik 1:01:51 Was ist Softwaretechnik? 1:09:55 Woher weiß man, wie das geht? 1:15:36 was ist Softwaretechnik? 1:20:04 Apple SSl-Fehler (Secure Socket Layer for https) 2014 1:22:49 Was ist Softwaretechnik? 1:24:22 Überblick über den Aufbau der Vorlesung
Data Types:
  • Video
Präsentation der vier wichtigsten Erdbebenzonen in Deutschland, Beispiele schwerer Beben, Magnitudenhäufigkeiten
Data Types:
  • Video
05 | 0:00:00 Starten 0:00:58 Lateral and circumferential force characteristic diagram 0:04:10 Wheel suspension 0:16:34 Joint types 0:25:44 Absorption of lateral forces 0:31:39 Rigid axle with longitudinal lead spring 0:42:43 Deformation of longitudinal leaf spring 0:45:12 Roll control behavior of rigid axle 0:48:32 Side force control of rigid axle when cornering 1:02:09 Rigid axle 1:07:54 Twist beam axle
Data Types:
  • Video
03 | 0:00:00 Start 0:00:20 Effect on the Vibration Comfort 0:07:50 Measurement of Steering Wheel Oscillation 0:22:45 Brake NVH 0:29:39 Brake Squeal 0:31:51 Structural Vibration 0:33:25 Disk Brake 0:37:53 Root Cause 0:40:03 Excitation Mechanism 0:55:28 Influence Parameters 1:01:37 Vibration Mode 1:03:20 Tuning Measures: Modal De-Alignment 1:09:01 Creep Groan 1:16:32 Excitation Mechanism 1:18:52 Entire Mechanism 1:20:53 contribution of the Suspension 1:41:59 Brake pad Improvement Measures 1:43:58 Brake Judder 1:51:58 Influence of Parameters 2:16:13 Wheel Brake 2:22:43 Reduction Measures 2:31:42 Vibration Transfer: Axle Vibration Modes
Data Types:
  • Video
Lerntheorie
Data Types:
  • Video
19 | 0:00:00 Starten 0:00:05 Enterprise Application Patterns 0:01:51 Aufgabe 1 - Structural patterns 0:20:59 Aufgabe 2 - Structure of an enterprise application 0:24:16 Aufgabe 4 - Combination of patterns
Data Types:
  • Other
13 | 0:00:00 Start 0:00:13 Überblick 0:02:23 Zerteilen (engl. parsing) 0:08:53 Top-Down Parsing 0:12:28 Recursive Descent Parser: Hilfsfunktionen 0:17:01 Zusammenfassung Parsen 0:17:40 Suchen 0:18:05 Lineare Suche 0:21:14 Binäre Suche 0:27:19 Sortieren 0:27:45 Bubblesort 0:33:49 Selectionsort 0:36:44 Insertionsort 0:44:47 Zusammenfassung 0:45:12 Objekt-orientierte Design-Prinzipien 0:45:50 Überblick 0:46:26 Prinzip 1 - Datenkapselung 0:49:59 Prinzip 2 - Bevorzuge Komposition gegenüber Vererbung 1:01:22 Prinzip 3 - Programmiere gegen Schnittstellen und nicht gegen eine Implementierungen 1:03:17 Prinzip 4 - Open Closed Prinzip 1:09:57 Prinzipien für den Schnittstellenentwurf 1:10:37 Gute Schnittstellen 1:12:37 Trennung von Befehl und Anfrage 1:14:19 Schlechte Abstraktion 1:15:20 Bessere Abstraktion 1:15:40 Klassen und Schnittstellen auftrennen 1:17:29 Abstrakionsniveau 1:18:36 Wahl von Methodennamen 1:21:05 Zusammenfassung 1:21:29 Weiterführende Literatur
Data Types:
  • Video
Der Satz von der monotonen Konvergenz des italienischen Mathematikers Beppo Levi aus dem Jahr 1906 gestattet die Vertauschung von Limes- und Integral-Bildung bei isotonen Folgen nichtnegativer Funktionen. In diesem Video wird der Satz vorgestellt und bewiesen. Mithilfe des Satzes von Beppo Levi gewinnt man aus einem Maß und einer nichtnegativen messbaren Funktion neue Maße.
Data Types:
  • Video