Konferenzbeitrag (463)

4881.
Konferenzbeitrag
Arrigoni, F.; Menapace, W.; Seelbach Benkner, M.; Ricci, E.; Golyanik, V.: 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
Artola, F. J.; Loarte, A.; Hoelzl, M.; Schwarz, N.; Lehnen, M.; Pitts, R. A.; JOREK Team: 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
Athanasiou, N.; Petrovich, M.; Black, M. J.; Varol, G.: 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
Azadeh, S. S.; Mak, J. C. C.; Chen, H.; Luo, X.; Chen, F.-D.; Chua, H.; Lo, G. Q.; Sacher, W. D.; Poon, J. K. S.: 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
Bähner, J.-P.; Stechow, A. v.; Hansen, S. K.; Huang, Z.; Edlund, E. M.; Porkolab, M.; Grulke, O.; W7-X Team, Max Planck Institute for Plasma Physics, Max Planck Society: 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
Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Ouaknine, J.; Purser, D.; Whiteland, M. A.; Worrell, J.: 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
Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: 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
Banyassady, B.; de Berg, M.; Bringmann, K.; Buchin, K.; Fernau, H.; Halperin, D.; Kostitsyna, I.; Okamoto, Y.; Slot, S.: 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
Bauer, B. L. M.: 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
Becker, H.; Rabe, R.; Darulova, E.; Myreen, M. O.; Tatlock, Z.; Kumar, R.; Tan, Y. K.; Fox, A.: 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
Beideman, C.; Chandrasekaran, K.; Mukhopadhyay, S.; Nanongkai, D.: 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
Bemana, M.; Myszkowski, K.; Frisvad, J. R.; Seidel, H.-P.; Ritschel, T.: 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
Bendokat, T.; Zimmermann, R.: 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 55 (20), S. 457 - 462 (2022)
4894.
Konferenzbeitrag
Bergsträßer, P.; Ganardi, M.; Lin, A. W.; Zetzsche, G.: 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
Bernstein, A.; Nanongkai, D.; Wulff-Nilsen, C.: 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
Bernstein, A.; van den Brand, J.; Probst Gutenberg, M.; Nanongkai, D.; Saranurak, T.; Sidford, A.; Sun, H.: 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
Bhalerao, R.; Hamilton, V.; McDonald, A.; Redmiles, E. M.; Strohmayer, A.: 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
Bharti, S.; Zhang, X.; Singla, A.; Zhu, J.: 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
Bhatnagar, B. L.; Xie, X.; Petrov, I.; Sminchisescu, C.; Theobalt, C.; Pons-Moll, G.: 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
Bhuva, V.; Dang, D.-C.; Huber, L.; Sudholt, D.: Evolutionary Algorithms for Cardinality-Constrained Ising Models. In: Parallel Problem Solving from Nature – PPSN XVII. PPSN 2022. Lecture Notes in Computer Science, Bd. 13399, S. 456 - 469 (Hg. Rudolph, G.; Kononova, A. V.; Aguirre, H.; Kerschke, P.; Ochoa, G. et al.). (2022)
Zur Redakteursansicht