Konferenzbeitrag (463)
4881.
Konferenzbeitrag
Quantum Motion Segmentation. In: Computer Vision -- ECCV 2022, S. 506 - 523 (Hg. Avidan, S.; Brostow, G.; Cissé, M.; Farinella, G. M.; Hassner, T.). 17th European Conference on Computer Vision, Tel Aviv, Israel, 23. Oktober 2022 - 27. Oktober 2022. Springer, Berlin (2022)
4882.
Konferenzbeitrag
3D MHD simulations of unmitigated Vertical Displacements Events in ITER. In: 48th EPS Conference on Plasma Physics, P5a.111 (Hg. Klinger, T.; Hobirk, J.; Orlando, S.; Lancia, L.; Maric, D. et al.). 48th EPS Conference on Plasma Physics, Virtual, 27. Juni 2022 - 01. Juli 2022. European Physical Society, Geneva (2022)
4883.
Konferenzbeitrag
TEACH: Temporal Action Composition for 3D Humans. In: 2022 International Conference on 3D Vision (3DV 2022), S. 414 - 423. International Conference on 3D Vision (3DV 2022), Prague, 12. September 2022 - 15. September 2022. IEEE, Piscataway, NJ (2022)
4884.
Konferenzbeitrag
1D beam steering by a waveguide-integrated MEMS cantilever in the visible spectrum. In: CLEO: Science and Innovations 2022, AM2C.4. Conference on Lasers and Electro-Optics, San Jose, California United States, 15. Mai 2022 - 20. Mai 2022. Optica Publishing Group (2022)
4885.
Konferenzbeitrag
Upgrades of the Phase Contrast Imaging Diagnostic at Wendelstein 7-X. In: 48th EPS Conference on Plasma Physics, P1b.109 (Hg. Klinger, T.; Hobirk, J.; Orlando, S.; Lancia, L.; Maric, D. et al.). 48th EPS Conference on Plasma Physics, Virtual, 27. Juni 2022 - 01. Juli 2022. European Physical Society, Geneva (2022)
4886.
Konferenzbeitrag
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. In: 33rd International Conference on Concurrency Theory, 10, S. 1 - 16 (Hg. Klin, B.; Lasota, S.; Muscholl, A.). 33rd International Conference on Concurrency Theory, Warsaw, Poland, 12. September 2022 - 16. September 2022. Schloss Dagstuhl, Wadern (2022)
4887.
Konferenzbeitrag
A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, S. 81 - 98 (Hg. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, 02. April 2022 - 07. April 2022. Springer, Berlin (2022)
4888.
Konferenzbeitrag
Unlabeled Multi-Robot Motion Planning with Tighter Separation Bounds. In: 38th International Symposium on Computational Geometry, 12, S. 1 - 16 (Hg. Goaoc, X.; Kerber, M.). 38th International Symposium on Computational Geometry, Berlin, Germany, 07. Juni 2022 - 10. Juni 2022. Schloss Dagstuhl, Wadern (2022)
4889.
Konferenzbeitrag
Finite verb + infinite + object in later Latin: Early brace constructions? In: Studies on Late and Vulgar Latin in the Early 21st Century: Acts of the 12th International Colloquium "Latin vulgaire – Latin tardif, S. 166 - 181 (Hg. Haverling, G. V. M.). Latin vulgaire – latin tardif XII, Uppsala, Sweden, 22. August 2016 - 26. August 2016. Acta Universitatis Upsaliensis, Uppsala (2022)
4890.
Konferenzbeitrag
Verified Compilation and Optimization of Floating-Point Programs in CakeML. In: 36th European Conference on Object-Oriented Programming, 1, S. 1 - 28 (Hg. Ali, K.; Vitek, J.). 36th European Conference on Object-Oriented Programming, Berlin, Germany, 06. Juni 2022 - 10. Juni 2022. Schloss Dagstuhl, Wadern (2022)
4891.
Konferenzbeitrag
Faster Connectivity in Low-rank Hypergraphs via Expander Decomposition. In: Integer Programming and Combinatorial Optimization, S. 70 - 83 (Hg. Aardal, K.; Sanità, L.). 23rd Conference on Integer Programming and Combinatorial Optimization, Eindhoven, The Netherlands, 27. Juni 2022 - 29. Juni 2022. Springer, Berlin (2022)
4892.
Konferenzbeitrag
Eikonal Fields for Refractive Novel-View Synthesis. In: Proceedings SIGGRAPH 2022 Conference Papers Proceedings, 39, S. 1 - 9 (Hg. Nandigjav, M.; Mitra, N. J.; Hertzmann, A.). ACM SIGGRAPH, Vancouver, Canada, 07. August 2022 - 11. August 2022. ACM, New York, NY (2022)
4893.
Konferenzbeitrag
55 (20), S. 457 - 462 (2022)
Geometric Optimization for Structure-Preserving Model Reduction of Hamiltonian Systems. 10th Vienna International Conference on Mathematical Modelling (MATHMOD), Vienna, Austria, 27. Juli 2022 - 29. Juli 2022. IFAC-PapersOnLine 4894.
Konferenzbeitrag
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 28, S. 1 - 14 (Hg. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 02. August 2022 - 05. August 2022. ACM, New York, NY (2022)
4895.
Konferenzbeitrag
Negative-Weight Single-Source Shortest Paths in Near-linear Time. In: FOCS 2022, S. 600 - 611. IEEE 63rd Annual Symposium on Foundations of Computer Science, Denver, CO, USA, 31. Oktober 2022 - 03. November 2022. IEEE, Piscataway, NJ (2022)
4896.
Konferenzbeitrag
Fully-Dynamic Graph Sparsifiers Against an Adaptive Adversary. In: 49th EATCS International Conference on Automata, Languages, and Programming, 20, S. 1 - 20 (Hg. Bojańczyk, M.; Merelli, E.; Woodruff, D. P.). 49th International Colloquium on Automata, Languages, and Programming, Paris, France, 04. Juli 2022 - 08. Juli 2022. Schloss Dagstuhl, Wadern (2022)
4897.
Konferenzbeitrag
Ethical Practices for Security Research with At-Risk Populations. In: 7th IEEE European Symposium on Security and Privacy Workshops, S. 546 - 553. 7th IEEE European Symposium on Security and Privacy Workshops, Genoa, Italy, 06. Juni 2022 - 10. Juni 2022. IEEE, Piscataway, NJ (2022)
4898.
Konferenzbeitrag
Provable Defense against Backdoor Policies in Reinforcement Learning. In: Advances in Neural Information Processing Systems 35, S. 14704 - 14714 (Hg. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, 28. November 2022 - 09. Dezember 2022. Curran Associates, Inc. (2022)
4899.
Konferenzbeitrag
BEHAVE: Dataset and Method for Tracking Human Object Interactions. In: IEEE/CVF Conference on Computer Vision and Pattern Recognition, S. 15914 - 15925. 35th IEEE/CVF Conference on Computer Vision and Pattern Recognition, New Orleans, LA, USA, 19. Juni 2022 - 24. Juni 2022. IEEE, Piscataway, NJ (2022)
4900.
Konferenzbeitrag
13399, S. 456 - 469 (Hg. Rudolph, G.; Kononova, A. V.; Aguirre, H.; Kerschke, P.; Ochoa, G. et al.). (2022)
Evolutionary Algorithms for Cardinality-Constrained Ising Models. In: Parallel Problem Solving from Nature – PPSN XVII. PPSN 2022. Lecture Notes in Computer Science, Bd.