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.
792 Publications
2007 | Journal Article | LibreCat-ID: 17980
Revising Type-2 Computation and Degrees of Discontinuity
M. Ziegler, Electronic Notes in Theoretical Computer Science (2007) 255–274.
LibreCat
| DOI
M. Ziegler, Electronic Notes in Theoretical Computer Science (2007) 255–274.
2007 | Journal Article | LibreCat-ID: 17981
Real Hypercomputation and Continuity
M. Ziegler, Theory of Computing Systems (2007) 177–206.
LibreCat
| DOI
M. Ziegler, Theory of Computing Systems (2007) 177–206.
2007 | Book Chapter | LibreCat-ID: 17982
(Short) Survey of Real Hypercomputation
M. Ziegler, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
LibreCat
| DOI
M. Ziegler, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 2007.
2007 | Book Chapter | LibreCat-ID: 17983
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
| DOI
K. Meer, M. Ziegler, in: Mathematical Foundations of Computer Science 2007, Berlin, Heidelberg, 2007.
2007 | Preprint | LibreCat-ID: 17984
On Faster Integer Calculations using Non-Arithmetic Primitives
K. Lürwer-Brüggemeier, M. Ziegler, ArXiv:0709.0624 (2007).
LibreCat
K. Lürwer-Brüggemeier, M. Ziegler, ArXiv:0709.0624 (2007).
2007 | Report | LibreCat-ID: 18285
Real Computability and Hypercomputation
M. Ziegler, Real Computability and Hypercomputation, 2007.
LibreCat
| Files available
M. Ziegler, Real Computability and Hypercomputation, 2007.
2007 | Conference Paper | LibreCat-ID: 18347
Interactive Refinement of a Material Flow Simulation Model by Comparing Multiple Simulation Runs in one 3D Environment
M. Fischer, C. Laroque, D. Huber, J. Krokowski, B. Mueck, M. Kortenjan, M. Aufenanger, W. Dangelmaier, in: European Simulation and Modelling Conference (ESM 2007), 2007, pp. 499--505.
LibreCat
| Files available
M. Fischer, C. Laroque, D. Huber, J. Krokowski, B. Mueck, M. Kortenjan, M. Aufenanger, W. Dangelmaier, in: European Simulation and Modelling Conference (ESM 2007), 2007, pp. 499--505.
2007 | Conference Paper | LibreCat-ID: 18349
Ein ganzheitlicher Ansatz zur immersiven 3D-Materialflusssimulation innerhalb der Digitalen Fabrik
W. Dangelmaier, C. Laroque, M. Fischer, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007, pp. 95–110.
LibreCat
W. Dangelmaier, C. Laroque, M. Fischer, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2007, pp. 95–110.
2007 | Conference Paper | LibreCat-ID: 18572
Estimating Clustering Indexes in Data Streams
L.S. Buriol, G. Frahling, S. Leonardi, C. Sohler, in: Proceedings of the 15th European Symposium on Algorithms (ESA), Springer, Berlin, Heidelberg, 2007, pp. 618–632.
LibreCat
| DOI
L.S. Buriol, G. Frahling, S. Leonardi, C. Sohler, in: Proceedings of the 15th European Symposium on Algorithms (ESA), Springer, Berlin, Heidelberg, 2007, pp. 618–632.
2007 | Conference Paper | LibreCat-ID: 18655
On Testable Properties in Bounded Degree Graphs
C. Sohler, A. Czumaj, in: Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA’07), 2007, pp. 494–501.
LibreCat
C. Sohler, A. Czumaj, in: Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA’07), 2007, pp. 494–501.