Dimension Reduction Methods for Convolution Modular Lattices
A. May, J.H. Silverman, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 110–125.
LibreCat: /record/3022
DOI: 10.1007/3-540-44670-2_10

A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers
J. Blömer, in: Algorithms — ESA’ 98, Springer Berlin Heidelberg, Berlin, Heidelberg, 2007, pp. 151–162.
LibreCat: /record/3026
DOI: 10.1007/3-540-68530-8_13

Program evaluation using fuzzy logic with bad smells as inputs
A. Delic, Z. Avdagic, W. Schäfer, D. Boskovic, M. Meyer, in: Proc. of the 21st International Symposium on Information, Communication and Automation Technologies (ICAT 2007), Sarajevo, Bosnia Herzegovina, Faculty of Electrical Engineering, University of Sarajevo, 2007.
LibreCat: /record/20949

Guarding our digital society's well-being
S. Leonardi, P. Mahlmann, F. Meyer auf der Heide, P.G. Spirakis, G. Weikum, E-Strategies, Www.Britishpublishers.Com 3-10–2007 (2007).
LibreCat: /record/17567

Why Robots Need Maps
M. Dynia, J. opuszaski, C. Schindelhauer, in: Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, pp. 37-- 46.
LibreCat: /record/18928
DOI: 10.1007/978-3-540-72951-8_5

Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs
M. Dynia, M. Korzeniowski, J. Kutyowski, in: Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07), 2007, pp. 260--271.
LibreCat: /record/18929
DOI: 10.1007/978-3-540-69507-3_21

Using Mobile Relays for Ensuring Connectivity in Sparse Networks
J. Kutylowski, Using Mobile Relays for Ensuring Connectivity in Sparse Networks, Universität Paderborn, 2007.
LibreCat: /record/18931

Competitive Maintenance of Minimum Spanning Trees under Stochastic Adversaries
J. Kutylowski, (2007).
LibreCat: /record/18933

Increasing the Reliability of Wireless Sensor Networks with a Unit Testing Framework
J. Beutel, C. Plessl, M. Woehrle, Increasing the Reliability of Wireless Sensor Networks with a Unit Testing Framework, Computer Engineering and Networks Laboratory, ETH Zurich, 2007.
LibreCat: /record/2394

Orientation in a Trail Network by Exploiting its Geometry for Swarm Robotics
M. Dorigo, H. Hamann, M. Szymanski, H. Wörn, Y. Shi, in: IEEE Swarm Intelligence Symposium, Honolulu, USA, April 1-5, IEEE Press, 2007, pp. 310--315.
LibreCat: /record/20374
DOI: 10.1109/SIS.2007.367953

An analytical and spatial model of foraging in a swarm of robots
H. Hamann, H. Wörn, E. Sahin, W. Spears, W. Winfield, in: Swarm Robotics - Second SAB 2006 International Workshop, 2007, pp. 43--55.
LibreCat: /record/20431
DOI: 10.1007/978-3-540-71541-2_4

A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
H. Hamann, H. Wörn, in: First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 2007, pp. 23--31.
LibreCat: /record/20432
DOI: 10.1109/saso.2007.3

Embodied Computation
H. Hamann, H. Wörn, M. Nagy, N. Nagy, Parallel Processing Letters 17 (2007) 287--298.
LibreCat: /record/20433

From Micro to Nano and Swarm Robotics
H. Hamann, M. Szymanski, H. Wörn, R. Estana, M. Xie, S. Dubowsky, in: Advances in Climbing and Walking Robots. Proceedings of 10th International Conference (CLAWAR’07), Singapore, July 16-18, 2007, pp. 15--24.
LibreCat: /record/20434
DOI: 10.1142/9789812770189_0003

Revising Type-2 Computation and Degrees of Discontinuity
M. Ziegler, Electronic Notes in Theoretical Computer Science (2007) 255–274.
LibreCat: /record/17980
DOI: 10.1016/j.entcs.2006.08.015

Real Hypercomputation and Continuity
M. Ziegler, Theory of Computing Systems (2007) 177–206.
LibreCat: /record/17981
DOI: 10.1007/s00224-006-1343-6

(Short) Survey of Real Hypercomputation
M. Ziegler, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat: /record/17982
DOI: 10.1007/978-3-540-73001-9_86

Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation
K. Meer, M. Ziegler, in: Mathematical Foundations of Computer Science 2007, Berlin, Heidelberg, 2007.
LibreCat: /record/17983
DOI: 10.1007/978-3-540-74456-6_64

On Faster Integer Calculations using Non-Arithmetic Primitives
K. Lürwer-Brüggemeier, M. Ziegler, ArXiv:0709.0624 (2007).
LibreCat: /record/17984

Real Computability and Hypercomputation
M. Ziegler, Real Computability and Hypercomputation, 2007.
LibreCat: /record/18285