Forschung
Channels
Alles
Eigene
Abonnierte
Alle Medien
-
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and MoreThomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network ControllersThomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm
Kurt Mehlhorn / 50 Years of ICALP, Personal Reminiscences / Abstract: ICALP had a decisive influence on the development of Theoretical Computer Science in Europe and also on my career. I had my first ICALP paper at ICALP 74 in Saarbruecken and I presented it a few days after joining Saarland University.Thomas
Thissen
-
31:32 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Opening Address
Opening Speech for the 50th ICALP Anniversary Session / Speaker: Burkhard MonienThomas
Thissen
-
06:19 duration
-
0 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Keynote talk - Anna Karlin
Session Chair: Artur Czumaj / Anna Karlin / Improved Approximation Algorithm for the Metric Traveling Salesperson Problem / due to technical problems with the recording the video is unfortunately without soundThomas
Thissen
-
52:05 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Keynote Talk - Rupak Majumdar
Keynote talk / Rupak Majumdar / Context-Bounded Analysis of Concurrent Programs / Session Chair: Anca MuschollThomas
Thissen
-
01:03:51 duration
-
1 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Best Student Paper - Track B
The Identity Problem in ZZ is decidable / Ruiwen Dong / Speaker: Ruiwen DongThomas
Thissen
-
23:35 duration
-
0 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Best Student paper - Track A
Minimum Chain Cover in Almost Linear Time / Manuel Cáceres / Speaker: Manuel CáceresThomas
Thissen
-
20:47 duration
-
1 views
-
0 Kommentare
-
0 likes
-
Alles
-
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and MoreThomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network ControllersThomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm
Kurt Mehlhorn / 50 Years of ICALP, Personal Reminiscences / Abstract: ICALP had a decisive influence on the development of Theoretical Computer Science in Europe and also on my career. I had my first ICALP paper at ICALP 74 in Saarbruecken and I presented it a few days after joining Saarland University.Thomas
Thissen
-
31:32 duration
-
7 views
-
0 Kommentare
-
0 likes
-
Featured
Beliebtheit
-
Präsentation Hofmann
Präsentation HofmannSwen
Schulte Eickholt
-
44:29 duration
-
826 views
-
0 Kommentare
-
0 likes
-
-
BaER-Lab Teilnehmer*innen für Experimente gesucht
Das BaER-Lab steht für „Business and Economic Research Laboratory“ und ist das Experimentallabor der wirtschaftswissenschaftlichen Fakultät der Universität Paderborn zur Erforschung ökonomischer Theorien, Modelle und Fragestellungen mithilfe von kontrollierten Laborexperimenten. Ein Laborexperiment ist dabei eine ein- bis zweistündige Veranstaltung, in der die für dieses Experiment...Vivienne
Kannengießer
-
02:50 duration
-
344 views
-
0 Kommentare
-
0 likes
-
-
ProGRess-Projektauftakt mit ZRM-Erfinderin Dr. Maja Storch
Psychologie - ProLernen - ProGRess - Ressourcenstark gegen Prokrastination Am 19.01.2023 fand der Projektauftakt von ProGRess statt. ProGRess ist ein Projekt der uniinternen Beratungsstelle ProLernen in Kooperation mit der Techniker Krankenkasse. Im Projekt wird ein Anti-Prokrastinationstraining auf Basis des Zürcher Ressourcen Modells (ZRM), einem ressourcenorientierten...Tamara
Schneider
-
53:18 duration
-
267 views
-
0 Kommentare
-
0 likes
-
Bewertung
-
BaER-Lab Teilnehmer*innen für Experimente gesucht
Das BaER-Lab steht für „Business and Economic Research Laboratory“ und ist das Experimentallabor der wirtschaftswissenschaftlichen Fakultät der Universität Paderborn zur Erforschung ökonomischer Theorien, Modelle und Fragestellungen mithilfe von kontrollierten Laborexperimenten. Ein Laborexperiment ist dabei eine ein- bis zweistündige Veranstaltung, in der die für dieses Experiment...Vivienne
Kannengießer
-
02:50 duration
-
344 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and MoreThomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network ControllersThomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
Kommentare
-
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and MoreThomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network ControllersThomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm
Kurt Mehlhorn / 50 Years of ICALP, Personal Reminiscences / Abstract: ICALP had a decisive influence on the development of Theoretical Computer Science in Europe and also on my career. I had my first ICALP paper at ICALP 74 in Saarbruecken and I presented it a few days after joining Saarland University.Thomas
Thissen
-
31:32 duration
-
7 views
-
0 Kommentare
-
0 likes
-