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.
11318 Publications
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
2014 | Journal Article | LibreCat-ID: 60444
Campen, M., & Kobbelt, L. (2014). Dual strip weaving. ACM Transactions on Graphics, 33(6), 1–10. https://doi.org/10.1145/2661229.2661236
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 60445
Ebke, H.-C., Campen, M., Bommes, D., & Kobbelt, L. (2014). Level-of-detail quad meshing. ACM Transactions on Graphics, 33(6), 1–11. https://doi.org/10.1145/2661229.2661240
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 60443
Campen, M., & Kobbelt, L. (2014). Quad Layout Embedding via Aligned Parameterization. Computer Graphics Forum, 33(8), 69–81. https://doi.org/10.1111/cgf.12401
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 10309
Hüllermeier, E. (2014). Rejoinder on “Learning from imprecise and fuzzy observations: Data disambiguation through generalized loss minimization.” Int. J. Approx. Reasoning, 55(7), 1609–1613.
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