@inproceedings{48894,
  abstract     = {{Recently different evolutionary computation approaches have been developed that generate sets of high quality diverse solutions for a given optimisation problem. Many studies have considered diversity 1) as a mean to explore niches in behavioural space (quality diversity) or 2) to increase the structural differences of solutions (evolutionary diversity optimisation). In this study, we introduce a co-evolutionary algorithm to simultaneously explore the two spaces for the multi-component traveling thief problem. The results show the capability of the co-evolutionary algorithm to achieve significantly higher diversity compared to the baseline evolutionary diversity algorithms from the literature.}},
  author       = {{Nikfarjam, Adel and Neumann, Aneta and Bossek, Jakob and Neumann, Frank}},
  booktitle    = {{Parallel Problem Solving from Nature (PPSN XVII)}},
  editor       = {{Rudolph, Günter and Kononova, Anna V. and Aguirre, Hernán and Kerschke, Pascal and Ochoa, Gabriela and Tu\v sar, Tea}},
  isbn         = {{978-3-031-14714-2}},
  keywords     = {{Co-evolutionary algorithms, Evolutionary diversity optimisation, Quality diversity, Traveling thief problem}},
  pages        = {{237–249}},
  publisher    = {{Springer International Publishing}},
  title        = {{{Co-Evolutionary Diversity Optimisation for the Traveling Thief Problem}}},
  doi          = {{10.1007/978-3-031-14714-2_17}},
  year         = {{2022}},
}

@article{48878,
  abstract     = {{Due to the rise of continuous data-generating applications, analyzing data streams has gained increasing attention over the past decades. A core research area in stream data is stream classification, which categorizes or detects data points within an evolving stream of observations. Areas of stream classification are diverse\textemdash ranging, e.g., from monitoring sensor data to analyzing a wide range of (social) media applications. Research in stream classification is related to developing methods that adapt to the changing and potentially volatile data stream. It focuses on individual aspects of the stream classification pipeline, e.g., designing suitable algorithm architectures, an efficient train and test procedure, or detecting so-called concept drifts. As a result of the many different research questions and strands, the field is challenging to grasp, especially for beginners. This survey explores, summarizes, and categorizes work within the domain of stream classification and identifies core research threads over the past few years. It is structured based on the stream classification process to facilitate coordination within this complex topic, including common application scenarios and benchmarking data sets. Thus, both newcomers to the field and experts who want to widen their scope can gain (additional) insight into this research area and find starting points and pointers to more in-depth literature on specific issues and research directions in the field.}},
  author       = {{Clever, Lena and Pohl, Janina Susanne and Bossek, Jakob and Kerschke, Pascal and Trautmann, Heike}},
  issn         = {{2076-3417}},
  journal      = {{Applied Sciences}},
  keywords     = {{big data, data mining, data stream analysis, machine learning, stream classification, supervised learning}},
  number       = {{18}},
  pages        = {{9094}},
  publisher    = {{{Multidisciplinary Digital Publishing Institute}}},
  title        = {{{Process-Oriented Stream Classification Pipeline: A Literature Review}}},
  doi          = {{10.3390/app12189094}},
  volume       = {{12}},
  year         = {{2022}},
}

@inproceedings{48896,
  abstract     = {{Hardness of Multi-Objective (MO) continuous optimization problems results from an interplay of various problem characteristics, e. g. the degree of multi-modality. We present a benchmark study of classical and diversity focused optimizers on multi-modal MO problems based on automated algorithm configuration. We show the large effect of the latter and investigate the trade-off between convergence in objective space and diversity in decision space.}},
  author       = {{Rook, Jeroen and Trautmann, Heike and Bossek, Jakob and Grimme, Christian}},
  booktitle    = {{Proceedings of the Genetic and Evolutionary Computation Conference Companion}},
  isbn         = {{978-1-4503-9268-6}},
  keywords     = {{configuration, multi-modality, multi-objective optimization}},
  pages        = {{356–359}},
  publisher    = {{Association for Computing Machinery}},
  title        = {{{On the Potential of Automated Algorithm Configuration on Multi-Modal Multi-Objective Optimization Problems}}},
  doi          = {{10.1145/3520304.3528998}},
  year         = {{2022}},
}

@article{31057,
  abstract     = {{In this paper we give an overview over some aspects of the modern mathematical theory of Ruelle resonances for chaotic, i.e. uniformly hyperbolic, dynamical systems and their implications in physics. First we recall recent developments in the mathematical theory of resonances, in particular how invariant Ruelle distributions arise as residues of weighted zeta functions. Then we derive a correspondence between weighted and semiclassical zeta functions in the setting of negatively curved surfaces. Combining this with results of Hilgert, Guillarmou and Weich yields a high frequency interpretation of invariant Ruelle distributions as quantum mechanical matrix coefficients in constant negative curvature. We finish by presenting numerical calculations of phase space distributions in the more physical setting of 3-disk scattering systems.}},
  author       = {{Barkhofen, Sonja and Schütte, Philipp and Weich, Tobias}},
  journal      = {{Journal of Physics A: Mathematical and Theoretical}},
  number       = {{24}},
  publisher    = {{IOP Publishing Ltd}},
  title        = {{{Semiclassical formulae For Wigner distributions}}},
  doi          = {{10.1088/1751-8121/ac6d2b}},
  volume       = {{55}},
  year         = {{2022}},
}

@phdthesis{31363,
  abstract     = {{Vorgestellt wird ein Entwicklungsforschungsprojekt zur Konzeption und Durchführung einer Veranstaltung "Geometrie für Lehramtsstudierende". Die Schwerpunkte des Projekts sind zum einen die inhaltliche Gestaltung der Veranstaltung und zum anderen die Umsetzung von Professionsorientierung. Bezogen auf den inhaltlichen Aufbau wird das auf metrischen Räumen aufbauende Axiomensystem der "Saccheri-Ebene" vorgestellt und mit alternativen axiomatischen Zugängen zur ebenen Geometrie verglichen. Die Frage nach der Umsetzung von Professionsorientierung in Fachveranstaltungen ist eng mit der Problematik der zweiten Diskontinuität verbunden. In der Arbeit wird dieses Problem auf Grundlage der Synthese von theoretischen Hintergründen zur Bedeutung von mathematischem Wissen und Können für professionelle Handlungskompetenz von Mathematiklehrkräften diskutiert und darauf aufbauend werden theoriebasierte Entwurfsprinzipien für professionsorientierte Fachveranstaltungen entworfen. Zentrale Elemente der methodischen Gestaltung sind die sogenannten "Schnittstellenwochen" zu den Themen Kongruenz und Symmetrie sowie das begleitende Schnittstellen-ePortfolio. Das zentrale Ergebnis der Arbeit ist ein theoretisch fundiertes und empirisch evaluiertes ganzheitliches Veranstaltungskonzept für eine professionsorientierte Geometrie-Veranstaltung für Lehramtsstudierende, dessen Konzeption auf andere Fachveranstaltungen übertragbar ist. Darüber hinaus ergeben sich im Rahmen der durchgeführten Entwicklungsforschung verschiedene neue Beiträge zur Geometriedidaktik in Schule- und Hochschule.}},
  author       = {{Hoffmann, Max}},
  pages        = {{410}},
  title        = {{{Von der Axiomatik bis zur Schnittstellenaufgabe: Entwicklung und Erforschung eines ganzheitlichen Lehrkonzepts für eine Veranstaltung Geometrie für Lehramtsstudierende}}},
  doi          = {{10.17619/UNIPB/1-1313}},
  year         = {{2022}},
}

@article{35322,
  author       = {{Bux, Kai-Uwe and Hilgert, Joachim and Weich, Tobias}},
  issn         = {{1664-039X}},
  journal      = {{Journal of Spectral Theory}},
  keywords     = {{Geometry and Topology, Mathematical Physics, Statistical and Nonlinear Physics}},
  number       = {{2}},
  pages        = {{659--681}},
  publisher    = {{European Mathematical Society - EMS - Publishing House GmbH}},
  title        = {{{Poisson transforms for trees of bounded degree}}},
  doi          = {{10.4171/jst/414}},
  volume       = {{12}},
  year         = {{2022}},
}

@misc{51554,
  author       = {{Hilgert, Joachim}},
  booktitle    = {{Mathematische Semesterberichte}},
  pages        = {{151–153}},
  title        = {{{Ethan D. Bolker und Maura B. Mast: Common Sense Mathematics, Second Edition. AMS/MAA Press 2021}}},
  doi          = {{10.1007/s00591-021-00314-7}},
  volume       = {{69}},
  year         = {{2022}},
}

@article{52532,
  author       = {{Rodrigues, Agatha S. and Kerschke, Pascal and Pereira, Carlos Alberto De Bragança and Trautmann, Heike and Wagner, Carolin and Hellingrath, Bernd and Polpo, Adriano}},
  journal      = {{Comput. Stat.}},
  number       = {{1}},
  pages        = {{355–379}},
  title        = {{{Estimation of component reliability from superposed renewal processes by means of latent variables}}},
  doi          = {{10.1007/S00180-021-01124-0}},
  volume       = {{37}},
  year         = {{2022}},
}

@inproceedings{52850,
  abstract     = {{<jats:p>We report on our work with students in our data science courses, focusing on the analysis of students’ results. This study represents an in-depth analysis of students’ creation and documentation of machine learning models. The students were supported by educationally designed Jupyter Notebooks, which are used as worked examples. Using the worked example, students document their results in a so-called computational essay. We examine which aspects of creating computational essays are difficult for students to find out how worked examples should be designed to support students without being too prescriptive. We analyze the computational essays produced by students and draw consequences for redesigning our worked example.</jats:p>}},
  author       = {{Fleischer, Yannik and Hüsing, Sven and Biehler, Rolf and Podworny, Susanne and Schulte, Carsten}},
  booktitle    = {{Bridging the Gap: Empowering and Educating Today’s Learners in Statistics. Proceedings of the Eleventh International Conference on Teaching Statistics}},
  publisher    = {{International Association for Statistical Education}},
  title        = {{{Jupyter Notebooks for Teaching, Learning, and Doing Data Science}}},
  doi          = {{10.52041/iase.icots11.t10e3}},
  year         = {{2022}},
}

@article{52862,
  author       = {{Turhan, Anni-Yasmin}},
  issn         = {{0933-1875}},
  journal      = {{KI - Künstliche Intelligenz}},
  keywords     = {{Artificial Intelligence}},
  number       = {{1}},
  pages        = {{1--4}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{A Double Take at Conferences: The Hybrid Format}}},
  doi          = {{10.1007/s13218-022-00758-6}},
  volume       = {{36}},
  year         = {{2022}},
}

@inproceedings{52923,
  author       = {{de Camargo e Souza Câmara, Igor and Turhan, Anni-Yasmin}},
  booktitle    = {{Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022}},
  editor       = {{Arieli, Ofer and Casini, Giovanni and Giordano, Laura}},
  pages        = {{159–162}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI\(\perp\)}}},
  volume       = {{3197}},
  year         = {{2022}},
}

@proceedings{52925,
  editor       = {{Governatori, Guido and Turhan, Anni-Yasmin}},
  isbn         = {{978-3-031-21540-7}},
  publisher    = {{Springer}},
  title        = {{{Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}}},
  doi          = {{10.1007/978-3-031-21541-4}},
  volume       = {{13752}},
  year         = {{2022}},
}

@inproceedings{52851,
  abstract     = {{<jats:p>We report on our work with students in our data science courses, focusing on the analysis of students’ results. This study represents an in-depth analysis of students’ creation and documentation of machine learning models. The students were supported by educationally designed Jupyter Notebooks, which are used as worked examples. Using the worked example, students document their results in a so-called computational essay. We examine which aspects of creating computational essays are difficult for students to find out how worked examples should be designed to support students without being too prescriptive. We analyze the computational essays produced by students and draw consequences for redesigning our worked example.</jats:p>}},
  author       = {{Fleischer, Yannik and Hüsing, Sven and Biehler, Rolf and Podworny, Susanne and Schulte, Carsten}},
  booktitle    = {{Bridging the Gap: Empowering and Educating Today’s Learners in Statistics. Proceedings of the Eleventh International Conference on Teaching Statistics}},
  publisher    = {{International Association for Statistical Education}},
  title        = {{{Jupyter Notebooks for Teaching, Learning, and Doing Data Science}}},
  doi          = {{10.52041/iase.icots11.t10e3}},
  year         = {{2022}},
}

@inproceedings{32572,
  author       = {{Mayer, Peter and Poddebniak, Damian and Fischer, Konstantin and Brinkmann, Marcus and Somorovsky, Juraj and Sasse, Angela and Schinzel, Sebastian and Volkamer, Melanie}},
  booktitle    = {{Eighteenth Symposium on Usable Privacy and Security (SOUPS 2022)}},
  isbn         = {{978-1-939133-30-4}},
  pages        = {{77–96}},
  publisher    = {{USENIX Association}},
  title        = {{{"I don' know why I check this..." - Investigating Expert Users' Strategies to Detect Email Signature Spoofing Attacks}}},
  year         = {{2022}},
}

@inproceedings{32573,
  author       = {{Maehren, Marcel and Nieting, Philipp and Hebrok, Sven Niclas and Merget, Robert and Somorovsky, Juraj and Schwenk, Jörg}},
  booktitle    = {{31st USENIX Security Symposium (USENIX Security 22)}},
  publisher    = {{USENIX Association}},
  title        = {{{TLS-Anvil: Adapting Combinatorial Testing for TLS Libraries}}},
  year         = {{2022}},
}

@article{45970,
  abstract     = {{<jats:p> We introduce a new phase field model for tumor growth where viscoelastic effects are taken into account. The model is derived from basic thermodynamical principles and consists of a convected Cahn–Hilliard equation with source terms for the tumor cells and a convected reaction–diffusion equation with boundary supply for the nutrient. Chemotactic terms, which are essential for the invasive behavior of tumors, are taken into account. The model is completed by a viscoelastic system consisting of the Navier–Stokes equation for the hydrodynamic quantities, and a general constitutive equation with stress relaxation for the left Cauchy–Green tensor associated with the elastic part of the total mechanical response of the viscoelastic material. For a specific choice of the elastic energy density and with an additional dissipative term accounting for stress diffusion, we prove existence of global-in-time weak solutions of the viscoelastic model for tumor growth in two space dimensions [Formula: see text] by the passage to the limit in a fully-discrete finite element scheme where a CFL condition, i.e. [Formula: see text], is required. </jats:p><jats:p> Moreover, in arbitrary dimensions [Formula: see text], we show stability and existence of solutions for the fully-discrete finite element scheme, where positive definiteness of the discrete Cauchy–Green tensor is proved with a regularization technique that was first introduced by Barrett and Boyaval [Existence and approximation of a (regularized) Oldroyd-B model, Math. Models Methods Appl. Sci. 21 (2011) 1783–1837]. After that, we improve the regularity results in arbitrary dimensions [Formula: see text] and in two dimensions [Formula: see text], where a CFL condition is required. Then, in two dimensions [Formula: see text], we pass to the limit in the discretization parameters and show that subsequences of discrete solutions converge to a global-in-time weak solution. Finally, we present numerical results in two dimensions [Formula: see text]. </jats:p>}},
  author       = {{Garcke, Harald and Kovács, Balázs and Trautwein, Dennis}},
  issn         = {{0218-2025}},
  journal      = {{Mathematical Models and Methods in Applied Sciences}},
  keywords     = {{Applied Mathematics, Modeling and Simulation}},
  number       = {{13}},
  pages        = {{2673--2758}},
  publisher    = {{World Scientific Pub Co Pte Ltd}},
  title        = {{{Viscoelastic Cahn–Hilliard models for tumor growth}}},
  doi          = {{10.1142/s0218202522500634}},
  volume       = {{32}},
  year         = {{2022}},
}

@article{45969,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>An evolving surface finite element discretisation is analysed for the evolution of a closed two-dimensional surface governed by a system coupling a generalised forced mean curvature flow and a reaction–diffusion process on the surface, inspired by a gradient flow of a coupled energy. Two algorithms are proposed, both based on a system coupling the diffusion equation to evolution equations for geometric quantities in the velocity law for the surface. One of the numerical methods is proved to be convergent in the<jats:inline-formula><jats:alternatives><jats:tex-math>$$H^1$$</jats:tex-math><mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:msup><mml:mi>H</mml:mi><mml:mn>1</mml:mn></mml:msup></mml:math></jats:alternatives></jats:inline-formula>norm with optimal-order for finite elements of degree at least two. We present numerical experiments illustrating the convergence behaviour and demonstrating the qualitative properties of the flow: preservation of mean convexity, loss of convexity, weak maximum principles, and the occurrence of self-intersections.</jats:p>}},
  author       = {{Elliott, Charles M. and Garcke, Harald and Kovács, Balázs}},
  issn         = {{0029-599X}},
  journal      = {{Numerische Mathematik}},
  keywords     = {{Applied Mathematics, Computational Mathematics}},
  number       = {{4}},
  pages        = {{873--925}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Numerical analysis for the interaction of mean curvature flow and diffusion on closed surfaces}}},
  doi          = {{10.1007/s00211-022-01301-3}},
  volume       = {{151}},
  year         = {{2022}},
}

@article{45963,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>The scattering of electromagnetic waves from obstacles with wave-material interaction in thin layers on the surface is described by generalized impedance boundary conditions, which provide effective approximate models. In particular, this includes a thin coating around a perfect conductor and the skin effect of a highly conducting material. The approach taken in this work is to derive, analyse and discretize a system of time-dependent boundary integral equations that determines the tangential traces of the scattered electric and magnetic fields. In a familiar second step, the fields are evaluated in the exterior domain by a representation formula, which uses the time-dependent potential operators of Maxwell’s equations. The time-dependent boundary integral equation is discretized with Runge–Kutta based convolution quadrature in time and Raviart–Thomas boundary elements in space. Using the frequency-explicit bounds from the well-posedness analysis given here together with known approximation properties of the numerical methods, the full discretization is proved to be stable and convergent, with explicitly given rates in the case of sufficient regularity. Taking the same Runge–Kutta based convolution quadrature for discretizing the time-dependent representation formulas, the optimal order of convergence is obtained away from the scattering boundary, whereas an order reduction occurs close to the boundary. The theoretical results are illustrated by numerical experiments.</jats:p>}},
  author       = {{Nick, Jörg and Kovács, Balázs and Lubich, Christian}},
  issn         = {{0029-599X}},
  journal      = {{Numerische Mathematik}},
  keywords     = {{Applied Mathematics, Computational Mathematics}},
  number       = {{4}},
  pages        = {{1123--1164}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Time-dependent electromagnetic scattering from thin layers}}},
  doi          = {{10.1007/s00211-022-01277-0}},
  volume       = {{150}},
  year         = {{2022}},
}

@article{45964,
  abstract     = {{<jats:title>Abstract</jats:title>
               <jats:p>Maximal parabolic $L^p$-regularity of linear parabolic equations on an evolving surface is shown by pulling back the problem to the initial surface and studying the maximal $L^p$-regularity on a fixed surface. By freezing the coefficients in the parabolic equations at a fixed time and utilizing a perturbation argument around the freezed time, it is shown that backward difference time discretizations of linear parabolic equations on an evolving surface along characteristic trajectories can preserve maximal $L^p$-regularity in the discrete setting. The result is applied to prove the stability and convergence of time discretizations of nonlinear parabolic equations on an evolving surface, with linearly implicit backward differentiation formulae characteristic trajectories of the surface, for general locally Lipschitz nonlinearities. The discrete maximal $L^p$-regularity is used to prove the boundedness and stability of numerical solutions in the $L^\infty (0,T;W^{1,\infty })$ norm, which is used to bound the nonlinear terms in the stability analysis. Optimal-order error estimates of time discretizations in the $L^\infty (0,T;W^{1,\infty })$ norm is obtained by combining the stability analysis with the consistency estimates.</jats:p>}},
  author       = {{Kovács, Balázs and Li, Buyang}},
  issn         = {{0272-4979}},
  journal      = {{IMA Journal of Numerical Analysis}},
  keywords     = {{Applied Mathematics, Computational Mathematics, General Mathematics}},
  publisher    = {{Oxford University Press (OUP)}},
  title        = {{{Maximal regularity of backward difference time discretization for evolving surface PDEs and its application to nonlinear problems}}},
  doi          = {{10.1093/imanum/drac033}},
  year         = {{2022}},
}

@article{45966,
  abstract     = {{<jats:title>Abstract</jats:title>
               <jats:p>This paper studies bulk–surface splitting methods of first order for (semilinear) parabolic partial differential equations with dynamic boundary conditions. The proposed Lie splitting scheme is based on a reformulation of the problem as a coupled partial differential–algebraic equation system, i.e., the boundary conditions are considered as a second dynamic equation that is coupled to the bulk problem. The splitting approach is combined with bulk–surface finite elements and an implicit Euler discretization of the two subsystems. We prove first-order convergence of the resulting fully discrete scheme in the presence of a weak CFL condition of the form $\tau \leqslant c h$ for some constant $c&amp;gt;0$. The convergence is also illustrated numerically using dynamic boundary conditions of Allen–Cahn type.</jats:p>}},
  author       = {{Altmann, Robert and Kovács, Balázs and Zimmer, Christoph}},
  issn         = {{0272-4979}},
  journal      = {{IMA Journal of Numerical Analysis}},
  keywords     = {{Applied Mathematics, Computational Mathematics, General Mathematics}},
  number       = {{2}},
  pages        = {{950--975}},
  publisher    = {{Oxford University Press (OUP)}},
  title        = {{{Bulk–surface Lie splitting for parabolic problems with dynamic boundary conditions}}},
  doi          = {{10.1093/imanum/drac002}},
  volume       = {{43}},
  year         = {{2022}},
}