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, Joachim, M. Hoffmann, and A. Panse. “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik.” In Beiträge zum Mathematikunterricht 2014, edited by J. Roth and J. Ames. Münster: WTM Verlag, 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
Hilgert, Joachim, 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
Axelsson, Owe, János Karátson, and Balázs Kovács. “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality.” SIAM Journal on Numerical Analysis 52, no. 6 (2014): 2957–76. https://doi.org/10.1137/130940268.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
Kovács, Balázs. “On the Numerical Performance of a Sharp a Posteriori Error Estimator for Some Nonlinear Elliptic Problems.” Applications of Mathematics 59, no. 5 (2014): 489–508. https://doi.org/10.1007/s10492-014-0068-0.
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
Werth, Gerda. 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
Küster, Benjamin. “Discontinuity of the Fuglede-Kadison Determinant on a Group von Neumann Algebra.” Communications in Mathematics 22, no. 2 (2014): 141–49.
LibreCat
2014 | Book | LibreCat-ID: 48384
Wessel, Lena. 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
Becker, Markus, Wolfgang Müller, Joachim Stroop, and Ulrich 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
Fahl, Sascha, Yasemin Acar, Henning Perl, and Matthew Smith. “Why Eve and Mallory (Also) Love Webmasters.” In Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security. ACM, 2014. https://doi.org/10.1145/2590296.2590341.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, Fabian, and Wolfgang Müller. “Architectural Low-Power Design Using Transaction-Based System Simulation.” In Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). IEEE, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. Mabel Mary, Wolfgang Müller, and Franz-Josef Rammig. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” In 12th IEEE International Conference on Embedded Computing, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla, Fabian, and Wolfgang Müller. “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation.” In PATMOS 2014. Palma de Mallorca, Spain, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, Christoph Kuznik, and Wolfgang Müller. “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems.” Berlin: IEEE, 2014. https://doi.org/10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, Christoph, Wolfgang Müller, and Gilles Bertrand Defo. “An Assisted Single Source Verification Metric Model Code Generation Methodology.” San Francisco, USA, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” In 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang Müller. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” In 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
Kuznik, Christoph, Bertrand Gilles Defo, and Wolfgang 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
Temmen, Katrin, Barbara Nofen, and Markus Wehebrink. “Lecture Meets Laboratory Experimental Experiences for Large Audiences: Concept and Implementation.” In 2014 IEEE Global Engineering Education Conference (EDUCON). IEEE, 2014. https://doi.org/10.1109/educon.2014.6826117.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 31296
Barkhofen, Sonja, F Faure, and Tobias Weich. “Resonance Chains in Open Systems, Generalized Zeta Functions and Clustering of the Length Spectrum.” Nonlinearity 27, no. 8 (2014): 1829–58. https://doi.org/10.1088/0951-7715/27/8/1829.
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 31297
Weich, Tobias, Sonja Barkhofen, U Kuhl, C Poli, and H Schomerus. “Formation and Interaction of Resonance Chains in the Open Three-Disk System.” New Journal of Physics 16, no. 3 (2014). https://doi.org/10.1088/1367-2630/16/3/033029.
LibreCat
| DOI
| arXiv