204 | TÄTIGKEITSBERICHTE
in Applied Combustion Diagrwstics (Eds. K. Kohse-Hömghaus, J. Jeffries), Taylor &
Francis (2002).
H. Neuweiler, A. Schulz, J. Wolfrum, M. Sauer, “Sensitive detection of p53 antibodies
in a homogeneous fluorescence assay format”, Biomedical N anotechnology Archi-
tectures and Applications (Darryl J. Bornhop, et al., Editors), Proc. SPIEVoi. 4626,
(2002) 259-267.
A. C.Vaiana, A. Schulz, J. Wolfrum, M. Sauer,J. C. Smith, “Molecular Mechanics Force
Field Parametrization of the Fluorescent probe Rhodamin 6G Using Automated
Frequency Matching”,J. Comp. Chem., (2002).
H. Neuweiler, A. Schulz, A.Vaiana,J. Smith, S. Kaul, J. Wolfrum, M. Sauer, “Peptide-
based molecular beacons for the detection of p53-autoantibodies in human sera”,
Angern. Chemie 114, (2002) 4964—4968.
Patente
N. Ebert, E. Schlosser, J. Wolfrum, A. Merz, FI. Seifert, B. Oser, R. Siegel, „Laufzeit-
messung inaktiver Tracer“, Deutsche Patentanmeldung, 2002.
V. Ebert,T. Fernholz, H.Teichert, J.Wolfrum, „Quantitative spektroskopische Bestim-
mung eines Absorbers“, Deutsche Patentanmeldung, 2002.

7. Mathematische Logik (Kaiserslautern)
Das Unternehmen „Mathematische Logik“ verfolgt das Ziel, den aktuellen Wissens-
stand aus dem Bereich der Mathematischen Logik und angrenzender Gebiete zu
dokumentieren, zu strukturieren und zu repräsentieren sowie das vorhandene Wissen
spezifischen Anforderungen gemäß zugänglich zu machen. Zu diesem Zweck unter-
hält es eine umfassende strukturierte Bibliographie der Literatur aus den genannten
Bereichen und entwickelt Formalismen zur funktionsgerechten Darstellung inhalt-
lichen Wissens.
Mitglieder der Kommission: die ordentlichen Mitglieder der Akademie Klaus Kirch-
gässner (Vorsitzender), Albrecht Dold, Gerhard Huisken, Willi Jäger, Matthias Kreck,
Dieter Puppe, Peter Roquette, Hermann Witting.
Forschungsstellenleiter: Prof. Dr. Michael M. Richter, Kaiserslautern.
Mitarbeiter: Dr. Wolfgang Lenski.
Das Unternehmen verfugt mit der Logik-Bibliographie über eine gesicherte Stel-
lung in der weltweiten Fachinformationslandschaft. Die Kooperationen mit sämt-
lichen führenden Datenbankanbietern für die Mathematik sind insbesondere auch
Ausdruck der internationalen Anerkennung für die geleistete Arbeit. Die Sicherstel-
lung dieses Standes durch eine kontinuierliche Aktualisierung und einen weiteren
zeitgemäßen Ausbau der Datenbank zur mathematischen Logik bildet den abstrak-