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.
9737 Publications
2016 | Book Chapter | LibreCat-ID: 51463
Hilgert J, Pasquale A, Przebinda T. Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd). In: Kielanowski P, et al., eds. Geometric Methods in Physics. Birkhäuser; 2016.
LibreCat
2016 | Book (Editor) | LibreCat-ID: 51489
Hilgert J, ed. Mathematische Strukturen. Springer Spektrum; 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 52803
Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics. 2016;5(2):55-75. doi:10.1007/s13740-015-0055-y
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45944
Kovács B, Power Guerra CA. Higher order time discretizations with ALE finite elements for parabolic problems on evolving surfaces. IMA Journal of Numerical Analysis. 2016;38(1):460-494. doi:10.1093/imanum/drw074
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45936
Kovács B, Power Guerra CA. Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces. Numerical Methods for Partial Differential Equations. 2016;32(4):1200-1231. doi:10.1002/num.22047
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45939
Kovács B, Li B, Lubich C. A-Stable Time Discretizations Preserve Maximal Parabolic Regularity. SIAM Journal on Numerical Analysis. 2016;54(6):3600-3624. doi:10.1137/15m1040918
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45937
Kovács B, Lubich C. Numerical analysis of parabolic problems with dynamic boundary conditions. IMA Journal of Numerical Analysis. 2016;37(1):1-39. doi:10.1093/imanum/drw015
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 45938
Karátson J, Kovács B. A Parallel Numerical Solution Approach for Nonlinear Parabolic Systems Arising in Air Pollution Transport Problems. In: Mathematical Problems in Meteorological Modelling. ; 2016:57–70.
LibreCat
2016 | Conference Paper | LibreCat-ID: 53279
Soleymani M, Maham B, Ashtiani F. Analysis of the downlink saturation throughput of an asymmetric IEEE 802.11n-based WLAN. In: 2016 IEEE International Conference on Communications (ICC). IEEE; 2016. doi:10.1109/icc.2016.7511453
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 52575
Werth G. Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? In: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg, ed. Beiträge zum Mathematikunterricht. WTM; 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 48396
Wessel L, Wilhelm N. Zusammenhänge zwischen Sprachkompetenz und verstehensorientierter Leistung beim Umgang mit Brüchen. In: Institut für Mathematik und Informatik Heidelberg, ed. Beiträge zum Mathematikunterricht 2016. WTM-Verlag; 2016:1059-1062.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 48417
Wessel L, Prediger S, Schüler-Meyer A, Kuzu T. Is grade 7 too late to start with bilingual mathematics courses? An intervention study. In: TSG 32 at 13th International Congress on Mathematical Education, Hamburg, July 2016. ; 2016.
LibreCat
| Download (ext.)
2016 | Dissertation | LibreCat-ID: 52853
Janus R. Zwischen Katholizismus und Unkirchlichkeit. Pastorale Identitätskonstruktionen in der ostwestfälischen Diaspora am Beispiel des Pfarrers Theodor Holzhausen (1826-1900). Vol 6. LIT-Verlag; 2016.
LibreCat
2015 | Conference Paper | LibreCat-ID: 250
Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2015:159--174. doi:10.1007/978-3-319-22969-0_12
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 25073
Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer-Verlag; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25074
Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. In: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer; 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25075
Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual Environments. In: Shumaker R, Lackey S, eds. Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015. Vol 9179. LNCS. Springer International Publishing Switzerland; 2015:499-512.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25076
Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES). IEEE Computer Society; 2015:329-332.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25080
Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). IEEE Computer Society; 2015:57-64.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25082
Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. In: Proceedings of Electronic System Level Synthesis Conference (ESLsyn). ; 2015.
LibreCat