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.

10483 Publications


2016 | Journal Article | LibreCat-ID: 56973 LibreCat | DOI | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 56977
Didaktisch orientierte Beweiskonzepte – Eine Analyse zur mathematikdidaktischen Ideenentwicklung
R. Biehler, L. Kempen, Journal für Mathematik-Didaktik 37 (2016) 141–179.
LibreCat | DOI | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 56974
Stochastische Simulationen mit TinkerPlots–Von einfachen Zufallsexperimenten zum informellen Hypothesentesten
R. Biehler, D. Frischemeier, S. Podworny, Stochastik in der Schule 36 (2016) 22–27.
LibreCat
 
 

2016 | Journal Article | LibreCat-ID: 56976
Research in University Mathematics Education. The khdm
R. Biehler, R. Hochmuth, H.-G. Rück, R. Göller, A. Hoppenbrock, M. Liebendörfer, J. Püschl, EMS Newsletters December 2016 (2016) 49–50.
LibreCat
 

2016 | Journal Article | LibreCat-ID: 56971
Randomisierungstests mit TinkerPlots
R. Biehler, D. Frischemeier, Stochastik in der Schule 36 (2016) 9–15.
LibreCat
 

2016 | Book Chapter | LibreCat-ID: 57009
Wirkung und Gelingensbedingungen von Unterstützungsmaßnahmen für mathematikbezogenes Lernen in der Studieneingangsphase
C. Colberg, R. Biehler, R. Hochmuth, N. Schaper, M. Liebendörfer, M. Schürmann, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, Band 1, WTM-Verlag, Münster, 2016, pp. 213–216.
LibreCat | Download (ext.)
 

2016 | Book Chapter | LibreCat-ID: 57008
Der Studikurs Mathematik NRW – Ein neuer Online-Mathematikvorkurs – Gestaltungsprinzipien am Beispiel linearer Gleichungssysteme
A. Börsch, R. Biehler, T. Mai, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, Band 1, WTM-Verlag, Münster, 2016, pp. 177–180.
LibreCat | Download (ext.)
 

2016 | Book Chapter | LibreCat-ID: 57010
Verbundprojekt WiGeMath: Wirkung und Gelingensbedingungen von Unterstützungsmaßnahmen für mathematikbezogenes Lernen in der Studieneingangsphase
R. Biehler, R. Hochmuth, N. Schaper, C. Kuklinski, E. Lankeit, E. Leis, M. Liebendörfer, M. Schürmann, in: A. Hanft, F. Bischoff, B. Prang (Eds.), Working Paper Studieneingangsphase - Perspektiven Aus Der Begelitforschung Zum Qualitätspakt Lehre, Carl-von-Ossietzky Universität, Oldenburg, 2016, pp. 19–23.
LibreCat
 

2016 | Conference Paper | LibreCat-ID: 57012
Statistics education and monitoring progress towards civil rights
J. Engel, A. Schiller, D. Frischemeier, R. Biehler, in: Promoting Understanding of Statistics about Society. Proceedings of the Roundtable Conference of the International Association of Statistics Education (IASE), July 2016, Berlin, Germany, 2016.
LibreCat | Download (ext.)
 

2016 | Book Chapter | LibreCat-ID: 57017
Über die Rolle des Studikurses Mathematik in der Studifinder-Plattform und seine didaktischen Konzepte
T. Mai, R. Biehler, A. Börsch, C. Colberg, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge Zum Mathematikunterricht 2016, Band 2, WTM-Verlag, Münster, 2016, pp. 645–648.
LibreCat
 

2016 | Book (Editor) | LibreCat-ID: 57016
Lehren und Lernen von Mathematik in der Studieneingangsphase - Herausforderungen und Lösungsansätze
A. Hoppenbrock, R. Biehler, R. Hochmuth, H.-G. Rück, eds., Lehren Und Lernen von Mathematik in Der Studieneingangsphase - Herausforderungen Und Lösungsansätze, Springer Spektrum, Wiesbaden, 2016.
LibreCat | Download (ext.)
 

2016 | Book Chapter | LibreCat-ID: 57018
Wie geben Tutoren Feedback? Anforderungen an studentische Korrekturen und Weiterbildungs-maßnahmen im LIMA-Projekt
J. Püschl, R. Biehler, R. Hochmuth, S. Schreiber, in: A. Hoppenbrock, R. Biehler, R. Hochmuth, H.-G. Rück (Eds.), Lehren Und Lernen von Mathematik in Der Studieneingangsphase - Herausforderungen Und Lösungsansätze, Springer Spektrum, Wiesbaden, 2016, pp. 387–404.
LibreCat | Download (ext.)
 

2016 | Book (Editor) | LibreCat-ID: 57019
Anwendungsorientierte Aufgaben für die Erstsemester-Mathematik-Veranstaltungen im Maschinenbaustudium - khdm-Report Nr. 04-16
P. Wolf, R. Biehler, eds., Anwendungsorientierte Aufgaben Für Die Erstsemester-Mathematik-Veranstaltungen Im Maschinenbaustudium - Khdm-Report Nr. 04-16, Universität Kassel, Kassel, 2016.
LibreCat | Download (ext.)
 

2016 | Journal Article | LibreCat-ID: 57226
Tangential Gap Flow (TGF) navigation: A new reactive obstacle avoidance approach for highly cluttered environments
M. Mujahed, D. Fischer, B. Mertsching, Robotics and Autonomous Systems 84 (2016) 15–30.
LibreCat | DOI
 

2016 | Conference Paper | LibreCat-ID: 57227
Smooth reactive collision avoidance in difficult environments
M. Mujahed, D. Fischer, B. Mertsching, in: 2015 IEEE International Conference on Robotics and Biomimetics (ROBIO), IEEE, 2016.
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 59690
Frequency tuning of polarization oscillations: Toward high-speed spin-lasers
M. Lindemann, T. Pusch, R. Michalzik, N.C. Gerhardt, M.R. Hofmann, Applied Physics Letters 108 (2016).
LibreCat | DOI
 

2016 | Journal Article | LibreCat-ID: 1454
Simulations of high harmonic generation from plasmonic nanoparticles in the terahertz region
Y. Grynko, T. Zentgraf, T. Meier, J. Förstner, Applied Physics B 122 (2016) 242.
LibreCat | Files available | DOI
 

2016 | Conference Paper | LibreCat-ID: 58665
Contour Analysis in Biological and Artificial Cognitive Systems
M. Hennig, B. Mertsching, in: Proceedings of the 5th Interdisciplinary Workshop on Cognitive Systems (KogSys 2016), 2016.
LibreCat | Files available
 

2015 | Conference Paper | LibreCat-ID: 250
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 25073
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25074
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25075
Evaluation of Autonomous Approaches using Virtual Environments
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25076
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25080
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25082
Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 25083
Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.
LibreCat
 

2015 | Mastersthesis | LibreCat-ID: 251
Solving the aggregated bandits problem
K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn, 2015.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25107
An approach towards adaptive service composition in markets of composed services
A. Jungmann, F. Mohr, Journal of Internet Services and Applications 6(1) (2015) 1–18.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25108
Online behavior classification for anomaly detection in self-x real-time systems
F.-J. Rammig, K. Stahl, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25109
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, Concurrency and Computation: Practice and Experience (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25110
A hybrid methodology to detect memory leaks in soft real time embedded systems software
M. tech. M.M. Joy, F.-J. Rammig, Int. J. of Embedded Systems (2015).
LibreCat
 

2015 | Journal Article | LibreCat-ID: 25111
Analysis of long-term swarm performance based on short-term experiments
Y. Khaluf, M. Birattari, F.-J. Rammig, Springer Jounal Soft Computing (2015).
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 252
SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming
M. Dräxler, J. Blobel, P. Dreimann, S. Valentin, H. Karl, in: Proceedings of the 2nd International Conference on Networked Systems (NetSys), 2015, pp. 1--8.
LibreCat | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 253
Short Group Signatures with Distributed Traceability
J. Blömer, J. Juhnke, N. Löken, in: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–180.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 19959
On the Tradeoff between Hardware Protection and Optimization Success: A Case Study in Onboard Evolutionary Robotics for Autonomous Parallel Parking
M. Wahby, H. Hamann, in: Applications of Evolutionary Computation (EvoApplications 2015), 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19960
Flora Robotica - Mixed Societies of Symbiotic Robot-Plant Bio-Hybrids
H. Hamann, M. Wahby, T. Schmickl, P. Zahadat, D. Hofstadler, K. Stoy, S. Risi, A. Faina, F. Veenstra, S. Kernbach, I. Kuksin, O. Kernbach, P. Ayres, P. Wojtaszek, in: Proceedings of the 2015 IEEE Symposium on Artificial Life (IEEE ALIFE’15), 2015.
LibreCat | DOI
 

2015 | Journal Article | LibreCat-ID: 19962 LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19966
Revisiting BEECLUST: Aggregation of Swarm Robots with Adaptiveness to Different Light Settings
M. Wahby, A. Weinhold, H. Hamann, in: Proceedings of the 9th EAI International Conference on Bio-Inspired Information and Communications Technologies (Formerly BIONETICS), 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19967
Evolution of Controllers for Robot-Plant Bio-Hybdrids: A Simple Case Study Using a Model of Plant Growth and Motion
M. Wahby, M. Divband Soorati, S. von Mammen, H. Hamann, in: Proceedings. 25. Computational Intelligence Workshop, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19980
The Effect of Fitness Function Design on Performance in Evolutionary Robotics: The Influence of a Priori Knowledge
H. Hamann, M. Divband Soorati, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2015), ACM, 2015, pp. 153–160.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19988
Evolving Collective Behaviors With Diverse But Predictable Sensor States
H. Hamann, T. Schmickl, P. Zahadat, in: 13th European Conference on Artificial Life (ECAL 2015), MIT Press, 2015, p. 174.
LibreCat | DOI
 

2015 | Book Chapter | LibreCat-ID: 19989
Probabilistic Modeling of Swarming Systems
H. Hamann, N. Correll, J. Kacprzyk, W. Pedrycz, in: Springer Handbook of Computational Intelligence, Springer, 2015, pp. 1423–1431.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 19990
Dependability in Swarm Robotics: Error Detection and Correction
H. Ding, H. Hamann, in: First International Symposium on Swarm Behavior and Bio-Inspired Robotics (SWARM 2015), 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 19991
Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms
H. Hamann, T. Schmickl, D. Kengyel, P. Zahadat, G. Radspieler, F. Wotawa, in: Principles and Practice of Multi-Agent Systems (PRIMA 2015), 2015, pp. 201–217.
LibreCat
 

2015 | Journal Article | LibreCat-ID: 19992 LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 20005
Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off
M. Dorigo, H. Hamann, G. Valentini, in: Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 20006
Self-organized collective decisions in a robot swarm
M. Dorigo, H. Hamann, G. Valentini, in: AAAI-15 Video Proceedings, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 280
Market-Specific Service Compositions: Specification and Matching
S. Arifulina, M.C. Platenius, F. Mohr, G. Engels, W. Schäfer, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.
LibreCat | Files available | DOI
 

2015 | Conference Paper | LibreCat-ID: 283
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat | Files available | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed