@inproceedings{2389,
  author       = {{Lietsch, Stefan and Marquardt, Oliver}},
  booktitle    = {{Proc. Int. Symp. on Visual Computing (ISVC)}},
  isbn         = {{978-3-540-76857-9}},
  pages        = {{724--733}},
  publisher    = {{Springer}},
  title        = {{{A CUDA-Supported Approach to Remote Rendering}}},
  volume       = {{4841}},
  year         = {{2007}},
}

@inproceedings{2390,
  author       = {{Voss, Kerstin}},
  booktitle    = {{Proc. Int. Conf. on Semantics, Knowledge and Grid (SKG)}},
  isbn         = {{0-7695-3007-9}},
  pages        = {{50--55}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Comparing Fault Tolerance Mechanisms for Self-Organizing Resource Management in Grids}}},
  doi          = {{10.1109/SKG.2007.40}},
  year         = {{2007}},
}

@inproceedings{2391,
  author       = {{Battré, Dominic and Djemame, Karim and Kao, Odej and Voss, Kerstin}},
  booktitle    = {{Proc. Int. Conf. on Security and Privacy in Communications Networks (SecureComm)}},
  pages        = {{193--198}},
  publisher    = {{IEEE}},
  title        = {{{Gaining Users' Trust by Publishing Failure Probabilities}}},
  doi          = {{10.1109/SECCOM.2007.4550331}},
  year         = {{2007}},
}

@techreport{2394,
  author       = {{Beutel, Jan and Plessl, Christian and Woehrle, Matthias}},
  title        = {{{Increasing the Reliability of Wireless Sensor Networks with a Unit Testing Framework}}},
  year         = {{2007}},
}

@inproceedings{2396,
  author       = {{Voss, Kerstin and Djemame, Karim and Gourlay, Iain and Padgett, James}},
  booktitle    = {{Proc. Int. Worksh. on Grid Economics and Business Models (GECON)}},
  editor       = {{Altmann, Jörn and Veit, Daniel}},
  pages        = {{170--175}},
  publisher    = {{Springer}},
  title        = {{{AssessGrid, Economic Issues Underlying Risk Awareness in Grids}}},
  doi          = {{10.1007/978-3-540-74430-6_14}},
  volume       = {{4685}},
  year         = {{2007}},
}

@inproceedings{2397,
  author       = {{Voss, Kerstin}},
  booktitle    = {{Proc. Int. Conf. on Networking and Services (ICNS)}},
  isbn         = {{0-7695-2858-9}},
  pages        = {{27--32}},
  publisher    = {{IEEE Computer Society}},
  title        = {{{Enhance Self-managing Grids by Risk Management}}},
  doi          = {{10.1109/ICNS.2007.61}},
  year         = {{2007}},
}

@inproceedings{2398,
  author       = {{Lietsch, Stefan and Zabel, Henning and Berssenbruegge, Jan}},
  booktitle    = {{Proc. ASME Computers and Information in Engineering Conference (CIE)}},
  isbn         = {{0-7918-3806-4}},
  publisher    = {{ASME}},
  title        = {{{Computational Steering of Interactive and Distributed Virtual Reality Applications}}},
  year         = {{2007}},
}

@inproceedings{2399,
  author       = {{Birkenheuer, Georg and Majlender, Peter and Nitsche, Holger and Voss, Kerstin and Weber, Elmar}},
  booktitle    = {{Proc. Cracow Grid Workshop (CGW)}},
  title        = {{{Gather and Prepare Monitoring Data for Estimating Resource Stability}}},
  year         = {{2007}},
}

@inproceedings{2400,
  author       = {{Berssenbrügge, Jan and Lietsch, Stefan}},
  booktitle    = {{Proc. Worksh. Augmented & Virtual Reality in der Produktentstehung}},
  isbn         = {{978-3-939350-28-6}},
  pages        = {{67--80}},
  publisher    = {{Heinz Nixdorf Institut}},
  title        = {{{Verteilte Berechnung und Darstellung automobiler Scheinwerfer}}},
  volume       = {{209}},
  year         = {{2007}},
}

@inproceedings{20374,
  author       = {{Dorigo, Marco and Hamann, Heiko and Szymanski, Marc and Wörn, Heinz and Shi, Yuhui}},
  booktitle    = {{IEEE Swarm Intelligence Symposium, Honolulu, USA, April 1-5}},
  pages        = {{310----315}},
  publisher    = {{IEEE Press}},
  title        = {{{Orientation in a Trail Network by Exploiting its Geometry for Swarm Robotics}}},
  doi          = {{10.1109/SIS.2007.367953}},
  year         = {{2007}},
}

@article{20383,
  author       = {{Jäger, R and Purpura, M and Geiss, KR and Weiß, M and Baumeister, Jochen and Amatulli, F and Schröder, L and Herwegen, H}},
  issn         = {{1550-2783}},
  journal      = {{J Int Soc Sports Nutr}},
  pages        = {{23}},
  title        = {{{The effect of phosphatidylserine on golf performance.}}},
  doi          = {{10.1186/1550-2783-4-23}},
  volume       = {{4}},
  year         = {{2007}},
}

@inproceedings{20431,
  author       = {{Hamann, Heiko and Wörn, Heinz and Sahin, Erol and Spears, Winfield and Winfield, Winfield}},
  booktitle    = {{Swarm Robotics - Second SAB 2006 International Workshop}},
  pages        = {{43----55}},
  title        = {{{An analytical and spatial model of foraging in a swarm of robots}}},
  doi          = {{10.1007/978-3-540-71541-2_4}},
  volume       = {{4433}},
  year         = {{2007}},
}

@inproceedings{20432,
  abstract     = {{Designing and implementing artificial self-organizing systems is a challenging task since they typically behave non- intuitive and only little theoretical foundations exist. Predicting a system of many components with a huge amount of interactions is beyond human skills. The currently common use of simulations for design support is not satisfying, as it is time-consuming and the results are most likely sub- optimal. In this work, we present the derivation of an analytical, time-, and space-continuous model for a swarm of autonomous robots based on the Fokker-Planck equation. While the motion model is in most parts physically motivated, the communication model is based on a heuristic approach. A showcase application to a recently proposed scenario of collective perception in a huge swarm of robots with very limited abilities is given and the simulation results are compared to the model. Despite the high level of abstraction, the prediction discrepancies are small and the parameters can be mapped one-to-one from the model to the control algorithm. Finally, we give an outlook on the capabilities of the proposed model, discuss its limitations, and suggest an improvement that could reduce the number of empirically determined parameters.}},
  author       = {{Hamann, Heiko and Wörn, Heinz}},
  booktitle    = {{First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)}},
  isbn         = {{0769529062}},
  pages        = {{23----31}},
  title        = {{{A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support}}},
  doi          = {{10.1109/saso.2007.3}},
  year         = {{2007}},
}

@article{20433,
  author       = {{Hamann, Heiko and Wörn, Heinz and Nagy, Marius and Nagy, Naya}},
  journal      = {{Parallel Processing Letters}},
  number       = {{3}},
  pages        = {{287----298}},
  title        = {{{Embodied Computation}}},
  volume       = {{17}},
  year         = {{2007}},
}

@inproceedings{20434,
  abstract     = {{Current research in Micro, Nano and Swarm Robots as results of the European projects Miniman, MiCRoN and I-SWARM will be presented. First, the design and the control of 5 to 10cm3 sized mobile micro robots with five degrees of freedom will be shown. They can handle miniaturized parts as for example an optical component or a biological cell with a size in the micrometre-area with an accuracy of 100nm under a microscope or a raster-electron microscope. Second, the design and the control of a 1cm3-sized mobile untethered micro robot will be demonstrated. Here, the robot consists of five parts: the Piezzo locomotion module, the micro control unit, the communication unit, the navigation system and the micro gripper. The mobile robot can be guided and positioned in an arena with an accuracy of 5 micrometre and can be programmed and controlled over the wireless communication unit. Third, the design and the control of 3 × 3 × 3 mm3 sized micro-/nanorobots with 2 degrees of freedom will be presented. The transmission of energy and the communication between the robots is realized via infrared. The robot controller is fully integrated and has limited functionalities. Via basic sensors communication functions and elementary rules and behaviours the micro robot can act in a swarm consisting of hundreds and thousands of robots. Future applications could be monitoring-, inspection-, exploring-tasks etc. of big areas or objects.}},
  author       = {{Hamann, Heiko and Szymanski, Marc and Wörn, Heinz and Estana, Ramon and Xie, Ming and Dubowsky, Steven}},
  booktitle    = {{Advances in Climbing and walking robots. Proceedings of 10th International Conference (CLAWAR'07), Singapore, July 16-18}},
  pages        = {{15----24}},
  title        = {{{From Micro to Nano and Swarm Robotics}}},
  doi          = {{10.1142/9789812770189_0003}},
  year         = {{2007}},
}

@article{17980,
  author       = {{Ziegler, Martin}},
  issn         = {{1571-0661}},
  journal      = {{Electronic Notes in Theoretical Computer Science}},
  pages        = {{255--274}},
  title        = {{{Revising Type-2 Computation and Degrees of Discontinuity}}},
  doi          = {{10.1016/j.entcs.2006.08.015}},
  year         = {{2007}},
}

@article{17981,
  author       = {{Ziegler, Martin}},
  issn         = {{1432-4350}},
  journal      = {{Theory of Computing Systems}},
  pages        = {{177--206}},
  title        = {{{Real Hypercomputation and Continuity}}},
  doi          = {{10.1007/s00224-006-1343-6}},
  year         = {{2007}},
}

@inbook{17982,
  author       = {{Ziegler, Martin}},
  booktitle    = {{Lecture Notes in Computer Science}},
  isbn         = {{9783540730002}},
  issn         = {{0302-9743}},
  title        = {{{(Short) Survey of Real Hypercomputation}}},
  doi          = {{10.1007/978-3-540-73001-9_86}},
  year         = {{2007}},
}

@inbook{17983,
  author       = {{Meer, Klaus and Ziegler, Martin}},
  booktitle    = {{Mathematical Foundations of Computer Science 2007}},
  isbn         = {{9783540744559}},
  issn         = {{0302-9743}},
  title        = {{{Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation}}},
  doi          = {{10.1007/978-3-540-74456-6_64}},
  year         = {{2007}},
}

@unpublished{17984,
  abstract     = {{The unit cost model is both convenient and largely realistic for describing
integer decision algorithms over (+,*). Additional operations like division
with remainder or bitwise conjunction, although equally supported by computing
hardware, may lead to a considerable drop in complexity. We show a variety of
concrete problems to benefit from such NON-arithmetic primitives by presenting
and analyzing corresponding fast algorithms.}},
  author       = {{Lürwer-Brüggemeier, Katharina and Ziegler, Martin}},
  booktitle    = {{arXiv:0709.0624}},
  title        = {{{On Faster Integer Calculations using Non-Arithmetic Primitives}}},
  year         = {{2007}},
}

