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.
9737 Publications
2014 | Journal Article | LibreCat-ID: 51394
J. Hilgert, J. Möllers, and T. Kobayashi, “Minimal representations via Bessel operators,” J. Math. Soc. Japan, vol. 66, pp. 349–414, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 51393
J. Hilgert, T. Wurzbacher, and A. Alldridge, “Singular superspaces,” Math. Z., vol. 278, pp. 441–492, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 51466
J. Hilgert and G. Ólafsson, “The Radon transform and its dual for limits of symmetric spaces,” in Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods, vol. 37, G. Mason, I. Penkov, and J. A. Wolf, Eds. Springer, 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 51465
J. Hilgert, M. Hoffmann, and A. Panse, “Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik,” in Beiträge zum Mathematikunterricht 2014, J. Roth and J. Ames, Eds. Münster: WTM Verlag, 2014.
LibreCat
2014 | Preprint | LibreCat-ID: 51531
J. Hilgert, A. Pasquale, and T. Przebinda, “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
O. Axelsson, J. Karátson, and B. Kovács, “Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality,” SIAM Journal on Numerical Analysis, vol. 52, no. 6, pp. 2957–2976, 2014, doi: 10.1137/130940268.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
B. Kovács, “On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems,” Applications of Mathematics, vol. 59, no. 5, pp. 489–508, 2014, doi: 10.1007/s10492-014-0068-0.
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
G. Werth, 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
B. Küster, “Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra,” Communications in Mathematics, vol. 22, no. 2, pp. 141–149, 2014.
LibreCat
2014 | Book | LibreCat-ID: 48384
L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, vol. 19. Wiesbaden: Springer-Verlag, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
Y. Khaluf, M. Birattari, and F.-J. Rammig, “Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences,” in Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Cáceres, Spain, 3. - 5. Dez. 2013, 2013, vol. 8273.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
D. He and W. Müller, “AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
M. A. Wehrmeister, C. E. Pereira, and F.-J. Rammig, “Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems,” in IEEE Trans. on Industrial Informatics vol. 9 (no. 4), 2013, pp. 2373–2386.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
Y. Khaluf and F.-J. Rammig, “Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms,” 2. - 6. Sep. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
E. Farshizadeh et al., “Simulationsgestützter Entwurf für Elektrofahrzeuge,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
F. Mischkalla and W. Müller, “ Efficient Power Intent Validation Using Loosely-Timed Simulation Models,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
A. Jungmann and B. Kleinjohann, “Learning Recommendation System for Automated Service Composition,” in Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 27. Jun. - 2. Jul. 2013 IEEE Computer Society, , 2013, pp. 97–104.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
K. Gilles, S. Grösbrink, D. Baldin, and T. Kerstan, “Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
S. Grösbrink, “On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, and Y. Zhao, “Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software,” presented at the 17. - 18. Jun. 2013 IEEE, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
M. Becker, U. Kiffmeier, and W. Müller, “HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
F.-J. Rammig, K. Stahl, and G. F. Vaz, “A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
C. Rasche and S. Ziegert, “Multilevel Planning for Self-Optimizing Mechatronic Systems,” in Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications, 2013, p. 6.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25298
K. Stahl, “AIS-based Anomaly Detection for Self-X Systems,” in Proceedings of the First Organic Computing Doctoral Dissertation Colloquium (OC-DDC’13), 2013, pp. 24–26.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 25299
S. Grösbrink and F.-J. Rammig, “Safe Self-Evolving Embedded Software via System Virtualization,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25548
S. Grösbrink, L. Almeida, M. de Sousa, and S. M. Petters, “Fair Bandwidth Sharing among Virtual Machines in a Multi-criticality Scope,” presented at the 8. - 11. Apr. 2013, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25557
M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25573
C. Stern, C. Rasche, L. Kleinjohann, and B. Kleinjohann, “Bildangereicherte Kartenerstellung zur Unterstützung bei Rettungseinsätzen,” in 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2013, vol. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25574
C. Rasche, M. Bieshaar, A. Jungmann, L. Kleinjohann, and B. Kleinjohann, “Statistisches Planen in einem realen Roboterszenario,” in Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 310, 2013, vol. 310, pp. 133–146.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25575
S. Grösbrink, D. Baldin, and S. Oberthür, “Architecture for Adaptive Resource Assignment to Virtualized Mixed-Criticality Real-Time Systems,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25606
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SystemC Verification Components - An enhanced OVM/UVM for SystemC,” Mrz. 2013 - Poster, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25612
F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25614
C. Kuznik, M. F. S. Oliveira, and W. Müller, “SC OVM: An Advanced SystemC Library for OVM-based Verification,” 2013.
LibreCat
2013 | Newspaper Article | LibreCat-ID: 25615
G. Engels, C. Gerth, L. Kleinjohann, B. Kleinjohann, and W. Müller, “ Informationstechnik spart Ressourcen,” ForschungsForum Paderborn , 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25616
S. Grösbrink, “Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues,” Production Engineering Research & Development 7(1), pp. 69–79, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 25618
A. Jungmann, B. Kleinjohann, and L. Kleinjohann, “Learning Service Recommendations,” International Journal of Business Process Integration and Management 6(4), pp. 284–297, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25620
C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application of UCIS to Improve the Automation on Verification Closure,” 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25625
C. Rasche, C. Stern, L. Kleinjohann, and B. Kleinjohann, “A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights,” in Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480, vol. 480, G. Sen Gupta, D. Bailey, S. Demidenko, and D. Carnegie, Eds. Berlin Heidelberg: Springer , 2013, pp. 103–113.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 25632
K. Klobedanz, J. Jatzkowski, A. Rettberg, and W. Müller, “Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks,” 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 19981
B. Mertsching, M. Divband Soorati, and T. Kotthauser, “Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds,” IEEE International Conference on Robotics and Biomimetics (ROBIO), pp. 661–667, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20151
H. Hamann, T. Schmickl, J. Stradner, C. Schwarzer, N. K. Michiels, and A. I. Esparcia-Alcazar, “Virtual Spatiality in Agent Controllers: Encoding Compartmentalization,” in Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013), 2013, vol. 7835, pp. 579–588.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20161
H. Hamann, P. Lio, O. Miglino, G. Nicosia, S. Nolfi, and M. Pavone, “Speciation Dynamics: Generating Selective Pressure Towards Diversity,” in 12th European Conference on Artificial Life (ECAL 2013), 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2868
S. Laudemann, Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten. 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
L. Leder, Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken. 2013.
LibreCat