Bericht (909)

106641.
Bericht
Yamada, H.; Geiger, J.; Stroth, U.; Weller, A.; Howe, H. C.: Remarks on Application to VMEC and PROCTR to the Wendelstein 7-AS Experiment. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1994), 34 S.
106642.
Bericht
Hummer, G.; Soumpasis, D. M.: A new approach to calculate the hydration of DNA molecules. Los Alamos National Laboratory, Los Alamos (1993), 20 S.
106643.
Bericht
Schyns, P.; Bülthoff, H.: Conditions for viewpoint dependent face recognition. Massachusetts Institute of Technology: Artificial Intelligence Laboratory and Center for Biological and Computational Learning, Cambridge, MA, USA (1993), 6 S.
106644.
Bericht
Antoy, S.; Echahed, R.; Hanus, M.: A needed narrowing strategy. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.
106645.
Bericht
Bachmair, L.; Ganzinger, H.; Lynch, C.; Snyder, W.: Basic paramodulation. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 S.
106646.
Bericht
Ballico, M.; Puri, S.: Calculation of the self-consistent current distribution and coupling of an RF antenna array. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 73 S.
106647.
Bericht
Basin, D.; Bundy, A.; Kraan, I.; Matthews, S.: A framework for program development based on schematic proof. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.
106648.
Bericht
Basin, D. A.; Kraan, I.; Bundy, A.: Middle-out reasoning for logic program synthesis. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.
106649.
Bericht
Beidler, C. D.; Harmeyer, E.; Kisslinger, J.; Ott, I.; Wobig, H.: Studies on a Stellarator Reactor of the Helias Type: The Power Balance. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 23 S.
106650.
Bericht
Bessenrodt-Weberpals, M.; Wagner, F.; ASDEX Team: The Isotope Effect in ASDEX. Max-Planck-Institut für Plasmaphysik, Garching(DE) (1993), 72 S.
106651.
Bericht
Bockmayr, A.; Krischer, S.; Werner, A.: Narrowing strategies for arbitrary canonical rewrite systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 29 S.
106652.
Bericht
Brink, C.; Gabbay, D. M.; Ohlbach, H. J.: Towards automating duality. Max-Planck-Institut für Informatik, Saarbrücken (1993), 50 S.
106653.
Bericht
Casimir, W. v.; Gehre, O.; Kaiser, N.; Keilmann, F.; Plank, K.; Schneider, W.; Zerull, R.: Untersuchung über die Anwendungsmöglichkeit der Mikrowellen- und Infrarotspektroskopie für die Registrierung von Stoffwechselvorgängen in biologischen Systemen.- Investigations of the Metabolism in Biological Systmes Using Microwave and Infrared Spectroscopy. Max-Planck-Institut für Plasmaphysik, Garching (DE) (1993), 24 S.
106654.
Bericht
Dang Nguyen, G.; Schneider, V.; Werle, R.: Corporate Actor Networks in European Policy Making: Harmonizing Telecommunications Policy (MPIfG Discussion Paper, 93/4). Max-Planck-Institut für Gesellschaftsforschung, Köln (1993), 35 S.
106655.
Bericht
Dimopoulos, Y.; Torres, A.: Graph theoretical structures in logic programs and default theories. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.
106656.
Bericht
Dunsire, A.: Manipulating Social Tensions: Collibration as an Alternative Mode of Government Intervention (MPIfG Discussion Paper, 93/7). Max-Planck-Institut für Gesellschaftsforschung, Köln (1993), 49 S.
106657.
Bericht
Eckstein, W.; Garcia-Rosales, C.; Roth, J.; Ottenberger, W.: Sputtering Data. Max-Planck-Institut für Plasmaphysik, Garching (1993), 342 S.
106658.
Bericht
Gupta, P.; Janardan, R.; Smid, M.: Algorithms for some intersection searching problems involving curved objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 43 S.
106659.
Bericht
Gupta, P.; Janardan, R.; Smid, M.: Effizient algorithms for generalized intersection searching on non-iso-oriented objects. Max-Planck-Institut für Informatik, Saarbrücken (1993), 32 S.
106660.
Bericht
Hanus, M.; Josephs, B.: A debugging model for functional logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 S.
Zur Redakteursansicht