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.
10469 Publications
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.
2013 | Conference Paper | LibreCat-ID: 25274
Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms
Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial Life, 2013.
LibreCat
Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial Life, 2013.
2013 | Conference Paper | LibreCat-ID: 25277
Simulationsgestützter Entwurf für Elektrofahrzeuge
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep. 2013, 2013.
LibreCat
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep. 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 25284
Efficient Power Intent Validation Using Loosely-Timed Simulation Models
F. Mischkalla, W. Müller, in: 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
LibreCat
F. Mischkalla, W. Müller, in: 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 25286
Learning Recommendation System for Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2013, pp. 97–104.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2013, pp. 97–104.