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.
5318 Publications
2012 | Conference Paper | LibreCat-ID: 58678
Hennig M, Mertsching B. Situated Acquisition of Mathematical Knowledge - Teaching Mathematics within Electrical Engineering Courses. In: 40th Annual Conference of the European Society for Engineering Education. SEFI; 2012:264 – 265.
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 52225
Schäfer M, Wagner J, Schlüter A, Hesselbach J. Energy Flows in Industrial Buildings and Machines using the Example of a Node Model. SNE Simulation Notes Europe. 2012;22(1):1-6. doi:10.11128/sne.22.tn.10103
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 25421
Ngonga Ngomo A-C, Auer S. LIMES - A Time-Efficient Approach for Large-Scale Link Discovery on the Web of Data. In: Walsh T, ed. {IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. {IJCAI/AAAI}; 2011:2312-2317. doi:10.5591/978-1-57735-516-8/IJCAI11-385
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 25427
Shekarpour S, Auer S, Ngonga Ngomo A-C, Gerber D, Hellmann S, Stadler C. Keyword-Driven SPARQL Query Generation Leveraging Background Knowledge. In: Boissier O, Benatallah B, P. Papazoglou M, W. Ras Z, Hacid M-S, eds. Proceedings of the 2011 {IEEE/WIC/ACM} International Conference on Web Intelligence, {WI} 2011, Campus Scientifique de La Doua, Lyon, France, August 22-27, 2011. {IEEE} Computer Society; 2011:203-210. doi:10.1109/WI-IAT.2011.70
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 1968
Kleineweber C, Keller A, Niehörster O, Brinkmann A. Rule Based Mapping of Virtual Machines in Clouds. In: Proc. Int. Conf. on Parallel, Distributed and Network-Based Computing (PDP). ; 2011. doi:10.1109/PDP.2011.69
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 1971
Birkenheuer G, Brinkmann A, Kaiser J, et al. Virtualized HPC: a contradiction in terms? Software: Practice and Experience. 2011. doi:10.1002/spe.1055
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20181
Hamann H, Schmickl T, Crailsheim K. Thermodynamics of Emergence: Langton’s Ant Meets Boltzmann. In: IEEE Symposium on Artificial Life (IEEE ALIFE 2011). ; 2011:62--69. doi:10.1109/ALIFE.2011.5954660
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20184
Hamann H, Schmickl T, Stradner J, Crailsheim K, Thenius R, Fitch R. Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers. In: Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples. ; 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 28357 | 
Müller M. Learners’ Identity Negotiations and Beliefs about Pronunciation in Study Abroad Contexts. University of Waterloo; 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann A, Kleinjohann B. Automatic Feature Classification for Object Detection based on Motion Analysis. In: Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA). IEEE; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26358
Sperling J, Vogel W. The Schmidt number as a universal entanglement measure. Physica Scripta. Published online 2011. doi:10.1088/0031-8949/83/04/045002
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 26660
Rasche C, Stern C, Kleinjohann L, Kleinjohann B. A Distributed Multi-UAV Path Planning Approach for 3D Environments. In: The 5th International Conference on Automation, Robotics and Applications (ICARA 2011). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
Jungmann A, Lutterbeck J, Werdehausen B, Kleinjohann B. A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
Gausemeier J, Schierbaum T, Dumitrescu R, Herbrechtsmeier S, Jungmann A. Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. In: Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). IEEE; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
Thuy A. Comparison of periodic and aperiodic task models for cyber-physical-systems. In: Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On . IEEE Xplore; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik C, Müller W. Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Published online 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
Mathews E, Frey H. A Localized Planarization Algorithm for Realistic Wireless Networks. In: IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM). IEEE Computer Society; 2011:1-9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: Proceedings of DVCON . ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla F, He D, Müller W. A Retargetable SysML-based Front-End for High-Level Synthesis. In: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik C, Müller W. Native binary mutation analysis for embedded software and virtual prototypes in SystemC. In: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing. ; 2011.
LibreCat