@inbook{45385,
  author       = {{Dröse, Jennifer and Prediger, Susanne}},
  booktitle    = {{Sprachbildender Mathematikunterricht in der Sekundarstufe - ein forschungsbasiertes Praxisbuch }},
  editor       = {{Prediger, Susanne}},
  pages        = {{86--94}},
  publisher    = {{Cornelsen}},
  title        = {{{Lesen lernen von Aufgabentexten}}},
  year         = {{2020}},
}

@inbook{45688,
  author       = {{Bruns, Julia and Vogtländer, A.}},
  booktitle    = {{Frühe alltagsintegrierte mathematische Bildung. Handreichung für Lehrende}},
  editor       = {{Born-Rauchecker, E. and Vogtländer, A. and Weber, K.}},
  pages        = {{37--46}},
  publisher    = {{Kallmeyer}},
  title        = {{{Frühe alltagsintegrierte mathematische Bildung. Eine Einleitung}}},
  year         = {{2020}},
}

@article{34816,
  abstract     = {{<jats:title>Zusammenfassung</jats:title><jats:p>Frühe mathematische Bildung findet in der Kindertagesstätte insbesondere in spontanen Alltagssituationen statt. Damit diese Alltagssituationen zu natürlichen Lernsituationen für die Kinder werden, müssen (angehende) frühpädagogische Fachkräfte zunächst das mathematische Potenzial in diesen Situationen erkennen. Diese Fähigkeit zur <jats:italic>situativen Beobachtung und Wahrnehmung </jats:italic>ist bisher unzureichend erforscht, was unter anderem auf begrenzte Methoden zur standardisierten Erfassung dieses Konstrukts zurückzuführen ist. Um diesem Bedarf zu begegnen, wurde das videobasierte Testinstrument <jats:italic>Vimas_num</jats:italic> zur Erfassung der Fähigkeit zur situativen Beobachtung und Wahrnehmung angehender frühpädagogischer Fachpersonen im Bereich Mengen und Zahlen entwickelt. Auf der Grundlage von drei aufeinander aufbauenden Studien wird die Validität verschiedener Aspekte der Testwertinterpretation untersucht. Die Ergebnisse geben Hinweise auf die Validität der Testwertinterpretation in Bezug auf den Testinhalt, die interne Struktur des Tests und die Zusammenhänge mit theoretisch verbundenen Konstrukten.</jats:p>}},
  author       = {{Bruns, Julia and Strahl, Carolin and Gasteiger, Hedwig}},
  issn         = {{0340-4099}},
  journal      = {{Unterrichtswissenschaft}},
  keywords     = {{Education}},
  number       = {{3}},
  pages        = {{345--371}},
  publisher    = {{Springer Science and Business Media LLC}},
  title        = {{{Situative Beobachtung und Wahrnehmung angehender frühpädagogischer Fachpersonen im Bereich Mathematik – Entwicklung und Validierung eines Testinstruments}}},
  doi          = {{10.1007/s42010-020-00091-7}},
  volume       = {{49}},
  year         = {{2020}},
}

@inproceedings{36546,
  author       = {{Meyer, Lena and Tabeling, Laura and Gasteiger, Hedwig and Bruns, Julia}},
  booktitle    = {{Beiträge zum Mathematikunterricht 2020}},
  editor       = {{Siller, Hans-Stefan and Weigel, Wolfgang and Wörler, Jan}},
  location     = {{Würzburg}},
  pages        = {{1253--1256}},
  publisher    = {{WTM-Verlag}},
  title        = {{{Interaktionen in mathematischen Spielsituationen in Kindertagesstätte und Familie}}},
  year         = {{2020}},
}

@article{21529,
  abstract     = {{<jats:title>Zusammenfassung</jats:title><jats:p>Die Implementation früher mathematischer Bildung in Kindertagesstätten kann durch fachdidaktische Fortbildungen für frühpädagogische Fachkräfte unterstützt werden. Um Fachkräfte in der Breite zu erreichen, erscheint ein scaling up Ansatz geeignet, bei dem aufbauend auf das Fortbildungskonzept <jats:italic>EmMa – Erzieherinnen und Erzieher machen Mathematik </jats:italic>Multiplikatorinnen und Multiplikatoren qualifiziert werden. Dabei ergibt sich die Herausforderung, dass Fortbildende im Elementarbereich kaum mathematisches und mathematikdidaktisches Wissen mitbringen. Der Kontext dieser Studie ist der scaling up Prozess der Fortbildung <jats:italic>EmMa</jats:italic> unter diesen Umständen. Das Erkenntnisinteresse liegt in der Beschreibung und Bewertung der Adaptionshandlungen der Multiplikatorinnen und Multiplikatoren. Für die Bewertung der Adaptionen werden zwei Kriterien herangezogen: (1) das Kriterium der Präzision, das die Vollständigkeit und Klarheit der Inhalte umfasst und (2) das Kriterium der fachlichen Korrektheit, das durch das Ausbleiben fachbezogener Fehler beschrieben wird. Analysiert werden dabei die theoretischen, fachbezogenen Phasen der von Multiplikatorinnen und Multiplikatoren durchgeführten Fortbildung zur frühen mathematischen Bildung, da davon ausgegangen wird, dass insbesondere diese theoretischen Inhalte für diese Gruppe von Multiplikatorinnen und Multiplikatoren eine Herausforderung darstellen. Zur Untersuchung wurde eine videogestützte, qualitative Feldstudie mit <jats:italic>N</jats:italic> = 8 Fällen durchgeführt. Mit Hilfe der qualitativen Inhaltsanalyse wurden die Adaptionshandlungen der Multiplikatorinnen und Multiplikatoren charakterisiert und hinsichtlich ihrer Präzision und der fachlichen Fehler in diesen Adaptionen analysiert. Dabei zeigte sich, dass der eigenständige Umgang mit den mathematischen und mathematikdidaktischen Inhalten des Fortbildungskonzepts <jats:italic>EmMa </jats:italic>trotz intensiver Unterstützung anspruchsvoll und bei vielen Multiplikatorinnen und Multiplikatoren mit fachbezogenen Fehlern verbunden ist. Implikationen dieser Ergebnisse für die weitere Forschung werden diskutiert.</jats:p>}},
  author       = {{Bruns, Julia and Schopferer, Theresa and Gasteiger, Hedwig}},
  issn         = {{0173-5322}},
  journal      = {{Journal für Mathematik-Didaktik}},
  number       = {{1}},
  pages        = {{243--271}},
  title        = {{{Adaptionshandlungen von Multiplikatorinnen und Multiplikatoren zur frühen mathematischen Bildung – Beschreibung und Bewertung aus fachbezogener Perspektive}}},
  doi          = {{10.1007/s13138-020-00175-y}},
  volume       = {{42}},
  year         = {{2020}},
}

@inbook{21530,
  author       = {{Bruns, Julia and Carlsen, Martin and Eichen, Lars and Erfjord, Ingvald and Hundeland, Per Sigurd}},
  booktitle    = {{Mathematics Education in the Early Years}},
  isbn         = {{9783030347758}},
  pages        = {{317–332}},
  publisher    = {{Springer}},
  title        = {{{Situational Perception in Mathematics (SPiM)—Results of a Cross-Country Study in Austria and Norway}}},
  doi          = {{10.1007/978-3-030-34776-5_19}},
  year         = {{2020}},
}

@inproceedings{36539,
  author       = {{Bruns, Julia}},
  booktitle    = {{Beiträge zum Mathematikunterricht 2020}},
  editor       = {{Siller, Hans-Stefan and Weigel, Wolfgang and Wörler, Jan}},
  location     = {{Würzburg}},
  pages        = {{1245--1248}},
  publisher    = {{WTM-Verlag}},
  title        = {{{Mathematisches Fachwissen von frühpädagogischen Fachpersonen im Spannungsfeld zwischen Disziplin- und Praxis}}},
  doi          = {{10.37626/GA9783959871402.0}},
  year         = {{2020}},
}

@inproceedings{45330,
  author       = {{Schönherr, Johanna and Blomberg, J. and Schukajlow, S. and Rellensmann, J.}},
  booktitle    = {{Proceedings of the 44th Conference of the International Group for the Psychology of Mathematics Education: PME}},
  editor       = {{Inprasitha, M. and Changsri, N. and Boonsena, N.}},
  pages        = {{46–54}},
  title        = {{{“Why don’t you make a drawing?" Motivation and strategy use in mathematical modelling}}},
  year         = {{2020}},
}

@article{45338,
  author       = {{Schönherr, Johanna and Schukajlow, S. and Leopold, C.}},
  journal      = {{ZDM – Mathematics Education}},
  number       = {{1}},
  pages        = {{97–110}},
  title        = {{{Measuring and investigating strategic knowledge about drawing to solve geometry modelling problems}}},
  doi          = {{10.1007/s11858-019-01085-1}},
  volume       = {{52}},
  year         = {{2020}},
}

@misc{21433,
  abstract     = {{Modern machine learning (ML) techniques continue to move into the embedded system space because traditional centralized compute resources do not suit certain application domains, for example in mobile or real-time environments. Google’s TensorFlow Lite (TFLite) framework supports this shift from cloud to edge computing and makes ML inference accessible on resource-constrained devices. While it offers the possibility to partially delegate computation to hardware accelerators, there is no such “delegate” available to utilize the promising characteristics of reconfigurable hardware.
This thesis incorporates modern platform FPGAs into TFLite by implementing a modular delegate framework, which allows accelerators within the programmable logic to take over the execution of neural network layers. To facilitate the necessary hardware/software codesign, the FPGA delegate is based on the operating system for reconfigurable
computing (ReconOS), whose partial reconfiguration support enables the instantiation of model-tailored accelerator architectures. In the hardware back-end, a streaming-based prototype accelerator for the MobileNet model family showcases the working order of the platform, but falls short of the desired performance. Thus, it indicates the need for further exploration of alternative accelerator designs, which the delegate could automatically synthesize to meet a model’s demands.}},
  author       = {{Jentzsch, Felix P.}},
  title        = {{{Design and Implementation of a ReconOS-based TensorFlow Lite Delegate Architecture}}},
  year         = {{2020}},
}

@article{34670,
  author       = {{Black, Tobias}},
  issn         = {{0218-2025}},
  journal      = {{Mathematical Models and Methods in Applied Sciences}},
  keywords     = {{Applied Mathematics, Modeling and Simulation}},
  number       = {{06}},
  pages        = {{1075--1117}},
  publisher    = {{World Scientific Pub Co Pte Lt}},
  title        = {{{Global generalized solutions to a forager–exploiter model with superlinear degradation and their eventual regularity properties}}},
  doi          = {{10.1142/s0218202520400072}},
  volume       = {{30}},
  year         = {{2020}},
}

@article{31376,
  author       = {{Hoffmann, Max}},
  journal      = {{Der Mathematikunterricht}},
  pages        = {{36–47}},
  title        = {{{Zirkel und Lineal ohne Parallelenaxiom: Ein konstruktiver Zugang zur hyperbolischen Geometrie.}}},
  volume       = {{66 (6)}},
  year         = {{2020}},
}

@article{16277,
  abstract     = {{CP2K is an open source electronic structure and molecular dynamics software package to perform atomistic simulations of solid-state, liquid, molecular, and biological systems. It is especially aimed at massively parallel and linear-scaling electronic structure methods and state-of-theart ab initio molecular dynamics simulations. Excellent performance for electronic structure calculations is achieved using novel algorithms implemented for modern high-performance computing systems. This review revisits the main capabilities of CP2K to perform efficient and accurate electronic structure simulations. The emphasis is put on density functional theory and multiple post–Hartree–Fock methods using the Gaussian and plane wave approach and its augmented all-electron extension.}},
  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 Golze, Dorothea and Wilhelm, Jan and Chulkov, Sergey and Mohammad Hossein Bani-Hashemian, Mohammad Hossein Bani-Hashemian and Weber, Valéry and Borstnik, Urban and Taillefumier, Mathieu and Jakobovits, Alice Shoshana and Lazzaro, Alfio and Pabst, Hans and Müller, Tiziano and Schade, Robert and Guidon, Manuel and Andermatt, Samuel and Holmberg, Nico and Schenter, Gregory K. and Hehn, Anna and Bussy, Augustin and Belleflamme, Fabian and Tabacchi, Gloria and Glöß, Andreas and Lass, Michael and Bethune, Iain and Mundy, Christopher J. and Plessl, Christian and Watkins, Matt and VandeVondele, Joost and Krack, Matthias and Hutter, Jürg}},
  journal      = {{The Journal of Chemical Physics}},
  number       = {{19}},
  title        = {{{CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations}}},
  doi          = {{10.1063/5.0007045}},
  volume       = {{152}},
  year         = {{2020}},
}

@inproceedings{16898,
  abstract     = {{Electronic structure calculations based on density-functional theory (DFT)
represent a significant part of today's HPC workloads and pose high demands on
high-performance computing resources. To perform these quantum-mechanical DFT
calculations on complex large-scale systems, so-called linear scaling methods
instead of conventional cubic scaling methods are required. In this work, we
take up the idea of the submatrix method and apply it to the DFT computations
in the software package CP2K. For that purpose, we transform the underlying
numeric operations on distributed, large, sparse matrices into computations on
local, much smaller and nearly dense matrices. This allows us to exploit the
full floating-point performance of modern CPUs and to make use of dedicated
accelerator hardware, where performance has been limited by memory bandwidth
before. We demonstrate both functionality and performance of our implementation
and show how it can be accelerated with GPUs and FPGAs.}},
  author       = {{Lass, Michael and Schade, Robert and Kühne, Thomas and Plessl, Christian}},
  booktitle    = {{Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC)}},
  location     = {{Atlanta, GA, US}},
  pages        = {{1127--1140}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K}}},
  doi          = {{10.1109/SC41405.2020.00084}},
  year         = {{2020}},
}

@inbook{29042,
  author       = {{Röder, Michael and Sherif, Mohamed and Saleem, Muhammad and Conrads, Felix and Ngonga Ngomo, Axel-Cyrille}},
  booktitle    = {{Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges}},
  editor       = {{Tiddi, Ilaria and Lécué, Freddy and Hitzler, Pascal}},
  keywords     = {{dice group_aksw roeder sherif saleem fconrads ngonga}},
  pages        = {{73--97}},
  publisher    = {{IOS Press}},
  title        = {{{Benchmarking the Lifecycle of Knowledge Graphs}}},
  doi          = {{10.3233/SSW200012}},
  year         = {{2020}},
}

@inproceedings{21632,
  abstract     = {{FPGAs have found increasing adoption in data center applications since a new generation of high-level tools have become available which noticeably reduce development time for FPGA accelerators and still provide high-quality results. There is, however, no high-level benchmark suite available, which specifically enables a comparison of FPGA architectures, programming tools, and libraries for HPC applications. To fill this gap, we have developed an OpenCL-based open-source implementation of the HPCC benchmark suite for Xilinx and Intel FPGAs. This benchmark can serve to analyze the current capabilities of FPGA devices, cards, and development tool flows, track progress over time, and point out specific difficulties for FPGA acceleration in the HPC domain. Additionally, the benchmark documents proven performance optimization patterns. We will continue optimizing and porting the benchmark for new generations of FPGAs and design tools and encourage active participation to create a valuable tool for the community. To fill this gap, we have developed an OpenCL-based open-source implementation of the HPCC benchmark suite for Xilinx and Intel FPGAs. This benchmark can serve to analyze the current capabilities of FPGA devices, cards, and development tool flows, track progress over time, and point out specific difficulties for FPGA acceleration in the HPC domain. Additionally, the benchmark documents proven performance optimization patterns. We will continue optimizing and porting the benchmark for new generations of FPGAs and design tools and encourage active participation to create a valuable tool for the community.}},
  author       = {{Meyer, Marius and Kenter, Tobias and Plessl, Christian}},
  booktitle    = {{2020 IEEE/ACM International Workshop on Heterogeneous High-performance Reconfigurable Computing (H2RC)}},
  isbn         = {{9781665415927}},
  keywords     = {{FPGA, OpenCL, High Level Synthesis, HPC benchmarking}},
  title        = {{{Evaluating FPGA Accelerator Performance with a Parameterized OpenCL Adaptation of Selected Benchmarks of the HPCChallenge Benchmark Suite}}},
  doi          = {{10.1109/h2rc51942.2020.00007}},
  year         = {{2020}},
}

@article{12878,
  abstract     = {{In scientific computing, the acceleration of atomistic computer simulations by means of custom hardware is finding ever-growing application. A major limitation, however, is that the high efficiency in terms of performance and low power consumption entails the massive usage of low precision computing units. Here, based on the approximate computing paradigm, we present an algorithmic method to compensate for numerical inaccuracies due to low accuracy arithmetic operations rigorously, yet still obtaining exact expectation values using a properly modified Langevin-type equation.}},
  author       = {{Rengaraj, Varadarajan and Lass, Michael and Plessl, Christian and Kühne, Thomas}},
  journal      = {{Computation}},
  number       = {{2}},
  publisher    = {{MDPI}},
  title        = {{{Accurate Sampling with Noisy Forces from Approximate Computing}}},
  doi          = {{10.3390/computation8020039}},
  volume       = {{8}},
  year         = {{2020}},
}

@inbook{56244,
  author       = {{Barzel, Bärbel and Biehler, Rolf}},
  booktitle    = {{Professional development and knowledge of mathematics teachers}},
  pages        = {{163–192}},
  publisher    = {{Routledge}},
  title        = {{{Theory-Based Design of Professional Development for Upper Secondary Teachers–Focusing on the Content-Specific Use of Digital Tools}}},
  year         = {{2020}},
}

@article{16710,
  abstract     = {{In this work we present a set-oriented path following method for the computation of relative global
attractors of parameter-dependent dynamical systems. We start with an initial approximation of the
relative global attractor for a fixed parameter λ0 computed by a set-oriented subdivision method.
By using previously obtained approximations of the parameter-dependent relative global attractor
we can track it with respect to a one-dimensional parameter λ > λ0 without restarting the whole
subdivision procedure. We illustrate the feasibility of the set-oriented path following method by
exploring the dynamics in low-dimensional models for shear flows during the transition to turbulence
and of large-scale atmospheric regime changes .
}},
  author       = {{Gerlach, Raphael and Ziessler, Adrian and Eckhardt, Bruno and Dellnitz, Michael}},
  issn         = {{1536-0040}},
  journal      = {{SIAM Journal on Applied Dynamical Systems}},
  pages        = {{705--723}},
  title        = {{{A Set-Oriented Path Following Method for the Approximation of Parameter Dependent Attractors}}},
  doi          = {{10.1137/19m1247139}},
  year         = {{2020}},
}

@inproceedings{52936,
  author       = {{Dubslaff, Clemens and Koopmann, Patrick and Turhan, Anni-Yasmin}},
  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}},
  editor       = {{Borgwardt, Stefan and Meyer, Thomas}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification}}},
  volume       = {{2663}},
  year         = {{2020}},
}