@article{47562,
  author       = {{Herrmann, Felix and Grünewald, Marcus and Meijer, Tobias and Gardemann, Ulrich and Feierabend, Lukas and Riese, Julia}},
  issn         = {{0009-2509}},
  journal      = {{Chemical Engineering Science}},
  keywords     = {{Applied Mathematics, Industrial and Manufacturing Engineering, General Chemical Engineering, General Chemistry}},
  publisher    = {{Elsevier BV}},
  title        = {{{Operating window and flexibility of a lab-scale methanation plant}}},
  doi          = {{10.1016/j.ces.2022.117632}},
  volume       = {{254}},
  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}},
}

@article{45968,
  abstract     = {{<jats:title>Abstract</jats:title>
               <jats:p>We derive a numerical method, based on operator splitting, to abstract parabolic semilinear boundary coupled systems. The method decouples the linear components that describe the coupling and the dynamics in the abstract bulk- and surface-spaces, and treats the nonlinear terms similarly to an exponential integrator. The convergence proof is based on estimates for a recursive formulation of the error, using the parabolic smoothing property of analytic semigroups, and a careful comparison of the exact and approximate flows. This analysis also requires a deep understanding of the effects of the Dirichlet operator (the abstract version of the harmonic extension operator), which is essential for the stable coupling in our method. Numerical experiments, including problems with dynamic boundary conditions, reporting on convergence rates are presented.</jats:p>}},
  author       = {{Csomós, Petra and Farkas, Bálint and Kovács, Balázs}},
  issn         = {{0272-4979}},
  journal      = {{IMA Journal of Numerical Analysis}},
  keywords     = {{Applied Mathematics, Computational Mathematics, General Mathematics}},
  publisher    = {{Oxford University Press (OUP)}},
  title        = {{{Error estimates for a splitting integrator for abstract semilinear boundary coupled systems}}},
  doi          = {{10.1093/imanum/drac079}},
  year         = {{2022}},
}

@article{45958,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>In this paper, we consider a non-linear fourth-order evolution equation of Cahn–Hilliard-type on evolving surfaces with prescribed velocity, where the non-linear terms are only assumed to have locally Lipschitz derivatives. High-order evolving surface finite elements are used to discretise the weak equation system in space, and a modified matrix–vector formulation for the semi-discrete problem is derived. The anti-symmetric structure of the equation system is preserved by the spatial discretisation. A new stability proof, based on this structure, combined with consistency bounds proves optimal-order and uniform-in-time error estimates. The paper is concluded by a variety of numerical experiments.</jats:p>}},
  author       = {{Beschle, Cedric Aaron and Kovács, Balázs}},
  issn         = {{0029-599X}},
  journal      = {{Numerische Mathematik}},
  keywords     = {{Applied Mathematics, Computational Mathematics}},
  number       = {{1}},
  pages        = {{1--48}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Stability and error estimates for non-linear Cahn–Hilliard-type equations on evolving surfaces}}},
  doi          = {{10.1007/s00211-022-01280-5}},
  volume       = {{151}},
  year         = {{2022}},
}

@article{45956,
  abstract     = {{<jats:title>Abstract</jats:title>
               <jats:p>The full Maxwell equations in the unbounded three-dimensional space coupled to the Landau–Lifshitz–Gilbert equation serve as a well-tested model for ferromagnetic materials.
We propose a weak formulation of the coupled system based on the boundary integral formulation of the exterior Maxwell equations.
We show existence and partial uniqueness of a weak solution and propose a new numerical algorithm based on finite elements and boundary elements as spatial discretization with backward Euler and convolution quadrature for the time domain.
This is the first numerical algorithm which is able to deal with the coupled system of Landau–Lifshitz–Gilbert equation and full Maxwell’s equations without any simplifications like quasi-static approximations (e.g. eddy current model) and without restrictions on the shape of the domain (e.g. convexity).
We show well-posedness and convergence of the numerical algorithm under minimal assumptions on the regularity of the solution.
This is particularly important as there are few regularity results available and one generally expects the solution to be non-smooth.
Numerical experiments illustrate and expand on the theoretical results.</jats:p>}},
  author       = {{Bohn, Jan and Feischl, Michael and Kovács, Balázs}},
  issn         = {{1609-4840}},
  journal      = {{Computational Methods in Applied Mathematics}},
  keywords     = {{Applied Mathematics, Computational Mathematics, Numerical Analysis}},
  number       = {{1}},
  pages        = {{19--48}},
  publisher    = {{Walter de Gruyter GmbH}},
  title        = {{{FEM-BEM Coupling for the Maxwell–Landau–Lifshitz–Gilbert Equations via Convolution Quadrature: Weak Form and Numerical Approximation}}},
  doi          = {{10.1515/cmam-2022-0145}},
  volume       = {{23}},
  year         = {{2022}},
}

@article{53319,
  abstract     = {{<jats:title>Abstract</jats:title>
               <jats:p>The Neumann problem for (0.1)$$ \begin{align}&amp; V_t = \Delta V-aV+f(x,t) \end{align}$$is considered in bounded domains $\Omega \subset {\mathbb {R}}^n$ with smooth boundary, where $n\ge 1$ and $a\in {\mathbb {R}}$. By means of a variational approach, a statement on boundedness of the quantities $$ \begin{eqnarray*} \sup_{t\in (0,T)} \int_\Omega \big|\nabla V(\cdot,t)\big|^p L^{\frac{n+p}{n+2}} \Big( \big|\nabla V(\cdot,t)\big| \Big) \end{eqnarray*}$$in dependence on the expressions (0.2)$$ \begin{align}&amp; \sup_{t\in (0,T-\tau)} \int_t^{t+\tau} \int_\Omega |f|^{\frac{(n+2)p}{n+p}} L\big( |f|\big) \end{align}$$is derived for $p\ge 2$, $\tau&amp;gt;0$, and $T\ge 2\tau $, provided that $L\in C^0([0,\infty ))$ is positive, strictly increasing, unbounded, and slowly growing in the sense that $\limsup _{s\to \infty } \frac {L(s^{\lambda _0})}{L(s)} &amp;lt;\infty $ for some $\lambda _0&amp;gt;1$. In the particular case when $p=n\ge 2$, an additional condition on growth of $L$, particularly satisfied by $L(\xi ):=\ln ^\alpha (\xi +b)$ whenever $b&amp;gt;0$ and $\alpha&amp;gt;\frac {(n+2)(n-1)}{2n}$, is identified as sufficient to ensure that as a consequence of the above, bounds for theintegrals in (0.2) even imply estimates for the spatio-temporal modulus of continuity of solutions to (0.1). A subsequent application to the Keller–Segel system $$ \begin{eqnarray*} \left\{ \begin{array}{l} u_t = \nabla \cdot \big( D(v)\nabla u\big) - \nabla \cdot \big( uS(v)\nabla v\big) + ru - \mu u^2, \\[1mm] v_t = \Delta v-v+u, \end{array} \right. \end{eqnarray*}$$shows that when $n=2$, $r\in {\mathbb {R}}$, $0&amp;lt;D\in C^2([0,\infty ))$, and $S\in C^2([0,\infty )) \cap W^{1,\infty }((0,\infty ))$ and thus especially in the presence of arbitrarily strong diffusion degeneracies implied by rapid decay of $D$, any choice of $\mu&amp;gt;0$ excludes blowup in the sense that for all suitably regular nonnegative initial data, an associated initial-boundary value problem admits a global bounded classical solution.</jats:p>}},
  author       = {{Winkler, Michael}},
  issn         = {{1073-7928}},
  journal      = {{International Mathematics Research Notices}},
  keywords     = {{General Mathematics}},
  number       = {{19}},
  pages        = {{16336--16393}},
  publisher    = {{Oxford University Press (OUP)}},
  title        = {{{A Result on Parabolic Gradient Regularity in Orlicz Spaces and Application to Absorption-Induced Blow-Up Prevention in a Keller–Segel-Type Cross-Diffusion System}}},
  doi          = {{10.1093/imrn/rnac286}},
  volume       = {{2023}},
  year         = {{2022}},
}

@article{53321,
  abstract     = {{<jats:p> The chemotaxis system [Formula: see text] is considered in a ball [Formula: see text], [Formula: see text], where the positive function [Formula: see text] reflects suitably weak diffusion by satisfying [Formula: see text] for some [Formula: see text]. It is shown that whenever [Formula: see text] is positive and satisfies [Formula: see text] as [Formula: see text], one can find a suitably regular nonlinearity [Formula: see text] with the property that at each sufficiently large mass level [Formula: see text] there exists a globally defined radially symmetric classical solution to a Neumann-type boundary value problem for (⋆) which satisfies [Formula: see text] </jats:p>}},
  author       = {{Winkler, Michael}},
  issn         = {{0219-1997}},
  journal      = {{Communications in Contemporary Mathematics}},
  keywords     = {{Applied Mathematics, General Mathematics}},
  number       = {{10}},
  publisher    = {{World Scientific Pub Co Pte Ltd}},
  title        = {{{Arbitrarily fast grow-up rates in quasilinear Keller–Segel systems}}},
  doi          = {{10.1142/s0219199722500626}},
  volume       = {{25}},
  year         = {{2022}},
}

@article{53327,
  author       = {{Tao, Youshan and Winkler, Michael}},
  issn         = {{0022-0396}},
  journal      = {{Journal of Differential Equations}},
  keywords     = {{Analysis, Applied Mathematics}},
  pages        = {{390--418}},
  publisher    = {{Elsevier BV}},
  title        = {{{Global solutions to a Keller-Segel-consumption system involving singularly signal-dependent motilities in domains of arbitrary dimension}}},
  doi          = {{10.1016/j.jde.2022.10.022}},
  volume       = {{343}},
  year         = {{2022}},
}

@article{53325,
  author       = {{Desvillettes, Laurent and Laurençot, Philippe and Trescases, Ariane and Winkler, Michael}},
  issn         = {{0362-546X}},
  journal      = {{Nonlinear Analysis}},
  keywords     = {{Applied Mathematics, Analysis}},
  publisher    = {{Elsevier BV}},
  title        = {{{Weak solutions to triangular cross diffusion systems modeling chemotaxis with local sensing}}},
  doi          = {{10.1016/j.na.2022.113153}},
  volume       = {{226}},
  year         = {{2022}},
}

@article{53331,
  abstract     = {{<jats:p>In a ball <jats:inline-formula><jats:alternatives><jats:tex-math>$\Omega \subset \mathbb {R}^{n}$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline1.png" /></jats:alternatives></jats:inline-formula> with <jats:inline-formula><jats:alternatives><jats:tex-math>$n\ge 2$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline2.png" /></jats:alternatives></jats:inline-formula>, the chemotaxis system
<jats:disp-formula><jats:alternatives><jats:tex-math>\[ \left\{ \begin{array}{@{}l} u_t = \nabla \cdot \big( D(u)\nabla u\big) + \nabla\cdot \big(\dfrac{u}{v} \nabla v\big), \\ 0=\Delta v - uv \end{array} \right. \]</jats:tex-math><jats:graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" mimetype="image" position="float" xlink:href="S0308210522000397_eqnU1.png" /></jats:alternatives></jats:disp-formula>is considered along with no-flux boundary conditions for <jats:inline-formula><jats:alternatives><jats:tex-math>$u$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline3.png" /></jats:alternatives></jats:inline-formula> and with prescribed constant positive Dirichlet boundary data for <jats:inline-formula><jats:alternatives><jats:tex-math>$v$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline4.png" /></jats:alternatives></jats:inline-formula>. It is shown that if <jats:inline-formula><jats:alternatives><jats:tex-math>$D\in C^{3}([0,\infty ))$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline5.png" /></jats:alternatives></jats:inline-formula> is such that <jats:inline-formula><jats:alternatives><jats:tex-math>$0&lt; D(\xi ) \le {K_D} (\xi +1)^{-\alpha }$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline6.png" /></jats:alternatives></jats:inline-formula> for all <jats:inline-formula><jats:alternatives><jats:tex-math>$\xi &gt;0$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline7.png" /></jats:alternatives></jats:inline-formula> with some <jats:inline-formula><jats:alternatives><jats:tex-math>${K_D}&gt;0$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline8.png" /></jats:alternatives></jats:inline-formula> and <jats:inline-formula><jats:alternatives><jats:tex-math>$\alpha &gt;0$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline9.png" /></jats:alternatives></jats:inline-formula>, then for all initial data from a considerably large set of radial functions on <jats:inline-formula><jats:alternatives><jats:tex-math>$\Omega$</jats:tex-math><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S0308210522000397_inline10.png" /></jats:alternatives></jats:inline-formula>, the corresponding initial-boundary value problem admits a solution blowing up in finite time.</jats:p>}},
  author       = {{Wang, Yulan and Winkler, Michael}},
  issn         = {{0308-2105}},
  journal      = {{Proceedings of the Royal Society of Edinburgh: Section A Mathematics}},
  keywords     = {{General Mathematics}},
  number       = {{4}},
  pages        = {{1150--1166}},
  publisher    = {{Cambridge University Press (CUP)}},
  title        = {{{Finite-time blow-up in a repulsive chemotaxis-consumption system}}},
  doi          = {{10.1017/prm.2022.39}},
  volume       = {{153}},
  year         = {{2022}},
}

@article{53344,
  abstract     = {{<jats:p> A no-flux initial-boundary value problem for the cross-diffusion system [Formula: see text] is considered in smoothly bounded domains [Formula: see text] with [Formula: see text]. It is shown that whenever [Formula: see text] is positive on [Formula: see text] and such that [Formula: see text] for some [Formula: see text], for all suitably regular positive initial data a global very weak solution, particularly preserving mass in its first component, can be constructed. This extends previous results which either concentrate on non-degenerate analogs, or are restricted to the special case [Formula: see text]. </jats:p><jats:p> To appropriately cope with the considerably stronger cross-degeneracies thus allowed through [Formula: see text] when [Formula: see text] is large, in its core part the analysis relies on the use of the Moser–Trudinger inequality in controlling the respective diffusion rates [Formula: see text] from below. </jats:p>}},
  author       = {{Winkler, Michael}},
  issn         = {{1664-3607}},
  journal      = {{Bulletin of Mathematical Sciences}},
  keywords     = {{General Mathematics}},
  number       = {{02}},
  publisher    = {{World Scientific Pub Co Pte Ltd}},
  title        = {{{Application of the Moser–Trudinger inequality in the construction of global solutions to a strongly degenerate migration model}}},
  doi          = {{10.1142/s1664360722500126}},
  volume       = {{13}},
  year         = {{2022}},
}

@article{44689,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>Even in the digital age, learning mathematics at an academic level still requires much reading of mathematical text. Research has shown that reading mathematical text requires readers to engage with all the structures of the book and with its pedagogical voice, making connections, and plausible reasoning. Specific practices and strategies that support the close reading of mathematical text have been suggested; however, descriptions and empirical evaluations of materials designed to support these activities are rare. We present the design and first evaluation cycle of materials developed in a design research project that aims to scaffold close reading of mathematical text. The materials were designed and evaluated in a German university course on elementary geometry for first-year teacher education students who study mathematics to become primary teachers. The reading strategies were explained and modeled for students in reading-strategy videos. Additionally, close reading of mathematical text was scaffolded by close-reading tasks and homework tasks and problems that build on the reading strategies and were specifically designed to foster understanding of the mathematical text. Survey data were collected from 296 students to evaluate their use of and attitude toward the different materials. The quantitative results indicate that students used the materials and were generally able to learn the course content by themselves. From all provided materials, they found the close-reading tasks most helpful. A qualitative analysis of answers to open questions revealed issues with different materials, particularly with the script, and requests for additional materials. The issues with the script were categorized inductively. The categories are presented as a qualitative result of the study and discussed.</jats:p>}},
  author       = {{Rezat, Sebastian and Malik, Sara Naseem and Leifeld, Markus}},
  issn         = {{1571-0068}},
  journal      = {{International Journal of Science and Mathematics Education}},
  keywords     = {{General Mathematics, Education}},
  number       = {{S1}},
  pages        = {{215--236}},
  publisher    = {{Springer}},
  title        = {{{Scaffolding Close Reading of Mathematical Text in Pre-service Primary Teacher Education at the Tertiary Level: Design and Evaluation}}},
  doi          = {{10.1007/s10763-022-10309-y}},
  volume       = {{20}},
  year         = {{2022}},
}

@article{35685,
  author       = {{Liebendörfer, Michael and Göller, Robin and Gildehaus, Lara and Kortemeyer, Jörg and Biehler, Rolf and Hochmuth, Reinhard and Ostsieker, Laura and Rode, Jana and Schaper, Niclas}},
  issn         = {{0020-739X}},
  journal      = {{International Journal of Mathematical Education in Science and Technology}},
  keywords     = {{Applied Mathematics, Education, Mathematics (miscellaneous)}},
  number       = {{5}},
  pages        = {{1133--1152}},
  publisher    = {{Informa UK Limited}},
  title        = {{{The role of learning strategies for performance in mathematics courses for engineers}}},
  doi          = {{10.1080/0020739x.2021.2023772}},
  volume       = {{53}},
  year         = {{2022}},
}

@article{45849,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>Dependence Logic was introduced by Jouko Väänänen in 2007. We study a propositional variant of this logic<jats:italic>(PDL)</jats:italic>and investigate a variety of parameterisations with respect to central decision problems. The model checking problem (MC) of<jats:italic>PDL</jats:italic>is<jats:bold>NP</jats:bold>-complete (Ebbing and Lohmann, SOFSEM 2012). The subject of this research is to identify a list of parameterisations (formula-size, formula-depth, treewidth, team-size, number of variables) under which MC becomes fixed-parameter tractable. Furthermore, we show that the number of disjunctions or the arity of dependence atoms (dep-arity) as a parameter both yield a paraNP-completeness result. Then, we consider the satisfiability problem (SAT) which classically is known to be<jats:bold>NP</jats:bold>-complete as well (Lohmann and Vollmer, Studia Logica 2013). There we are presenting a different picture: under team-size, or dep-arity SAT is<jats:bold>paraNP</jats:bold>-complete whereas under all other mentioned parameters the problem is<jats:bold>FPT</jats:bold>. Finally, we introduce a variant of the satisfiability problem, asking for a team of a given size, and show for this problem an almost complete picture.</jats:p>}},
  author       = {{Mahmood, Yasir and Meier, Arne}},
  issn         = {{1012-2443}},
  journal      = {{Annals of Mathematics and Artificial Intelligence}},
  keywords     = {{Applied Mathematics, Artificial Intelligence}},
  number       = {{2-3}},
  pages        = {{271--296}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Parameterised complexity of model checking and satisfiability in propositional dependence logic}}},
  doi          = {{10.1007/s10472-021-09730-w}},
  volume       = {{90}},
  year         = {{2022}},
}

@article{34264,
  abstract     = {{In industrial x-ray computed tomography (CT), the application of more complex scan paths in comparison to the typical circular trajectory (${360}^{\circ}$ rotation of the measurement object) can extend the potential of CT. One way to enable such 3D scan trajectories is to use a 6-degrees-of-freedom (DOF) object manipulator system. In our case, a hexapod is mounted on top of the rotary table of a commercial CT scanner. This allows for adaptive tilting of the measurement object during the scan. For high accuracy, the geometry calibration of such setups is typically done using the x-ray projections of a calibrated multi-sphere object. Contrary to this, here, we demonstrate a procedure that is based on only a single sphere and can therefore experimentally be implemented with low effort. Using the intrinsic geometry parameters of the CT device as prior information, the hexapod coordinate system with respect to the CT machine coordinate system is determined by means of a one-step optimization approach. The resulting parameters are used to calculate projection matrices that enable the volume reconstruction for 3D scan trajectories. The method is validated using simulated x-ray images and experimental investigations including dimensional measurements. For the used setup, geometric measurement results for 3D scan trajectories that are calibrated with the presented method show in sum increased errors compared to the circular scans. A limited pose accuracy of the manipulator system is discussed as a potential cause. The results nevertheless indicate that the presented method is generally feasible for dimensional CT measurements provided that the pose accuracy is sufficient. The calibration procedure can therefore be a low-cost and easier to implement alternative compared to trajectory calibration methods based on multi-sphere objects, but with a tendency towards lower measurement accuracy. The methodology can in principle be transferred to different setups with 6-DOF manipulator systems, e.g. C-arm CT devices with a robot arm.}},
  author       = {{Butzhammer, Lorenz and Müller, Andreas Michael and Hausotte, Tino}},
  issn         = {{0957-0233}},
  journal      = {{Measurement Science and Technology}},
  keywords     = {{Applied Mathematics, Instrumentation, Engineering (miscellaneous)}},
  number       = {{1}},
  publisher    = {{IOP Publishing}},
  title        = {{{Calibration of 3D scan trajectories for an industrial computed tomography setup with 6-DOF object manipulator system using a single sphere}}},
  doi          = {{10.1088/1361-6501/ac9856}},
  volume       = {{34}},
  year         = {{2022}},
}

@article{35206,
  author       = {{Bonnard, Bernard and Rouot, Jérémy and Wembe Moafo, Boris Edgar}},
  issn         = {{2156-8472}},
  journal      = {{Mathematical Control and Related Fields}},
  keywords     = {{Applied Mathematics, Control and Optimization, General Medicine}},
  pages        = {{0--0}},
  publisher    = {{American Institute of Mathematical Sciences (AIMS)}},
  title        = {{{Accessibility properties of abnormal geodesics in optimal control illustrated by two case studies}}},
  doi          = {{10.3934/mcrf.2022052}},
  year         = {{2022}},
}

