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.
10550 Publications
2020 | Conference Paper | LibreCat-ID: 16898
A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K
M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.
LibreCat
| DOI
| Download (ext.)
| arXiv
M. Lass, R. Schade, T. Kühne, C. Plessl, in: Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, Los Alamitos, CA, USA, 2020, pp. 1127–1140.
2020 | Book Chapter | LibreCat-ID: 29042
Benchmarking the Lifecycle of Knowledge Graphs
M. Röder, M. Sherif, M. Saleem, F. Conrads, A.-C. Ngonga Ngomo, in: I. Tiddi, F. Lécué, P. Hitzler (Eds.), Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, IOS Press, 2020, pp. 73–97.
LibreCat
| DOI
M. Röder, M. Sherif, M. Saleem, F. Conrads, A.-C. Ngonga Ngomo, in: I. Tiddi, F. Lécué, P. Hitzler (Eds.), Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, IOS Press, 2020, pp. 73–97.
2020 | Conference Paper | LibreCat-ID: 21632
Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite
M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Meyer, T. Kenter, C. Plessl, in: 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020.
2020 | Journal Article | LibreCat-ID: 12878 | 
Accurate Sampling with Noisy Forces from Approximate Computing
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
LibreCat
| DOI
| Download (ext.)
| arXiv
V. Rengaraj, M. Lass, C. Plessl, T. Kühne, Computation 8 (2020).
2020 | Book Chapter | LibreCat-ID: 56244
Theory-Based Design of Professional Development for Upper Secondary Teachers–Focusing on the Content-Specific Use of Digital Tools
B. Barzel, R. Biehler, in: Professional Development and Knowledge of Mathematics Teachers, Routledge, 2020, pp. 163–192.
LibreCat
| Download (ext.)
B. Barzel, R. Biehler, in: Professional Development and Knowledge of Mathematics Teachers, Routledge, 2020, pp. 163–192.
2020 | Journal Article | LibreCat-ID: 16710
A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors
R. Gerlach, A. Ziessler, B. Eckhardt, M. Dellnitz, SIAM Journal on Applied Dynamical Systems (2020) 705–723.
LibreCat
| DOI
| Download (ext.)
R. Gerlach, A. Ziessler, B. Eckhardt, M. Dellnitz, SIAM Journal on Applied Dynamical Systems (2020) 705–723.
2020 | Conference Paper | LibreCat-ID: 52936
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
LibreCat
C. Dubslaff, P. Koopmann, A.-Y. Turhan, in: S. Borgwardt, T. Meyer (Eds.), Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Co-Located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020, CEUR-WS.org, 2020.
2020 | Misc | LibreCat-ID: 15489 |
Estimation of acoustic wave non-linearity in ultrasonic measurement systems
L. Claes, C. Steidl, T. Hetkämper, B. Henning, Estimation of Acoustic Wave Non-Linearity in Ultrasonic Measurement Systems, Cornell University, 2020.
LibreCat
| DOI
| Download (ext.)
| arXiv
L. Claes, C. Steidl, T. Hetkämper, B. Henning, Estimation of Acoustic Wave Non-Linearity in Ultrasonic Measurement Systems, Cornell University, 2020.
2020 | Book Chapter | LibreCat-ID: 35811
University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic
R. Biehler, V. Durand-Guerrier, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 283–287.
LibreCat
| Files available
| Download (ext.)
R. Biehler, V. Durand-Guerrier, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 283–287.
2020 | Book Chapter | LibreCat-ID: 35829
Investigating high school graduates’ personal meaning of the notion of “mathematical proof”
L. Kempen, S. Krämer, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 358–367.
LibreCat
| Files available
L. Kempen, S. Krämer, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020, pp. 358–367.
2020 | Journal Article | LibreCat-ID: 33594
Schulbücher. Werkzeuge zum Üben in den Fächern Deutsch und Mathematik
S. Rezat, S. Rezat, Die Grundschulzeitschrift 320 320 (2020) 10–13.
LibreCat
S. Rezat, S. Rezat, Die Grundschulzeitschrift 320 320 (2020) 10–13.
2020 | Book Chapter | LibreCat-ID: 35821
Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP
L. Budde, D. Frischemeier, R. Biehler, F.Y. Fleischer, D. Gerstenberger, S. Podworny, C. Schulte, in: P. Arnold (Ed.), New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020, ISI/IASE, Voorborg, The Netherlands, 2020.
LibreCat
| Files available
| Download (ext.)
L. Budde, D. Frischemeier, R. Biehler, F.Y. Fleischer, D. Gerstenberger, S. Podworny, C. Schulte, in: P. Arnold (Ed.), New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020, ISI/IASE, Voorborg, The Netherlands, 2020.
2020 | Book Chapter | LibreCat-ID: 35913
The role of learning strategies for performance in mathematics courses for engineers
M. Liebendörfer, R. Göller, L. Gildehaus, J. Kortemeyer, R. Biehler, R. Hochmuth, L. Ostsieker, J. Rode, N. Schaper, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.
LibreCat
| Files available
M. Liebendörfer, R. Göller, L. Gildehaus, J. Kortemeyer, R. Biehler, R. Hochmuth, L. Ostsieker, J. Rode, N. Schaper, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.
2020 | Book Chapter | LibreCat-ID: 35912
“I only know the absolute value function”–About students’ concept images and example spaces concerning continuity and differentiability
E. Lankeit, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.
LibreCat
| Files available
E. Lankeit, R. Biehler, in: T. Hausberger, M. Bosch, F. Chelloughi (Eds.), Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), University of Carthage and INDRUM, Bizerte, Tunisia, 2020.
2020 | Conference Paper | LibreCat-ID: 20510
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
LibreCat
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, A. Zeller, in: International Conference for Software Engineering (ICSE), 2020.
2020 | Journal Article | LibreCat-ID: 20508
Explaining Static Analysis with Rule Graphs
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
LibreCat
| Download (ext.)
L. Nguyen Quang Do, E. Bodden, IEEE Transactions on Software Engineering (2020).
2020 | Journal Article | LibreCat-ID: 59686
Time-resolved photoluminescence characterization of InGaAs/GaAs nano-ridges monolithically grown on 300 mm Si substrates
Y. Shi, L.C. Kreuzer, N.C. Gerhardt, M. Pantouvaki, J. Van Campenhout, M. Baryshnikova, R. Langer, D. Van Thourhout, B. Kunert, Journal of Applied Physics 127 (2020).
LibreCat
| DOI
Y. Shi, L.C. Kreuzer, N.C. Gerhardt, M. Pantouvaki, J. Van Campenhout, M. Baryshnikova, R. Langer, D. Van Thourhout, B. Kunert, Journal of Applied Physics 127 (2020).
2020 | Journal Article | LibreCat-ID: 59685
Spin-lasers: spintronics beyond magnetoresistance
I. Žutić, G. Xu, M. Lindemann, P.E. Faria Junior, J. Lee, V. Labinac, K. Stojšić, G.M. Sipahi, M.R. Hofmann, N.C. Gerhardt, Solid State Communications 316–317 (2020).
LibreCat
| DOI
I. Žutić, G. Xu, M. Lindemann, P.E. Faria Junior, J. Lee, V. Labinac, K. Stojšić, G.M. Sipahi, M.R. Hofmann, N.C. Gerhardt, Solid State Communications 316–317 (2020).
2020 | Conference Paper | LibreCat-ID: 39405
Water-based primary cell for powering of wireless sensors
D. Petrov, U. Hilleringmann, in: 2020 IEEE SENSORS, IEEE, 2020.
LibreCat
| DOI
D. Petrov, U. Hilleringmann, in: 2020 IEEE SENSORS, IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 20695 |
Jointly Optimal Dereverberation and Beamforming
C. Boeddeker, T. Nakatani, K. Kinoshita, R. Haeb-Umbach, in: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.
LibreCat
| Files available
| DOI
C. Boeddeker, T. Nakatani, K. Kinoshita, R. Haeb-Umbach, in: ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020.