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
J. Hilgert, M. Hoffmann, and A. Panse, “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik,” in Beiträge zum Mathematikunterricht 2014, J. Roth and J. Ames, Eds. Münster: WTM Verlag, 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
J. Hilgert, A. Pasquale, and T. Przebinda, “Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3).” 2014.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 45935
O. Axelsson, J. Karátson, and B. Kovács, “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality,” SIAM Journal on Numerical Analysis, vol. 52, no. 6, pp. 2957–2976, 2014, doi: 10.1137/130940268.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
B. Kovács, “On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems,” Applications of Mathematics, vol. 59, no. 5, pp. 489–508, 2014, doi: 10.1007/s10492-014-0068-0.
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
G. Werth, Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? 2014.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 32025
B. Küster, “Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra,” Communications in Mathematics, vol. 22, no. 2, pp. 141–149, 2014.
LibreCat
2014 | Book | LibreCat-ID: 48384
L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, vol. 19. Wiesbaden: Springer-Verlag, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 47162
S. Fahl, Y. Acar, H. Perl, and M. Smith, “Why eve and mallory (also) love webmasters,” 2014, doi: 10.1145/2590296.2590341.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 25120
F. Mischkalla and W. Müller, “Architectural Low-Power Design Using Transaction-Based System Simulation,” Greece, Sep. 2014, IEEE, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Source code annotated memory leak detection for soft real time embedded systems with resource constraints,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
F. Mischkalla and W. Müller, “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: 10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
C. Kuznik, W. Müller, and G. B. Defo, “An Assisted Single Source Verification Metric Model Code Generation Methodology,” presented at the Proceedings of the Electronic System Level Synthesis Conference (ESLSyn), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
C. Kuznik and W. Müller, “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
C. Kuznik, B. G. Defo, and W. Müller, “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung,” 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
C. Kuznik, B. G. Defo, and W. Müller, “An Assisted Single Source Verification Metric Model Code Generation Methodology,” Electronic System Level Synthesis Conference (ESLSyn), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 35714
K. Temmen, B. Nofen, and M. Wehebrink, “Lecture meets laboratory experimental experiences for large audiences: Concept and implementation,” 2014, doi: 10.1109/educon.2014.6826117.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 31296
S. Barkhofen, F. Faure, and T. Weich, “Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum,” Nonlinearity, vol. 27, no. 8, pp. 1829–1858, 2014, doi: 10.1088/0951-7715/27/8/1829.
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 31297
T. Weich, S. Barkhofen, U. Kuhl, C. Poli, and H. Schomerus, “Formation and interaction of resonance chains in the open three-disk system,” New Journal of Physics, vol. 16, no. 3, Art. no. 033029, 2014, doi: 10.1088/1367-2630/16/3/033029.
LibreCat
| DOI
| arXiv