Forschung
Channels
Alles
Eigene
Abonnierte
Es gibt noch keine Channels.
Alle Medien
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm]()
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
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Opening Address]()
ICALP 2023 - 50th ICALP Anniversary Session - Opening Address
Opening Speech for the 50th ICALP Anniversary Session / Speaker: Burkhard Monien
Thomas
Thissen
-
06:19 duration
-
0 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Keynote talk - Anna Karlin]()
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 sound
Thomas
Thissen
-
52:05 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Keynote Talk - Rupak Majumdar]()
ICALP 2023 - Keynote Talk - Rupak Majumdar
Keynote talk / Rupak Majumdar / Context-Bounded Analysis of Concurrent Programs / Session Chair: Anca Muscholl
Thomas
Thissen
-
01:03:51 duration
-
1 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Best Student Paper - Track B]()
ICALP 2023 - Best Student Paper - Track B
The Identity Problem in ZZ is decidable / Ruiwen Dong / Speaker: Ruiwen Dong
Thomas
Thissen
-
23:35 duration
-
0 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - Best Student paper - Track A]()
ICALP 2023 - Best Student paper - Track A
Minimum Chain Cover in Almost Linear Time / Manuel Cáceres / Speaker: Manuel Cáceres
Thomas
Thissen
-
20:47 duration
-
1 views
-
0 Kommentare
-
0 likes
-
Alles
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm]()
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
Es gibt noch keine Medien.
Beliebtheit
-
![thumbnail of medium Präsentation Hofmann]()
Präsentation Hofmann
Präsentation Hofmann
Swen
Schulte Eickholt
-
44:29 duration
-
826 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium BaER-Lab Teilnehmer*innen für Experimente gesucht]()
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
-
-
![thumbnail of medium ProGRess-Projektauftakt mit ZRM-Erfinderin Dr. Maja Storch]()
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
-
![thumbnail of medium BaER-Lab Teilnehmer*innen für Experimente gesucht]()
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
-
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
Kommentare
-
![thumbnail of medium ICALP 2023 - Keynote talk - Rasmus Kyng]()
ICALP 2023 - Keynote talk - Rasmus Kyng
Rasmus Kyng / An Almost-Linear Time Algorithm for Maximum Flow and More
Thomas
Thissen
-
01:02:06 duration
-
7 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger]()
ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Thomas Henzinger
Thomas Henzinger / From Formal Methods for Continuous Systems to the Safety of Neural Network Controllers
Thomas
Thissen
-
23:12 duration
-
3 views
-
0 Kommentare
-
0 likes
-
-
![thumbnail of medium ICALP 2023 - 50th ICALP Anniversary Session - Invited Talk - Kurt Mehlhorm]()
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
-