Fiedler, Armin; Tsovaltzi, Dimitra
Domain-Knowledge Manipulation for Dialogue-Adaptive Hinting.AIED. Amsterdam: IOS Press 2005 S. 801 - 803
Schreuder, Siegfried
E-Learning in der IngenieurausbildungLehmann, Burkhard (Hrsg). Online-Pädagogik, Bd. 3, Referenzmodelle und Praxisbeispiele. Baltmannsweiler: Schneider-Verl. Hohengehren 2005 S. 174 - 187 (Grundlagen der Berufs- und Erwachsenenbildung)
Neuhäuser, Markus
Efficiency comparisons of rank and permutation tests by Phillip I. Good Statistics in Medicine 2004; 23:857Statistics in Medicine. Bd. 24. H. 11. Hoboken, NJ: Wiley-Blackwell 2005 S. 1777 - 1778
Eggebrecht, H.; Nienhaber, C. A.; Neuhäuser, Markus et al.
Endovascular stent-graft placement in aortic dissection : a meta-analysisEuropean Heart Journal : the journal of the European Society of Cardiology. Bd. 27. H. 4. Oxford: Oxford University Press 2005 S. 489 - 498
Neuhäuser, Markus
Exact tests based on the Baumgartner-Weiss-Schindler statistic : a surveyStatistical papers. Bd. 46. H. 1. Berlin [u.a.]: Springer 2005 S. 1 - 29
Autexier, Serge; Benzmüller, Christoph; Fiedler, Armin et al.
Integrating Proof Assistants as Reasoning and Verification Tools into a Scientific WYSIWYG EditorUser Interfaces for Theorem Provers (UITP) : 9th April 2005. Edinburgh, Scotland. 2005 24 S.
Fiedler, Armin
Natural Language Proof ExplanationHutter, Dieter; Stephan, Werner (Hrsg). Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday. Berlin: Springer 2005 S. 342 - 363 (Lecture Notes in Computer Science (LNCS) ; 2605 / Lecture Notes in Artificial Intelligence (LNAI) ; 2605)
Neuhäuser, Markus; Boes, T.
Normalization for Affymetrix GeneChipsMethods of information in medicine : internat. journal for the methodology of medical research, information and documentation. Bd. 44. H. 3. Stuttgart [u.a.]: Schattauer 2005 S. 414 - 417
Neuhäuser, Markus
One-Sided Nonparametric Tests for Ordinal DataPerceptual and Motor Skills. Bd. 101. H. 2. Thousand Oaks, CA: SAGE Publications 2005 S. 510 - 514
Basermann, A.; Jaekel, U.; Nordhausen, M. et al.
Parallel iterative solvers for sparse linear systems in circuit simulationFuture Generation Computer Systems : FGCS. Bd. 21. H. 8. Amsterdam: Elsevier 2005 S. 1275 - 1284