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. Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik. In: Roth J, Ames J, eds. Beiträge zum Mathematikunterricht 2014. WTM Verlag; 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
Hilgert J, Pasquale A, Przebinda T. Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3). Published online 2014.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 45935
Axelsson O, Karátson J, Kovács B. Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality. SIAM Journal on Numerical Analysis. 2014;52(6):2957-2976. doi:10.1137/130940268
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
Kovács B. On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems. Applications of Mathematics. 2014;59(5):489-508. doi:10.1007/s10492-014-0068-0
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
Werth G. 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 B. Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra. Communications in Mathematics. 2014;22(2):141-149.
LibreCat
2014 | Book | LibreCat-ID: 48384
Wessel L. Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff. Vol 19. Springer-Verlag; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
Becker M, Müller W, Stroop J, Kiffmeier U. HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden. Published online 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 47162
Fahl S, Acar Y, Perl H, Smith M. Why eve and mallory (also) love webmasters. In: 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 F, Müller W. 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. MM, Müller W, Rammig F-J. 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 F, Müller W. Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. In: PATMOS 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:10.1109/ICCPS.2014.6843726
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik C, Müller W, Defo GB. An Assisted Single Source Verification Metric Model Code Generation Methodology. In: ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik C, Müller W. 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 C, Defo BG, Müller W. 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 C, Defo BG, Müller W. An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn). Published online 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 35714
Temmen K, Nofen B, Wehebrink M. Lecture meets laboratory experimental experiences for large audiences: Concept and implementation. In: 2014 IEEE Global Engineering Education Conference (EDUCON). IEEE; 2014. doi:10.1109/educon.2014.6826117
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 31296
Barkhofen S, Faure F, Weich T. Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum. Nonlinearity. 2014;27(8):1829-1858. doi: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. Formation and interaction of resonance chains in the open three-disk system. New Journal of Physics. 2014;16(3). doi:10.1088/1367-2630/16/3/033029
LibreCat
| DOI
| arXiv