Wie können die Kosten einer Lösung fair zwischen den teilnehmenden Agenten aufgeteilt werden ?
Unsere Forschungsmethodik inkludiert die axiomatische Analyse der konzipierten Entscheidungsregeln bzw. Algorithmen.
Wir betrachten die Komplexität (im Sinne des Rechenaufwandes) der Probleme (im Speziellen überprüfen wir auf NP-Schwere) und stellen die worst-case Laufzeiten der verwendeten Algorithmen fest.
www.uni-graz.atHow can we divide the costs of a determined solution in a fair way among the participating agents ?
Our research methodology includes an axiomatic analysis of the designed decision rules or algorithms.
We consider the computational complexity of the problems (in particular, we check on NP-hardness), and establish the worst-case running time of the designed algorithms.
www.uni-graz.atDas Ziel dieses Projekts ist die Untersuchtung und zusammenhängende Darstellung der axiomatischen Concurrency-Theorie.
Axiomatische Concurrency-Theorie wurde ursprünglich von C.A.Petri als eine Basis für die Netztheorie vorgeschlagen, die auf den Begriffen der Kausalität und Nebenläufigkeit aufbaut.
Mathematisch werden diese beiden Konzepte als symmetrische, binäre Relationen auf einer Grundmenge von ( lokalen ) Zuständen und Ereignissen formalisiert.
www.informatik.uni-hamburg.deThe aim of this project is the investigation and coherent presentation of axiomatic concurrency theory.
Axiomatic concurrency theory was originally proposed by C.A. Petri as a foundation for net theory based on the notions of causality and concurrency.
Mathematically these two concepts are formalized as symmetric binary relations on the domain of ( local ) states and events.
www.informatik.uni-hamburg.deZiele :
Das Ziel dieses Projekts ist die Untersuchtung und zusammenhängende Darstellung der axiomatischen Concurrency-Theorie.
Axiomatische Concurrency-Theorie wurde ursprünglich von C.A.Petri als eine Basis für die Netztheorie vorgeschlagen, die auf den Begriffen der Kausalität und Nebenläufigkeit aufbaut.
www.informatik.uni-hamburg.deObjectives :
The aim of this project is the investigation and coherent presentation of axiomatic concurrency theory.
Axiomatic concurrency theory was originally proposed by C.A. Petri as a foundation for net theory based on the notions of causality and concurrency.
www.informatik.uni-hamburg.deAxiome oder ein System von Axiomen sind der einzig mögliche Ausgang der Scientologie.
Das gesamte System dieser Wissenschaft baut sich auf Axiomen auf, trägt axiomatischen Charakter.
Das Axiomen-System des Bewußtseins setzt sich aus den drei Teilaxiomen zusammen:
www.scientologie.deAxioms or a system of axioms is the only possible result of Scientology.
The entire system of this Science is built-in upon axioms, and carries axiomatic character.
The axiom-system of consciousness is composed from the three partial axioms:
www.scientologie.deDie Autoren stellen in dieser Einleitung die einzelnen Beiträge des Sammelbandes vor und skizzieren den theoretischen und forschungspraktischen Rahmen.
"Im ersten Teil (Das Programm der Feldanalyse) sind Beiträge versammelt, die die festen Grundüberzeugungen und axiomatischen Annahmen - den Kern des Forschungsprogramms - herausarbeiten und gegen andere Programme abgrenzen.
www.iab.deIn this introduction, the authors outline the individual contributions to the collection and sketch the theoretical and practical research framework.
"In the first part (The programme of field analysis) papers have been brought together that carve out the established basic convictions and axiomatic assumptions - the core of the research programme - and delimitate them vis-à-vis other programmes.
www.iab.deOffenheit für Zweifel auch an den eigenen Er-
gebnissen bzw. an den Ergebnissen der eigenen Gruppe, – Bewusstmachen stillschweigender axiomatischer Annahmen; Kontrolle von aus eigenem
Interesse oder selbst moralisch motiviertem Wunschdenken; systematische Aufmerksamkeit für mögliche Fehldeutungen in Folge der methodisch beschränkten Erfassbarkeit des Forschungsgegenstandes ( Übergeneralisierung ). b ) Regeln der Kollegialität und Kooperation – keine Behinderung der wissenschaftlichen Arbeit von Konkurrenten, zum Beispiel durch Verzögern von Reviews oder durch Weitergeben von wissenschaftlichen Ergebnissen, die man vertraulich erhalten hat,
www.mpi-bremen.deimportant results, – the rule of systematic scepticism : openness for doubt, even about one ’ s own results and about
the results of one ’ s own group, – a realisation of tacit, axiomatic assumptions; watchfulness for any “ wishful thinking ”
motivated by self- interest or even morals; systematic alertness for any possible misinterpretations as a consequence of the methodically limited ascertainability of the object of research ( over-generalisation ). b ) Regulations governing relations with colleagues and cooperation
www.mpi-bremen.deWould you like to add some words, phrases or translations?
Submit a new entry.