@article{45849, abstract = {{AbstractDependence Logic was introduced by Jouko Väänänen in 2007. We study a propositional variant of this logic(PDL)and investigate a variety of parameterisations with respect to central decision problems. The model checking problem (MC) ofPDLisNP-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 beNP-complete as well (Lohmann and Vollmer, Studia Logica 2013). There we are presenting a different picture: under team-size, or dep-arity SAT isparaNP-complete whereas under all other mentioned parameters the problem isFPT. 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.}}, 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 = {{2021}}, } @inproceedings{45846, author = {{Kontinen, Juha and Meier, Arne and Mahmood, Yasir}}, booktitle = {{Logical Foundations of Computer Science}}, isbn = {{9783030930998}}, issn = {{0302-9743}}, publisher = {{Springer International Publishing}}, title = {{{A Parameterized View on the Complexity of Dependence Logic}}}, doi = {{10.1007/978-3-030-93100-1_9}}, year = {{2021}}, } @article{45640, abstract = {{I study a dynamic variant of the Dixit–Stiglitz (Am Econ Rev 67(3), 1977) model of monopolistic competition by introducing price stickiness à la Fershtman and Kamien (Econometrica 55(5), 1987). The analysis is restricted to bounded quantity and price paths that fulfill the necessary conditions for an open-loop Nash equilibrium. I show that there exists a symmetric steady state and that its stability depends on the degree of product differentiation. When moving from complements to perfect substitutes, the steady state is either a locally asymptotically unstable (spiral) source, a stable (spiral) sink or a saddle point. I further apply the Hopf bifurcation theorem and prove the existence of limit cycles, when passing from a stable to an unstable steady state. Lastly, I provide a numerical example and show that there exists a stable limit cycle.}}, author = {{Hoof, Simon}}, issn = {{1573-2878}}, journal = {{Journal of Optimization Theory and Applications}}, number = {{2}}, publisher = {{Springer}}, title = {{{Dynamic Monopolistic Competition}}}, volume = {{189}}, year = {{2021}}, } @techreport{45616, abstract = {{Aggregation metrics in reputation systems are important for overcoming information overload. When using these metrics, technical aggregation functions such as the arithmetic mean are implemented to measure the valence of product ratings. However, it is unclear whether the implemented aggregation functions match the inherent aggregation patterns of customers. In our experiment, we elicit customers' aggregation heuristics and contrast these with reference functions. Our findings indicate that, overall, the arithmetic mean performs best in comparison with other aggregation functions. However, our analysis on an individual level reveals heterogeneous aggregation patterns. Major clusters exhibit a binary bias (i.e., an over-weighting of moderate ratings and under-weighting of extreme ratings) in combination with the arithmetic mean. Minor clusters focus on 1-star ratings or negative (i.e., 1-star and 2-star) ratings. Thereby, inherent aggregation patterns are neither affected by variation of provided information nor by individual characteristics such as experience, risk attitudes, or demographics.}}, author = {{van Straaten, Dirk and Melnikov, Vitalik and Hüllermeier, Eyke and Mir Djawadi, Behnud and Fahr, René}}, title = {{{Accounting for Heuristics in Reputation Systems: An Interdisciplinary Approach on Aggregation Processes}}}, volume = {{72}}, year = {{2021}}, } @techreport{45617, author = {{van Straaten, Dirk}}, title = {{{Incentive Schemes in Customer Rating Systems - Comparing the Effects of Unconditional and Conditional Rebates on Intrinsic Motivation}}}, volume = {{71}}, year = {{2021}}, } @techreport{45618, author = {{van Straaten, Dirk and Fahr, René}}, title = {{{Fighting Fire with Fire - Overcoming Ambiguity Aversion by Introducing more Ambiguity}}}, volume = {{73}}, year = {{2021}}, } @misc{45788, author = {{Bülling, Jonas}}, title = {{{Political Speaker Transfer: Learning to Generate Text in the Styles of Barack Obama and Donald Trump}}}, year = {{2021}}, } @misc{45787, author = {{Mishra, Avishek}}, title = {{{Computational Text Professionalization using Neural Sequence-to-Sequence Models}}}, year = {{2021}}, } @inproceedings{30909, author = {{Clausing, Lennart}}, booktitle = {{Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies}}, publisher = {{ACM}}, title = {{{ReconOS64: High-Performance Embedded Computing for Industrial Analytics on a Reconfigurable System-on-Chip}}}, doi = {{10.1145/3468044.3468056}}, year = {{2021}}, } @article{34673, author = {{Black, Tobias and Fuest, Mario and Lankeit, Johannes}}, issn = {{0044-2275}}, journal = {{Zeitschrift für angewandte Mathematik und Physik}}, keywords = {{Applied Mathematics, General Physics and Astronomy, General Mathematics}}, number = {{3}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Relaxed parameter conditions for chemotactic collapse in logistic-type parabolic–elliptic Keller–Segel systems}}}, doi = {{10.1007/s00033-021-01524-8}}, volume = {{72}}, year = {{2021}}, } @article{34675, author = {{Black, Tobias and Wu, Chunyan}}, issn = {{0044-2275}}, journal = {{Zeitschrift für angewandte Mathematik und Physik}}, keywords = {{Applied Mathematics, General Physics and Astronomy, General Mathematics}}, number = {{4}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Prescribed signal concentration on the boundary: Weak solvability in a chemotaxis-Stokes system with proliferation}}}, doi = {{10.1007/s00033-021-01565-z}}, volume = {{72}}, year = {{2021}}, } @article{45962, abstract = {{Abstract An algorithm is proposed for generalized mean curvature flow of closed two-dimensional surfaces, which include inverse mean curvature flow and powers of mean and inverse mean curvature flow. Error estimates are proved for semidiscretizations and full discretizations for the generalized flow. The algorithm proposed and studied here combines evolving surface finite elements, whose nodes determine the discrete surface, and linearly implicit backward difference formulae for time integration. The numerical method is based on a system coupling the surface evolution to nonlinear second-order parabolic evolution equations for the normal velocity and normal vector. A convergence proof is presented in the case of finite elements of polynomial degree at least 2 and backward difference formulae of orders 2 to 5. The error analysis combines stability estimates and consistency estimates to yield optimal-order $H^1$-norm error bounds for the computed surface position, velocity, normal vector, normal velocity and therefore for the mean curvature. The stability analysis is performed in the matrix–vector formulation and is independent of geometric arguments, which only enter the consistency analysis. Numerical experiments are presented to illustrate the convergence results and also to report on monotone quantities, e.g. Hawking mass for inverse mean curvature flow, and complemented by experiments for nonconvex surfaces.}}, author = {{Binz, Tim and Kovács, Balázs}}, issn = {{0272-4979}}, journal = {{IMA Journal of Numerical Analysis}}, keywords = {{Applied Mathematics, Computational Mathematics, General Mathematics}}, number = {{3}}, pages = {{2545--2588}}, publisher = {{Oxford University Press (OUP)}}, title = {{{A convergent finite element algorithm for generalized mean curvature flows of closed surfaces}}}, doi = {{10.1093/imanum/drab043}}, volume = {{42}}, year = {{2021}}, } @article{45957, abstract = {{AbstractA proof of convergence is given for a bulk–surface finite element semidiscretisation of the Cahn–Hilliard equation with Cahn–Hilliard-type dynamic boundary conditions in a smooth domain. The semidiscretisation is studied in an abstract weak formulation as a second-order system. Optimal-order uniform-in-time error estimates are shown in the $L^2$- and $H^1$-norms. The error estimates are based on a consistency and stability analysis. The proof of stability is performed in an abstract framework, based on energy estimates exploiting the anti-symmetric structure of the second-order system. Numerical experiments illustrate the theoretical results.}}, author = {{Harder, Paula and Kovács, Balázs}}, issn = {{0272-4979}}, journal = {{IMA Journal of Numerical Analysis}}, keywords = {{Applied Mathematics, Computational Mathematics, General Mathematics}}, number = {{3}}, pages = {{2589--2620}}, publisher = {{Oxford University Press (OUP)}}, title = {{{Error estimates for the Cahn–Hilliard equation with dynamic boundary conditions}}}, doi = {{10.1093/imanum/drab045}}, volume = {{42}}, year = {{2021}}, } @article{45961, 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 = {{997--1000}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Correction to: Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations}}}, doi = {{10.1007/s00211-021-01196-6}}, volume = {{147}}, year = {{2021}}, } @article{45960, author = {{Kovács, Balázs and Li, Buyang and Lubich, Christian}}, issn = {{0029-599X}}, journal = {{Numerische Mathematik}}, keywords = {{Applied Mathematics, Computational Mathematics}}, number = {{3}}, pages = {{595--643}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{A convergent evolving finite element algorithm for Willmore flow of closed surfaces}}}, doi = {{10.1007/s00211-021-01238-z}}, volume = {{149}}, year = {{2021}}, } @article{45959, author = {{Kovács, Balázs and Li, Buyang and Lubich, Christian}}, issn = {{0029-599X}}, journal = {{Numerische Mathematik}}, keywords = {{Applied Mathematics, Computational Mathematics}}, number = {{3}}, pages = {{595--643}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{A convergent evolving finite element algorithm for Willmore flow of closed surfaces}}}, doi = {{10.1007/s00211-021-01238-z}}, volume = {{149}}, year = {{2021}}, } @article{45967, author = {{Binz, Tim and Kovács, Balázs}}, journal = {{arXiv}}, title = {{{A convergent finite element algorithm for mean curvature flow in higher codimension}}}, year = {{2021}}, } @article{46013, author = {{Liu, Dan and Zhai, Haichao and Hu, Jie and Pan, Ying and Xu, Gengsheng and Zhu, Chuhong and Yuan, Yupeng}}, issn = {{0272-8842}}, journal = {{Ceramics International}}, keywords = {{Materials Chemistry, Surfaces, Coatings and Films, Process Chemistry and Technology, Ceramics and Composites, Electronic, Optical and Magnetic Materials}}, number = {{4}}, pages = {{5759--5765}}, publisher = {{Elsevier BV}}, title = {{{A composite consisting of intermetallic Ni3Fe and nitrogen-doped carbon for electrocatalytic water oxidation: The effect of increased pyridinic nitrogen dopant}}}, doi = {{10.1016/j.ceramint.2021.11.123}}, volume = {{48}}, year = {{2021}}, } @article{46011, author = {{Zhang, Dawei and Sando, Daniel and Pan, Ying and Sharma, Pankaj and Seidel, Jan}}, issn = {{0021-8979}}, journal = {{Journal of Applied Physics}}, keywords = {{General Physics and Astronomy}}, number = {{1}}, publisher = {{AIP Publishing}}, title = {{{Robust ferroelectric polarization retention in harsh environments through engineered domain wall pinning}}}, doi = {{10.1063/5.0029620}}, volume = {{129}}, year = {{2021}}, } @article{46007, author = {{Zhai, Qingfeng and Pan, Ying and Dai, Liming}}, issn = {{2643-6728}}, journal = {{Accounts of Materials Research}}, keywords = {{Materials Chemistry, Polymers and Plastics, Materials Science (miscellaneous), Chemical Engineering (miscellaneous)}}, number = {{12}}, pages = {{1239--1250}}, publisher = {{American Chemical Society (ACS)}}, title = {{{Carbon-Based Metal-Free Electrocatalysts: Past, Present, and Future}}}, doi = {{10.1021/accountsmr.1c00190}}, volume = {{2}}, year = {{2021}}, }