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
Lehrentwicklungs-Netzwerke und institutionelle Ideen der Hochschullehre
N. Sänger, T. Jenert, in: 2021.
LibreCat
N. Sänger, T. Jenert, in: 2021.
2021 | Conference Paper | LibreCat-ID: 52928
Counter Model Transformation for Explaining Non-Subsumption in EL
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), 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, CEUR-WS.org, 2021, pp. 9–22.
LibreCat
C. Alrabbaa, W. Hieke, A.-Y. Turhan, in: C. Beierle, M. Ragni, F. Stolzenburg, M. Thimm (Eds.), 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, CEUR-WS.org, 2021, pp. 9–22.
2021 | Conference Paper | LibreCat-ID: 52927
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics
O.F. Gil, A.-Y. Turhan, 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, pp. 6340–6348.
LibreCat
| DOI
O.F. Gil, A.-Y. Turhan, 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, pp. 6340–6348.
2021 | Journal Article | LibreCat-ID: 52926
Enhancing Probabilistic Model Checking with Ontologies
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
LibreCat
| DOI
C. Dubslaff, P. Koopmann, A.-Y. Turhan, Formal Aspects Comput. 33 (2021) 885–921.
2021 | Journal Article | LibreCat-ID: 52929
Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
LibreCat
F. Baader, P. Koopmann, F. Michel, A.-Y. Turhan, B. Zarrieß, CoRR abs/2107.12877 (2021).
2021 | Dissertation | LibreCat-ID: 6563 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers
N. Feldmann, Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers, Universität Paderborn, 2021.
LibreCat
| DOI
| Download (ext.)
N. Feldmann, Ein modellbasiertes Messverfahren zur Charakterisierung von Piezokeramiken unter Verwendung eines einzelnen scheibenförmigen Probekörpers, Universität Paderborn, 2021.
2021 | Conference Paper | LibreCat-ID: 22285
Ensuring User Interface Adaptation Consistency through Triple Graph Grammers
K. Biermeier, E. Yigitbas, N. Weidmann, G. Engels, in: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
LibreCat
K. Biermeier, E. Yigitbas, N. Weidmann, G. Engels, in: Proceedings of the International Workshop on Human-Centered Software Engineering for Changing Contexts of Use , 2021.
2021 | Dissertation | LibreCat-ID: 52664
Ultrabreitbandige Sampler in SiGe-BiCMOS-Technologie für Analog-Digital-Wandler mit zeitversetzter Abtastung
L. Wu, Ultrabreitbandige Sampler in SiGe-BiCMOS-Technologie Für Analog-Digital-Wandler Mit Zeitversetzter Abtastung, 2021.
LibreCat
L. Wu, Ultrabreitbandige Sampler in SiGe-BiCMOS-Technologie Für Analog-Digital-Wandler Mit Zeitversetzter Abtastung, 2021.
2021 | Journal Article | LibreCat-ID: 45962
A convergent finite element algorithm for generalized mean curvature flows of closed surfaces
T. Binz, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2545–2588.
LibreCat
| DOI
T. Binz, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2545–2588.
2021 | Journal Article | LibreCat-ID: 45957
Error estimates for the Cahn–Hilliard equation with dynamic boundary conditions
P. Harder, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2589–2620.
LibreCat
| DOI
P. Harder, B. Kovács, IMA Journal of Numerical Analysis 42 (2021) 2589–2620.
2021 | Journal Article | LibreCat-ID: 53192
L-functions of GL(2n): p-adic properties and non-vanishing of twists
M. Dimitrov, F. Januszewski, A. Raghuram, Compositio Mathematica 156 (2021) 2437–2468.
LibreCat
| DOI
M. Dimitrov, F. Januszewski, A. Raghuram, Compositio Mathematica 156 (2021) 2437–2468.
2021 | Journal Article | LibreCat-ID: 53333
$L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation
M. Winkler, ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE (2021) 141–172.
LibreCat
| DOI
M. Winkler, ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE (2021) 141–172.
2021 | Journal Article | LibreCat-ID: 32006
Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds
C. Guillarmou, B. Küster, Annales Henri Poincaré 22 (2021) 3565–3617.
LibreCat
| DOI
C. Guillarmou, B. Küster, Annales Henri Poincaré 22 (2021) 3565–3617.
2021 | Preprint | LibreCat-ID: 53420
Polynomials vanishing at lattice points in a convex set
F. Gundlach, ArXiv:2107.05353 (2021).
LibreCat
| arXiv
F. Gundlach, ArXiv:2107.05353 (2021).
2021 | Conference Paper | LibreCat-ID: 46194
Algorithm-hardware co-design of a discontinuous Galerkin shallow-water model for a dataflow architecture on FPGA
T. Kenter, A. Shambhu, S. Faghih-Naini, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Kenter, A. Shambhu, S. Faghih-Naini, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021.
2021 | Journal Article | LibreCat-ID: 53363
Mathematics textbooks and curriculum resources as instruments for change
S. Rezat, L. Fan, B. Pepin, ZDM – Mathematics Education 53 (2021) 1189–1206.
LibreCat
| DOI
S. Rezat, L. Fan, B. Pepin, ZDM – Mathematics Education 53 (2021) 1189–1206.
2021 | Journal Article | LibreCat-ID: 35778
Mathematics in Engineering Education: a Review of the Recent Literature with a View towards Innovative Practices
B. Pepin, R. Biehler, G. Gueudet, International Journal of Research in Undergraduate Mathematics Education 7 (2021) 163–188.
LibreCat
| DOI
B. Pepin, R. Biehler, G. Gueudet, International Journal of Research in Undergraduate Mathematics Education 7 (2021) 163–188.
2021 | Journal Article | LibreCat-ID: 17860
Transforming into a Platform Provider: Strategic Options for Industrial Smart Service Providers
D. Beverungen, D. Kundisch, N. Wünderlich, Journal of Service Management 32 (2021) 507–532.
LibreCat
| DOI
D. Beverungen, D. Kundisch, N. Wünderlich, Journal of Service Management 32 (2021) 507–532.
2021 | Book (Editor) | LibreCat-ID: 52854
Musik als Lebensmittel. Kulturwissenschaftlich-theologische Rationen für ein Jahr
R. Janus, M. Keuchen, eds., Musik als Lebensmittel. Kulturwissenschaftlich-theologische Rationen für ein Jahr, LIT-Verlag, Berlin, 2021.
LibreCat
R. Janus, M. Keuchen, eds., Musik als Lebensmittel. Kulturwissenschaftlich-theologische Rationen für ein Jahr, LIT-Verlag, Berlin, 2021.
2021 | Book Chapter | LibreCat-ID: 53045
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?
R. Burke, C. Hackstedt, L. Hofmeister, M. Kolk, J. Rakowski, O. Reis, in: Projektbericht 1: Modelle, Transformationen, Corona-Erfahrungen, Paderborn, 2021, pp. 17–41.
LibreCat
R. Burke, C. Hackstedt, L. Hofmeister, M. Kolk, J. Rakowski, O. Reis, in: Projektbericht 1: Modelle, Transformationen, Corona-Erfahrungen, Paderborn, 2021, pp. 17–41.