Nous cherchons un stagiaire, voici le texte de l’offre : Réalisation d’un outil de vérification probabiliste de modèles. Intégration de la bibliothèque RUKIA au logiciel SPIN Le logiciel SPIN est un “vérificateur de modèles”. Étant donné une description de système par des états et des transitions, le modèle, SPIN permet de vérifier des propriétés de ce modèle par un parcours exhaustif (voir par exemple http://spinroot.com/spin/whatispin.html ). La bibliothèque RUKIA permet l’exploration aléatoire de graphes en tirant des chemins selon une distribution uniforme (voir http://rukia.lri.fr/en/index.html ). Un modèle étant un cas particulier de graphe, le sujet de ce stage est d’interfacer […]

Voici un post très technique pour expliciter rapidement les techniques de clustering que je mentionne de temps en temps dans d’autres billets. C’est pour le lecteur averti… L’algorithme de Girvan et Newman L’algorithme de Girvan et Newman est basée sur la centralité d’intermédiarité (edge-betweeness-centrality). Cette approche est une extension des méthodes basées sur la notion de “node-betweenness centrality”. Cette notion est apparue pour la première fois dans le champ des sciences sociales pour déterminer le rôle de chaque acteur (nœud) dans un réseau social (graphe), le but étant alors de détecter des communautés partageant un intérêt commun. Cette mesure d’intérêt […]

Aujourd’hui je vais vous parler d’un résultat que nous avons obtenu récemment. Nous ? je parle ici de mon chanceux thésard (mais oui, chanceux) Thomas Largillier et moi même. Je vous vois venir, vous pensez que je suis un peu vaniteux de la croire chanceux car il a un super directeur de thèse, mais vous vous méprenez, il est chanceux car il soutient très prochainement 😉 Bref, je vais vous parler de l’article suivant : Using patterns in the behavior of the random surfer to detect Webspam beneficiaries. Thomas Largillier and Sylvain Peyronnet. Auparavant, on s’était intéressé au déclassement du […]

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.

It could be useful for everybody, so here is the trick: gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=final.pdf file1.pdf file2.pdf file3.pdf … Enjoy !

The Second Symposium on Innovations in Computer Science (ICS 2011) will be held in Beijing, China, January 7-9, 2011, with a welcome reception on January 7. Innovations in Computer Science (ICS) is a new conference in theoretical computer science (TCS), broadly construed. ICS seeks to promote research that carries a strong conceptual message (e.g., introducing a new concept or model, opening a new line of inquiry within traditional or cross-disciplinary areas, or introducing new techniques or new applications of known techniques). ICS welcomes all submissions, whether aligned with current TCS research directions or deviating from them. ICS is a public […]

The 21st International Symposium on Algorithms and Computation (ISAAC 2010) will be held in Jeju Island, Korea, December 15-17, 2010. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcome. http://tclab.kaist.ac.kr/~isaac10/home.html Topics The topics include, but are not limited to: – Algorithms and data structures – Approximation algorithms – Combinatorial optimization – Computational biology – Computational complexity – Computational geometry – Cryptography – Experimental algorithms – Graph drawing and graph […]

IEEE PerCom, now in its ninth edition, is established as the premier annual scholarly venue in the areas of pervasive computing and communications. Pervasive computing and communications has evolved into an active area of research and development, due to the tremendous advances in a broad spectrum of technologies and topics including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. PerCom 2011 will be held in Seattle, which is the primary gateway to the pacific northwest of the United States, famous for its breathtaking natural beauty and diversified city culture. PerCom 2011 will provide […]

ICDM ’10: The 10th IEEE International Conference on Data Mining *************************************************************** Sponsored by the IEEE Computer Society December 13-17, 2010, Sydney, Australia http://datamining.it.uts.edu.au/icdm10 Call for Papers =============== Important Dates *************** May 06, 2010: Deadline for workshop proposals May 06, 2010: Deadline for ICDM contest proposals Jul 02, 2010: Deadline for full paper submission Jul 13, 2010: Deadline for demo proposals, tutorial proposals, and proposals Sep 10, 2010: Notification of acceptance Oct 04, 2010: Camera-ready copies and copyright release forms The IEEE International Conference on Data Mining (ICDM) has established itself as the world’s premier research conference in data mining. The […]

************************************************************************ 28th International Symposium on Theoretical Aspects of Computer Science STACS 2011 – CALL FOR PAPERS March 10-12, 2011, Dortmund, Germany http://stacs2011.de/ ************************************************************************ SCOPE ******** Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include (but are not limited to): * Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory; * Automata and formal languages; * Computational and structural complexity; * Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction; * Current challenges, for example: biological computing, quantum computing, […]