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.
112 Publications
2014 | Journal Article | LibreCat-ID: 42794
Eick B, Kirschmer M, Leedham-Green C. The constructive membership problem for discrete free subgroups of rank 2 of SL₂(R). LMS Journal of Computation and Mathematics. 2014;17(1):345-359. doi:10.1112/s1461157014000047
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers. Published online 2014:1-1. doi:10.1109/tc.2014.2329687
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 4478
Brahm T, Jenert T, Euler D. On the assessment of attitudes towards the study process and the university: Attitudes towards the Study Environment Questionnaire (ASEQ). In: EARLI European Association for Research on Learning and Instruction; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 4481
Jenert T, Brahm T. Die Entwicklung studien-und hochschulbezogener Einstellungen an einer Wirtschaftsuniversität: eine qualitative Längsschnittstudie. In: Institut für Psychologie; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 4698
Gregor S, Müller O, Seidel S. Reflection, abstraction and theorizing in design and development research. In: European Conference on Information Systems. ; 2013.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 11716
Abdelaziz AH, Zeiler S, Kolossa D, Leutnant V, Haeb-Umbach R. GMM-based significance decoding. In: Acoustics, Speech and Signal Processing (ICASSP), 2013 IEEE International Conference On. ; 2013:6827-6831. doi:10.1109/ICASSP.2013.6638984
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 11917
Vu DHT, Haeb-Umbach R. Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation. In: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013). ; 2013:863-867. doi:10.1109/ICASSP.2013.6637771
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 37672
Rösler M, Koornwinder T, Voit M. Limit transition between hypergeometric functions of type BC and type A. Compositio Mathematica. 2013;149(8):1381-1400. doi:10.1112/s0010437x13007045
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 42796
Lorch D, Kirschmer M. Single-class genera of positive integral lattices. LMS Journal of Computation and Mathematics. 2013;16:172-186. doi:10.1112/s1461157013000107
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 42797
Kirschmer M. A normal form for definite quadratic forms over $\mathbb{F}_{q}[t]$. Mathematics of Computation. 2012;81(279):1619-1634. doi:10.1090/s0025-5718-2011-02570-6
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 45933
Karátson J, Kovács B. Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation. Computers & Mathematics with Applications. 2012;65(3):449-459. doi:10.1016/j.camwa.2012.04.021
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 4708
Müller-Wienbergen F, Müller O, Seidel S, Becker J. Leaving the Beaten Tracks in Creative Work – A Design Theory for Systems that Support Convergent and Divergent Thinking. Journal of the Association for Information Systems. 2011;(11):714--740. doi:10.1016/S0006-3495(00)76637-9
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 5195
Hartmann-Wendels T, Keienburg G, Sievers S. Adverse selection, investor experience and security choice in venture capital finance: evidence from Germany. European Financial Management (VHB-JOURQUAL 3 Ranking B). 2011;17(3):464-499. doi:10.1111/j.1468-036X.2010.00568.x
LibreCat
| DOI
| Download (ext.)
2011 | Journal Article | LibreCat-ID: 17233
Fischer K, Foth K, Rohlfing K, Wrede B. Mindful tutors: Linguistic choice and action demonstration in speech to infants and a simulated robot. Interaction Studies. 2011;12(1):134-161. doi:10.1075/is.12.1.06fis
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 34846
van Hoeij M, Klüners J, Novocin A. Generating subfields. Journal of Symbolic Computation. 2011;52:17-34. doi:10.1016/j.jsc.2012.05.010
LibreCat
| DOI
2010 | Report | LibreCat-ID: 4448
Jenert T, Gebhardt A. Zugänge Zum Begriff Der Lernkultur: Eine Systematisierung Auf Basis Kultur-Und Lerntheoretischer Überlegungen.; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 9763
Sondermann-Wölke C, Geisler J, Sextro W. Increasing the reliability of a self-optimizing railway guidance system. In: Reliability and Maintainability Symposium (RAMS), 2010 Proceedings - Annual. ; 2010:1-6. doi:10.1109/RAMS.2010.5448080
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 5632 | 
Schryen G, Bodenstein C. A decision-theoretic foundation of IS business value research. In: Proceedings of the 18th European Conference on Information Systems (ECIS 2010). ; 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 5643 |
Schryen G. An Analysis of Literature Reviews on IS Business Value: How Deficiencies in Methodology and Theory Use Resulted in Limited Effectiveness. In: Proceedings of the First Scandinavian Conference on Information Systems (SCIS). ; 2010.
LibreCat
| Files available
2010 | Journal Article | LibreCat-ID: 34887
Fouvry É, Klüners J. On the Spiegelungssatz for the 4-rank. Algebra & Number Theory. 2010;4(5):493-508. doi:10.2140/ant.2010.4.493
LibreCat
| DOI