drama , article on our performance capture work, NewScientist, 2008 (both print and online edition). C. Theobalt, N. Ahmed, E. de Aguiar, G. Ziegler, H. Lensch, M. Magnor, H.-P. Seidel, Relightable 3D Video [...] Computational Photography and Video , MIT, Cambridge, USA, 2005. M. Li, S. Bihlmaier, L. Ahrenberg, C. Theobalt, M. Magnor, "A Synthetic Test Data Set for Rendering/Reconstruction Methods in EE2," MPEG [...] Doc. M9887, ISO/IEC JTC1/SC29/WG11, Trondheim, Norway, July 2003. B. Goldluecke, M. Magnor, M. Li, C. Theobalt, "EE2 - Methods for Model-based Scene Reconstruction and Real-Time Free Viewpoint Rendering
preparation of the ground state, (b) creation of anyon pairs separated by an arbitrary distance, and (c) non-destructive topological charge measurement. We show that for any solvable group G all above tasks [...] footing, by drawing on techniques from Hamiltonian complexity theory in computer science, and Jordan and C* algebra results in mathematics. I will then explain how this proved to be far more fruitful than a
Gallenbacher: Abenteuer Informatik, auch als E-Book. B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner: Taschenbuch der Algorithmen (ISBN: 9783540763932 ) Minsky: The Society
http://hdl.handle.net/21.11116/0000-000C-1853-C %D 2022 %B 36th Conference on Neural Information Processing Systems %Z date of event: 2022-11-28 - 2022-12-09 %C New Orleans, LA, USA %B Advances in Neural [...] 11116/0000-000C-11CC-B %R 10.1007/s11263-022-01710-9 %U https://rdcu.be/c14JE %7 2022 %D 2022 %J International Journal of Computer Vision %O Int. J. Comput. Vis. %V 131 %& 531 %P 531 - 551 %I Springer %C New York [...] http://hdl.handle.net/21.11116/0000-000C-957F-E %R 10.1007/978-3-031-19812-0_17 %D 2022 %B 17th European Conference on Computer Vision %Z date of event: 2022-10-23 - 2022-10-27 %C Tel Aviv, Israel %B Computer Vision
%U http://hdl.handle.net/21.11116/0000-000F-B0C5-B %D 2024 %B 41at International Conference on Machine Learning %Z date of event: 2024-07-21 - 2024-07-27 %C Vienna, Austria %B Proceedings of the 41st I [...] Smoothing : %G eng %U http://hdl.handle.net/21.11116/0000-000F-D70F-F %I Universität des Saarlandes %C Saarbrücken %D 2024 %P XII, 57 p. %V master %9 master PuRe BibTeX
within RG1 M. Bromberger, L. Leutgeb , C. Weidenbach Symbolic Model Construction for Saturated Constrained Horn Clauses ( arXiv ) FroCoS 2023 M. Bromberger, L. Leutgeb , C. Weidenbach An Efficient Subsumption [...] Subsumption Test Pipeline for BS(LRA) Clauses IJCAR 2022 M. Bromberger, T. Gehl, L. Leutgeb , C. Weidenbach A Two-Watched Literal Scheme for First-Order Logic PAAR 2022 Activities Member of the Program Committee [...] Computational Logic, cohort of 2017. Teaching Tutor in Theoretical Computer Science and Logics taught by C. Fermüller, R. Freund, A. Leitsch, M. Oswald, and G. Salzer at TU Wien during the 2017 summer semester
.handle.net/21.11116/0000-000A-C00C-0 %R 10.1007/978-3-031-20050-2_16 %D 2022 %B 17th European Conference on Computer Vision %Z date of event: 2022-10-23 - 2022-10-27 %C Tel Aviv, Israel %B Computer Vision [...] net/21.11116/0000-000A-C01E-C %D 2022 %B European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases %Z date of event: 2022-09-19 - 2022-09-23 %C Grenoble, France [...] 11116/0000-0010-6C38-7 %R 10.1007/s11263-024-02265-7 %7 2024-12-09 %D 2024 %8 09.12.2024 %J International Journal of Computer Vision %O Int. J. Comput. Vis. %I Kluwer Academic Publishers %C Hingham, Mass
net/21.11116/0000-000C-CC73-D %R 10.1007/978-3-031-28486-1_26 %D 2023 %B 24th International Conference on Passive and Active Measurement %Z date of event: 2023-03-21 - 2023-03-23 %C Virtual Event %B Passive [...] 3624846 %D 2023 %B ACM on Internet Measurement Conference %Z date of event: 2023-10-24 - 2023-10-26 %C Montreal, Canada %B IMC '23 %E Montpetit, Marie-José; Leivadeas, Aris %P 154 - 161 %I ACM %@ 9 [...] 651 %I Springer %@ 978-3-031-28485-4 %B Lecture Notes in Computer Science %N 13882 %U https://rdcu.be/c70Yu Research Interests In the world of Computers, I am mainly interested in Computer Networks, especially