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.
9865 Publications
2014 | Book Chapter | LibreCat-ID: 51465
Hilgert, J., Hoffmann, M., & Panse, A. (2014). Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik. In J. Roth & J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014. WTM Verlag.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
Hilgert, J., Pasquale, A., & Przebinda, T. (2014). Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3).
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 45935
Axelsson, O., Karátson, J., & Kovács, B. (2014). Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality. SIAM Journal on Numerical Analysis, 52(6), 2957–2976. https://doi.org/10.1137/130940268
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
Kovács, B. (2014). On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems. Applications of Mathematics, 59(5), 489–508. https://doi.org/10.1007/s10492-014-0068-0
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
Werth, G. (2014). Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 32025
Küster, B. (2014). Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra. Communications in Mathematics, 22(2), 141–149.
LibreCat
2014 | Book | LibreCat-ID: 48384
Wessel, L. (2014). Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff (Vol. 19). Springer-Verlag.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker, M., Müller, W., Stroop, J., & Kiffmeier, U. (2014). HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden.
LibreCat
2014 | Conference Paper | LibreCat-ID: 47162
Fahl, S., Acar, Y., Perl, H., & Smith, M. (2014). Why eve and mallory (also) love webmasters. Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security. https://doi.org/10.1145/2590296.2590341
LibreCat
| DOI
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
2013 | Conference Paper | LibreCat-ID: 25287
Gilles, K., Grösbrink, S., Baldin, D., & Kerstan, T. (2013). Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems. International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
Grösbrink, S. (2013). On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem. International Embedded Systems Symposium, 17. - 19. Jun. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
Rammig, F.-J., Khaluf, L., Montealegre, N., Stahl, K., & Zhao, Y. (2013). Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software. Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013. 17. - 18. Jun. 2013 IEEE.
LibreCat