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.
10720 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
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, F., & Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Simulation. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2014). Source code annotated memory leak detection for soft real time embedded systems with resource constraints. 12th IEEE International Conference on Embedded Computing.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla, F., & Müller, W. (2014). Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. PATMOS 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. https://doi.org/10.1109/ICCPS.2014.6843726
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, C., Müller, W., & Defo, G. B. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Proceedings of the Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, C., & Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, C., Defo, B. G., & Müller, W. (2014). Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) .
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
Kuznik, C., Defo, B. G., & Müller, W. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
2014 | Conference Paper | LibreCat-ID: 35714
Temmen, K., Nofen, B., & Wehebrink, M. (2014). Lecture meets laboratory experimental experiences for large audiences: Concept and implementation. 2014 IEEE Global Engineering Education Conference (EDUCON). https://doi.org/10.1109/educon.2014.6826117
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 31296
Barkhofen, S., Faure, F., & Weich, T. (2014). Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum. Nonlinearity, 27(8), 1829–1858. https://doi.org/10.1088/0951-7715/27/8/1829
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 31297
Weich, T., Barkhofen, S., Kuhl, U., Poli, C., & Schomerus, H. (2014). Formation and interaction of resonance chains in the open three-disk system. New Journal of Physics, 16(3), Article 033029. https://doi.org/10.1088/1367-2630/16/3/033029
LibreCat
| DOI
| arXiv