Olivier Grisel a écrit 766 commentaires

Pas conciemment mais les synapses font des operations similaires a des additions ou des soustractions et comparaisons (seuils) sur des variables continues (l'amplitude et l'espacements entre des potentiels d'action). Donc on peut faire des estimations a la louche de ce que ca donne en equivalent-flops.

De plus en plus le terme AI inclut aussi le machine learning. En gros tout algorithme qui execute un raisonnement inductif releve de l'IA. La distinction entre approche logique et approche statistique est de plus en plus floue notamment les approches bayesienne se sont naturellement positionnées entre les deux communautés.

Sinon concernant les citations, je vois pas pourquoi la license devrait s'en occuper. Est ce qu'on est *obligé* de citer un papier systematiquement ? Non on le fait par honnêteté intellectuelle et par respect pour le travail de ses pairs.

Et pour le coté pratique, en générale on cite la documentation officielle du projet dans la bibliographie (comme ca ca incite a ecrire de la vraie doc et c'est pas plus mal) et on presente le logiciel utilisé comme outil dans le flot de l'article.

Perso j'utilse fnacmusic.com regulierement sous linux avec FF et j'ai jamais eu de pbm.

Ca devrait aussi marcher avec IEs4linux (http://www.tatanka.com.br/ies4linux/page/Main_Page) vu que l'interface de telechargement est en simple html + javascript mais bon faut vraiment etre tordu pour tenter ca vu que ca marche sous FF.

Sinon y a aussi amazonmp3 mais il me semble qu'ils ont mis des filtres geo ip pour filtrer les non-americains.

Bonne idée,

j'espere que la granularité fine d'un wiki se pretera bien a l'exercice qui fait un peut penser a la serie de romans du poulpe :

http://olivier.roumieux.free.fr/lepoulpe/histoires.html

Voici les raisons exactes qui ont poussé l'auteur du site à le fermer :

http://imslpforums.org/viewtopic.php?p=3082#3082

En gros il dit qu'il y a toujours des lois à la con dans d'autres pays que le sien qui permettent aux détenteurs des droits de ces oeuvres (dont les auteurs sont morts depuis un bon bout de temps) de le menacer juridiquement et il se sent trop seul pour faire face.

Il me semble que Chandler utilise lucene comme moteur d'indexation via le wrapper pylucene qui se base actuellement sur gcj.

Oui il faut compter un peu plus de 1000 euros minimum pour une config complete a monter.

Tu peux contacter haypo qui doit venir ce meme WE au premier Afpy Computer Camp dans le coin de dijon.

Perso pour "decouper" les streams des JPF j'ai utilisé avidemux. Les autres logiciels testés avaient soit des pbm avec le format du stream (h264 + aac dans un conteneur .mov) soit essayaient de decoder tout le stream en mémoire avant de pouvoir commencer à travailler ce qui posait un pbm de ressources pour des fichiers de plusieurs Go en compressé.

Mais avidemux n'est pas un logiciel de montage, ca permet juste de decouper / coller sommairement et filtrer des videos (+reencodage).

Les RMLL sont effectivement très francophones et visent un public plus large que des conférences de geeks telles que le FOSDEM qui proposent des sujet plus techniques et souvent plus pointus et en anglais (même si le public du FOSDEM est francophone a plus de 70% AMA).

Je squatte les commentaires de cette news pour annoncer (en retard) que l'AFPy avait aussi mis en ligne les videos des JPF qui ont eu lieu à la cyberbase de la cité de sciences début juin.

Les videos sont issues d'un stream live optimisé pour être diffusé sur second life d'ou la qualité un peu faible. On fera mieux l'année prochaine :)

http://journees.afpy.org/programme (lien avi mpeg4 encodées avec mencoder + slides en PDF ou HTML/S5)

Elles sont aussi dispo en flash sur google video:

http://video.google.fr/videosearch?q=journ%C3%A9es+python+fr(...)

Et effectivement découper et encoder des videos c'est un boulot long et fastidieux donc merci à Benjamin pour son travail.

Au passage, y a un afpyro organisé jeudi soir dans le coin de menilmontant : http://www.afpy.org/Members/gawel/news/afpyro-aout-2007

Franchement 10 euro pour avoir un service de sélection et d'installation par défaut de bon logiciels (et non pas des versions d'évaluation de 30 jours avec de la pub et du spyware) ça me parait tout à fait honnête et ça sert le logiciel libre en en faisant sa promotion au près du grand public non geek.

Cliquer sur les pubs microsoft c'est une activité normale pour plein de gens normaux.

Il est possible d'acheter des DELL sans OS par téléphone.

Non, un pattern c'est une sorte de schema court et simple qui 'resume' bien un ensemble que d'observations particulieres potentiellement détaillés et compliquées.

Trouver des pattern a partir d'une base d'exemples c'est *induire* une regle, une theorie et c'est ce que tente d'evaluer les tests de QI et ce que tache de reproduire les algos d'intelligence artificiel (reseaux de neuronnes, arbre de decisions, Support Vector Machines, programmation logique inductive, classeurs bayesiens naifs ...).

Les problemes d'inductions sont souvent durs, particulierement avec des resources de temps et d'espace limitée et c'est probablement pourquoi la notion d'intelligence est (pour moi) tres liée a ce pouvoir inductif en contexte de resources limitées.

Prouver qu'un pattern matche ou non un ensemble d'exemples données est un raisonnment deductifs et c'est tres souvent un probleme plus simple pour un meme domaine (exemple la SLD-resolution qui prove que des clause logique sont vrai ou fausse en DATALOG est plus simple que la programmation logique inductive qui cherche a ecrire un programme logique en DATALOG qui 'explique' un ensemble d'exemples positifs et negatifs).

Tiens avoir des étapes logiques en partant d'hypothèse connu c'est le meme type de raisonnement que de FAIRE des hypothèses, pour arriver a une solution qui nous plait parmis celle proposée ... Pas de mon point de vue mais bon...

Le premier raisonnement est deductif, le second est inductif.

Trouver la forme generale des solutions des eq aux derivées partielles est un raisonnement principalement inductif (tout comme la plupart des tests de QI). Prouver que cette forme generale est bien une solution valide est principalement un raisonnement deductif.

AMA ton mathematicien aura en moyenne un bon score aux tests de QI. Il peut se planter sur une question ou deux car parti sur une fausse piste mais dans l'ensemble il sera très probablement bien meilleurs que la moyenne car le type de raisonnement inductif qu'il faut faire pour trouver de nouveaux theoremes est similaire au raisonnement des tests de QI (meme si les tests de QI sont évidemment beaucoup plus simples).

Il y a deux différences fondamentales :

- tu n'es pas obligé d'attendre que ta branche soit mergée dans la branche officielle de release pour pouvoir continuer de bosser, faire des update, recuperer les modification des autres, travailler sur d'autres parties qui ont besoin de tes modifs a toi.

- meme si tes modifs sont trop experimentales pour etre mergees dans la branche de release officielle (stable toussa), ca n'empeche pas les autres developpeurs t'integegrer tes modifs dans leur branche experimentales a eux pour tester, evaluer, améliorer sans se prendre la tete a s'assurer que le code est suffisamment testé pour meriter d'etre dans la branche de production.

En gros ca assouplit le processus de developement en permettant a des petits groupes de developpeurs de bosser ensemble dans leurs branches experimentales sans mettre en jeu la stabilité de la branche officielle.

C'est l'un des avantages non négligeable des systemes de controle décentralisés comme git, bzr ou mercurial. Pas de droit de commit, chacun travail dans sa branche et publie ses contributions sur un serveur http et annonce ses nouvelles features sur la liste des devs du projet. Les bonnes features seront aspirés par les mainteneurs de la branche officielle, les moins bonnes recevront des recommendation sur ce qu'il faut ameliorer pour etre acceptée.

Pour ceux qui n'auraient pas encore entendu la sainte parole de Linus a propos de git:

http://video.google.com/videoplay?docid=-2199332044603874737

(la majorité de ce qu'il dit pour git est valable pour mercurial and bazaar).

Merci Ploum pour ces précisions. Tu exprimes ce que je voulais dire plus clairement. Je voulais juste ajouter mon avis concernant la notion d'intelligence :

Les tests de type QI permettent clairement d'estimer la capacité des individus a trouver des règles (patterns) simples avec un bon pouvoir prédictif comme tu l'as énoncé. C'est selon moi l'élément fondamental de la notion abstraite d'intelligence.

Mais il faut être conscient du fait que cette capacité seule n'est pas suffisante pour qu'un humain soit reconnu comme intelligent par ses semblables. On peut penser à d'autres capacités qui entrent aussi en jeu. Par exemple, la capacité de lire les émotions sur le visage / l'attitude de son interlocuteur. Ceux qui arrivent mal à prendre en compte de tels éléments de communication se privent d'une source d'information primordiale pour la prise de décision et par conséquent peuvent avoir un comportement socialement idiot même s'ils sont analytiquement très performants.

Réciproquement, la capacité de formuler ses idées de manière claire et impactante permet de mieux communiquer les résultat d'une analyse à ses semblable et permet ainsi d'être jugé comme plus intelligent par ses semblables que celui qui a des idées plus pertinentes mais qui est incapable de les partager.

Donc en résumé, le QI permet de fournir une estimation de la performance analytique d'un individus sans prendre en compte les autres capacités cognitives qui permettent à cette intelligence de se révéler dans un environnement social humain.

peut etre que les deux patatoides s'inscrivent dans le rond et pas le triangle

Et dans ce cas est ce que l'intrus n'est plus le triangle, ou le rond ? En quoi ce critere s'oppose a la conclusion precedente ?

Les assertions du type "peut etre" ne sont pas a prendre en compte. Il faut trouver une regle deterministique qui matche l'enoncé. En general dans les tests de QI bien faits, les tests de l'intrus pemettent toujours de trouver un ensemble (souvent un singleton) de caracteres discriminants qui designent toujours le meme intrus sans ambiguité.

Alors oui des fois on peut trouver des criteres capilotractés du type "patatoide" et "triangle" commencent tous les deux par la lettre "X" en austro-bielo-russe ancien alors que ce n'est pas le cas pour "rond". Mais bon faut avoir un peu de bon sens et choisir la regle la plus simple qui met en jeu le moins de connaissance externes en jeu possible (demander l'avis de William of Ockham en cas de doute :o).

Et si on tombe sur une question avec plusieurs solutions "evidentes" contradictoires alors on en prend une des "bonnes reponses" au hasard et statistiquement, sur l'ensemble des questions le test donnera une bonne estimation du QI.

Bas c'est le triangle : il a 3 arretes alors que les autres en ont qu'une (Je ne vois pas d'autres criteres permettant de faire une autre discrimination en 3 + 1).

Moi (entre autres). Je ne regarde la télé sur VLC que très occasionnellement mais vu que les seules chaines qui m'intéressent sont généralement issues du service publique (en particulier la 5eme) j'ai décidé de ne pas décocher la case télé cette année même s'il me semble que légalement je n'y été pas contraint il me semble (j'ai pas de tuner TV chez moi). AMA c'est juste un vide juridique temporaire qui va vite être corrigé étant donnant le succes des box ADSL + TV + téléphone en France.

apache baisse plus vite que IIS n'augmente. AMA il y a pas mal d'apaches qui sont remplacés par des lighty et les serveurs google (qui tournaient probablement sous apache avant).

Si quelqu'un est volontaire, faudrait faire un graphe de la somme des serveurs libres contre somme des serveurs proprios pour avoir une idée plus precise.

Dans le cas des algues il me semble qu'on recupere de l'huile végétale utilisable dans un moteur diesel (avec ou sans tranformation en biodiesel) et non pas de l'ethanol qui s'utilise dans un moteur essence.

Un autre pbm des biocarburants terrestres est leur tres faible rentabilité énergetique qd on prend en compte les engrais (tres consommateurs d'énergie fossile). Les algues ont un rendement énergetique de l'ordre de 10 fois supérieurs aux meilleurs végétaux terrestres.

Il faut aussi prendre en compte le gaspillage d'eau dans le cas du mais (surtout en periode de secheresse ...).

Sinon, pour répondre à la question initiale :

http://www.manicore.com/documentation/articles/metro_EPR.htm(...)