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
Lass, Michael, et al. “A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K.” Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC), IEEE Computer Society, 2020, pp. 1127–40, doi:10.1109/SC41405.2020.00084.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
Röder, Michael, et al. “Benchmarking the Lifecycle of Knowledge Graphs.” Knowledge Graphs for EXplainable Artificial Intelligence: Foundations, Applications and Challenges, edited by Ilaria Tiddi et al., IOS Press, 2020, pp. 73–97, doi:10.3233/SSW200012.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
Meyer, Marius, et al. “Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite.” 2020 IEEE/ACM International Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2020, doi:10.1109/h2rc51942.2020.00007.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 | 
Rengaraj, Varadarajan, et al. “Accurate Sampling with Noisy Forces from Approximate Computing.” Computation, vol. 8, no. 2, 39, MDPI, 2020, doi:10.3390/computation8020039.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 56244
Barzel, Bärbel, and Rolf Biehler. “Theory-Based Design of Professional Development for Upper Secondary Teachers–Focusing on the Content-Specific Use of Digital Tools.” Professional Development and Knowledge of Mathematics Teachers, Routledge, 2020, pp. 163–192.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 16710
Gerlach, Raphael, et al. “A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors.” SIAM Journal on Applied Dynamical Systems, 2020, pp. 705–23, doi:10.1137/19m1247139.
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 52936
Dubslaff, Clemens, et al. “Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification.” 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, edited by Stefan Borgwardt and Thomas Meyer, vol. 2663, CEUR-WS.org, 2020.
LibreCat
2020 | Misc | LibreCat-ID: 15489 |
Claes, Leander, et al. Estimation of Acoustic Wave Non-Linearity in Ultrasonic Measurement Systems. Cornell University, 2020, doi:10.48550/arXiv.2001.05708.
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 35811
Biehler, Rolf, and Viviane Durand-Guerrier. “University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic.” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020, pp. 283–87.
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 35829
Kempen, Leander, et al. “Investigating High School Graduates’ Personal Meaning of the Notion of ‘Mathematical Proof.’” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020, pp. 358–67.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 33594
Rezat, Sebastian, and Sara Rezat. “Schulbücher. Werkzeuge zum Üben in den Fächern Deutsch und Mathematik.” Die Grundschulzeitschrift 320, vol. 320, 2020, pp. 10–13.
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
Budde, Lea, et al. “Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP.” New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable Conference of the International Association for Statistical Education (IASE), July 2020, edited by P. Arnold, ISI/IASE, 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 35913
Liebendörfer, Michael, et al. “The Role of Learning Strategies for Performance in Mathematics Courses for Engineers.” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020.
LibreCat
| Files available
2020 | Book Chapter | LibreCat-ID: 35912
Lankeit, Elisa, and Rolf Biehler. “‘I Only Know the Absolute Value Function’–About Students’ Concept Images and Example Spaces Concerning Continuity and Differentiability.” Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020), edited by T. Hausberger et al., University of Carthage and INDRUM, 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20510
Benz, Manuel, et al. “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis.” International Conference for Software Engineering (ICSE), 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, Lisa, and Eric Bodden. “Explaining Static Analysis with Rule Graphs.” IEEE Transactions on Software Engineering, 2020.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 59686
Shi, Yuting, et al. “Time-Resolved Photoluminescence Characterization of InGaAs/GaAs Nano-Ridges Monolithically Grown on 300 Mm Si Substrates.” Journal of Applied Physics, vol. 127, no. 10, AIP Publishing, 2020, doi:10.1063/1.5139636.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 59685
Žutić, Igor, et al. “Spin-Lasers: Spintronics beyond Magnetoresistance.” Solid State Communications, vol. 316–317, 113949, Elsevier BV, 2020, doi:10.1016/j.ssc.2020.113949.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 39405
Petrov, Dmitry, and Ulrich Hilleringmann. “Water-Based Primary Cell for Powering of Wireless Sensors.” 2020 IEEE SENSORS, IEEE, 2020, doi:10.1109/sensors47125.2020.9278891.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20695 |
Boeddeker, Christoph, et al. “Jointly Optimal Dereverberation and Beamforming.” ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2020, doi:10.1109/icassp40776.2020.9054393.
LibreCat
| Files available
| DOI