Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
10550 Publications
2021 | Conference Paper | LibreCat-ID: 48891
Neumann A, Bossek J, Neumann F. Diversifying Greedy Sampling and Evolutionary Diversity Optimisation for Constrained Monotone Submodular Functions. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO’21. Association for Computing Machinery; 2021:261–269. doi:10.1145/3449639.3459385
LibreCat
| DOI
2021 | Book Chapter | LibreCat-ID: 48892
Nikfarjam A, Bossek J, Neumann A, Neumann F. Computing Diverse Sets of High Quality TSP Tours by EAX-based Evolutionary Diversity Optimisation. In: Proceedings of the 16th ACM}/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery; 2021:1–11.
LibreCat
2021 | Journal Article | LibreCat-ID: 48854
Bossek J, Neumann F, Peng P, Sudholt D. Time Complexity Analysis of Randomized Search Heuristics for the Dynamic Graph Coloring Problem. Algorithmica. 2021;83(10):3148–3179. doi:10.1007/s00453-021-00838-3
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 25212
Qudus U, Saleem M, Ngonga Ngomo A-C, Lee Y-K. An Empirical Evaluation of Cost-based Federated SPARQL Query Processing Engines. Semantic Web. 12(6):843-868. doi:10.3233/SW-200420
LibreCat
| Files available
| DOI
2021 | Conference Paper | LibreCat-ID: 22218
Krauter S, Böcker J, Freitag C, et al. Projekt Art-D Grids: Nachhaltige und stabile Microgrids in Afrika - eine Plattform für Forschung und Lehre für die Entwicklung. In: Tagungsband des 36. PV-Symposiums, 18.-26 Mai 2021. Conexio; 2021:305-309.
LibreCat
| Files available
2021 | Conference Paper | LibreCat-ID: 29937
Karp M, Podobas A, Jansson N, et al. High-Performance Spectral Element Methods on Field-Programmable Gate Arrays : Implementation, Evaluation, and Future Projection. In: 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS). IEEE; 2021. doi:10.1109/ipdps49936.2021.00116
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 31263
Guillarmou C, Hilgert J, Weich T. High frequency limits for invariant Ruelle densities. Annales Henri Lebesgue. 2021;4:81-119. doi:10.5802/ahl.67
LibreCat
| DOI
| arXiv
2021 | Journal Article | LibreCat-ID: 36271
Brennecken D, Hilgert J, Ciardo L. Algebraically Independent Generators for the Algebra of Invariant Differential Operators on SLn(R)/SOn(R). Journal of Lie Theory. 2021;31(2):459--468. doi:10.48550/arXiv.2008.07479
LibreCat
| DOI
2021 | Book Review | LibreCat-ID: 51556
Hilgert J. Philip Ording: 99 Variations on a Proof. Princeton University Press 2019. Mathematische Semesterberichte. 2021;68:171–173. doi:10.1007/s00591-021-00295-7
LibreCat
| DOI
2021 | Book Review | LibreCat-ID: 51555
Hilgert J. Georg Glaeser (Hrsg.): 77-mal Mathematik für zwischendurch – Unterhaltsame Kuriositäten und unorthodoxe Anwendungen. Springer Spektrum 2020. Mathematische Semesterberichte. 2021;68:175–177. doi:10.1007/s00591-021-00296-6
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 52927
Gil OF, Turhan A-Y. Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics. In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. AAAI Press; 2021:6340–6348. doi:10.1609/AAAI.V35I7.16787
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff C, Koopmann P, Turhan A-Y. Enhancing Probabilistic Model Checking with Ontologies. Formal Aspects Comput. 2021;33(6):885–921. doi:10.1007/S00165-021-00549-0
LibreCat
| DOI
2021 | Dissertation | LibreCat-ID: 6563 | 
Feldmann N. Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers. Universität Paderborn; 2021. doi:10.17619/UNIPB/1-1264
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 52849
Podworny S, Fleischer Y, Hüsing S, et al. Using data cards for teaching data based decision trees in middle school. In: Proceedings of the 21st Koli Calling International Conference on Computing Education Research. ACM; 2021. doi:10.1145/3488042.3489966
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 22285
Biermeier K, Yigitbas E, Weidmann N, Engels G. Ensuring User Interface Adaptation Consistency through Triple Graph Grammers. In: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use . ; 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 45967
Binz T, Kovács B. A convergent finite element algorithm for mean curvature flow in higher codimension. arXiv. Published online 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 45962
Binz T, Kovács B. A convergent finite element algorithm for generalized mean curvature flows of closed surfaces. IMA Journal of Numerical Analysis. 2021;42(3):2545-2588. doi:10.1093/imanum/drab043
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45957
Harder P, Kovács B. Error estimates for the Cahn–Hilliard equation with dynamic boundary conditions. IMA Journal of Numerical Analysis. 2021;42(3):2589-2620. doi:10.1093/imanum/drab045
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45961
Nick J, Kovács B, Lubich C. Correction to: Stable and convergent fully discrete interior–exterior coupling of Maxwell’s equations. Numerische Mathematik. 2021;147(4):997-1000. doi:10.1007/s00211-021-01196-6
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45959
Kovács B, Li B, Lubich C. A convergent evolving finite element algorithm for Willmore flow of closed surfaces. Numerische Mathematik. 2021;149(3):595-643. doi:10.1007/s00211-021-01238-z
LibreCat
| DOI