Integrating explanation-based learning in symbolic computing
Homann, K.
1994. In: Advances in artificial intelligence - theory and applications II. 7th International Conference on Systems Research, Informatics & Cybernetics (ICSRIC ’94), Baden-Baden 1994. Ed.: J.W. Brahan. 1994. S. 130-135  

Explanation-based learning in computer algebra systems
Homann, K.
1994. In: Proceedings of the Rhine Workshop on Computer Algebra, Karlsruhe 1994. Ed.: J. Calmet. 1994. S. 220-224  

A general framework for distributed reason maintenance
Calmet, J.; Schü, J.; Taneda, M.
1994. In: Proceedings of the 2nd Working Conference on Cooperating Knowledge Based Systems, Keele, UK 1994. S. 177-193  

MANTRA: a multi-level hybrid knowledge representation system
Bittencourt, G.; Calmet, J.; Homann, K.; Lulay, A.
1994. In: Proceedings of the 11th Brazilian Symposium on Artificial Intelligence (SBIA), Fortaleza 1994. Ed.: T. Pequeno. 1994. S. 493-506  

A verification concept for SDL systems and its application to the Abracadabra protocol
Rinderspacher, M.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,14.)  

Microwave losses of interferometers with many Josephson junctions versus DC magnetic field
Lochschmied, R.; Benzing, W.; Jutzi, W.
1994. Applied Superconductivity Conference, 16-21 October 1994, Boston, Institute of Electrical and Electronics Engineers (IEEE)  

Diagnostic analysis of hyperspectral data using neural network techniques in combination with spectral libraries
Segl, K.; Berger, M.; Kaufmann, H.
1994. In: Proceedings of the 1st International Airborne Remote Sensing Conference and Exhibition, Strasbourg 1994. Vol. 3. S. 549- 556. u. Vol. 7. S. 609-628  

Knowledge based analysis of satellite images
Schilling, K.-J.; Vögtle, T.; Müssig, P.
1994. In: Proceedings. ISPRS Commission III Symposium: Spatial Information from Digital Photogrammetry and Computer Vision, München 1994. S. 732-736  

Regio-climate-project (REKLIP) GIS and cartography
Schilling, K.-J.; Zimber, A.
1994. In: Proceedings. The Canadian Conference on GIS, Ottawa, Canada 1994, S. 421-433  

Efficient speckle filtering of SAR images with the EPOS algorithm
Hagg, W.; Sties, M.
1994. In: Proceedings. IEEE International Geoscience and Remote Sensing Symposium, Pasadena, California 1994. S. 2140-2142  

Impact of landuse classification by geometrical parameters
Bähr, H.-P.; Jacobs, H.
1994. In: International Symposium on Resource and Environmental Monitoring, ISPRS Commiss. VII, Rio de Janeiro 1994  

Feature extraction for map based image interpretation
Bähr, H.-P.; Quint, F.
1994. In: 3rd International Colloquium of LIESMARS, Wuhan, China 1994. S. 1-8  

AIFB Jahresbericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 1993
Schmeck, H.; Seese, D.; Stucky, W.; Studer, R. (Eds.)
1994. AIFB. doi:10.5445/IR/19994  

DesignKARL. A language for the design of knowledge-based systems
Landes, D.
1994. Karlsruhe 1994. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 296.) 

Multimedia Datenspeicherung und Datenbanken (Tutorial)
Klingert, A.; Knörzer, C.; Schmitt, A.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,32.)  

Lower and upper bounds for (sums of) binomial coefficients
Worsch, T.
1994. Karlsruhe 1994. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1994,31.)  

A motivating example problem for teaching adaptive systems design
Prechelt, L.
1994. ACM SIGCSE bull. 26 (1994) H. 4 S. 25-28  

Data and process alignment in Modula-2*
Philippsen, M.; Mock, M. U.
1994. Automatic parallelization - new approaches to code generation, data distribution, and performance prediction. Ed.: C.W. Kessler, 177–191, Vieweg Verlag  

Automatic alignment of array data and processes to reduce communication time on DMPPs
Philippsen, M.
1994. Internat. Computer Science Inst  

Sather 1.0 tutorial
Philippsen, M.
1994. Internat. Computer Science Inst  

Improving temporal logic tableaux using integer constrains
Hähnle, R.; Ibens, O.
1994. Temporal logic. Ed.: D.M. Gabbay, 535–539, Springer-Verlag  

Efficient deduction in many-valued logics
Hähnle, R.
1994. Proceedings of the 24th International Symposium on Multiple-Valued Logic, May 25 - 27, 1994, Boston, Mass., 240–249, IEEE Computer Society  

On anti-links
Beckert, B.; Hähnle, R.; Murray, N.; Ramesh, A.
1994. Logic programming and automated reasoning. Ed.: F. Pfenning, 275–289, Springer-Verlag  

Semantic tableaux with ordering restrictions
Klingenbeck, S.; Hähnle, R.
1994. Automated deduction. CADE-12. Ed.: A. Bundy, 708–722, Springer-Verlag  

Bereichsdynamische Konsistenzüberwachung
Lockemann, P. C.; Sturm, R.
1994. Universität Karlsruhe (TH)  

Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method
Ratz, D.
1994. Computing 53 (1994) S. 337-353  

ArchE : Entwicklung einer datenbankunterstützten Architektur-Entwurfsumgebung; ein Anforderungsbericht
Hovestadt, L.; Hovestadt, V.; Mülle, J. A.; Sturm, R.
1994. Universität Karlsruhe (TH). doi:10.5445/IR/100594  

Satellite microwave radar- and buoy-tracked ice motion in the Weddell Sea during WWGS ’92
Drinkwater, M.; Kottmeier, C.
1994. Proceedings of the IGARSS’94 Conference, Institut of Electronic Energy, New York, Volume 1, 153–155 

The Lagrangian particle model traveling version 92/3. Model description and userŽs guide
Panitz, H.-J.; Vogel, B.; Vogel, H.
1994. KfK 

Special features of small scale boundary layer evolution over hilly terrain
Corsmeier, U.; Kossmann, M.; Vögtlin, R.; Fiedler, F.
1994. 19th General Assembly of the Euopean Geophysical Society, Grenoble, France, 25. - 29.04.1994, - 

Water vapour transport by stationary convective cells observed during TRACT over hilly terrain
Corsmeier, U.; Kossmann, M.; Vögtlin, R.; Fiedler, F.
1994. 19th General Assembly of the Euopean Geophysical Society, Grenoble, France, 25. - 29.04.1994, - 

Water vapour transport by stationary convective cells observed during TRACT over hilly terrain
Corsmeier, U.; Kossmann, M.; Vögtlin, R.; Fiedler, F.
1994. Transport and Transformation of Pollutants in the Troposphere: Proceedings of EUROTRAC Symposium ’94, Garmisch-Partenkirchen, Germany, 11. - 15. April 1994, -, SPB Acad. Publ 

Anwendung mesoskaliger Modelle in der Regionalklimatologie
Adrian, G.
1994. Annalen der Meteorologie, 29, 149–166 

A parameterization of warm cloud microphysical conversion processes
Beheng, K. D.
1994. Atmospheric research, 33 (1-4), 193–206. doi:10.1016/0169-8095(94)90020-5 

Vergleichende Beurteilung mehrerer Varianten der Heuristik von Lambrecht und Vanderveken zur Lösung des integrierten Losgrößen- und Ablaufplanungsproblems
Schwindt, C.
1994. Universität Karlsruhe (TH). doi:10.5445/IR/1000005896  

Moving Weight Galerkin Methods for Turbulent Reactive Flows
Fröhlich, J.; Deuflhard, P.
1994. Berlin 

An Adaptive Wavelet Galerkin Algorithm for One- and Two-Dimensional Flame Computations
Fröhlich, J.; Schneider, K.
1994. European journal of mechanics. B, Fluids, 13, 439–471 

Parameter Derivatives of the Jacobi Polynomials and the Gaussian Hypergeometric Function
Fröhlich, J.
1994. Integral Transforms and Special Functions, 2, 252–266 

Aerothermodynamik
Oertel, H.
1994. Springer-Verlag 

An international perspective on characterisation and management of residues from municipal solid waste incineration
Chandler, J.; Eighmy, T. T.; Hartlen, J.; Hjelmar, O.; Kosson, D. S.; Sawell, S.; Sloot, H. van der; Vehlow, J.
1994. Summary Report Prepared by the Internat.Ash Working Group, 1994 

Bestimmung der Struktur dotierter und undotierter Fullerite unter hohem Druck
Fietz, W. H.
1994. Forschungsbericht zum Vorhaben 13 N 6173 des Pilotprojektes Fullerene des BMFT (Mai 94) 

TA-Projekt "Umwelttechnik und wirtschaftliche Entwicklung". Zwischenbericht
Coenen, R.; Katz, C.; Klein-Vielhauer, S.; Meyer, R.; Wennrich, C.
1994. Büro für Technikfolgen-Abschätzung beim Deutschen Bundestag (TAB). doi:10.5445/IR/310036660  

Laser Mikro-Bearbeitung
Schüssler, A.
1994. Karlsruhe : KfK, 1994 

Feasibility studies of the EU home team on the manufacture of ECW sources for ITER
Tran, M. Q.; Tran, T. M.; Whaley, D. R.; Heidinger, R.; Iatrou, C.; Kern, S.; Möbius, A.; Nickel, H. U.; Norajitra, P.; Piosczyk, B.; Pretterebner, J.; Thumm, M.; Wien, A.; Verhoeven, A. G. A.; Urbanus, W. H.; Pain, M.; Tonon, G.
1994. NET Report Nr. 105 (June 94) 

Diagnostik für umweltfreundliche Kältetechnik
Eifrig, C.; Fehsenfeld, P.
1994. Karlsruhe : KfK, 1994 

Probabilistic accident consequence uncertainty analysis. Dispersion and deposition uncertainty assessment. Main report
Harper, F. T.; Hora, S. C.; Young, M. L.; Miller, L. A.; Lui, C.; Mc Kay, M. D.; Helton, J. C.; Goossens, L. H. J.; Cooke, R. M.; Päsler-Sauer, J.; Kraan, B.; Jones, J. A.
1994. NUREG/CR-6244 EUR-15855-EN SAND94-1453 Vol.1 

Messung der Temperatur von Boden, Wasser und Luft mit Satelliten
Olesen, F. S.
1994. Karlsruhe : KfK, 1994 

Mikromembranpumpe zur Förderung von Gasen
Büstgens, B.; Schomburg, W. K.
1994. Karlsruhe : KfK, 1994 

Vergleich des elastisch-plastischen Verhaltens zwischen europäischen und japanischen 316 L(N)-Stählen. Strukturuntersuchungen. (In japanischer Sprache)
Nakazawa, T.; Kumura, H.; Komatsu, H.; Takanabe, K.; Schirra, M.
1994. The Research Report of Committee Nr.123 for Heat Resistant Metallic Materials, Vol.34, Nr.3, Section 1+2 (1993) 

COSYMA: Users intercomparison exercise
Wonderen, E. van; Steen, J. van der; Hasemann, I.
1994. EUR-15108-EN (1994) 

AFDM: An advanced fluid-dynamics model. Vol.VI: EOS-AFDM interface
Henneges, G.; Kleinheins, S.; Bohl, W. R.; Fischer, E. A.; Goutagny, L.; Maudlin, P. J.; Ninokata, H.; Parker, F. R.; Wilhelm, D.
1994. LA-11692-MS Vol. VI (January 94) 

CALIMA - ein rechnergesteuertes LIGA-Maskenjustiersystem
Köhler, B.
1994. Karlsruhe : KfK, 1994 

Das Laborinformationssystem ELANobject
Orth, H.; Zilly, G.; Jaeschke, A.
1994. Karlsruhe : KfK, 1994 

XUMA - ein Expertensystem für die Beurteilung von Altlasten
Geiger, W.; Weidemann, R.; Jaeschke, A.
1994. Karlsruhe : KfK, 1994 

PC Cosyma: an accident consequence assessment package for use on a PC
Jones, J. A.; Mansfield, P. A.; Haywood, S. M.; Nisbet, A. F.; Hasemann, I.; Steinhauer, C.; Ehrhardt, J.
1994. EUR-14916-EN (1994) 

Application of solution X-ray scattering to study conformational changes in transferrins
Appel, H.; Schwab, F. J.; Grossmann, J. G.; Thies, W. G.; Neu, M.; Pantos, E.; Hasnain, S. S.
1994. Synchrotron Radiation Daresbury Annual Report 1992/93 

Fluor-18-FDG
Bechtold, V.
1994. Karlsruhe : KfK, 1994 

Vom abstrakten Modell zum Funktionsmuster
Süss, W.; Jakob, W.
1994. Karlsruhe : KfK, 1994 

System analysis for a dual-purpose repository
Bechthold, W.; Closs, K. D.; Knapp, U.; Papp, R.
1994. EUR-14595-EN (1993) 

AGATE-M. Mobiler Abgas-Teststand
Paur, H. R.; Baumann, W.
1994. Karlsruhe : KfK, 1994 

Probabilistic accident consequence assessment codes. Second international comparison
Ehrhardt, J.; Hasemann, I.; Steinhauer, C.; u.a.
1994. EUR-15109-EN (1994) 

Lebensmittelinhaltsstoffe: Beziehung zwischen zytotoxischen, genotoxischen und immunotoxischen Wirkmechanismen
Watzl, B.; Pool-Zobel, B. L.; Hänsch, G.; Kramer, M.; Vettel, U.; Schmezer, P.
1994. 3. Statuskolloquium des PUG am 16. und 17. März 1994 in Karlsruhe. Zusammenfassungen der Projektleitung. KfK-PUG 14 (April 94) 

Ermittlung des Strömungs- und Konzentrationsfeldes im Nahfeld typischer Gebäudekonfigurationen (Experimente)
Klein, P.; Rau, M.; Wang, Z.; Plate, E. J.
1994. (Institut fuer Hydrologie und Wasserwirtschaft, Universitaet Karlsruhe, Ed.), KfK-PEF 124 (September 94) 

Weiterentwicklung eines Naßverfahrens zur Aerosolabscheidung
Schenkel, A.; Koch, A.
1994. (Gea Wiegand GmbH, Abteilung Forschung und Entwicklung, Karlsruhe, Ed.), KfK-PEF 123 (Juli 94) 

Elektrostatisch unterstützte Abscheidung von Dieselrußpartikeln in Fliehkraftabscheidern
Wadenpohl, C.; Löffler, F.; Stahl, W.
1994. (Institut fuer Mechanische Verfahrenstechnik und Mechanik, Universitaet Karlsruhe, Ed.), KfK-PEF 125 (Oktober 94) 

Regulation der Bildung reaktiver Sauerstoffmetaboliten bei der Aktivierung von Alveolarmakrophagen durch Stäube
Gercken, G.; Dörger, M.; Schlüter, T.
1994. (Institut fuer Biochemie und Lebensmittelchemie, Universitaet Hamburg, Ed.), KfK-PUG 15 (Oktober 94) 

Reinigung aminhaltiger Gießerei-Abluft durch Adsorption und Rückgewinnung des abgetrennten Amins
Boger, T.; Frauhammer, J.; Eigenberger, G.
1994. (Institut fuer Chemische Verfahrenstechnik, Universitaet Stuttgart, Ed.), KfK-PEF 126 (Oktober 94) 

Abscheidung von biologischen Partikeln (Bioaerosole) aus Luft in technischen Tiefenfiltern (Vorprojekt)
Maus, R.; Löffler, F.
1994. (Institut fuer Mechanische Verfahrenstechnik und Mechanik, Universitaet Karlsruhe, Ed.), KfK-PEF 120 (Juni 94) 

Dieselentstickung: NOₓ-Entfernung aus sauerstoffreichen Abgasen mittels NH₃-abspaltender Reduktionsmittel
Weisweiler, W.; Maurer, B.; Wendler, M.
1994. (Institut fuer Chemische Technik, Universitaet Karlsruhe, Ed.), KfK-PEF 122 (Juni 94) 

Katalytische Nachverbrennung lösemittelbeladener Abluft an Nichtedelmetallkatalysatoren
Lintz, H. G.; Wittstock, K.
1994. (Institut fuer Chemische Verfahrenstechnik, Universitaet Karlsruhe, Ed.), KfK-PEF 121 (Juni 94) 

Energiestrukturadäquate Emissionsminderungsstrategien in Europa
Rentz, O.; Haasis, H. D.; Jattke, A.
1994. (Institut fuer Industriebetriebslehre und Industrielle Produktion, Universitaet Karlsruhe, Ed.), KfK-PEF 119 (Mai 94) 

Wirkungsanalyse der indirekt-spezifischen CIM-Foerderung im Programm Fertigungstechnik 1988-1992
Lay, G.; Wengel, J.; u.a.
1994. (Fraunhofer-Institut fuer Systemtechnik und Innovationsforschung, Karlsruhe, Ed.), KfK-PFT 172 (April 94) 

Kalibrierung des COSMOS-2D Mikroskops
Guth, H.; Hellmann, A.
1994. doi:10.5445/IR/270036873  

Extension of the COSYMA - ECONOMICS module cost calculations based on different economic sectors
Faude, D.; Meyer, D.
1994. doi:10.5445/IR/270036775  

Natürliche Analoga für HAW-Abfallgebinde
Grambow, B.
1994. Leyrer, M. [Hrsg.] Sammlung der Vorträge anläßlich des Workshops Natürliche Analoga zur Endlagerung radioaktiver Abfälle Karlsruhe, 4.-5. November 1993 KfK-5323 (April 94) 

Inkorporationsüberwachung im KfK durch Messungen der Raumluftaktivitätskonszentration
Dilger, H.
1994. doi:10.5445/IR/270036764  

POUSSIX CEA/DEBENE irradiation experiment PHENIX
Götzmann, O.
1994. doi:10.5445/IR/270036744  

Transmutation of long-lived minor actinides and fission products bu accelerator protons
Segev, M.; Küsters, H.; Pelloni, S.
1994. doi:10.5445/IR/270036742  

Kolloid- und Farbstoffuntersuchungen mit der transversalen photothermischen Ablenkung
Khuen, Q. E.; Faubel, W.; Ache, H. J.
1994. doi:10.5445/IR/270036729  

Stress intensity factors and weight functions for one-dimensional cracks
Fett, T.; Munz, D.
1994. doi:10.5445/IR/270036728  

Contributions to the R-curve behaviour of ceramic materials
Fett, T.
1994. doi:10.5445/IR/270036675  

Messung der neutralen und geladenen Hadronen der kosmischen Strahlung
Kornmayer, H.
1994. doi:10.5445/IR/270036674  

Triaxiale Messungen zum Kompaktierungsverhalten von trockenem Salzgrus bei erhöhten Temperaturen
Korthaus, E.
1994. KfK-5435 (Dezember 94). doi:10.5445/IR/270036651  

Ein Verfahren zur Optimierung der Faserverläufe in Verbundwerkstoffen durch Minimierung der Schubspannungen nach Vorbildern der Natur
Kriechbaum, R.
1994. doi:10.5445/IR/270036564  

Materialverhalten unter Bestrahlung
Dienst, W.
1994. doi:10.5445/IR/270036563  

Influence of control rod enhanced expansion devices on the course of unprotected transients in the EFR
Kussmaul, G.
1994. KfK-5370 (Oktober 94). doi:10.5445/IR/270036562  

European DEMO BOT solid breeder blanket
Dalle Donne, M.; Albrecht, H.; Boccaccini, L. V.; Dammel, F.; Fischer, U.; Gerhardt, H.; Kleefeldt, K.; Nägele, W.; Norajitra, P.; Reimann, G.; Reiser, H.; Romer, O.; Ruatto, P.; Scaffidi-Argentina, F.; Schleisiek, K.; Schnauder, H.; Schumacher, G.; Tsige-Tamirat, H.; Tellini, B.; Weimar, P.; et al.
1994. KfK-5429 (November 94). doi:10.5445/IR/270036526  

Strength and crack growth data for fusion relevant ceramics
Fett, T.
1994. KfK-5409 (November 94). doi:10.5445/IR/270036523  

Conceptual design of a forced-flow-cooled 20-kA current lead using Ag-alloy-sheated Bi-2223 high-temperature superconductors
Heller, R.; Hull, J. R.
1994. doi:10.5445/IR/270036522  

Simulation eines Abformvorgangs
Huber, N.; Kerpe, S.; Tsakmakis, C.
1994. doi:10.5445/IR/270036521  

Strength and fatigue measurements for CfC materials
Fett, T.; Schneider, H.
1994. doi:10.5445/IR/270036519  

A model for numerical simulation of devolatilization and combustion of waste material in packed beds
Peters, B.
1994. doi:10.5445/IR/270036518  

Changes of mechanical properties of ceramic breeder material pellets in the irradiation experiments COMPLIMENT and ELIMA 1
Zimmermann, H.
1994. doi:10.5445/IR/270036517  

Prognose ferntransportierten Smogs mit Hilfe der Prognosedaten des Europa-Modells des Deutschen Wetterdienstes
Sardemann, G.; Bräutigam, K. R.; Matzerath Boccaccini, C.; Fürniss, B.
1994. doi:10.5445/IR/270036516  

Behavior of a VVER-1000 fuel element with boron carbide/steel absorber tested under severe fuel damage conditions in the CORA facility. (Results of experiment CORA-W2)
Hagen, S.; Hofmann, P.; Noack, V.; Schanz, G.; Schumacher, G.; Sepold, L.
1994. KfK-5363 (Oktober 94). doi:10.5445/IR/270036514  

RAT: a computational tool for retrieval of atmospheric trace gas profiles from infrared spectra
Clarmann, T. von
1994. doi:10.5445/IR/270036512  

MHD-channel flow related to self-cooled liquid-metal blanket development
Bühler, L.; Müller, U.
1994. doi:10.5445/IR/270036511  

Inversion schlecht gestellter Probleme am Beispiel der bodengebundenen, passiven Millimeterwellenradiometrie
Kuntz, M.
1994. doi:10.5445/IR/270036459  

Experimentelle Untersuchungen zur Korrosion potentieller Anlagen-Werkstoffe für die oxidative Schadstoffzersetzung in überkritischem Wasser bei 500⁰C, 270 bar
Glasbrenner, H.; Kraft, R.; Leistikow, S.; Casal, V.; Gegenheimer, M.; Schmidt, H.
1994. doi:10.5445/IR/270036458  

Diskussion plastischer Instabilitäten eines Druckbehälters mit Hilfe der Methode der Finiten Elemente
Lämmer, H.; Ritter, B.; Tsakmakis, C.
1994. doi:10.5445/IR/270036344