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 | Book Chapter | LibreCat-ID: 30862
Noticing im naturwissenschaftlichen Sachunterricht der Grundschule
A. Gövert, in: M. Mainzer-Murrenhoff, S. Drumm, L. Heine (Eds.), Sprachtheorien in der Zweit- und Fremdsprachenforschung. Eine Basis für empirisches Arbeiten zwischen Fach- und Sprachlernen. , Schneider Verlag Hohengehren, Baltmannsweiler, 2021, pp. 101–117.
LibreCat
 

2021 | Conference Paper | LibreCat-ID: 24936
Lehrentwicklungs-Netzwerke und institutionelle Ideen der Hochschullehre
N. Sänger, T. Jenert, in: 2021.
LibreCat
 

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
 

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
 

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
 

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
 

2021 | Dissertation | LibreCat-ID: 6563 | OA
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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2021 | Preprint | LibreCat-ID: 53420
Polynomials vanishing at lattice points in a convex set
F. Gundlach, ArXiv:2107.05353 (2021).
LibreCat | arXiv
 

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.)
 

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
 

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
 

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
 

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
 

Filters and Search Terms

isbn%3D978-1-59593-667-7

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed