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.
10546 Publications
2012 | Book Chapter | LibreCat-ID: 48888
Mersmann O, Bischl B, Bossek J, Trautmann H, Wagner M, Neumann F. Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. In: Learning and Intelligent Optimization. Vol 7219. Springer Berlin Heidelberg; 2012:115–129. doi:10.1007/978-3-642-34413-8_9
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 51396
Hilgert J, Orsted B, Möllers J, Kobayashi T. Fock model and Segal-Bargmann transform for minimal representations of Hermitian Lie groups. J Funct Anal. 2012;263:3492-3563.
LibreCat
2012 | Journal Article | LibreCat-ID: 51397
Hilgert J, Palzer W, Alldridge A. Integration on non-compact supermanifolds. Journal of Geometry and Physics. 2012;62:427-448.
LibreCat
2012 | Journal Article | LibreCat-ID: 51398
Hilgert J, Schröder M, Hansen S. Patterson-Sullivan distributions in higher rank. Math Z. 2012;272:607-643.
LibreCat
2012 | Preprint | LibreCat-ID: 51534
Hilgert J, Kobayashi T, Möllers J, Orsted B. Fock model and Segal-Bargmann transform for minimal representations of Hermitian Lie groups. Published online 2012.
LibreCat
| Download (ext.)
2012 | Journal Article | LibreCat-ID: 45933
Karátson J, Kovács B. Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation. Computers & Mathematics with Applications. 2012;65(3):449-459. doi:10.1016/j.camwa.2012.04.021
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 33632
Rezat S, Rezat S. Mathematische Sachaufgaben verstehen und erklären. Praxis Deutsch 233. Published online 2012:36-41.
LibreCat
2012 | Journal Article | LibreCat-ID: 48334
Prediger S, Tschierschky K, Wessel L, Seipp B. Professionalisierung für fach- und sprachintegrierte Diagnose und Förderung im Mathematikunterricht. Entwicklung und Erprobung eines Konzepts für die universitäre Fachlehrerbildung. Zeitschrift für Interkulturellen Fremdsprachenunterricht Didaktik und Methodik im Bereich Deutsch als Fremdsprache. 2012;17(1):40-58.
LibreCat
2012 | Journal Article | LibreCat-ID: 48327
Prediger S, Wessel L. Darstellungen vernetzen - Ansatz zur integrierten Entwicklung von Konzepten und Sprachmitteln. Praxis der Mathematik in der Schule. 2012;54(45):29-34.
LibreCat
2012 | Book Chapter | LibreCat-ID: 48328
Wessel L, Prediger S. Fach- und sprachintegrierte Förderung für mehrsprachige Lernende am Beispiel von Anteilen und Brüchen. In: Ludwig M, Kleine M, eds. Beiträge zum Mathematikunterricht 2012. WTM-Verlag; 2012:933-936.
LibreCat
2012 | Book Chapter | LibreCat-ID: 48416
Prediger S, Wessel L, Tschierschky K. Enabling teachers for analysing and fostering learning processes of second language learners: Design and research in a preservice teacher education course. In: ICME-12, Preconference Proceedings of the 12th International Congress on Mathematical Education. TSG 30: Mathematics Education in a Multilingual and Multicultural Environment. ; 2012:6213-6222.
LibreCat
| Download (ext.)
2012 | Journal Article | LibreCat-ID: 26038
Kuznik C, Oliveira MF, Müller W. SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE. Published online 2012.
LibreCat
2012 | Book (Editor) | LibreCat-ID: 53593
Müller W, Ecker W, eds. Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs .; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 54322
Hesse K, S. Womersley R. Numerical integration with polynomial exactness over a spherical cap. Advances in Computational Mathematics. 2012;36:451-483.
LibreCat
2012 | Conference Paper | LibreCat-ID: 46398
Mersmann O, Bischl B, Bossek J, Trautmann H, Wagner M, Neumann F. Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. In: Hamadi Y, Schoenauer M, eds. Learning and Intelligent Optimization. Springer Berlin Heidelberg; 2012:115–129. doi:https://doi.org/10.1007/978-3-642-34413-8_9
LibreCat
| DOI
2012 | Book | LibreCat-ID: 51492
Hilgert J, Hilgert I. Mathematik - Ein Reiseführer. Springer Spektrum; 2012.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:10.1109/ISORCW.2012.41
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36921
Oliveira MF, Kuznik C, Müller W, Esen V, Ecker W. Towards an Enhanced UVM for SystemC. In: Proceedings of the Design & Verification Conference (DVCon). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 36994
Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SOCC2012. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie T, Müller W. An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. In: Proceedings of the MeCoES’12. ; 2012.
LibreCat