Non, non, il ne s’agit pas d’un titre putaclic, mais bien d’une réalité : la clef USB de la mort existe bel et bien. D’ailleurs, elle ne se cache pas et porte fièrement son nom : USB Killer. Mr Robot aurait-il frappé ? Il ne suffira que de deux minutes pour que la clef envoie votre ordinateur au paradis des ordinateurs. Si on ne voyait ça que dans les séries, il s’avère qu’il est maintenant possible de griller un ordinateur avec une clef USB disponible non pas chez votre marchand de journaux, mais presque. Cette clef envoie une impulsion électrique qui grillera tous […]

Voici le deuxième article que j’avais mis dans ma première newsletter. Dans cet article,  je vais présenter ce qu’est le A/B testing (également appelé split testing). Puis je vous parlerais un petit peu des bandits manchots, qui est une méthode statistique plus adaptée que le A/B testing pour faire la même chose ou presque, mais en mieux. Une partie de cet article est une reprise d’un des mes billets sur ce blog (bouh le gros re-use). L’A/B testing permet de choisir parmi plusieurs modifications de votre site celle qui maximisera un certain critère (taux de conversion, durée de la visite […]

Il est maintenant le temps de vous intéresser à CSDM 2012 ! Je vous ai déjà parlé ici de la conférence CSDM (Complex Systems Design & Management) dont l’édition 2010 a été un succès, avec par exemple la note moyenne attribuée à l’ensemble de la conférence qui avoisine 8/10 dans le questionnaire de satisfaction. Le communiqué de MEGA, sponsor de l’évènement, nous dit que : A l’issue de cette première édition, les organisateurs affichent leur satisfaction. « Nous nous étions fixés 3 objectifs, explique Daniel Krob, président de CESAMES & professeur de l’Ecole Polytechnique. Le premier était de faire venir […]

Et oui, l’article suivant : Uniform Monte-Carlo Model-Checking. Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne and Sylvain Peyronnet. a été accepté pour publication à FASE 2011 (le site web de la conférence est aussi accessible par là). On y présente une méthode pour la génération uniforme de lassos dans les graphes de flots réductibles. Cela vous fait une belle jambe n’est ce pas ? En fait les lassos sont les structures qui permettent de déterminer la validité de certaines formules de la logique $latex LTL$ (Linear Temporal Logic). En les échantillonnant uniformément, on peut chercher des comportements spécifiques d’un […]

C’est l’ami Tiger qui me l’a  demandé sur Twitter et la foule (enfin une petite foule, presque une « foulette ») en délire en a rajouté, donc voici l’article promis sur la LDA (Latent Dirichlet Allocation). Le billet va être un peu long, je vous conseille donc de vous installer confortablement. J’ai a priori gommé tous les détails techniques et j’ai essayé d’enlever tout le jargon mathématique pour juste garder l’intuition, mais il ne faut pas hésiter à me demander des précisions que j’intégrerais au texte. Dans ce billet je vais aborder deux aspects complémentaires des techniques statistiques de modélisation des documents […]

Comme promis, je continue sur la notion de singularité, ce coup ci pour vous faire part de mon scepticisme. Je vais procéder avec une belle liste à points, ce sera plus facile que d’essayer de structurer ma pensée. Des machines avec la même puissance de calcul que le cerveau humain apparaitront très rapidement maintenant, puis la puissance ne fera que croître sans jamais connaitre de limites autre que celle liées à la taille de l’univers. Vous n’y croyez pas ? moi non plus, déja on ne sait absolument pas ce que veut dire « puissance du cerveau humain », on trouve des […]

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 […]

Je vous ai déja parlé dans un billet précédent de l’article sur le déclassement du spam que j’ai écrit avec Thomas Largillier (c’est ici). En regardant les articles qui allaient être présentés à la conférence pour trouver ceux qui sont à ne pas rater, je suis tomber sur : How to Improve Your Google Ranking: Myths and Reality A.-J. Su, Y. C. Hu, A. Kuzmanovic, and C.-k. Koh In IEEE/WIC/ACM International Conference on Web Intelligence, Toronto, Canada, August 2010. Comme en parallèle le milieu SEO français parlait un peu de l’histoire du gars de l’AFNIC qui n’aimait pas les SEO, […]

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 […]