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.
9290 Publications
2021 | Conference Paper | LibreCat-ID: 24936
Sänger, Niklas, and Tobias Jenert. Lehrentwicklungs-Netzwerke und institutionelle Ideen der Hochschullehre. 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52928
Alrabbaa, Christian, et al. “Counter Model Transformation for Explaining Non-Subsumption in EL.” Proceedings of the 7th Workshop on Formal and Cognitive Reasoning Co-Located with the 44th German Conference on Artificial Intelligence {(KI} 2021), September 28, 2021, edited by Christoph Beierle et al., vol. 2961, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
2021 | Conference Paper | LibreCat-ID: 52927
Gil, Oliver Fernández, and Anni-Yasmin Turhan. “Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.” 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, pp. 6340–6348, doi:10.1609/AAAI.V35I7.16787.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52926
Dubslaff, Clemens, et al. “Enhancing Probabilistic Model Checking with Ontologies.” Formal Aspects Comput., vol. 33, no. 6, 2021, pp. 885–921, doi:10.1007/S00165-021-00549-0.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 52929
Baader, Franz, et al. “Efficient TBox Reasoning with Value Restrictions Using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)Wer Reasoner.” CoRR, vol. abs/2107.12877, 2021.
LibreCat
2021 | Dissertation | LibreCat-ID: 6563 | 
Feldmann, Nadine. 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: 22285
Biermeier, Kai, et al. “Ensuring User Interface Adaptation Consistency through Triple Graph Grammers.” Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
LibreCat
2021 | Dissertation | LibreCat-ID: 52664
Wu, Liang. Ultrabreitbandige Sampler in SiGe-BiCMOS-Technologie Für Analog-Digital-Wandler Mit Zeitversetzter Abtastung. 2021.
LibreCat
2021 | Journal Article | LibreCat-ID: 45962
Binz, Tim, and Balázs Kovács. “A Convergent Finite Element Algorithm for Generalized Mean Curvature Flows of Closed Surfaces.” IMA Journal of Numerical Analysis, vol. 42, no. 3, Oxford University Press (OUP), 2021, pp. 2545–88, doi:10.1093/imanum/drab043.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45957
Harder, Paula, and Balázs Kovács. “Error Estimates for the Cahn–Hilliard Equation with Dynamic Boundary Conditions.” IMA Journal of Numerical Analysis, vol. 42, no. 3, Oxford University Press (OUP), 2021, pp. 2589–620, doi:10.1093/imanum/drab045.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53192
Dimitrov, Mladen, et al. “L-Functions of GL(2n): P-Adic Properties and Non-Vanishing of Twists.” Compositio Mathematica, vol. 156, no. 12, Wiley, 2021, pp. 2437–68, doi:10.1112/s0010437x20007551.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53333
Winkler, Michael. “$L^1$ Solutions to Parabolic Keller-Segel Systems Involving Arbitrary Superlinear Degradation.” ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE, Scuola Normale Superiore - Edizioni della Normale, 2021, pp. 141–72, doi:10.2422/2036-2145.202005_016.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 32006
Guillarmou, Colin, and Benjamin Küster. “Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds.” Annales Henri Poincaré, vol. 22, no. 11, Springer Science and Business Media LLC, 2021, pp. 3565–617, doi:10.1007/s00023-021-01068-7.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 46194
Kenter, Tobias, et al. “Algorithm-Hardware Co-Design of a Discontinuous Galerkin Shallow-Water Model for a Dataflow Architecture on FPGA.” Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021, doi:10.1145/3468267.3470617.
LibreCat
| Files available
| DOI
| Download (ext.)
2021 | Journal Article | LibreCat-ID: 53363
Rezat, Sebastian, et al. “Mathematics Textbooks and Curriculum Resources as Instruments for Change.” ZDM – Mathematics Education, vol. 53, no. 6, Springer Science and Business Media LLC, 2021, pp. 1189–206, doi:10.1007/s11858-021-01309-3.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35778
Pepin, Birgit, et al. “Mathematics in Engineering Education: A Review of the Recent Literature with a View towards Innovative Practices.” International Journal of Research in Undergraduate Mathematics Education, vol. 7, no. 2, Springer Science and Business Media LLC, 2021, pp. 163–88, doi:10.1007/s40753-021-00139-8.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 17860
Beverungen, Daniel, et al. “Transforming into a Platform Provider: Strategic Options for Industrial Smart Service Providers.” Journal of Service Management, vol. 32, no. 4, Emerald Insight, 2021, pp. 507–32, doi:10.1108/JOSM-03-2020-0066.
LibreCat
| DOI
2021 | Book (Editor) | LibreCat-ID: 52854
Janus, Richard, and Marion Keuchen, editors. Musik als Lebensmittel. Kulturwissenschaftlich-theologische Rationen für ein Jahr. LIT-Verlag, 2021.
LibreCat
2021 | Book Chapter | LibreCat-ID: 53045
Burke, Rebekka, et al. “Wenn Gremien in die Jahre kommen…Wie baut man die Gremienstruktur in den Pastoralen Räumen um, damit sich Gemeinden zukunftsfähig entwickeln können?” Projektbericht 1: Modelle, Transformationen, Corona-Erfahrungen, 2021, pp. 17–41.
LibreCat