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.
10484 Publications
2014 | Book Chapter | LibreCat-ID: 57411
Hilft der sogenannte Modellierungskreislauf Lösungsprozesse bei ingenieurwiss. Anwendungsaufga-ben besser zu verstehen?
R. Biehler, N. Schaper, J. Kortemeyer, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 647–650.
LibreCat
| Download (ext.)
R. Biehler, N. Schaper, J. Kortemeyer, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 647–650.
2014 | Book Chapter | LibreCat-ID: 57419
Designing and implementing an alternative teaching concept within a continuous professional development course for German secondary school teachers
J. Oesterhaus, R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
LibreCat
| Download (ext.)
J. Oesterhaus, R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
2014 | Book Chapter | LibreCat-ID: 57414
The Quality of Argumentations of First-Year Pre-Service Teachers
L. Kempen, R. Biehler, in: S. Oesterle, P. Liljedahl, C. Nicol, D. Allen (Eds.), Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education and the 36th Conference of the North American Chapter of the Psychology of Mathemat-Ics Education (Vol. 3) , PME, Vancouver, Canada, 2014, pp. 425–432.
LibreCat
| Download (ext.)
L. Kempen, R. Biehler, in: S. Oesterle, P. Liljedahl, C. Nicol, D. Allen (Eds.), Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education and the 36th Conference of the North American Chapter of the Psychology of Mathemat-Ics Education (Vol. 3) , PME, Vancouver, Canada, 2014, pp. 425–432.
2014 | Book Chapter | LibreCat-ID: 57417
Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen
M. Liebendörfer, R. Hochmuth, S. Schreiber, R. Göller, J. Kolter, R. Biehler, J. Kortemeyer, L. Ostsieker, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 739–742.
LibreCat
| Download (ext.)
M. Liebendörfer, R. Hochmuth, S. Schreiber, R. Göller, J. Kolter, R. Biehler, J. Kortemeyer, L. Ostsieker, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 739–742.
2014 | Book Chapter | LibreCat-ID: 57420
A learning trajectory on hypothesis testing with TinkerPlots - design and exploratory evaluation
S. Podworny, R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
LibreCat
| Download (ext.)
S. Podworny, R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
2014 | Book Chapter | LibreCat-ID: 57193
On the delicate relation between informal statistical inference and formal statistical inference
R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
LibreCat
R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
2014 | Book Chapter | LibreCat-ID: 57413
Considering mathematical practices in engineering contexts focusing on signal analysis
R. Hochmuth, R. Biehler, S. Schreiber, in: T. Fukawa-Connelly, G. Karakok, K. Keene, M. Zandieh (Eds.), Proceedings of the 17th Annual Conference on Research in Undergraduate Mathematics Education (RUME 17), 2014, pp. 693–699.
LibreCat
| Download (ext.)
R. Hochmuth, R. Biehler, S. Schreiber, in: T. Fukawa-Connelly, G. Karakok, K. Keene, M. Zandieh (Eds.), Proceedings of the 17th Annual Conference on Research in Undergraduate Mathematics Education (RUME 17), 2014, pp. 693–699.
2014 | Book Chapter | LibreCat-ID: 57415
Wie „multiplizieren“ Mathematikmultiplikatoren in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen?
A. Kuzle, R. Biehler, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 687–690.
LibreCat
| Download (ext.)
A. Kuzle, R. Biehler, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 687–690.
2014 | Book Chapter | LibreCat-ID: 57275
GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten Sicht auf die euklidische Geometrie
R. Biehler, A. Kuzle, W. Dutkowski, H.-J. Elschenbroich, G. Heintz, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 181–184.
LibreCat
R. Biehler, A. Kuzle, W. Dutkowski, H.-J. Elschenbroich, G. Heintz, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1, WTM-Verlag, Münster, 2014, pp. 181–184.
2014 | Book Chapter | LibreCat-ID: 57421
The use of technology in a mentor teacher course in statistics education
T. Wassong, R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
LibreCat
| Download (ext.)
T. Wassong, R. Biehler, in: K. Makar, B. d. Sousa, R. Gould (Eds.), Sustainability in Statistics Education. Proceedings of the Ninth International Conference on Teaching Statistics (ICOTS9, July, 2014), Flagstaff, Arizona, USA, ISA, Voorburg: The Netherlands, 2014.
2014 | Journal Article | LibreCat-ID: 57423
Entwicklung und Erprobung anwendungsorientierter Aufgaben für Ingenieurstudienanfänger/innen
P. Wolf, R. Biehler, Zeitschrift für Hochschulentwicklung 9 (2014) 169–190.
LibreCat
| Download (ext.)
P. Wolf, R. Biehler, Zeitschrift für Hochschulentwicklung 9 (2014) 169–190.
2014 | Book | LibreCat-ID: 57422
Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium, khdm-Report: Nr. 03-14
P. Wolf, R. Biehler, Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen Im Maschinenbaustudium, Khdm-Report: Nr. 03-14, Universität Kassel, Kassel, 2014.
LibreCat
| Download (ext.)
P. Wolf, R. Biehler, Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen Im Maschinenbaustudium, Khdm-Report: Nr. 03-14, Universität Kassel, Kassel, 2014.
2014 | Conference Paper | LibreCat-ID: 34583
Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, J.C. Scheytt, in: Proceedings of the Design and Verification Conference Europe (DVCON Europe), München, 2014.
LibreCat
B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, J.C. Scheytt, in: Proceedings of the Design and Verification Conference Europe (DVCON Europe), München, 2014.
2014 | Journal Article | LibreCat-ID: 25117
Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU
B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, J.C. Scheytt, Design and Verification Conference (DVCON EUROPE) (2014).
LibreCat
B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, J.C. Scheytt, Design and Verification Conference (DVCON EUROPE) (2014).
2014 | Journal Article | LibreCat-ID: 25162
Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure
C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
LibreCat
C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
2014 | Conference Paper | LibreCat-ID: 25169
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges
J.-H. Oetjens, M. Becker, C. Kuznik, W. Müller, in: Design Automation Conference (DAC), 2014.
LibreCat
J.-H. Oetjens, M. Becker, C. Kuznik, W. Müller, in: Design Automation Conference (DAC), 2014.
2013 | Conference Paper | LibreCat-ID: 25269
Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences
Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Springer, 2013.
LibreCat
Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Springer, 2013.
2013 | Conference Paper | LibreCat-ID: 25270
Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.
LibreCat
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.
2013 | Conference Paper | LibreCat-ID: 25271
AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS
D. He, W. Müller, in: Proceedings of International Conference on Applied Computing (AC), 2013.
LibreCat
D. He, W. Müller, in: Proceedings of International Conference on Applied Computing (AC), 2013.
2013 | Conference Paper | LibreCat-ID: 25273
Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems
M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in: IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.
LibreCat
M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in: IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.