@inproceedings{19901, author = {{Raptopoulos, Christoforos L. and Nikoletseas, Sotiris E. and Spirakis, Paul G.}}, booktitle = {{34st International Symposium on Mathematical Foundations of Computer Science}}, isbn = {{9781493928637}}, pages = {{600----611}}, title = {{{Colouring Non-sparse Random Intersection Graphs}}}, doi = {{10.1007/978-1-4939-2864-4_597}}, year = {{2009}}, } @inproceedings{19904, author = {{Nikoletseas, Sotiris E. and Raptopoulos, Christoforos L. and Spirakis, Paul G.}}, booktitle = {{ Proceedings of IPDPS - IEEE International Parallel & Distributed Processing Symposium}}, pages = {{1----11}}, title = {{{Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions}}}, doi = {{10.1109/IPDPS.2009.5161002}}, year = {{2009}}, } @inproceedings{19934, author = {{Deveci, Deniz and Kortenjan, Michael and Schomaker, Gunnar}}, booktitle = {{ Parallel and Distributed Computing and Systems, Nr. 21}}, title = {{{Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions}}}, year = {{2009}}, } @inproceedings{20254, abstract = {{One of the prominent challenges in mobile robotics is to develop control methodologies that allow the adaptation to dynamic and unforeseen environments. The classic approach of hand-coded controllers is very efficient for well-defined tasks and specific environments but poor in adapting to changing environmental conditions. One alternative approach is the application of evolutionary algorithms which need, in turn, easily evolvable representations of controllers. In this paper, we investigate one promising approach of an artificial hormone system as a control paradigm which is believed to be easily optimized by evolutionary processes. In a first step of this research, we focus on the simple task of collision avoidance. We present a brief mathematical analysis of this controller approach and an implementation of the controller on a mobile robot to check the feasibility in principle of our approach. The task is successfully accomplished and we conclude with a discussion of the hormone dynamics in the robot.}}, author = {{Stradner, Jürgen and Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}}, booktitle = {{2009 IEEE/RSJ International Conference on Intelligent Robots and Systems}}, isbn = {{9781424438037}}, title = {{{Analysis and implementation of an Artificial Homeostatic Hormone System: A first case study in robotic hardware}}}, doi = {{10.1109/iros.2009.5354056}}, year = {{2009}}, } @article{20255, abstract = {{By compiling macroscopic models we analyze the adaptive behavior in a swarm of autonomous robots generated by a bio-inspired, distributed control algorithm. We developed two macroscopic models by taking two different perspectives: A Stock & Flow model, which is simple to implement and fast to simulate, and a spatially resolved model based on diffusion processes. These two models were compared concerning their prediction quality and their analytical power: One model allowed easy identification of the major feedback loops governing the swarm behavior. The other model allowed analysis of the expected shapes and positions of observable robot clusters. We found a high correlation in the challenges posed by both modeling techniques and we highlighted the inherent problems of inferring emergent macroscopic rules from a microscopic description of swarm behavior.}}, author = {{Schmickl, Thomas and Hamann, Heiko and Wörn, Heinz and Crailsheim, Karl}}, issn = {{0921-8890}}, journal = {{Robotics and Autonomous Systems}}, number = {{9}}, pages = {{913--921}}, title = {{{Two different approaches to a macroscopic model of a bio-inspired robotic swarm}}}, doi = {{10.1016/j.robot.2009.06.002}}, volume = {{6}}, year = {{2009}}, } @inproceedings{20259, author = {{Hamann, Heiko and Troch, Inge and Breitenecker, F.}}, booktitle = {{MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling}}, title = {{{Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System}}}, year = {{2009}}, } @article{3199, author = {{Wehrheim, Heike and Wonisch, Daniel}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, number = {{2}}, pages = {{135----151}}, title = {{{Compositional {CSP} Traces Refinement Checking}}}, doi = {{10.1016/j.entcs.2009.08.022}}, year = {{2009}}, } @article{3200, author = {{Ruhroth, Thomas and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{193----205}}, title = {{{Static Class Elements for Object-Z}}}, doi = {{10.1016/j.entcs.2009.12.025}}, year = {{2009}}, } @inproceedings{3201, author = {{Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike}}, booktitle = {{35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}}, pages = {{360----367}}, title = {{{Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models}}}, doi = {{10.1109/SEAA.2009.39}}, year = {{2009}}, } @proceedings{3202, editor = {{Leuschel, Michael and Wehrheim, Heike}}, isbn = {{978-3-642-00254-0}}, title = {{{Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}}}, doi = {{10.1007/978-3-642-00255-7}}, year = {{2009}}, } @misc{2880, author = {{Schröer, Carsten}}, title = {{{Hierarchisches Clustering mit minimalen Cluster-Durchmessern}}}, year = {{2009}}, } @misc{2896, author = {{Liske, Gennadij}}, title = {{{Analyse und Evaluation eines identitätsbasierten Signcryption-Verfahrens}}}, year = {{2009}}, } @misc{2904, author = {{Scholz, Christoph}}, title = {{{Die Schwierigkeit des k-Median Clusterings für Bregman-Divergenzen}}}, year = {{2009}}, } @phdthesis{2911, author = {{Ackermann, Marcel Rudolf}}, publisher = {{Universität Paderborn}}, title = {{{Algorithms for the Bregman k-Median Problem}}}, year = {{2009}}, } @inbook{2920, author = {{Kakvi, Saqib}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783642040511}}, issn = {{0302-9743}}, pages = {{300--301}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Reinforcement Learning for Blackjack}}}, doi = {{10.1007/978-3-642-04052-8_43}}, year = {{2009}}, } @inbook{2995, author = {{Ackermann, Marcel R. and Blömer, Johannes}}, booktitle = {{Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms}}, isbn = {{9780898716801}}, pages = {{1088--1097}}, publisher = {{Society for Industrial and Applied Mathematics}}, title = {{{Coresets and Approximate Clustering for Bregman Divergences}}}, doi = {{10.1137/1.9781611973068.118}}, year = {{2009}}, } @inbook{3000, author = {{Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel}}, booktitle = {{FM 2009: Formal Methods}}, isbn = {{9783642050886}}, issn = {{0302-9743}}, pages = {{106--122}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Three-Valued Spotlight Abstractions}}}, doi = {{10.1007/978-3-642-05089-3_8}}, year = {{2009}}, } @inproceedings{3142, author = {{Jager, Tibor and Schwenk, Jörg}}, booktitle = {{Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings}}, pages = {{399----416}}, title = {{{On the Analysis of Cryptographic Assumptions in the Generic Ring Model}}}, doi = {{10.1007/978-3-642-10366-7_24}}, year = {{2009}}, } @phdthesis{20937, author = {{Meyer, Matthias}}, publisher = {{Universitaetsbibliothek Paderborn}}, title = {{{Musterbasiertes Re-Engineering von Softwaresystemen}}}, year = {{2009}}, } @article{17453, author = {{Meyer auf der Heide, Friedhelm and Rammig, Franz-Josef}}, journal = {{Public Service Review: Science and Technology}}, title = {{{Self-Organisation and Self-Optimization}}}, volume = {{04}}, year = {{2009}}, }