Game theory in the formal verification of software involves the algorithmic analysis of various forms of games played on graphs.
Die Spieltheorie zur formalen Verifikation von Software umfasst die algorithmische Analyse verschiedener Formen von Spielen auf Graphen.
In light of the algorithmic analysis of mass data, the diagnosis of dispersed public spheres in the age...
Von der algorithmischen Auswertung von Massendaten über die Diagnose zerstreuter Öffentlichkeiten im Zeitalter von social media zu neuen...
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 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.
Game theory in formal verification involves the algorithmic analysis of various forms of games played on graphs, where the graph models a reactive system.
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.
The algorithmic analysis characterizes preferences by the result an optimization algorithm generates.
Die algorithmische Analyse kennzeichnet Präferenzen anhand des Resultats, das ein Optimierungsalgorithmus generiert.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.