Search Results - "[INFO:INFO_GT] Computer Science/Computer Science and Game Theory"

Simulation crédible des déplacements de piétons en temps réel : modèle microscopique à influence macroscopique

Authors: Simo Kanmeugne, Patrick

Subject Terms: [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_MA] Computer Science/Multiagent Systems, [INFO:INFO_MA] Informatique/Système multi-agents, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_MO] Computer Science/Modeling and Simulation, [INFO:INFO_MO] Informatique/Modélisation et simulation, [INFO:INFO_RO] Computer Science/Operations Research, [INFO:INFO_RO] Informatique/Recherche opérationnelle, simulation comportementale, temps réel, passage à l'échelle, systèmes multi-agents, jeux de congestion, planification dynamique, interactions, crédibilité

Availability: http://tel.archives-ouvertes.fr/tel-01066477
http://tel.archives-ouvertes.fr/docs/01/06/64/77/PDF/main.pdf

Analysis of Spatial and Economical Effects in Communication Networks

Authors: Hanawal, Manjesh Kumar

Subject Terms: [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_NI] Computer Science/Networking and Internet Architecture, [INFO:INFO_NI] Informatique/Réseaux et télécommunications, Srochastic Geometry, Game theory, Network Neutrality

Availability: http://tel.archives-ouvertes.fr/tel-00937510
http://tel.archives-ouvertes.fr/docs/00/93/75/10/PDF/Thesis-Manjesh.pdf

Monte Carlo Tree Search pour les problèmes de décision séquentielle en milieu continus et stochastiques

Authors: Couetoux, Adrien

Subject Terms: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, [INFO:INFO_LG] Computer Science/Machine Learning, [INFO:INFO_LG] Informatique/Apprentissage, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, optimisation, apprentissage par renforcement, énergie

Availability: http://tel.archives-ouvertes.fr/tel-00927252
http://tel.archives-ouvertes.fr/docs/00/92/72/52/PDF/couetouxThesis.pdf

Optimisation de l'allocation de ressources dans les réseaux celluaires : une approche efficace en énergie

Authors: Hasan, Cengis

Subject Terms: [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_NI] Computer Science/Networking and Internet Architecture, [INFO:INFO_NI] Informatique/Réseaux et télécommunications, [SPI:OTHER] Engineering Sciences/Other, [SPI:OTHER] Sciences de l'ingénieur/Autre, réseaux cellulaires, réseaux small cells, géométrie stochastique, allocation de ressources radio, théorie des jeux, jeux de coalition, jeux de foules

Availability: http://tel.archives-ouvertes.fr/tel-00942967
http://tel.archives-ouvertes.fr/docs/00/94/29/67/PDF/CengisHasanThesis_1_.pdf

Le problème de la valeur dans les jeux stochastiques

Authors: Oualhadj, Youssouf

Subject Terms: [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, Théorie des jeux, jeux stochastiques, automates, synthèse de contrôleur, vérification quantitative

Availability: http://tel.archives-ouvertes.fr/tel-00766347
http://tel.archives-ouvertes.fr/docs/00/76/65/59/PDF/thesis.pdf

Jeux de typage et analyse de lambda-grammaires non-contextuelles

Authors: Bourreau, Pierre

Subject Terms: [INFO:INFO_CL] Computer Science/Computation and Language, [INFO:INFO_CL] Informatique/Informatique et langage, [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_GT] Informatique/Informatique et théorie des jeux, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_FL] Informatique/Théorie et langage formel, lambda-calcul, logique, grammaires catégorielles, grammaires formelles, analyse et génération de textes, Datalog, programmation logique

Availability: http://tel.archives-ouvertes.fr/tel-00733964
http://tel.archives-ouvertes.fr/docs/00/73/39/64/PDF/these.pdf

Le Partage du Spectre dans les Réseaux Décentralisés Auto-Configurables : Une approche par la Théorie des Jeux.

Authors: Perlaza, Samir

Subject Terms: [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, Game theory, decentralized wireless communications, adhoc networks, learning theory

Availability: http://tel.archives-ouvertes.fr/tel-00667124
http://tel.archives-ouvertes.fr/docs/00/66/71/24/PDF/PerlazaThesis.pdf

Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite

Authors: Adje, Assalé

Subject Terms: [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [MATH:MATH_OC] Mathematics/Optimization and Control, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, interprétation abstraite, itérations sur les politiques, optimisation convexe, convexité abstraite, Perron-Frobenius non linéaire, théorie des jeux

Availability: http://pastel.archives-ouvertes.fr/pastel-00607076
http://pastel.archives-ouvertes.fr/docs/00/65/10/43/PDF/these.pdf

Certification formelle de preuves cryptographiques basées sur les séquences de jeux

Authors: Zanella Beguelin, Santiago

Subject Terms: [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, Cryptographie, Langages de Programmation, Preuves formelles, Vérification de programmes, Complexité, Assistant à la preuve Coq

Availability: http://pastel.archives-ouvertes.fr/pastel-00584350
http://pastel.archives-ouvertes.fr/docs/00/58/43/50/PDF/ZANELLA.pdf

Structures algébriques en logique et concurrence

Authors: Santocanale, Luigi

Subject Terms: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_LO] Computer Science/Logic in Computer Science, mu-calcul, structures d'événements

Availability: http://tel.archives-ouvertes.fr/tel-00369583
http://tel.archives-ouvertes.fr/docs/00/36/95/83/PDF/hdr.pdf

Contribution aux fondements des méthodes formelles : jeux, logique et automates

Authors: Janin, David

Subject Terms: [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_FL] Computer Science/Formal Languages and Automata Theory, [INFO:INFO_GT] Computer Science/Computer Science and Game Theory, [INFO:INFO_MA] Computer Science/Multiagent Systems, Logique monadique du second order, mu-calul, theorie des jeux, jeux discrets distribués, spécification, vérification et synthèse de programmes

Availability: http://tel.archives-ouvertes.fr/tel-00659990
http://tel.archives-ouvertes.fr/docs/00/66/05/47/PDF/full.pdf