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.
9884 Publications
2016 | Book (Editor) | LibreCat-ID: 51489
J. Hilgert, Ed., Mathematische Strukturen. Springer Spektrum, 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 52803
S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” Journal on Data Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi: 10.1007/s13740-015-0055-y.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45944
B. Kovács and C. A. Power Guerra, “Higher order time discretizations with ALE finite elements for parabolic problems on evolving surfaces,” IMA Journal of Numerical Analysis, vol. 38, no. 1, pp. 460–494, 2016, doi: 10.1093/imanum/drw074.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45936
B. Kovács and C. A. Power Guerra, “Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces,” Numerical Methods for Partial Differential Equations, vol. 32, no. 4, pp. 1200–1231, 2016, doi: 10.1002/num.22047.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45939
B. Kovács, B. Li, and C. Lubich, “A-Stable Time Discretizations Preserve Maximal Parabolic Regularity,” SIAM Journal on Numerical Analysis, vol. 54, no. 6, pp. 3600–3624, 2016, doi: 10.1137/15m1040918.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 45937
B. Kovács and C. Lubich, “Numerical analysis of parabolic problems with dynamic boundary conditions,” IMA Journal of Numerical Analysis, vol. 37, no. 1, pp. 1–39, 2016, doi: 10.1093/imanum/drw015.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 45938
J. Karátson and B. Kovács, “A Parallel Numerical Solution Approach for Nonlinear Parabolic Systems Arising in Air Pollution Transport Problems,” in Mathematical Problems in Meteorological Modelling, 2016, pp. 57–70.
LibreCat
2016 | Conference Paper | LibreCat-ID: 53279
M. Soleymani, B. Maham, and F. Ashtiani, “Analysis of the downlink saturation throughput of an asymmetric IEEE 802.11n-based WLAN,” 2016, doi: 10.1109/icc.2016.7511453.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 52575
G. Werth, “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?,” in Beiträge zum Mathematikunterricht, Heidelberg, 2016.
LibreCat
2016 | Book Chapter | LibreCat-ID: 48396
L. Wessel and N. Wilhelm, “Zusammenhänge zwischen Sprachkompetenz und verstehensorientierter Leistung beim Umgang mit Brüchen,” in Beiträge zum Mathematikunterricht 2016, Institut für Mathematik und Informatik Heidelberg, Ed. Münster: WTM-Verlag, 2016, pp. 1059–1062.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 48417
L. Wessel, S. Prediger, A. Schüler-Meyer, and T. Kuzu, “Is grade 7 too late to start with bilingual mathematics courses? An intervention study,” 2016.
LibreCat
| Download (ext.)
2016 | Conference Paper | LibreCat-ID: 54340
K. Hesse, “Neugestaltung der ‘Höheren Mathematik A, B und C für Elektrotechniker’ -- Nutzung der Lehrmaterialien durch Studierende,” in Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2015: Beiträge zum gleichnamigen Symposium am 13. & 14. November 2015 an der Universität zu Lübeck (Hochschulschriften zur Mathematik-Didaktik) , 2016, pp. 86–102.
LibreCat
2016 | Conference Paper | LibreCat-ID: 47240
Y. Acar, M. Backes, S. Bugiel, S. Fahl, P. McDaniel, and M. Smith, “SoK: Lessons Learned from Android Security Research for Appified Software Platforms,” 2016, doi: 10.1109/sp.2016.33.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 47239
S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, and M. Smith, “An Empirical Study of Textual Key-Fingerprint Representations,” in 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, 2016, pp. 193–208.
LibreCat
2016 | Conference Paper | LibreCat-ID: 47241
Y. Acar, M. Backes, S. Fahl, D. Kim, M. L. Mazurek, and C. Stransky, “You Get Where You’re Looking for: The Impact of Information Sources on Code Security,” 2016, doi: 10.1109/sp.2016.25.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 46365
J. Bossek and H. Trautmann, “Evolving Instances for Maximizing Performance Differences of State-of-The-Art Inexact TSP Solvers,” in Learning and Intelligent Optimization, 2016, vol. 10079, pp. 48–59, doi: 10.1007/978-3-319-50349-3_4.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 46366
J. Bossek and H. Trautmann, “Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference,” in AI*IA 2016 Advances in Artificial Intelligence, 2016, vol. 10037, pp. 3–12, doi: 10.1007/978-3-319-49130-1_1.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 250
M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning,” in Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 25073
A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” 2015.
LibreCat
2015 | Conference Paper | LibreCat-ID: 25074
J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems,” 2015.
LibreCat