Society has reached a point of no return, one that leaves us completely reliant on omnipresent ICT-mediated communication. Mobile and sensor-rich portable devices connect millions of humans with Petabytes of data and numerous on-line services. However, tearing down the physical-digital barrier in a scalable fashion requires both radically novel algorithmic knowledge and in-depth understanding of humans and societies. We will deliver major theoretical advances in real-time intelligent information management of large datasets including online social networks, mobile devices and humans in physical space by delivering three functions: “alert”, by real-time location-aware knowledge acquisition, analysis and visualization; “response”, through on-demand composition and coordination of large teams; and effective “communication”, through recommendation and personalization.
Publication date
2017
In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017 Leibniz International Proceedings in Informatics, LIPIcs (80) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 54:1-54:14. ISSN 1868-8969
In: 32nd Computational Complexity Conference, CCC 2017 Leibniz International Proceedings in Informatics, LIPIcs (79) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 30:1-30:24. ISSN 1868-8969
On the polynomial parity argument complexity of the combinatorial nullstellensatz
In: 8th Innovations in Theoretical Computer Science Conference, (ITCS) Leibniz International Proceedings in Informatics (LIPIcs) (67) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 55:1-55:19. ISSN 1868-8969
Constructive Non-Commutative Rank Computation Is in Deterministic Polynomial Time