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
B. Eick, M. Kirschmer, and C. Leedham-Green, “The constructive membership problem for discrete free subgroups of rank 2 of SL₂(R),” LMS Journal of Computation and Mathematics, vol. 17, no. 1, pp. 345–359, 2014, doi: 10.1112/s1461157014000047.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 46266
B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,” IEEE Transactions on Computers, pp. 1–1, 2014, doi: 10.1109/tc.2014.2329687.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 4478
T. Brahm, T. Jenert, and D. Euler, “On the assessment of attitudes towards the study process and the university: Attitudes towards the Study Environment Questionnaire (ASEQ),” presented at the 15th Biennial EARLI Conference, München , 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 4481
T. Jenert and T. Brahm, “Die Entwicklung studien-und hochschulbezogener Einstellungen an einer Wirtschaftsuniversität: eine qualitative Längsschnittstudie,” presented at the 14. Fachgruppentagung Pädagogische Psychologie der Deutschen Gesellschaft für Psychologie, Hildesheim, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 4698
S. Gregor, O. Müller, and S. Seidel, “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
A. H. Abdelaziz, S. Zeiler, D. Kolossa, V. Leutnant, and R. Haeb-Umbach, “GMM-based significance decoding,” in Acoustics, Speech and Signal Processing (ICASSP), 2013 IEEE International Conference on, 2013, pp. 6827–6831.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 11917
D. H. T. Vu and R. Haeb-Umbach, “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, pp. 863–867.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 37672
M. Rösler, T. Koornwinder, and M. Voit, “Limit transition between hypergeometric functions of type BC and type A,” Compositio Mathematica, vol. 149, no. 8, pp. 1381–1400, 2013, doi: 10.1112/s0010437x13007045.
LibreCat | DOI
 

2013 | Journal Article | LibreCat-ID: 42796
D. Lorch and M. Kirschmer, “Single-class genera of positive integral lattices,” LMS Journal of Computation and Mathematics, vol. 16, pp. 172–186, 2013, doi: 10.1112/s1461157013000107.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 42797
M. Kirschmer, “A normal form for definite quadratic forms over $\mathbb{F}_{q}[t]$,” Mathematics of Computation, vol. 81, no. 279, pp. 1619–1634, 2012, doi: 10.1090/s0025-5718-2011-02570-6.
LibreCat | DOI
 

2012 | Journal Article | LibreCat-ID: 45933
J. Karátson and B. Kovács, “Variable preconditioning in complex Hilbert space and its application to the nonlinear Schrödinger equation,” Computers & Mathematics with Applications, vol. 65, no. 3, pp. 449–459, 2012, doi: 10.1016/j.camwa.2012.04.021.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 4708
F. Müller-Wienbergen, O. Müller, S. Seidel, and J. Becker, “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, no. 11, pp. 714--740, 2011.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 5195
T. Hartmann-Wendels, G. Keienburg, and S. Sievers, “Adverse selection, investor experience and security choice in venture capital finance: evidence from Germany,” European Financial Management (VHB-JOURQUAL 3 Ranking B), vol. 17, no. 3, pp. 464–499, 2011.
LibreCat | DOI | Download (ext.)
 

2011 | Journal Article | LibreCat-ID: 17233
K. Fischer, K. Foth, K. Rohlfing, and B. Wrede, “Mindful tutors: Linguistic choice and action demonstration in speech to infants and a simulated robot,” Interaction Studies, vol. 12, no. 1, pp. 134–161, 2011, doi: 10.1075/is.12.1.06fis.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 34846
M. van Hoeij, J. Klüners, and A. Novocin, “Generating subfields,” Journal of Symbolic Computation, vol. 52, pp. 17–34, 2011, doi: 10.1016/j.jsc.2012.05.010.
LibreCat | DOI
 

2010 | Report | LibreCat-ID: 4448
T. Jenert and A. Gebhardt, Zugänge zum Begriff der Lernkultur: Eine Systematisierung auf Basis kultur-und lerntheoretischer Überlegungen. 2010.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 9763
C. Sondermann-Wölke, J. Geisler, and W. Sextro, “Increasing the reliability of a self-optimizing railway guidance system,” in Reliability and Maintainability Symposium (RAMS), 2010 Proceedings - Annual, 2010, pp. 1–6.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 5632 | OA
G. Schryen and C. Bodenstein, “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 | OA
G. Schryen, “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 and J. Klüners, “On the Spiegelungssatz for the 4-rank,” Algebra & Number Theory, vol. 4, no. 5, pp. 493–508, 2010, doi: 10.2140/ant.2010.4.493.
LibreCat | DOI
 

Filters and Search Terms

keyword="Theory"

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed