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.
10546 Publications
2020 | Conference Paper | LibreCat-ID: 45330
@inproceedings{Schönherr_Blomberg_Schukajlow_Rellensmann_2020, title={“Why don’t you make a drawing?" Motivation and strategy use in mathematical modelling}, booktitle={Proceedings of the 44th Conference of the International Group for the Psychology of Mathematics Education: PME}, author={Schönherr, Johanna and Blomberg, J. and Schukajlow, S. and Rellensmann, J.}, editor={Inprasitha, M. and Changsri, N. and Boonsena, N.}, year={2020}, pages={46–54} }
LibreCat
2020 | Journal Article | LibreCat-ID: 45338
@article{Schönherr_Schukajlow_Leopold_2020, title={Measuring and investigating strategic knowledge about drawing to solve geometry modelling problems}, volume={52}, DOI={10.1007/s11858-019-01085-1}, number={1}, journal={ZDM – Mathematics Education}, author={Schönherr, Johanna and Schukajlow, S. and Leopold, C.}, year={2020}, pages={97–110} }
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 21433
@book{Jentzsch_2020, title={Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture}, author={Jentzsch, Felix P.}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 34670
@article{Black_2020, title={Global generalized solutions to a forager–exploiter model with superlinear degradation and their eventual regularity properties}, volume={30}, DOI={10.1142/s0218202520400072}, number={06}, journal={Mathematical Models and Methods in Applied Sciences}, publisher={World Scientific Pub Co Pte Lt}, author={Black, Tobias}, year={2020}, pages={1075–1117} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 31376
@article{Hoffmann_2020, title={Zirkel und Lineal ohne Parallelenaxiom: Ein konstruktiver Zugang zur hyperbolischen Geometrie.}, volume={66 (6)}, journal={Der Mathematikunterricht}, author={Hoffmann, Max}, year={2020}, pages={36–47} }
LibreCat
2020 | Journal Article | LibreCat-ID: 16277 | 
@article{Kühne_Iannuzzi_Ben_Rybkin_Seewald_Stein_Laino_Khaliullin_Schütt_Schiffmann_et al._2020, title={CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations}, volume={152}, DOI={10.1063/5.0007045}, number={19194103}, journal={The Journal of Chemical Physics}, author={Kühne, Thomas and Iannuzzi, Marcella and Ben, Mauro Del and Rybkin, Vladimir V. and Seewald, Patrick and Stein, Frederick and Laino, Teodoro and Khaliullin, Rustam Z. and Schütt, Ole and Schiffmann, Florian and et al.}, year={2020} }
LibreCat
| Files available
| DOI
| Download (ext.)
| arXiv
2020 | Conference Paper | LibreCat-ID: 16898
@inproceedings{Lass_Schade_Kühne_Plessl_2020, place={Los Alamitos, CA, USA}, title={A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K}, DOI={10.1109/SC41405.2020.00084}, booktitle={Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)}, publisher={IEEE Computer Society}, author={Lass, Michael and Schade, Robert and Kühne, Thomas and Plessl, Christian}, year={2020}, pages={1127–1140} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 29042
@inbook{Röder_Sherif_Saleem_Conrads_Ngonga Ngomo_2020, title={Benchmarking the Lifecycle of Knowledge Graphs}, DOI={10.3233/SSW200012}, booktitle={Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges}, publisher={IOS Press}, author={Röder, Michael and Sherif, Mohamed and Saleem, Muhammad and Conrads, Felix and Ngonga Ngomo, Axel-Cyrille}, editor={Tiddi, Ilaria and Lécué, Freddy and Hitzler, Pascal}, year={2020}, pages={73–97} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21632
@inproceedings{Meyer_Kenter_Plessl_2020, title={Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite}, DOI={10.1109/h2rc51942.2020.00007}, booktitle={2020 IEEE/ACM International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC)}, author={Meyer, Marius and Kenter, Tobias and Plessl, Christian}, year={2020} }
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 12878 |
@article{Rengaraj_Lass_Plessl_Kühne_2020, title={Accurate Sampling with Noisy Forces from Approximate Computing}, volume={8}, DOI={10.3390/computation8020039}, number={239}, journal={Computation}, publisher={MDPI}, author={Rengaraj, Varadarajan and Lass, Michael and Plessl, Christian and Kühne, Thomas}, year={2020} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 56244
@inbook{Barzel_Biehler_2020, title={Theory-Based Design of Professional Development for Upper Secondary Teachers–Focusing on the Content-Specific Use of Digital Tools}, booktitle={Professional development and knowledge of mathematics teachers}, publisher={Routledge}, author={Barzel, Bärbel and Biehler, Rolf}, year={2020}, pages={163–192} }
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 16710
@article{Gerlach_Ziessler_Eckhardt_Dellnitz_2020, title={A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors}, DOI={10.1137/19m1247139}, journal={SIAM Journal on Applied Dynamical Systems}, author={Gerlach, Raphael and Ziessler, Adrian and Eckhardt, Bruno and Dellnitz, Michael}, year={2020}, pages={705–723} }
LibreCat
| DOI
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 52936
@inproceedings{Dubslaff_Koopmann_Turhan_2020, series={CEUR Workshop Proceedings}, title={Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification}, volume={2663}, booktitle={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}, publisher={CEUR-WS.org}, author={Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}, editor={Borgwardt, Stefan and Meyer, Thomas}, year={2020}, collection={CEUR Workshop Proceedings} }
LibreCat
2020 | Misc | LibreCat-ID: 15489 |
@book{Claes_Steidl_Hetkämper_Henning_2020, title={Estimation of acoustic wave non-linearity in ultrasonic measurement systems}, DOI={10.48550/arXiv.2001.05708}, publisher={Cornell University}, author={Claes, Leander and Steidl, Carolin and Hetkämper, Tim and Henning, Bernd}, year={2020} }
LibreCat
| DOI
| Download (ext.)
| arXiv
2020 | Book Chapter | LibreCat-ID: 35811
@inbook{Biehler_Durand-Guerrier_2020, place={Bizerte, Tunisia}, title={University Mathematics Didactic Research on Number Theory, Algebra, Discrete Mathematics, Logic}, booktitle={Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020)}, publisher={University of Carthage and INDRUM}, author={Biehler, Rolf and Durand-Guerrier, Viviane}, editor={Hausberger, T. and Bosch, M. and Chelloughi, F.}, year={2020}, pages={283–287} }
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 35829
@inbook{Kempen_Krämer_Biehler_2020, place={Bizerte, Tunisia}, title={Investigating high school graduates’ personal meaning of the notion of “mathematical proof”}, booktitle={Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020)}, publisher={University of Carthage and INDRUM}, author={Kempen, Leander and Krämer, Sandra and Biehler, Rolf}, editor={Hausberger, T. and Bosch, M. and Chelloughi, F.}, year={2020}, pages={358–367} }
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 33594
@article{Rezat_Rezat_2020, title={Schulbücher. Werkzeuge zum Üben in den Fächern Deutsch und Mathematik}, volume={320}, journal={Die Grundschulzeitschrift 320}, author={Rezat, Sebastian and Rezat, Sara}, year={2020}, pages={10–13} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 35821
@inbook{Budde_Frischemeier_Biehler_Fleischer_Gerstenberger_Podworny_Schulte_2020, place={Voorborg, The Netherlands}, title={Data Science Education in Secondary School: How to Develop Statistical Reasoning When Exploring Data Using CODAP}, booktitle={New Skills in the Changing World of Statistics Education: Proceedings of the Roundtable conference of the International Association for Statistical Education (IASE), July 2020}, publisher={ISI/IASE}, author={Budde, Lea and Frischemeier, Daniel and Biehler, Rolf and Fleischer, Franz Yannik and Gerstenberger, Dietrich and Podworny, Susanne and Schulte, Carsten}, editor={Arnold, P.}, year={2020} }
LibreCat
| Files available
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 35913
@inbook{Liebendörfer_Göller_Gildehaus_Kortemeyer_Biehler_Hochmuth_Ostsieker_Rode_Schaper_2020, place={Bizerte, Tunisia}, title={The role of learning strategies for performance in mathematics courses for engineers}, booktitle={Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020)}, publisher={University of Carthage and INDRUM}, author={Liebendörfer, Michael and Göller, Robin and Gildehaus, Lara and Kortemeyer, Jörg and Biehler, Rolf and Hochmuth, Reinhard and Ostsieker, Laura and Rode, Jana and Schaper, Niclas}, editor={Hausberger, T. and Bosch, M. and Chelloughi, F.}, year={2020} }
LibreCat
| Files available
2020 | Book Chapter | LibreCat-ID: 35912
@inbook{Lankeit_Biehler_2020, place={Bizerte, Tunisia}, title={“I only know the absolute value function”–About students’ concept images and example spaces concerning continuity and differentiability}, booktitle={Proceedings of the Third Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2020, 12-19 September 2020)}, publisher={University of Carthage and INDRUM}, author={Lankeit, Elisa and Biehler, Rolf}, editor={Hausberger, T. and Bosch, M. and Chelloughi, F.}, year={2020} }
LibreCat
| Files available