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.
5719 Publications
2007 | Book Chapter | LibreCat-ID: 3022
May A, Silverman JH. Dimension Reduction Methods for Convolution Modular Lattices. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:110-125. doi:10.1007/3-540-44670-2_10
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3026
Blömer J. A Probabilistic Zero-Test for Expressions Involving Roots of Rational Numbers. In: Algorithms — ESA’ 98. Berlin, Heidelberg: Springer Berlin Heidelberg; 2007:151-162. doi:10.1007/3-540-68530-8_13
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20949
Delic A, Avdagic Z, Schäfer W, Boskovic D, Meyer M. Program evaluation using fuzzy logic with bad smells as inputs. 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
2007 | Journal Article | LibreCat-ID: 17567
Leonardi S, Mahlmann P, Meyer auf der Heide F, Spirakis PG, Weikum G. Guarding our digital society’s well-being. e-Strategies, www.britishpublishers.com. 2007;3-10-2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18928
Dynia M, Łopuszański J, Schindelhauer C. Why Robots Need Maps. In: Proc. of the 14th Colloquium on Structural Information and Communication Complexity (SIROCCO). ; 2007:37-- 46. doi:10.1007/978-3-540-72951-8_5
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 18929
Dynia M, Korzeniowski M, Kutyłowski J. Competitive Maintenance of Minimum Spanning Trees in Dynamic Graphs. In: Proc. of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM’07). Vol 4362. ; 2007:260--271. doi:10.1007/978-3-540-69507-3_21
LibreCat
| DOI
2007 | Dissertation | LibreCat-ID: 18931
Kutylowski J. Using Mobile Relays for Ensuring Connectivity in Sparse Networks.; 2007.
LibreCat
| Files available
2007 | Preprint | LibreCat-ID: 18933
Kutylowski J. Competitive Maintenance of Minimum Spanning Trees under Stochastic Adversaries. 2007.
LibreCat
| Files available
2007 | Report | LibreCat-ID: 2394
Beutel J, Plessl C, Woehrle M. Increasing the Reliability of Wireless Sensor Networks with a Unit Testing Framework. Computer Engineering and Networks Laboratory, ETH Zurich; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20374
Dorigo M, Hamann H, Szymanski M, Wörn H, Shi Y. Orientation in a Trail Network by Exploiting its Geometry for Swarm Robotics. In: IEEE Swarm Intelligence Symposium, Honolulu, USA, April 1-5. IEEE Press; 2007:310--315. doi:10.1109/SIS.2007.367953
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20431
Hamann H, Wörn H, Sahin E, Spears W, Winfield W. An analytical and spatial model of foraging in a swarm of robots. In: Swarm Robotics - Second SAB 2006 International Workshop. Vol 4433. ; 2007:43--55. doi:10.1007/978-3-540-71541-2_4
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 20432
Hamann H, Wörn H. A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support. In: First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007). ; 2007:23--31. doi:10.1109/saso.2007.3
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 20433
Hamann H, Wörn H, Nagy M, Nagy N. Embodied Computation. Parallel Processing Letters. 2007;17(3):287--298.
LibreCat
2007 | Conference Paper | LibreCat-ID: 20434
Hamann H, Szymanski M, Wörn H, Estana R, Xie M, Dubowsky S. From Micro to Nano and Swarm Robotics. In: Advances in Climbing and Walking Robots. Proceedings of 10th International Conference (CLAWAR’07), Singapore, July 16-18. ; 2007:15--24. doi:10.1142/9789812770189_0003
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17980
Ziegler M. Revising Type-2 Computation and Degrees of Discontinuity. Electronic Notes in Theoretical Computer Science. 2007:255-274. doi:10.1016/j.entcs.2006.08.015
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 17981
Ziegler M. Real Hypercomputation and Continuity. Theory of Computing Systems. 2007:177-206. doi:10.1007/s00224-006-1343-6
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17982
Ziegler M. (Short) Survey of Real Hypercomputation. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 2007. doi:10.1007/978-3-540-73001-9_86
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 17983
Meer K, Ziegler M. Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation. In: Mathematical Foundations of Computer Science 2007. Berlin, Heidelberg; 2007. doi:10.1007/978-3-540-74456-6_64
LibreCat
| DOI
2007 | Preprint | LibreCat-ID: 17984
Lürwer-Brüggemeier K, Ziegler M. On Faster Integer Calculations using Non-Arithmetic Primitives. arXiv:07090624. 2007.
LibreCat
2007 | Report | LibreCat-ID: 18285
Ziegler M. Real Computability and Hypercomputation.; 2007.
LibreCat
| Files available