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, et al. “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik.” Beiträge zum Mathematikunterricht 2014, edited by J. Roth and J. Ames, WTM Verlag, 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
Hilgert, Joachim, et al. 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, et al. “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality.” SIAM Journal on Numerical Analysis, vol. 52, no. 6, Society for Industrial & Applied Mathematics (SIAM), 2014, pp. 2957–76, doi: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, vol. 59, no. 5, Institute of Mathematics, Czech Academy of Sciences, 2014, pp. 489–508, doi: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, vol. 22, no. 2, 2014, pp. 141–49.
LibreCat
2014 | Book | LibreCat-ID: 48384
Wessel, Lena. Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff. Springer-Verlag, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker, Markus, et al. “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, et al. “Why Eve and Mallory (Also) Love Webmasters.” Proceedings of the 9th ACM Symposium on Information, Computer and Communications Security, ACM, 2014, doi: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.” Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), IEEE, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. Mabel Mary, et al. “Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.” 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.” PATMOS 2014, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker, Markus, et al. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. IEEE, 2014, doi:10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, Christoph, et al. An Assisted Single Source Verification Metric Model Code Generation Methodology. 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, Christoph, et al. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” 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, et al. “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, et al. “Lecture Meets Laboratory Experimental Experiences for Large Audiences: Concept and Implementation.” 2014 IEEE Global Engineering Education Conference (EDUCON), IEEE, 2014, doi:10.1109/educon.2014.6826117.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 31296
Barkhofen, Sonja, et al. “Resonance Chains in Open Systems, Generalized Zeta Functions and Clustering of the Length Spectrum.” Nonlinearity, vol. 27, no. 8, IOP Publishing, 2014, pp. 1829–58, doi:10.1088/0951-7715/27/8/1829.
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 31297
Weich, Tobias, et al. “Formation and Interaction of Resonance Chains in the Open Three-Disk System.” New Journal of Physics, vol. 16, no. 3, 033029, IOP Publishing, 2014, doi:10.1088/1367-2630/16/3/033029.
LibreCat
| DOI
| arXiv