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.
11548 Publications
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 | Journal Article | LibreCat-ID: 52929
Baader F, Koopmann P, Michel F, Turhan A-Y, Zarrieß B. Efficient TBox Reasoning with Value Restrictions using the \(\mathscrF\)\(\mathscrL\)\(_\mbox0\)wer reasoner. CoRR. 2021;abs/2107.12877.
LibreCat
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: 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 | Dissertation | LibreCat-ID: 52664
Wu L. Ultrabreitbandige Sampler in SiGe-BiCMOS-Technologie Für Analog-Digital-Wandler Mit Zeitversetzter Abtastung. Vol 402.; 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: 53192
Dimitrov M, Januszewski F, Raghuram A. L-functions of GL(2n): p-adic properties and non-vanishing of twists. Compositio Mathematica. 2021;156(12):2437-2468. doi:10.1112/s0010437x20007551
LibreCat
| DOI
2021 | Report | LibreCat-ID: 53290
Rose H, Vasil’ev AN, Tikhonova OV, Meier T, Sharapova PR. Excitation of an Electronic Band Structure by a Single-Photon Fock State. LibreCat University; 2021. doi:10.5281/ZENODO.5774985
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 53333
Winkler M. $L^1$ solutions to parabolic Keller-Segel systems involving arbitrary superlinear degradation. ANNALI SCUOLA NORMALE SUPERIORE - CLASSE DI SCIENZE. Published online 2021:141-172. doi:10.2422/2036-2145.202005_016
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 32006
Guillarmou C, Küster B. Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds. Annales Henri Poincaré. 2021;22(11):3565-3617. doi:10.1007/s00023-021-01068-7
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 46194
Kenter T, Shambhu A, Faghih-Naini S, Aizinger V. Algorithm-hardware co-design of a discontinuous Galerkin shallow-water model for a dataflow architecture on FPGA. In: 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 S, Fan L, Pepin B. Mathematics textbooks and curriculum resources as instruments for change. ZDM – Mathematics Education. 2021;53(6):1189-1206. doi:10.1007/s11858-021-01309-3
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 35778
Pepin B, Biehler R, Gueudet G. Mathematics in Engineering Education: a Review of the Recent Literature with a View towards Innovative Practices. International Journal of Research in Undergraduate Mathematics Education. 2021;7(2):163-188. doi:10.1007/s40753-021-00139-8
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 17860
Beverungen D, Kundisch D, Wünderlich N. Transforming into a Platform Provider: Strategic Options for Industrial Smart Service Providers. Journal of Service Management. 2021;32(4):507-532. doi:10.1108/JOSM-03-2020-0066
LibreCat
| DOI
2021 | Book (Editor) | LibreCat-ID: 52854
Janus R, Keuchen M, eds. Musik als Lebensmittel. Kulturwissenschaftlich-theologische Rationen für ein Jahr. Vol 8. LIT-Verlag; 2021.
LibreCat
2021 | Book Chapter | LibreCat-ID: 53045
Burke R, Hackstedt C, Hofmeister L, Kolk M, Rakowski J, Reis O. 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? In: Projektbericht 1: Modelle, Transformationen, Corona-Erfahrungen. ; 2021:17-41.
LibreCat
2021 | Book Chapter | LibreCat-ID: 53048
Rakowski J, Reis O. Steuerung vs. Kontingenz: die Umsetzung gesetzter und realer Strukturinterventionen. In: Projektbericht 1: Modelle, Transformationen, Corona-Erfahrungen. ; 2021:108-133.
LibreCat