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