ATMOS, we have a problem! It's called SAP (Single Alternative Path) and we are glad that you published our paper on it. For those of you interested, please find our conference talk here: https://t.co/OyUingxiT4
@bpcl2020 We are also working on the last remarks for our theses and ensure our chair's coffee does not go bad. Sadly no gecko visits us. But we may submit a paper to the GECCO.
🎉 #HPIBP2020
Gehört Stau bald der Vergangenheit an?
Die Studierenden entwickelten mit Projektpartner @TomTom Algorithmen zur Stauvermeidung. Die Besonderheit: Ganze Verkehrsströme können nun gelenkt werden.
Mehr zum Projekt:
➡️ https://t.co/lQufAPc4bx
Kleines #Ostern-Raetsel: Welches Beweistechnik wird von diesem Gif beschrieben? Wer eine richtige Antwort abgibt, bekommt bei naechster Gelegenheit eine #Kekspause in unserem #hpibp2020
Wir haben eine optimierte Version unseres "SSOTD" Algorithmus fertiggestellt. Und so fahren heute 80 Autos auf zwei unterschiedlichen Routen quer durch Berlin. #hpibp2020#kekspause#matsim#traffic#simulation
@cyroxx@HPI_DE Yeah, this is coming from Matsim, the simulator by Kai Nagel (@TUBerlin). We don‘t even know if this has some deeper, psychological meaning🤷♂️
Today, we are doing heavy calculations on #Alice, one of the research groups compute servers. We bring her some cookies to say thank you! #hpibp2020#kekspause#matsim
Always dreamed about writing better proofs? Well, I shudder to think of the poor soul who denies that https://t.co/SAy0r4VaqZ is a great site! (And a good read in the #kekspause) #hpibp2020@reddit