Le gros buzz du moment chez les spécialistes de complexité structurelle, chez les algorithmiciens, chez les théoriciens, mais aussi chez tout ceux intéressés par les aspects un peu théorique de l’informatique, c’est l’annonce par Vinay Deolalikar d’une preuve du fait que $latex P \neq NP$. C’est une annonce, la preuve (longue de plus de 100 pages) est en cours de vérification, et ce n’est pas la première fois qu’une telle annonce est faite à tort, cependant il s’agit cette fois ci d’un chercheur sérieux dans le domaine, donc les espoirs les plus fous sont permis. Que nous dit Vinay Deolalikar […]

Je suis très content d’annoncer l’acceptation de mon neuvième article de l’année : Three High Performance Architectures in the Parallel Approximate Probabilistic Model Checking Boat. Khaled Hamidouche, Alexandre Borghi, Pierre Esterie, Joel Falcou and Sylvain Peyronnet. PDMC 2010. PDMC 2010 est un workshop pas très connu dont le domaine d’étude est le model checking distribué et/ou parallèle, inutile de vous dire que cela reste un domaine relativement confidentiel (malheureusement 🙁 ). Ceci étant, si vous êtes intéressé par l’utilisation de framework de parallélisation automatique, vous serez sans doute curieux sur l’usage que l’on fait de BSP++ pour adapter le moteur […]

Et oui, encore un article accepté, ce coup ci il s’agit de l’article suivant : Supple: a flexible proactive data dissemination protocol for wireless sensor networks. Aline Carneiro Viana, Thomas Herault, Thomas Largillier, Sylvain Peyronnet and Fatiha Zaïdi. MSWIM 2010. Dans cet article nous présentons un algorithme qui accélère la dissémination de données dans un réseau de capteurs d’un facteur exponentiel. Le problème est en fait le suivant : dans un réseau de capteurs, les informations circulent de capteurs en capteurs au travers d’un réseau pair à pair ad hoc. Mais lorsque l’on veut rassembler les informations captées par le […]

Et c’est encore avec un grand plaisir que j’annonce que l’article suivant a été accepté : SAFE-OS: a Secure and Usable Desktop Operating System. François Lesueur, Ala Rezmerita, Thomas Hérault, Sylvain Peyronnet and Sébastien Tixeuil. CRiSIS 2010. Il s’agit d’un article qui présente un système d’exploitation sécurisé appelé Safe-OS. Ce système est basé sur l’utilisation de machines virtuelles pour garantir l’intégrité lors d’attaque en faisant du compartimentage. Le travail a été réalisé dans le cadre du défi ANR SEC&SI et nos deux maîtres d’oeuvres (et qui ont mis du coeur à l’ouvrage) sont François et Ala.

Aujourd’hui je vais vous parler de l’un des derniers articles acceptés que j’ai écrit avec Thomas Largillier, mon (plus pour très longtemps maintenant) thésard qui bosse sur les algorithmes pour le web. Il s’agit de l’article suivant : Lightweight Clustering Methods for Webspam Demotion. Thomas Largillier and Sylvain Peyronnet. WI 2010. La question que nous nous sommes posé est simple : est ce que l’on souhaite vraiment détecter le spam ? Et la réponse est non, ce que l’on souhaite c’est fournir les meilleurs résultats à l’internaute lorsqu’il requête un moteur de recherche. Et pour cela peu importe que l’index […]

Je suis très content d’annoncer que l’article suivant : L1-compressive sensing: exact optimization a la Dantzig-Wolfe. A. Borghi, J. Darbon and S. Peyronnet. a été accepté à SiPS 2010 (2010 IEEE Workshop on Signal Processing Systems). Dans cet article, nous présentons un algorithme efficace pour calculer une solution exacte d’un problème de compressive sensing en norme $latex l_1$. Pour cela nous utilisons une reformulation du problème via une décomposition de Dantzig-Wolfe modifié. Les résultats numériques montrent une amélioration substantielle par rapport aux méthodes standards de programmation linéaire.

Et oui, encore un nouveau papier accepté, et encore avec Thomas Largillier : Lightweight Clustering Methods for Webspam Demotion. Thomas Largillier and Sylvain Peyronnet. Web Intelligence 2010. Je n’ai jamais parlé de ces travaux ici, mais je pense qu’ils sont potentiellement intéressants pour la communauté SEO, j’en parlerais donc très prochainement. En attendant, et pour faire très court, nous y proposons une méthode au coût, en terme de calcul, très faible (et qui peut donc être rajouté par exemple au calcul du PageRank sans le rendre vraiment plus long) pour affaiblir l’effet des structures « spamantes » (c’est à dire des fermes […]

Je suis content d’annoncer que l’article suivant a été accepté à la conférence Ec-Web 2010 : Partial ranking of products for recommendation systems. Sebastien Hemon, Thomas Largillier and Sylvain Peyronnet. Pour en savoir plus sur le contenu de cet article, vous pouvez visiter les posts suivants de ce blog : ici et ici (et bien d’autres encore).

La vente de liens c’est un peu la grosse affaire, grosse affaire pour celui qui vend les liens, grosse affaire pour le casinotier webmaster qui en achète, mais surtout grosse affaire pour notre ami le grand Google pour qui la vente de liens est une incarnation directe et tangible du grand diable qui sommeille tapie au sein de chacun d’entre nous. Pendant longtemps le sujet n’avait jamais été abordé par qui que ce soit et le business de la vente se passait tranquillement, à la vue de qui voulait voir, mais sans publicité excessive. Mais en 2006, Google a décidé […]

Aujourd’hui je vais expliciter deux notions que vous pouvez retrouver dans pas mal d’articles que je cite ou que je tente de vulgariser. Il s’agit des notions de precision et recall (précision et rappel en français). Il s’agit de deux mesures de la qualité d’un mécanisme de classification de données. C’est pour cela que dans le domaine de la lutte contre le spam on retrouve beaucoup ces deux quantités. En effet, lorsque l’on met au point un nouveau mécanisme de détection de spam sur le web, on va vouloir déterminer son efficacité. Il s’agit donc de vérifier si le mécanisme […]