We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.