Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Forschungsschwerpunkt Datengetriebene Systeme

Hochschule Koblenz

Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Huang, Xiaorong; Fiedler, Armin

Proof Verbalization as an Application of NLG.

IJCAI (2). San Francisco, Calif.: Morgan Kaufmann 1997 S. 965 - 972


Fiedler, Armin; Huang, Xiaorong

PROVERB : Verbalizing Proofs

DFKI Workshop on Natural Language Generation : Wednesday, April 23, 1997 ; Bananensaal, Raum 1.01, DFKI Saarbrücken. Saarbrücken. 1997 S. 35 - 41


Jaekel, Uwe; Vereecken, Harry

Renormalization group analysis of macrodispersion in a directed random flow

Water resources research : WRR. Bd. 33. H. 10. New York: American Geophysical Union (AGU) 1997 S. 2287 - 2299


Neuhäuser, Markus; Hothorn, L. A.

The Control of the Consumer Risk in the Ames Assay

Drug information journal : DIJ. Bd. 31. Thousand Oaks, Calif.: Sage Publications 1997 S. 363 - 367


Jaekel, U.; Döring, U.; Neuendorf, O. et al.

Transport of reactive solutes in a heterogeneous aquifer : Simulations with a stochastic approach

Chilton, John (Hrsg). Groundwater in the urban environment : 1 ; Problems, processes and management. Rotterdam: Balkema 1997 S. 121 - 126


Neuhäuser, Markus; Hothorn, Ludwig A.

Trend Tests for Dichotomous Endpoints with Application to Carcinogenicity Studies

Drug Information Journal. Bd. 31. H. 2. Thousand Oaks, Calif.: Sage Publications 1997 S. 463 - 469


Jaekel, Uwe; Slodička, Marián; Schumacher, Stephan

Well modeling and estimation of hydraulic parameters

Computational Geosciences : Modeling, Simulation and Data Analysis. Bd. 1. H. 3-4. Amsterdam: Baltzer Science Publ. 1997 S. 317 - 331


Benzmüller, Christoph; Cheikhrouhou, Lassaad; Fehrer, Detlef et al.

Ωmega: Towards a mathematical assistant

McCune, William (Hrsg). Automated Deduction — CADE-14 : 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings. Berlin: Springer 1997 S. 252 - 255 (Lecture Notes in Computer Science (LNCS) ; 1249)


Dimov, I.; Jaekel, U.; Vereecken, H.

A numerical approach for determination of sources in transport equations

Computers & Mathematics with Applications : an international journal. Bd. 32. H. 5. Amsterdam: Elsevier 1996 S. 31 - 42


Jaekel, Uwe; Georgescu, Adelina; Vereecken, Harry

Asymptotic analysis of nonlinear equilibrium solute transport in porous media

Water Resources Research : WRR. Bd. 32. H. 10. New York: American Geophysical Union (AGU) 1996 S. 3093 - 3098