How 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.atWie 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.atThe 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.deDas 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.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.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.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.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.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.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.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.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.deBesides the physics of condensed matter and, for some time, nuclear physics, now quantum field theory emerged as a main working subject in the Institute.
Highlights of work in this field were the TCP-theorem by Pauli and Lüders and the so-called Borcher s classes of axiomatic quantum field theory.
www.theorie.physik.uni-goettingen.deNeben der Physik der kondensierten Materie und, vorübergehend, der Kernphysik trat nun die Quantenfeldtheorie als ein weiteres Hauptarbeitsgebiet hervor.
Mit dem Pauli-Lüders- ( TCP- ) Theorem und den sog. Borchers-Klassen der axiomatischen Quantenfeldtheorie sind wichtige Höhepunkte dieses Gebietes benannt.
www.theorie.physik.uni-goettingen.deBi želeli dodati besede, fraze ali prevode?
Predlagajte nov vnos.