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 | Preprint | LibreCat-ID: 17984
K. Lürwer-Brüggemeier and M. Ziegler, “On Faster Integer Calculations using Non-Arithmetic Primitives,” arXiv:0709.0624. 2007.
LibreCat
2007 | Report | LibreCat-ID: 18285
M. Ziegler, Real Computability and Hypercomputation. 2007.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 18347
M. Fischer et al., “Interactive Refinement of a Material Flow Simulation Model by Comparing Multiple Simulation Runs in one 3D Environment,” in European Simulation and Modelling Conference (ESM 2007), 2007, pp. 499--505.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 18349
W. Dangelmaier, C. Laroque, and M. Fischer, “Ein ganzheitlicher Ansatz zur immersiven 3D-Materialflusssimulation innerhalb der Digitalen Fabrik,” in Augmented & Virtual Reality in der Produktentstehung, 2007, vol. 209, pp. 95–110.
LibreCat
2007 | Conference Paper | LibreCat-ID: 18655
C. Sohler and A. Czumaj, “On Testable Properties in Bounded Degree Graphs,” in Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA’07), 2007, pp. 494–501.
LibreCat