En physique des milieux granulaires, des méthodes de simulations numériques sont utilisées notamment pour tenter de comprendre la connexion entre les grains et les structures mécaniques macroscopiques dans le tas. Par le passé, nous avons proposé une modélisation multi-agent originale qui permet de résoudre des tas de sable bidimensionnels à l'équilibre statique. Mais, le caractère stochastique de la recherche locale de solutions d'équilibre pose le problème de la couverture de l'espace des solutions par cet algorithme. La résolution de ce problème par une approche purement CSP se révèle dificile du fait de la taille gigantesque du problème à traiter. Nous proposons donc de mettre en oeuvre des techniques de CSP comme comportements de résol...
National audienceEn 10 ans, le calcul distribué sur plusieurs processeurs, c'est à dire le calcul pa...
http://www710.univ-lyon1.fr/~csolnonBeaucoup d'algorithmes de résolution de Problèmes de Satisfactio...
National audienceLes problèmes de satisfaction de contraintes (CSP) constituent une puissante manièr...
En physique des milieux granulaires, des méthodes de simulations numériques sont utilisées notamment...
Cet article présente un algorithme de calcul de solutions garanties pour des problèmes numériques Ma...
International audienceDans cet article, nous utilisons des techniques de l'interpréation abstraite (...
International audienceCe papier traite du probl eme de comp- tage du nombre de solutions d'un CSP, d...
National audienceLes jeux sérieux sont de plus en plus utilisés pour la formation, et en particulier...
Les formes nouvelles de la concurrence imposent aux systèmes de production une flexibilité de plus e...
National audienceUn point important en apprentissage par renforcement (AR) est l'amélioration de la ...
National audienceCet article présente GHOST, un solveur d'optimisation combinatoire qu'un développeu...
National audienceLa plupart des requêtes associées aux CSPs sont NP-difficiles, et doivent pourtant ...
Colloque avec actes et comité de lecture. internationale.International audienceL’objectif de cette é...
This work concerns the study of self-assembled monolayers (SAMs) on gold surfaces by molecular simul...
International audienceCet article analyse du point de vue de la modélisation un projet de recherche ...
National audienceEn 10 ans, le calcul distribué sur plusieurs processeurs, c'est à dire le calcul pa...
http://www710.univ-lyon1.fr/~csolnonBeaucoup d'algorithmes de résolution de Problèmes de Satisfactio...
National audienceLes problèmes de satisfaction de contraintes (CSP) constituent une puissante manièr...
En physique des milieux granulaires, des méthodes de simulations numériques sont utilisées notamment...
Cet article présente un algorithme de calcul de solutions garanties pour des problèmes numériques Ma...
International audienceDans cet article, nous utilisons des techniques de l'interpréation abstraite (...
International audienceCe papier traite du probl eme de comp- tage du nombre de solutions d'un CSP, d...
National audienceLes jeux sérieux sont de plus en plus utilisés pour la formation, et en particulier...
Les formes nouvelles de la concurrence imposent aux systèmes de production une flexibilité de plus e...
National audienceUn point important en apprentissage par renforcement (AR) est l'amélioration de la ...
National audienceCet article présente GHOST, un solveur d'optimisation combinatoire qu'un développeu...
National audienceLa plupart des requêtes associées aux CSPs sont NP-difficiles, et doivent pourtant ...
Colloque avec actes et comité de lecture. internationale.International audienceL’objectif de cette é...
This work concerns the study of self-assembled monolayers (SAMs) on gold surfaces by molecular simul...
International audienceCet article analyse du point de vue de la modélisation un projet de recherche ...
National audienceEn 10 ans, le calcul distribué sur plusieurs processeurs, c'est à dire le calcul pa...
http://www710.univ-lyon1.fr/~csolnonBeaucoup d'algorithmes de résolution de Problèmes de Satisfactio...
National audienceLes problèmes de satisfaction de contraintes (CSP) constituent une puissante manièr...