Die Spieltheorie zur formalen Verifikation von Software umfasst die algorithmische Analyse verschiedener Formen von Spielen auf Graphen.
Game theory in the formal verification of software involves the algorithmic analysis of various forms of games played on graphs.
Spieltheorie für die formale Verifikation von Software umfasst die algorithmische Analyse verschiedener Formen von Spielen auf Graphen, wobei der Graph ein Modell für ein reaktives System ist.
Game theory in formal verification involves the algorithmic analysis of various forms of games played on graphs, where the graph models a reactive system.
Die menschliche Wahrnehmung wird als konditionierter Vorgang aufgefasst, dessen Bedingungen in Frage zu stellen oder aufzulösen nicht als Aufgabe der Disziplin angesehen wird, stattdessen sollen die mechanischen und kognitiven Herstellungsprozesse für die algorithmische Analyse und Reproduktion nutzbar gemacht werden.
The human perception is understood as a conditioned process, whose conditions to question or to dissolve is not seen as a task of the discipline, instead, the mechanical and cognitive production processes are made usable for the algorithmic analysis and reproduction.
Die algorithmische Analyse kennzeichnet Präferenzen anhand des Resultats, das ein Optimierungsalgorithmus generiert.
The algorithmic analysis characterizes preferences by the result an optimization algorithm generates.
Durch die Erkennung von Sprache und Bildern, die Verarbeitung von Daten und die algorithmische Analyse von Verhaltensmustern durch KI rückt die Bestimmung einer Zukunft in den Fokus, die nicht mehr vorhergesagt, sondern hergestellt wird.
Through its ability to recognize speech and images, data processing and algorithmic analysis of behavior patterns AI brings ever closer a future that will no longer be predicted but created.
Die algorithmische Analyse mithilfe topologischer Konzepte bietet ein automatisches Verfahren für die Bestimmung von robusten Funktionen und Verhaltensweisen. Die Forschungen von PHIDM führten zur Erweiterung des Spektrums von dynamischen Systemen, auf die die automatische Analyse angewendet werden kann.
Algorithmic analysis using topological concepts provides an automatic method for determining robust features of the system, and classifying the various behaviors encountered as the parameters vary in the prescribed ranges.
