Jahresbericht informatik 2009 - KIT – Fakultät für Informatik

Die Institute der Fakultät und ihre Forschungsvorhaben
implementiert werden. Die Architektur basiert auf einem Bottom-up-Ansatz. In der Tat ist
Kultur ein so großes und weit verbreitetes Konzept, dass ein Top-down-System schnell
sehr groß würde. Vertrauen wird durch die gemeinsame Nutzung und den Austausch von
Wissen erreicht, die für einen bestimmten interkulturellen Unterschied relevant sind.
Probabilistisch überprüfbare Beweise mit effizienten Verifizierern
(T. Mie)
Jede Sprache in NP hat, wie in dieser Arbeit gezeigt wird, einen “probabilistically checkable
proof of proximity” (PCPP), den ein Verifizierer durch Lesen konstant vieler Stellen
innerhalb einer Laufzeit, die polylogarithmisch in der Eingabe ist, überprüfen kann und
dessen Länge lediglich um einen polylogarithmischen Faktor länger als die eines entsprechenden
klassischen Beweises ist. Bislang waren derart kurze Beweise lediglich mittels
Lesens einer polylogarithmischen Anzahl von Stellen laufzeit-effizient überprüfbar.
Ausgewählte Veröffentlichungen des Forschungsbereiches:
Tagungsbände und beiträge in
Tagungsbänden:
Beiträge in Zeitschriften:
Calmet, J.; Maret, P. (guest editors): Special
Calmet, J.: Abstraction-Based Information issue of IJCSA, Vol. 6, No. 2, 2009
Technology: A Framework for Open
Mechanized Reasoning, Proceedings of Calmet, J.; Ollivier, F. (guest editors):
Conference on Intelligent Computer Special issue "Jacobi's Legacy", AAECC Vol.
Mathematics, Springer LNCS 5625 2009, S.
14-26
20, No. 1, 2009
Calmet, J.; Sorge, V. (guest editors): Selected
Calmet, J.; maret, P.; Schneider, M.: papers from AISC 2008. Special issue AMAI.
Mechanized Cultural Differences as a Tool to
Assess Trust in Virtual Enterprises. Workshop
Volume 56(1), 2009
on Web Intelligence and Virtual Entreprise Maret, P.; Calmet, J.: Agent-based knowled-
(WIVE'09). CD-Rom proceedings of the 10th ge communities, International Journal of
IFIP WG 5.5 Working Conference on Virtual Computer Science and Applications, Vol. 6,
Enterprises, PRO-VE 2009, Thessaloniki,
Greece 2009
No. 2, S. 1-18, 2009
208