The Karlsruhe Java Verification Suite Klamroth, J.; Lanzinger, F.; Pfeifer, W.; Ulbrich, M. 2022. The Logic of Software. A Tasting Menu of Formal Methods – Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Ed.: W. Ahrendt, 290–312, Springer International Publishing. doi:10.1007/978-3-031-08166-8_14
Hybrid machine learning to localize atrial flutter substrates using the surface 12-lead electrocardiogram Luongo, G.; Vacanti, G.; Nitzke, V.; Nairn, D.; Nagel, C.; Kabiri, D.; Almeida, T. P.; Soriano, D. C.; Rivolta, M. W.; Ng, G. A.; Dössel, O.; Luik, A.; Sassi, R.; Schmitt, C.; Loewe, A. 2022. Europace : European pacing, arrhythmias, and cardiac electrophysiology : journal of the working groups on cardiac pacing, arrhythmias, and cardiac cellular electrophysiology of the European Society of Cardiology, 24 (7), 1186–1194. doi:10.1093/europace/euab322
Sequence Labeling for Citation Field Extraction from Cyrillic Script References Shapiro, I.; Saier, T.; Färber, M. 2022. SDU 2022: Scientific Document Understanding 2022 ; Proceedings of the Workshop on Scientific Document Understanding ; co-located with 36th AAAI Conference on Artificial Inteligence (AAAI 2022) ; Remote, March 1, 2022. Ed.: A. P. Ben Veyseh, CEUR-WS.org
Improving Zero-Shot Text Classification with Graph-based Knowledge Representations Hoppe, F. 2022. ISWC-DC 2022: Proceedings of the Doctoral Consortium at ISWC 2022 ; Proceedings of the Doctoral Consortium at ISWC 2022 ; co-located with 21st International Semantic Web Conference (ISWC 2022) ; Hangzhou, China, October 24, 2022. Ed.: O. Hartig, CEUR-WS.org
Study of superconducting coils impacted by high intensity proton beam Gancarcik, D.; Abusaif, F.; Bernhard, A.; Grau, A.; Glamann, N.; Jauregui, D. Saez de; Will, A.; Wollmann, D. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022
Slow control loop to stabilize the RF power of the FLUTE electron gun Noll, M.-D.; Smale, N. J.; Böhm, A.; Kriznar, I.; Schuh, M.; Ruprecht, R.; Jelonnek, J.; Müller, A. S. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022
Latest developments and performance of the FLUTE laser system Nabinger, M.; Schmelzer, T.; Nasse, M. J.; Smale, N. J.; Schäfer, J.; Sax, C.; Müller, A. S. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022
Laser alignment of internal components of the linear accelerator FLUTE Schäfer, J.; Härer, B.; Nabinger, M.; Nasse, M. J.; Ruprecht, R.; Smale, N. J.; Müller, A. S. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022
HTS undulators: status and test results of prototype coils for compact FELs Richter, S.; Ballarino, A.; Schoerling, D.; Bernhard, A.; Müller, A. S. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022
Dynamic aperture studies for the Transfer Line from FLUTE to cSTART Schäfer, J.; Härer, B.; Papash, A.; Ruprecht, R.; Schuh, M.; Müller, A.-S. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022
Development of a transfer line for LPA-generated electron bunches to a compact storage ring Härer, B.; Bründermann, E.; Papash, A.; Ruprecht, R.; Schäfer, J.; Widmann, C.; Müller, A.-S.; Jeppe, L.; Messner, P.; Maier, A.; Osterhoff, J.; Panofski, E. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022
Detailed analysis of transverse emittance of the FLUTE electron bunch Schmelzer, T.; Bründermann, E.; Kriznar, I.; Nabinger, M.; Nasse, M.; Ruprecht, R.; Schäfer, J.; Schuh, M.; Smale, N.; Wesolowski, P.; Müller, A. S. 2022, March. DPG-Frühjahrstagung : Physik der Hadronen und Kerne (HK), Plasmaphysik (P), Arbeitskreis Beschleunigerphysik (AKBP) (2022), Online, March 28–April 1, 2022