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
Podworny, S., & Biehler, R. (2014). A learning trajectory on hypothesis testing with TinkerPlots - design and exploratory evaluation. 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.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57193
Biehler, R. (2014). On the delicate relation between informal statistical inference and formal statistical inference. 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.
LibreCat
2014 | Book Chapter | LibreCat-ID: 57413
Hochmuth, R., Biehler, R., & Schreiber, S. (2014). Considering mathematical practices in engineering contexts focusing on signal analysis. 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) (pp. 693–699).
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57415
Kuzle, A., & Biehler, R. (2014). Wie „multiplizieren“ Mathematikmultiplikatoren in ihren selbst gestalteten Lehrerfortbildungsmaßnahmen? In J. Roth & J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1 (pp. 687–690). WTM-Verlag.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 57275
Biehler, R., Kuzle, A., Dutkowski, W., Elschenbroich, H.-J., & Heintz, G. (2014). GeKoDyn: Eine Fortbildungsreihe zur dynamischen und kompetenzorientierten Sicht auf die euklidische Geometrie. In J. Roth & J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, Band 1 (pp. 181–184). WTM-Verlag.
LibreCat
2014 | Book Chapter | LibreCat-ID: 57421
Wassong, T., & Biehler, R. (2014). The use of technology in a mentor teacher course in statistics education. 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.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 57423
Wolf, P., & Biehler, R. (2014). Entwicklung und Erprobung anwendungsorientierter Aufgaben für Ingenieurstudienanfänger/innen. Zeitschrift für Hochschulentwicklung, 9(4), 169–190.
LibreCat
| Download (ext.)
2014 | Book | LibreCat-ID: 57422
Wolf, P., & Biehler, R. (2014). Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium, khdm-Report: Nr. 03-14. Universität Kassel.
LibreCat
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 34583
Koppelmann, B., Messidat, B., Kuznik, C., Müller, W., Becker, M., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Proceedings of the Design and Verification Conference Europe (DVCON Europe).
LibreCat
2014 | Journal Article | LibreCat-ID: 25117
Koppelmann, B., Messidat, B., Becker, M., Kuznik, C., Müller, W., & Scheytt, J. C. (2014). Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU. Design and Verification Conference (DVCON EUROPE).
LibreCat
2014 | Journal Article | LibreCat-ID: 25162
Kuznik, C., & Müller, W. (2014). Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. Design, Automation and Test in Europe DATE, University Booth, Dresden .
LibreCat
2014 | Conference Paper | LibreCat-ID: 25169
Oetjens, J.-H., Becker, M., Kuznik, C., & Müller, W. (2014). Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. Design Automation Conference (DAC).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
Khaluf, Y., Birattari, M., & Rammig, F.-J. (2013). Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences. Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, 8273.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2013). Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model. Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
He, D., & Müller, W. (2013). AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. Proceedings of International Conference on Applied Computing (AC).
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
Wehrmeister, M. A., Pereira, C. E., & Rammig, F.-J. (2013). Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems. IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2373–2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Khaluf, Y., & Rammig, F.-J. (2013). Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms. ECAL 2013, 12th European Conference on Artificial Life.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag, Sep. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
Mischkalla, F., & Müller, W. (2013). Efficient Power Intent Validation Using Loosely-Timed Simulation Models. 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
Jungmann, A., & Kleinjohann, B. (2013). Learning Recommendation System for Automated Service Composition. Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 97–104.
LibreCat