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.
10447 Publications
2005 | Bachelorsthesis | LibreCat-ID: 47647
Hornkamp, C. (2005). Implementierung von wichtigen Teilen des Schoof-Elkies-Atkin Algorithmus zum Bestimmen der Punktanzahl einer elliptischen Kurve.
LibreCat
2005 | Bachelorsthesis | LibreCat-ID: 47646
Süß, T. (2005). Laufzeitanalyse- und vergleich verschiedener Algorithmen zur schnellen skalaren Multiplikation auf elliptischen Kurven.
LibreCat
2005 | Misc | LibreCat-ID: 47693
Ernst, M. (2005). Analyse von RSA mittels Coppersmith Methode.
LibreCat
2005 | Misc | LibreCat-ID: 47694 | 
Spanke, C. (2005). Implementierung der Coppersmith-Methode zur Untersuchung von Schwachstellen bei RSA.
LibreCat
| Files available
2005 | Conference Paper | LibreCat-ID: 11802 |
Haeb-Umbach, R., & Schmalenstroeer, J. (2005). Speech Processing in the Networked Home Environment - A View on the Amigo Project. Interspeech 2005.
LibreCat
| Download (ext.)
2005 | Conference Paper | LibreCat-ID: 11801 |
Haeb-Umbach, R., & Schmalenstroeer, J. (2005). A Comparison of Particle Filtering Variants for Speech Feature Enhancement. Interspeech 2005.
LibreCat
| Download (ext.)
2005 | Book Chapter | LibreCat-ID: 51468
Hilgert, J. (2005). An Ergodic Arnold-Liouville Theorem for Symmetric Spaces. In S. T. Ali & et al. (Eds.), Twenty Years of Bialowieza: A Mathematical Antology. World Scientific.
LibreCat
2005 | Journal Article | LibreCat-ID: 51410
Hilgert, J., Movasati, H., & Mayer, D. (2005). Transfer Operators for Gamma_0(n) and the Hecke Operators for the Period Functions of PSL(2,Z). Math. Proc. Camb. Phil. Soc., 139, 81–116.
LibreCat
2005 | Book Review | LibreCat-ID: 51578
Hilgert, J. (2005). Dungey, N., A. ter Elst, D. Robinson. Analysis on Lie Groups with Polynomial Growth (Birkhäuser, Boston, 2003). In JBer. DMV (Vol. 107).
LibreCat
2005 | Journal Article | LibreCat-ID: 51409
Hilgert, J., & Deitmar, A. (2005). Cohomology of Arithmetic Groups with Infinite Dimensional Coefficient Spaces. Documanta Math., 10, 199–216.
LibreCat
2005 | Book (Editor) | LibreCat-ID: 53592
Lavagno, L., & Müller, W. (Eds.). (2005). Proceedings of the 2nd International DAC Workshop on UML for SoC Design.
LibreCat
2005 | Book Chapter | LibreCat-ID: 54339
Hesse, K., & H. Sloan, I. (2005). Optimal order integration on the sphere. In T. Li & P. Zhang (Eds.), Frontiers and Prospects of Contemporary Applied Mathematics (pp. 59–70). Higher Education Press und World Scientific.
LibreCat
2005 | Journal Article | LibreCat-ID: 54334
Hesse, K., & H. Sloan, I. (2005). Worst-case errors in a Sobolev space setting for cubature over the sphere S2. Bulletin of the Australian Mathematical Society, 71, 81–105.
LibreCat
2005 | Journal Article | LibreCat-ID: 54333
Hesse, K., & H. Sloan, I. (2005). Optimal lower bounds for cubature error on the sphere S2. Journal of Complexity, 21, 790–803.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05. https://doi.org/10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, A., & Müller, W. (2005). Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, A., & Müller, W. (2005). Modelchecking von Klassifikationsbaum-Testsequenzen.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, H., & Müller, W. (2005). Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.
LibreCat