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.

10458 Publications


2012 | Conference Paper | LibreCat-ID: 48890
Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness
O. Mersmann, B. Bischl, J. Bossek, H. Trautmann, M. Wagner, F. Neumann, in: Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, Springer-Verlag, Berlin, Heidelberg, 2012, pp. 115–129.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 48888
Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness
O. Mersmann, B. Bischl, J. Bossek, H. Trautmann, M. Wagner, F. Neumann, in: Learning and Intelligent Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 115–129.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 51396
Fock model and Segal-Bargmann transform for minimal representations of Hermitian Lie groups
J. Hilgert, B. Orsted, J. Möllers, T. Kobayashi, J. Funct. Anal. 263 (2012) 3492–3563.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 51397
Integration on non-compact supermanifolds
J. Hilgert, W. Palzer, A. Alldridge, Journal of Geometry and Physics 62 (2012) 427–448.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 51398
Patterson-Sullivan distributions in higher rank
J. Hilgert, M. Schröder, S. Hansen, Math. Z. 272 (2012) 607–643.
LibreCat
 

2012 | Preprint | LibreCat-ID: 51534 LibreCat | Download (ext.)
 

2012 | Journal Article | LibreCat-ID: 45933
Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation
J. Karátson, B. Kovács, Computers & Mathematics with Applications 65 (2012) 449–459.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 33632
Mathematische Sachaufgaben verstehen und erklären
S. Rezat, S. Rezat, Praxis Deutsch 233 (2012) 36–41.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 48334
Professionalisierung für fach- und sprachintegrierte Diagnose und Förderung im Mathematikunterricht. Entwicklung und Erprobung eines Konzepts für die universitäre Fachlehrerbildung
S. Prediger, K. Tschierschky, L. Wessel, B. Seipp, Zeitschrift für Interkulturellen Fremdsprachenunterricht. Didaktik und Methodik im Bereich Deutsch als Fremdsprache 17 (2012) 40–58.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 48327
Darstellungen vernetzen - Ansatz zur integrierten Entwicklung von Konzepten und Sprachmitteln
S. Prediger, L. Wessel, Praxis der Mathematik in der Schule 54 (2012) 29–34.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 48328
Fach- und sprachintegrierte Förderung für mehrsprachige Lernende am Beispiel von Anteilen und Brüchen
L. Wessel, S. Prediger, in: M. Ludwig, M. Kleine (Eds.), Beiträge zum Mathematikunterricht 2012, WTM-Verlag, Münster, 2012, pp. 933–936.
LibreCat
 

2012 | Book Chapter | LibreCat-ID: 48416
Enabling teachers for analysing and fostering learning processes of second language learners: Design and research in a preservice teacher education course
S. Prediger, L. Wessel, K. Tschierschky, in: ICME-12, Preconference Proceedings of the 12th International Congress on Mathematical Education. TSG 30: Mathematics Education in a Multilingual and Multicultural Environment, Seoul, Korea, 2012, pp. 6213–6222.
LibreCat | Download (ext.)
 

2012 | Journal Article | LibreCat-ID: 26038
SYSTEMC UVM VERIFICATION COMPONENTS
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
LibreCat
 

2012 | Book (Editor) | LibreCat-ID: 53593
Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs
W. Müller, W. Ecker, eds., Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs , Tampere, Finland, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 54322
Numerical integration with polynomial exactness over a spherical cap
K. Hesse, R. S. Womersley, Advances in Computational Mathematics 36 (2012) 451–483.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 46398
Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness
O. Mersmann, B. Bischl, J. Bossek, H. Trautmann, M. Wagner, F. Neumann, in: Y. Hamadi, M. Schoenauer (Eds.), Learning and Intelligent Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 115–129.
LibreCat | DOI
 

2012 | Book | LibreCat-ID: 51492
Mathematik - Ein Reiseführer
J. Hilgert, I. Hilgert, Mathematik - Ein Reiseführer, Springer Spektrum, 2012.
LibreCat | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 36922
An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 36921
Towards an Enhanced UVM for SystemC
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 36994
Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed