PodParley PodParley
PodParley
27: Algorithmen II, Vorlesung, WS 2018/19, 28.01.2019 episode artwork

EPISODE · Jan 29, 2019 · 1H 26M

27: Algorithmen II, Vorlesung, WS 2018/19, 28.01.2019

from Algorithmen 2, Vorlesung, WS18/19 · host M.Sc. Dominik Schreiber

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

What this episode covers

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

NOW PLAYING

27: Algorithmen II, Vorlesung, WS 2018/19, 28.01.2019

0:00 1:26:16

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

Air Stream Stupid

Jan 8, 2026 ·16m

Getting our Kix for 2026

Jan 2, 2026 ·12m

Gaya Family Interview

Aug 22, 2025 ·49m

トランプ関税でNISAで大損⁉投資初心者が騙されがちなNISAの仕組み

Apr 29, 2025 ·12m

ふるさと納税大転換！ポイント還元がなくなる？

Apr 27, 2025 ·11m

【番外編】大阪万博に行ったインターン生にインタビュー！

Apr 24, 2025 ·11m

Similar Podcasts

いろはにマネーの「ながら学習」 IrohaniMoney この番組では、インターン生2人が、金融、経済、投資関連の気になる情報を分かりやすくお伝えしていきます。インターン生の会話を「ながら聴き」する感覚で一緒に勉強していきましょう！ご意見箱フォーム：https://forms.gle/TTGaVP2TJksNMKJo7ぜひお便りや感想をお待ちしています！公式X：https://x.com/irohanimoney番組のハッシュタグは「#いろはにながら」です。番組への感想をお待ちしています！いろはにマネー：https://www.bridge-salon.jp/money/姉妹サイト：https://kabu.bridge-salon.jp/姉妹サイト：https://bridge-salon.jp/(株)インベストメントブリッジ運営 French Your Way Jessica: Native French teacher founder of French Your Way Boost your French listening skills and test your comprehension with this one of a kind series of podcasts. Get the chance to listen to a real conversation between native speakers talking at normal speed AND customise your learning experience through carefully designed sets of questions (2 levels of difficulty) available for download at www.frenchvoicespodcast.com. All interviews also come with the transcript. French teacher Jessica interviews native speakers of French from around the world who share a bit of their life and passion. Where else would you meet in one same place a French yoga teacher based in Melbourne, a soap manufacturer from Provence, or a couple cycling around the world? 2 Old Ladies Walking Rozee 2 Old Ladies Walking features the journeys, insights, and light conversation between Liz and Rosie, two women of a certain age who live in the Hudson Valley of New York. From pelvic floor challenges and life with young adult children to food, bird calls, fear of “mad lamb” disease, and myriad topics in between, we cover it all while walking on the scenic trails of the northeast, or wherever our travels take us. Join us and have a listen! TV 2 - Veien til EM TV 2 og Moderne Media Velkommen til TV 2's EM podkast. Dette er tidenes første EM-podkast fra TV 2. I dagene før kamper skal Jesper Mathisen, Jan-Henrik Børslid og Espen Solbakken m/gjester lade opp. God fornøyelse! For annonsering: [email protected] booking: [email protected]

Frequently Asked Questions

How long is this episode of Algorithmen 2, Vorlesung, WS18/19?

This episode is 1 hour and 26 minutes long.

When was this Algorithmen 2, Vorlesung, WS18/19 episode published?

This episode was published on January 29, 2019.

What is this episode about?

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

Can I download this Algorithmen 2, Vorlesung, WS18/19 episode?

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.
URL copied to clipboard!