Liste des projets BOINC

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Ce modèle est-il pertinent ? Cliquez pour en voir d'autres.
La mise en forme de cet article est à améliorer (mars 2016).

La mise en forme du texte ne suit pas les recommandations de Wikipédia : il faut le « wikifier ». Découvrez comment faire.

La typographie, les liens internes ou externes, les conventions de style, la présentation des sourcesetc. sont autant de points qui peuvent ne pas convenir voire être absents. Les raisons de la pose de ce bandeau sont peut-être précisées sur la page de discussion. Si seules certaines sections de l'article sont à wikifier, pensez à les indiquer en utilisant {{section à wikifier}}.

Ce modèle est-il pertinent ? Cliquez pour en voir d'autres.
Cet article n’est pas rédigé dans un style encyclopédique (indiquez la date de pose grâce au paramètre date).

Vous pouvez améliorer sa rédaction !

Berkeley Open Infrastructure for Network Computing

La liste des projets BOINC est un inventaire des principales caractéristiques de tous les projets informatiques, présents et passés, utilisant le logiciel BOINC. Cette liste varie dans le temps, les projets ayant des durées de vie inégales. Permanents, intermittents ou éphémères, ils dépendent de multiples facteurs, financiers, humains et sociétaux.

Les projets BOINC sont des programmes informatiques exploitant le calcul massif et parallèle d'une multitude d'ordinateurs clients appartenant à des particuliers. L'écosystème de ces projets est riche et varié. Ils deviennent prépondérants lorsque la puissance de calcul requise s'accroit et lorsque le coût des infrastructures informatiques nécessaires dépasse les budgets permis par les finances du lanceur de projet.

La simultanéité et le parallélisme des unités de travail autorisent la résolution de problèmes complexes, en des temps abordables, à l'échelle humaine. Ils sont notamment employés dans les recherches d'avant-garde tant dans les disciplines fondamentales que dans les sciences appliquées.

Ce sont les internautes du monde entier qui en s'inscrivant à un ou plusieurs projets, leur fournissent les ressources informatiques manquantes. C'est leur participation régulière qui en assure la bonne marche.

État des lieux[modifier | modifier le code]

Le parc informatique régi par le logiciel BOINC développe une vitesse moyenne de calcul de 166 pétaFLOPS au (développée par une fraction des 12 millions d'ordinateurs inscrits).

Pour comparaison, le supercalculateur le plus rapide du monde (au ), nommé Sunway TaihuLight, conçu à partir de processeurs chinois ShenWei est basé à Wuxi, en République populaire de Chine. Il atteint la vitesse remarquable de 93 pétaFLOPS.

Les 10 projets les plus actifs en
Projets % Vitesse de calcul % utilisateurs % ordinateurs % équipes % crédits
Bitcoin Utopia 93,38 0,07 0,05 0,31 83,22
Collatz conjecture 2,13 1,61 2,82 1,56 2,38
GPUGRID 0,97 0,85 0,49 1,44 2,04
PrimeGrid 0,80 2,57 2,12 2,80 2,49
EINSTEIN@Home 0,70 12,12 12,05 10,88 1,18
SETI@Home 0,45 46,00 32,10 61,02 1,77
POEM@Home 0,43 1,56 8,58 1,71 0,62
World Community Grid 0,29 14,32 20,86 23,55 1,08
Milkyway@Home 0,26 5,70 3,64 3,96 1,42
Moo!Wrapper 0,18 0,79 1,58 0,60 0,53
Total Projets Vitesse de calcul (PétaFlops) Nombre Utilisateurs Nombre ordinateurs Nombre équipes Crédits accordés
56 166 3 490 521 12 295 101 104 023 18,4×1012

Données calculées à partir du site de statistiques BOINC Stats (Site)

Précisions[modifier | modifier le code]

Les crédits BOINC sont accordés lors de la validation des unités de travail, envoyées par le serveur d'un projet, et effectuées sur les ordinateurs clients. Ils quantifient la contribution apportée par chacun en se basant sur des tests de puissance (Whetstone ou Dhrystone), ceci afin de rendre équitable la gratification des participants. Cet étalonnage permet de déceler une tentative de fraude dans la restitution des résultats au serveur. Les crédits ne sont pas monnayables, ni échangeables entre participants, ils permettent néanmoins de créer une émulation chez les contributeurs qui choisissent d'aborder ces projets sous le biais d'une compétition « honorifique », en tant que particuliers ou regroupés sous la bannière d'une équipe.

La part relative proéminente de crédits distribués par le projet Bitcoin Utopia (83,22 %) a tendance à déformer la réalité des contributions des internautes, adhérents aux autres projets. En effet, à ce jour, Bitcoin Utopia est le seul projet qui rend possible l'utilisation d'ASICs pour effectuer des travaux de hachage dans le minage des crypto-monnaies électroniques. Les ASICs sont des Sticks USB qui se fichent sur le port USB de l'ordinateur. Leurs performances et leur rendement électrique sont sans équivalent pour ce type de tâche, uniquement (100 fois plus rapide qu'un processeur de carte graphique avec une consommation électrique 5 fois moindre). Néanmoins, cette part de crédits majoritaire constitue le reflet exact des moyens calculatoires mis en jeu, dans l'ensemble des projets BOINC. Cela explique cette distorsion manifeste entre les crédits distribués et la répartition effective des adhérents aux projets.

Constat[modifier | modifier le code]

En , 56 projets actifs tournent avec le logiciel BOINC alors que 95 projets précédents sont terminés ou interrompus.

Information issue du site de statistiques BOINC Combined Statistics (Site)

Projets en cours[modifier | modifier le code]

Ce modèle est-il pertinent ? Cliquez pour en voir d'autres.
Cet article ou cette section est à actualiser. (indiquez la date de pose grâce au paramètre date).

Des passages de cet article sont obsolètes ou annoncent des événements désormais passés. Améliorez-le ou discutez des points à vérifier. Vous pouvez également préciser les sections à actualiser en utilisant {{section à actualiser}}.

Actualisation en cours…

Projets en cours

Liste complète[modifier | modifier le code]

Les projets en cours sont classés par ordre alphabétique à l'intérieur de leur catégorie d'application respective :

  • Applications multiples
  • Sciences Physiques
  • Biologie et Médecine
  • Mathématiques et Informatique
  • Réseau de capteurs
  • Sciences cognitives et Intelligence Artificielle
  • Sciences de la Terre
  • Finance
  • Divers

Applications multiples[modifier | modifier le code]

Les projets de cette catégorie sont susceptibles d'inclure un ou plusieurs sous-projets appartenant à une ou plusieurs catégories répertoriées, au gré des besoins exprimés dans le temps par les chercheurs.

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

CAS@home
Assister les chercheurs dans la prédiction de la structure des protéines et en déduire leur comportement.Service Falcon@home ouvert au public. Académie chinoise des sciences (CAS),

Beijing,

Chine

Site

Site

Site

Citizen Science Grid
Supporte 4 sous - projets :
  • SubsetSum@Home : Résolution d'un problème mathématique NP-complet
  • Climate tweets : Trier les tweets se rapportant au climat et analyser les opinions s'y rapportant
  • Wildlife@Home : Analyse et recueil de données à partir de caméra disséminées dans la nature
  • DNA@Home : Utilisation d'algorithme statistique pour décrypter le rôle de chaque gène contenu dans L’ADN d'une cellule
Université du Dakota du Nord (UND),

Grand Forks,

Dakota du Nord,

Etats-unis

Site
IBERCIVIS
Plateforme gérée par l'Institut de bio-informatique et de Physique des Systèmes Complexes (BIFI, Instituto de Biocomputación y Física de Sistemas Complejos) de l'université de Saragosse. Centres de recherche et universités espagnols,

Espagne

Site
SZTAKI Desktop Grid
Ce projet est une des composantes du projet plus large qu'est l'IGDF (International desktop grid federation) qui est financé par l'Union européenne et dont la mission principale est de promouvoir l'utilisation de logiciels de calculs distribués tels que BOINC par les internautes et les scientifiques européens. Afin de tisser des liens ente les différents intervenants et de créer une relation de confiance durable, le projet offre des solutions pratiques et prêtes à l'emploi pour les chercheurs, et les industriels (plateforme web conviviale, gestion des passerelles entre les différents réseaux internet, mise en route simplifié d'un serveur dédié).

Ce projet comprend 5 sous-projets :

Laboratoire des systèmes distribués parallèles,

Académie hongroise des sciences,

Budapest,

Hongrie

Site
VGTU project@Home
Étude de la cryptographie visuelle dynamique chaotique et des techniques de dissimulation d'images basées sur l'effet Moiré des interférences. Université technique de Vilnius Gediminas (VGTU),

Vilnius,

Lituanie

Site
Volpex@Home
Simulation du comportement des protéines et de leurs réactions face à différents principes actifs. Université de Houston,

Houston,

Texas,

États-Unis

Site
World Community Grid
La mission de ce projet est de mutualiser la puissance de calcul inutilisée de tous les périphériques informatiques individuels (PC, smartphone, console, etc.) et de créer la plus vaste grille de calcul scientifique au service de l'humanité. Site
Ce projet a reçu le , un " Webby Award ", dans la catégorie des entreprises à responsabilité sociale, récompensant la qualité du travail fourni. Il a aussi obtenu le " People 's voice Awards " dans la même catégorie, grâce au vote du public.

Ce projet contient lui-même plusieurs projets différents, tous dans le domaine de la biologie :

IBM Corporate Community Relations Site
YAFU
Diverses missions :
  • Detecter les bugs du serveur Boinc
  • Factoriser des nombres nécessaire à l'obtension d'une suite Aliquote de dimension 130
  • Tester les dernières versions de YAFU
Privé Site
Yoyo@home
Privé Site

Sciences Physiques[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

Asteroïds@home
Modélisation des propriétés physiques des astéroïdes (dimensions, formes, période et axe de rotation), en inversant les courbes lumineuses élaborées à partir de données photométriques collectées par les différents observatoires mondiaux. Université Charles de Prague,

Prague,

République tchèque

Site
Albert@Home
Détection d'ondes gravitationnelles provenant de pulsars à partir des données recueillies par le LIGO Université du Wisconsin,

Milwaukee,

Wisconsin,

Etats-Unis

Site
ATLAS@Home
Simulation numérique des collisions à l'intérieur de l'accélérateur de particules européen basé : le LHC . La comparaison des résultats réels et simulés confirme ou invalide les modèles théoriques alternatifs proposés de l'univers. Les calculs sont effectués au sein du WLCG Computing Grid, structure internationale regroupant 170 centres de calculs dans 42 pays différents. CERN,

Meyrin,

Suisse,

Union-européenne

Site

Site public

CERN CMS-Dev
Sur invitation. Simulation de collision avec machine virtuelle CernVM développée par le CERN. CERN,

Meyrin,

Suisse,

Union-européenne

Site
Cosmology@Home
Étude du fond diffus cosmologique.Cosmologie observationnelle. Comparaison et évaluation de modèles théoriques avec les observations astronomiques et les dernières données issues de la physique des particules.

Recherche de données, issues des observations du satellite Planck, non vérifiées par le modèle ΛCDM qui est à ce jour le plus simple et le plus précis pour décrire notre Univers.

ΛCDM : abréviation de « Lambda Cold Dark Matter », Λ représentant la constante cosmologique de l'équation d'Einstein et CDM , la matière noire et froide.

Université de l'Illinois, Champaign-Urbana,

Illinois,

États-Unis

Site
Einstein@Home
Détection de pulsars à l'intérieur de systèmes binaires de période de rotation supérieure à 11 minutes au moyen d'interféromètres laser du LIGO (Max Planck Center, nombreuses universités, Caltech). Détermination de l'existence des ondes gravitationnelles prédites par Albert Einstein. La société américaine de physique (APS), la National Science Foundation (NSF), la société Max Planck (MPG), l'Université du Wisconsin à Milwaukee et le Albert Einstein Institute,

Etats-Unis

Site

Site

Leiden Classical
Calculer des interactions de particules dans un univers régi par les lois de la physique classique. Le nombre élevé d'objets à prendre en compte ne permet pas une solution analytique, seulement numérique. Différentes branches sont reprises : les mécaniques newtoniennes et céleste, la dynamique moléculaire, les fonctions d'énergies potentielles (Lennard-Jones), les liaisons covalentes, les forces de Van Der Waals, etc. Département de chimie théorique,

université de Leyde,

Leyde et La-Haye,

Pays-Bas

Site
LHC@Home
Regroupe plusieurs projets :
  • Atlas@home : Évaluer des modèles alternatifs d'Univers en comparant expérience et théorie.
  • Beauty : Comprendre les mécanismes amenant la matière à prendre le dessus sur l'antimatière depuis le Big Bang en étudiant des particules et antiparticules quarks « beauty » au cours de leurs désintégrations en particules plus stables.
  • CMS@home : Les collisions de particules à haute énergie (13 Téraélectronvolt) vont permettre d'explorer de nouvelles frontières expérimentales.
  • SixTrack : Aider le CERN à construire et à entretenir le plus grand accélérateur de particules du monde en simulant la circulation de flots de protons de particules à très haute vitesse au sein du LHC et en testant la stabilité de leurs trajectoires à l'intérieur de l'anneau de vitesse.
  • Test4Theory : Simuler des collisions de particules de haute énergie en utilisant les lois du modèle standard de la physique des particules. L'emploi de la méthode de Monté-Carlo permet d'ajuster certains paramètres aléatoirement afin de se rapprocher le plus possible des expériences réalisées.
CERN,

Meyrin,

Suisse,

Union-européenne

Site
Milkyway@home
Exploiter les données recueillies par le télescope optique Sloan Digital Sky Survey (SDSS) afin d'étudier notre galaxie et son halo grumeleux.

Cartographier sa structure, observer son évolution.

Déterminer la répartition de matière noire.

Évaluer l'influence de l'énergie sombre.

Modéliser en 3-Dimension la voie lactée à l'aide d'algorithmes évolutionnaires.

Déduire un modèle d'univers cohérent en simulant des collisions numériques de galaxies et en comparant les résultats avec la réalité observée.

la National Science Foundation (NSF).

le département de sciences physiques informatiques appliquées à la physique et à l'astronomie du

Rensselaer Polytechnic Institute

Site
SETI@Home
Ce projet recherche des signaux artificiels électromagnétiques extraterrestres au moyen du plus grand radiotélescope du monde, celui d'Arecibo. Site

Les signaux recherchés doivent être puissants, à faible largeur de bande, pulsatifs et dérivants ou s'appariant au motif du faisceau d'antenne. Leur traitement nécessite l'emploi des transformés de Fourier sur diverses phases, fréquences et durées.

Chaque ordinateur traite une partie de la bande passante (2.5Mhz) à la recherche de signaux gaussiens (continus).

Université de Californie à Berkeley + de nombreuses institutions et entreprises.

États-Unis

Site

Site

SETI@Home Beta
Projet fournissant un environnement de test pour les applications s'exécutant ensuite sur SETI@Home. Université de Californie à Berkeley,

Berkeley,

États-Unis

Site
TheSkyNet POGS
Combiner les couvertures spectrales des télescopes GALEX, Pan-STARRS1 et WISE, pour produire un atlas de galaxie de notre Univers proche regroupant des longueurs d'onde allant de l'ultraviolet au proche infrarouge. La mesure pixel par pixel, grâce aux techniques de distribution spectrale d'énergie, de divers paramètres (taux de formation stellaire, masse associée, absorption du signal par la poussière inter-stellaire, masse de celle-ci et masse totale de la galaxie) est effectuée par chaque ordinateur alloué au projet. The International Centre for Radio Astronomy Research , Perth, Australie, partenariat entre l'université Curtin et l'Université d'Australie Occidentale Site

Site

Universe@Home
Sous la houlette du professeur polonais Krzysztof Belczyński qui a développé le code du logiciel StarTrack (simulant les interactions de populations stellaires hétéroclites), étude d'un large éventail de phénomènes astronomiques : de la naissance des étoiles jusqu'à leur disparition (effondrement, supernova, etc.).

Étude de leur population et répartition dans l'univers.

3 aspects particuliers sont examinés:

  • les sources X Ultralumineuses dont la nature n'est pas totalement expliquée (trou noir ,étoile à neutron). Comparaison des simulations avec les observations astronomiques.
  • les ondes gravitationnelles qui ont été prédites par Albert EINSTEIN et imaginées par Krzysztof Belczyński en comme étant la conséquence d'un système binaire comprenant deux trous noirs en train de fusionner. Apprentissage de détection de signaux réels à partir des simulations.
  • les supernovas de type Ia qui constituent de véritables chandelles cosmiques permettant de mesurer l'expansion de l'univers. Comprendre leur genèse et leur influence dans l'évolution de l'univers.
Université de Varsovie,

Varsovie,

Pologne

Site
vLHCathome
Projet annexe similaire au projet LHC@home.

La différence réside dans le fait que les applications des différents projets s'exécutent au sein d'une machine virtuelle développée par le CERN CernVM.

L'objet de la recherche consiste à comparer les simulations théoriques de collisions entre particules avec les résultats des expériences réalisées dans l'accélérateur de particules LHC.

CERN,

Meyrin,

Suisse,

Union-européenne

Site

Site

Biologie et Médecine[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

DENIS@Home
Création d'une base de données reprenant les résultats, déjà publiés, d'explorations électrophysiologiques réalisées sous différentes conditions.

Modèles étudiés : Ventricule humain, Endocarde et Épicarde.

protocole : 3 000 cycles de stimulation du modèle avec des longueurs variables de cycles, enregistrement des valeurs des marqueurs au dernier cycle, durée d'action potentielle avec différent pourcentage de repolarisation, concentration ionique maximale et minimale durant la systole et la diastole au cours du derniers cycle.

Calculer et prédire les effets de médicaments sur le cœur et ses cellules par l'exploitation de données issues d'enregistrements d'électrocardiogramme dans diverses pathologies étudiées (fibrillation ventriculaire, arythmie ventriculaire, ischémie, hyperkaliémie).

Déterminer les biomarqueurs physiologiques (calcium,sodium, potassium, etc.) propres à chaque pathologie, et étudier d'autres modèles en prenant en compte la diversité des cellules cardiaques pour des individus différents.

Université San Jorge,

Saragosse,

Espagne

Site
FiND@Home
Trouver des substances actives pour lutter contre le parasite mortel de la malaria appelé Plasmodium falciparum. Son génome a déjà été séquencé, son protéome est aussi modélisé à diverses étapes du cycle de vie de cet Apicomplexa. De nombreuses cristallographies de protéines cibles ont été réalisées. Mais l'action des drogues prometteuses trouvées par les laboratoires pharmaceutiques reste mystérieuse à ce jour.

Savoir quelle substance active agit sur quelle portion de protéine cible, permet de mieux cerner les angles d'attaque pour combattre ce fléau endémique qui tue un enfant toutes les 45 secondes dans le monde. Modéliser par le biais de la mécanique moléculaire et simuler numériquement les interactions des 18 924 composés actifs prometteurs sur les 5 363 protéines issues du parasite.

Complex of Adaptive Systems Laboratory (CASL) University College Dublin (UCD),

Dublin,

Irelande

Site

Site

GPUGrid.net
Utiliser la puissance des cartes graphiques (Nvidia CUDA ainsi que les ATI OpenCL) pour calculer les repliements des protéines et leur comportement sur des maladies comme
  • le cancer (révéler les mécanismes de résistance aux médicaments et indiquer les aberrations cellulaires)
  • le sida (modélisation du VIH et étude de la phase d'activation d'une de ses protéines clé : la protéase)
  • ou les maladies neurodégénératives (étude des caractéristiques qui ont échappé aux techniques expérimentales traditionnelles)

La chimie numérique et la dynamique moléculaire sont omniprésentes dans ces calculs distribués.

Université Pompeu Fabra

Barcelone

Espagne

Site
Lattice Project
Projet hybride mêlant les ressources offertes par la grille d'utilisateurs BOINC et les infrastructures informatiques privées de plusieurs laboratoires.

Les thèmes de recherche sont :

  • la déduction d'arbre phylogénétique en comparant les nucléotides, codons et acides aminés de différents insectes appartenant à l'ordre des lépidoptères (papillons diurnes et nocturnes).(application GARLI).
  • la comparaison de séquences de protéines à l'aide du modèle de Markov caché d'une base de données caractérisant des bactéries, plasmides et virus avec un groupement ou famille de protéines aux fonctions connues et leur affectation dans la classification fonctionnelle des protéines.(Application HMMER).
  • l'aide à la conception optimisée de réseaux de réserves bio-diversifiées en fonction de divers critères (pourcentage de population d'une ou plusieurs espèces à préserver, nombre de sites ou habitats à maintenir, coût financier, etc.).(Application MARXAN).
Université du Maryland

Maryland

États-Unis d'Amérique

Site

Site

Malaria Control
Projet ayant pour but de déterminer la meilleure politique de santé publique pour empêcher l'évolution et la diffusion du paludisme en Afrique, à la suite des piqûres de l'anophèle.

Élaboration et simulation de modèles stochastiques modulaires reprenant divers paramètres comme la densité de répartition de la population, la densité des divers parasites Plasmodium falciparum, la durée d'incubation et d'infection, l'efficacité du vaccin retenu, les plages de vaccination, la distribution géographique de moustiquaires imprégnées de répulsif. Chaque module est ensuite agrégé dans un modèle mathématique plus élaboré pour optimiser l'efficacité de la lutte contre cette pandémie. Cette approche épidémiologique probabiliste est plus intensive en calcul que les méthodes alternatives déterministes.

CERN,

Meyrin,

Suisse,

Union-européenne

Site

Site

Najmanovich Research Group
Étude bio-informatique, à l'aide de la modélisation moléculaire, des interactions entre protéines, acides aminés et petites molécules. Les affinités et les niveaux d'activité dépendent des effets entropiques et des forces intermoléculaires locales. L'amarrage entre le ligand (médicament) et le site actif du récepteur (protéine) est influencé par la forme des molécules, leur structure 3D, et la promiscuité d'autres éléments présents dans le milieu ambiant.

Par le biais des simulations numériques, caractérisation de nouveaux inhibiteurs ciblant :

Université de Sherbrooke,

Quebec,

Canada

Site

Site

POEM@Home
Les protéines assurent des fonctions variées à leur échelle nanométrique, au sein de la cellule. Elles interviennent dans les domaines du métabolisme, de la photosynthèse, du transport de l'oxygène, des traitements de signaux par les neurones ainsi que dans les réponses immunitaires. Ces fonctions dépendent autant de la structure de la protéine concernée que de sa composition chimique. Par le biais de la chimie numérique, ce projet explore différentes pistes de recherche :
  • prédiction de la structure biologiquement active des protéines
  • compréhension des mécanismes de traitements des signaux entre les protéines
  • analyse des maladies liées aux dysfonctionnements ou à l'agrégation des protéines
  • développement de nouveaux médicaments sur la base des structures 3D des protéines

Actuellement, le projet se focalise sur l'amélioration de l'efficacité de la méthode de Monte Carlo, limitée dans le cas de système à fort degrés de liberté, l'étude de peptides anticancéreux aux interactions incomprises et l'analyse de la coiffe de Villine (protéine composée de 36 acides aminés) et de ses repliements.

l'institut de Nanotechnologie (INT) à l'institut de technologie de Karlsruhe,

Karlsruhe,

Bade Wurtemberg, Allemagne

Site

Site

RALPH@Home
Projet testant en avant-première les applications tournant sous Rosetta@home dans le but d'éviter les bugs de fonctionnement (surcharges ou paralysies) entrainant le blocage des calculs numériques.

Chaque mise à jour, nouvelle unité de travail ou nouvelle version est simulée avant sa mise en production effective sur Rosetta@home.

Université de Washington

Washington

États-Unis

Site
RNA World
Les molécules d'ARN sont au cœur des réactions intra et extra-cellulaires. Elles servent de transition entre l'information codée dans l'ADN et les fonctions exprimées par les protéines.

Chaque protéine dans une cellule est produite à partir de molécules transitoires synthétisées, appelées ARN messager (ARNm). Cet ARNm est traduit par une machinerie cellulaire (le ribosome) dans sa protéine correspondante. Celui-ci est constitué d'un assemblage de plusieurs molécules ARN à activités catalytiques.

Les acides aminés constitutifs de la protéine sont véhiculés grâce à l'ARN transfert (ARNt). Les dernières recherches indiquent que ce sont les micro-ARN (miARN) qui différencient les cellules dans leur destination finale et qu'une altération de ceux-ci est la cause de maladies comme le cancer.

Ce projet a pour but de comprendre tous ces mécanismes. Le logiciel Infernal répertorie tous les membres de toutes les grandes familles d'ARN de tous les organismes connus. Les résultats sont mis à disposition du public et la base de données bio-informatique Rfam est ensuite complétée.

Association sans but lucratif Rechen kraft.net e.V

Marbourg,

Hesse,

Allemagne

Site
Rosetta@home
Ce projet de biologie tente de prédire les structures tridimensionnelles macromoléculaires des protéines et leurs interactions. À partir du séquençage de la protéine, l'application informatique détermine quelle est la configuration spatiale ayant la plus basse énergie. Ce minima correspond à la disposition naturelle, la plus stable, que prend la protéine dans la réalité. C'est sa structure globulaire, intriquée qui oriente sa fonction, son rôle. Avec le temps, les résultats de simulation, obtenus dans le laboratoire de David Baker, deviennent de plus en plus précis et permettent l'étude de protéines de plus en plus complexes. Cette approche permet de concevoir de nouvelles protéines de synthèse dont l'action reste à évaluer. Ces méthodes numériques nécessitant une grille informatique sont bien moins onéreuses que la cristallographie à rayon X ou la résonance magnétique nucléaire. À terme, ce projet permettra de comprendre les causes des pathologies humaines, maladies génétiques ou non, afin de mieux les soigner. Université de Washington

Washington

États-Unis

Site

Mathématiques et Informatique[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

123Number
Résoudre un problème mathématique ouvert issus d'un des théorèmes généraux de la théorie de Ramsey, le théorème de Van Der Waerden :

Théorème de Van Der Waerden —  tel que si l'ensemble est coloré de c couleurs différentes, il contient une progression arithmétique monochrome de longueur n.

Le théorème est prouvé (la preuve en anglais) mais l'entier W est difficilement calculable. Le but du projet est de se rapprocher au plus près de cet entier W qui représente la borne inférieure pour laquelle la propriété devient vraie. Différents cas sont étudiés. Des séquences aléatoires, colorées, reproductibles, sont réalisées à l'aide d'un algorithme qui mêle des opérations modulo et des élévations à la puissance. L'existence ou non de cette progression arithmétique de longueur n est ensuite vérifiée. Les résultats obtenus sont accessibles, à tous, et présents sur la page d'accueil du site.

Privé,

Daniel Monroe

Site
Collatz Conjecture
La conjecture de Collatz, aussi appelée conjecture de Syracuse, défie les mathématiciens les plus brillants, depuis des décennies.

Son énoncé est :

Conjecture de Collatz — 

et

,

Elle est à ce jour, non démontrée. Son indécidabilité n'est pas non plus établie.

C'est pourquoi ce projet calcule n, le temps de vol de la suite, tel que Un=1, pour de grands entiers N compris entre 271 et 272 (plage non explorée jusqu'à présent). Si une suite n'atteignait pas la valeur 1, la conjecture pourrait être ainsi réfutée.

Au , le temps de vol le plus long est n = 2 739 pour l'entier N = 2 382 737 577 286 911 665 266.

Privé Site
DistributedDataMining
Projet œuvrant dans le domaine de l'exploration des données. À l'aide d'algorithmes divers (arbre de décision,apprentissage automatique, etc.) qui traitent des données hétérogènes nombreuses, des méthodes de discrimination et de régression permettent de donner du sens à des structures de données confuses et d'en dégager des orientations décisionnelles.

Actuellement 2 domaines sont à l'étude :

  • L'analyse de suites de données chronologiques

avec un projet de prédiction du cours des actions sur les marchés boursiers au moyen d'un réseau de neurones artificiels ,d'algorithmes génétiques et de machines à vecteur de support

  • L'analyse de données biologiques

avec la constitution de l'aide au diagnostic médical sur les pathologies liées au larynx. Grâce au traitement des enregistrements sonores et des examens vidéos endoscopiques réalisés sur les patients, le modèle tente de déterminer objectivement les causes des désordres vocaux à soigner.

Privé,

Nicko Sclitter

Site
Enigma@Home
Projet de cryptanalyse de la machine Enigma. Toutes les communications militaires émises par l'armée allemande ou interceptées par les forces alliées, au cours de la deuxième guerre mondiale n'ont pas toutes été déchiffrées à ce jour.

Initialement, ce projet devait décrypter 3 messages codés, en par la machine Enigma ,composée de 4 rotors (le troisième message a été craqué le (voir le message) ; depuis le projet traite divers messages cryptés avec Enigma, mais composée de 3 rotors.

Les attaques sont de type « attaque sur chiffré seul ». Le programme est réalisé en langage python. Les combinaisons du tableau de connexion sont évaluées par des méthodes itératives d'amélioration par escalade alors que les combinaisons des rotors sont l'objet d'attaque par force brute. Cette différenciation permet une réduction sensible des calculs nécessaires au décryptage.

Privé ?

Stefan Krah

Site
Gerasim@Home
Ce projet vise à optimiser les logiques de contrôle d'un processus exécutant des tâches parallèles. L'approche retenue est la création d'un multi-contrôleur, constitué par l'assemblage en réseau, de contrôleurs logiques élémentaires de taille identique.

(Un cas d'application possible : le contrôle d'une usine d'assemblage entièrement automatisée où tous les robots évoluent ensemble). Chaque opération logique de contrôle et de commande peuvent être représentées sur un graphe système qui va être partitionné en sous ensembles fonctionnels (bloc) sans tâche parallèle. Chaque bloc répertorié est coloré et assigné à un contrôleur logique élémentaire.Chaque contrôleur est ensuite interconnecté aux autres contrôleurs élémentaires. Le nombre de blocs de partitionnement, la taille choisie des contrôleurs élémentaires, contraints par leur nombre d'entrées-sorties limité, la manière de découper les blocs et la longueur des câblages ont une influence sur le coût et les degrés de liberté offerts par la solution évaluée (chevauchement fonctionnel, résilience, tolérance aux pannes du système). L'optimisation du multi-contrôleur logique, constitué d'un nombre considérable de contrôleurs élémentaires pouvant aller jusqu'à plusieurs dizaines de milliers est un problème NP-complet que le chercheur russe Vatutin Eduard I tente de résoudre par des méthodes heuristiques diverses(algorithme glouton, méthode cohérente). Il compare chaque méthode avec l'aide des volontaires BOINC, en modifiant les conditions initiales pour pouvoir évaluer leur efficacité et leur domaine d'action privilégié au travers de critères de qualités.

Russie Site

Site

GoofyxGrid@Home
Recherche autour de plusieurs variantes du problème sur les générations aléatoires infinies d'évènements appelé aussi paradoxe du singe savant.

Aléatoirement, des chaines de caractères sont créées, le projet examine les résultats au vu de certains critères retenus.

Le thème de la version no 1 est est l'existence ou non du mot généré dans un dictionnaire d'une ou plusieurs langues spécifiques (polonais, anglais, etc), celui de la version no 2 est l’obtention d'un mot partiel sur au moins les 6 premiers caractères (exemple choisi : avoir au moins « CHRIST » pour « CHRISTMAS »), celui de la version n°3 est l'existence ou non du passage d'un texte inclus dans les œuvres de Shakespeare.

Privé,

Pologne

Site
Moo! Wrapper
Projet cryptographique autour de la sécurité des algorithmes de chiffrement actuels. En utilisant la puissance cumulée des ordinateurs des adhérents au projet, la pertinence d'utilisation de l'algorithme est évaluée par attaque par force brute, au cours d'un challenge numérique. Un message chiffré est créé au moyen d'une clef secrète par un tiers indépendant. Le serveur répartit aléatoirement les clefs à chaque ordinateur client participant. Le premier qui le déchiffre, remporte l'épreuve et accessoirement une partie de la récompense mise en jeu. Le temps de résolution et les moyens déployés pour le déchiffrer sont enregistrés afin de déterminer la protection effective que ce moyen de chiffrement autorise. Dans le passé, plusieurs méthodes de chiffrement ont été expertisées de la sorte :
  • « RC5-56 challenge » : mise en place en  ; 212 jours de résistance
  • « DES II-1 challenge » : mise en place en  ; 40 jours de résistance
  • « DES III challenge » : mise en place en  ; 24 heures de résistance
  • « CS-Cypher challenge clef 56 bit » : mise en place en  ; 60 jours de résistance
  • « RC5-64 challenge » : mise en place en  ; 175 jours de résistance

La compétition actuelle est « RC5-72 » mis en place par les laboratoires RSA (RSA Lab's) depuis le mois de . L'algorithme audité est RSA avec une clef de 72 bits. L'espace des clefs possibles est 256 fois plus grand que celui du challenge « RC5-64 » (72 - 64 = 8 bits, 28 = 256).

Privé Site

Site

NFS@home

Divers algorithmes de factorisation sont mis en œuvre.Mais le plus usité actuellement est GNFS. L'American mathematical society a fait paraître en , la 3ème édition des résultats obtenus, mise à jour et en accès libre sur ce site internet, extrait du volume 22 Factorizations of bn ± 1, b = 2, 3, 5, 6, 7, 10, 11, 12, up to High Powers, by John Brillhart, D.H. Lehmer, J.L. Selfridge, Bryant Tuckerman, and S.S. Wagstaff, Jr.

L'université d'état de Californie à Fullerton

Californie

États-Unis

Site
NumberFields@home
Recherche sur la théorie des nombres.

Le chercheur en mathématiques Eric D. Driver a mis au point un algorithme de recherche des polynômes formels minimaux, de degré n égal à 10 : , avec , en rapport avec les corps de nombre.

Les ordres inférieurs, ne nécessitant pas de calcul intensif, ont déjà été explorés.Les résultats correspondants sont accessibles ici.

Son travail s'est inspiré des recherches précédentes, menées respectivement par J. Martinet (The computation of sextic Fiels With a Quadratic Subfield) et J. Hunter (The minimum discriminants of quintic fields), publiées par l'American mathematical society. Sa dissertation (thèse) de 132 pages en anglais, explique en détail la méthodologie employée. Sa compréhension requiert la connaissance entre autre des extensions de corps finis, des groupes de Galois, ainsi que de la théorie des corps de classe.

Les connaissances acquises, grâce à ce projet, pourrait avoir des retombées

  • en cryptologie (décryptage algorithme RSA et création de nouveaux systèmes de chiffrements)
  • en statistique arithmétique (énumération exhaustive de tous les polynômes d'ordre n inférieur ou égal à 10, pour des groupes de Galois donnés et un discriminant inférieure à une certaine limite fixé)
  • en sciences physiques (dans les domaines de mesures inférieures à la longueur de Planck avec les avancées de l'analyse p-adique appliquée à la mécanique quantique)
Ecole de mathématiques,

Université d’État de l'Arizona,

Phoenix,

Arizona,

États-Unis

Site
Primaboinca
recherche de contre-exemples à la conjecture d'Agrawal.

Manindra Agrawal, Neeraj Kayal et Nitin Saxenaun, 3 mathématiciens indiens ont élaboré un algorithme déterministe, inconditionnel en temps polynomial pour tester la primalité d'un entier n, nommé AKS. Ils ont repris une généralisation du petit théorème de Fermat :

Voici le pseudo-code associé :


Bien qu'une heuristique créée par Hendrik Lenstra et Carl Pomerance ait prouvé qu'il existait une infinité de contre-exemples, aucun n'a pu être trouvé jusqu'à présent, pour .

Roman Popovych propose une variante de la conjecture initiale qui éliminerait cet aléa en proposant :

Conjecture Popovych — Soient r et n, deux entiers positifs,

Cette nouvelle conjecture modifiée doit être vérifiée.

Université de sciences appliquées, Wiesbaden,

Allemagne

Site
PrimeGrid
Projet de recherche de nombres premiers de plus en plus grands (constitués de plusieurs millions de chiffres), qui ambitionne de contribuer par son approche calculatoire à l'élaboration de nouvelles propositions mathématiques dans la théorie des nombres et de vérifier la robustesse des algorithmes cryptographiques actuellement utilisés.

Plusieurs sous projets sont actifs :

Privé Site
SAT@Home
Projet de recherche qui étudie les problèmes relatifs à l'inversion des fonctions discrètes (exemple : logarithme discret), à l'optimisation discrète, ou encore liés à la bio-informatique. Les problèmes initiaux sont réduits, en les convertissant par une approche SAT, lorsque celle-ci est possible.

Le théorème de Cook-Levin démontre que le problème SAT est NP-complet.

Chaque contrainte réduite du problème initial, est décomposée en forme normale conjonctive (FNC) d'expressions booléennes, qui peuvent être plus rapidement évaluées, sur une architecture distribuée de calculateurs numériques, travaillant en parallèle.

Les derniers travaux ont permis d'avancer dans le domaine de la cryptanalyse

  • du chiffrement A5/1, en permettant de déchiffrer des messages cryptés résistants à des attaques classiques par tables dites « arc-en-ciel » ou « rainbow tables ».
  • du chiffrement synchrone symétrique exploitant le principe simplifié du Trivium Cipher, c'est à dire le Bivium Cipher, à travers 2 méthodes algorithmiques différentes.

Actuellement, un autre type de problème mathématique est en cours d'étude, lié à la composition de carrés latins orthogonaux entre eux, afin d'obtenir des carrés gréco-latins (chaque élément composé du carré, ainsi constitué, n'apparaît qu'une seule et unique fois par ligne et colonne). C'est le mathématicien suisse Leonhard Euler qui a initié ces interrogations autour de l'existence de solutions, en prenant comme critère l'ordre du carré latin (c'est à dire le nombre de lignes ou de colonnes).

Institut des problèmes de transmission d'informations,

département des calculs distribués, académie russe des sciences,

Moscou,

Russie

Site
SRBase
Projet de recherche sur la théorie des nombres qui dresse l'inventaire des nombres de Sierpinski et des nombres de Riesel de base b, sur une plage calculatoire définie où la base b varie de 2 à 1 030. L'objectif est de prouver certaines conjectures non résolues.
Les nombres de Sierpinski et Riesel étudiés, de base b, sont de la forme : ( pour Sierpinski, pour Riesel).

Pour chaque base b donnée, il faut trouver, par exemple, le plus petit entier k tel que les nombres (Sierpinski et Riesel) générés soient composés pour tous les entiers n.

Les résultats trouvés et les plages de nombres restant à calculer sont repris dans des compilations de tables où tout un chacun peut choisir de réserver une plage de calcul précise, en fonction de critères ou d'affinités qui lui sont propres. Afin d'éviter les doublons de calcul avec le projet PrimeGrid qui est plus axé sur la base 2, une coordination (mersenneforum.org) est mise en place.

Les résultats sont ainsi partagés, évitant de les résoudre inutilement, plusieurs fois. Ils sont accessibles ici, en anglais.

Privé Site
WEP-M+2 Project
Effectuer des recherches en théorie des nombres sur les « nombres de Mersenne +2 ».

Ces nombre sont donc de la forme .

Le but est de trouver les facteurs qui les composent, si ils existent ou de déterminer leur primalité. L'algorithme employé se nomme WEP (Wanless Extended Proth), protégé par copyright. Son comportement est toujours en cours d'évaluation car la preuve de sa justesse mathématique n'a pas été formellement réalisée. Il utilise une base aléatoire dans son déroulement. L'auteur du projet, James Wanless, décompte le nombre de fois qu'un même diviseur est trouvé et apprécie la part entre les petits et les grands diviseurs, découverts. Au , c'est P2203 = qui est en cours de traitement. Le seul diviseur premier à 12 chiffres découvert à ce jour est 208 613 913 329.

Privé,

Londres,

Angleterre,

Royaume-Uni

Site
WUProp@Home
Ce projet collecte les données des ordinateurs clients qui sont affiliés à un ou plusieurs projets BOINC, autre que lui-même. Les informations recueillies sont inventoriées et catégorisées en fonction des

Les restitutions statistiques autorisent la comparaison des caractéristiques des projets et l'évaluation des performances des différentes configurations matérielles utilisées. Cela permet un choix raisonné, dans l'adhésion à un projet et l'achat d'un périphérique informatique adapté, lors de son renouvellement. Cela offre un échantillon représentatif du parc informatique utilisé, aux concepteurs de projets et constitue une aide à la décision possible pour leurs démarches d'optimisation.

Ce projet, initié par un membre actif de l'alliance francophone dont le pseudonyme est « Sebastien », nécessite peu de ressources en calcul.

Privé,

France

Site

Réseau de capteurs[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

Quake Catcher Network
Ce projet de recherche poursuit plusieurs buts complémentaires :

Le projet permet le téléchargement de 2 logiciels informatiques QCN et QCN Live.

QCN permet de renseigner le réseau, en l'enrichissant des données collectées par les adhérents internautes, et donne une représentation visuelle des phénomènes observés à l'échelle planétaire.

QCN Live offre les mêmes fonctionnalités mais recueille et retrace, isolément, les évènements mesurés, dans le périmètre local du capteur personnel étudié. Cela permet de simuler dans une classe d'élève, un tremblement de terre sans interférer avec le reste du réseau.

Partenariat entre l'université de Stanford et l'université de Californie basée à Riverside.

Migration des serveurs à l'institut technologique de Californie (CALTECH)

Site

Site.

Radioactive@Home
Ce projet expérimental a été conçu pour répondre aux préoccupations écologiques et sanitaires des populations, suite à l'accident nucléaire de Fukushima.

C'est un projet, indépendant, à but non lucratif, établissant une radioprotection basique, axée sur la constitution d'un réseau d'alerte de dosimètres personnels. Il est géré par une équipe polonaise de bénévoles : « BOINC@Poland ».

Ces capteurs de radioactivité, à faible coût, sont vendus en kit ou à construire entièrement par soi-même. De bonnes connaissances en électronique et soudage sont nécessaires :

Ces capteurs sont en fait des compteurs Geiger adaptés. Ils permettent la mesure du rayonnement ionisant ambiant, de type gamma.

Les résultats graphiques des relevés périodiques de mesures sont observables, sur une planisphère évolutive qui répertorie l'emplacement des réacteurs nucléaires en activité ainsi que celui des capteurs personnels d'enregistrement.

Des améliorations matérielles et logicielles interviennent, régulièrement, pour optimiser la réalisation et le coût de ce capteur expérimental, en fonction des discussions échangées sur leur forum.

Privé

Pologne

Site

Sciences cognitives et Intelligence Artificielle[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

MindModeling@Home
Ce projet de recherche, à but non-lucratif, promeut l'utilisation des sciences cognitives pour la compréhension, de la nature de l'esprit humain (fonctionnement, limite, évolution, etc.).

Plusieurs champs disciplinaires sont étudiés : la linguistique, l’anthropologie, la psychologie, les neurosciences, la philosophie, l'intelligence artificielle.

Les neurosciences cognitives s'intéressent à la vigilance, l'attention, la perception, la vision, l'audition, l'olfaction, le goût, la prise de décision, le langage, la mémoire, l'apprentissage moteur,et sont observables  par le biais de techniques expérimentales (EEG, MEG, IRMf, TEP, SPECT, Stimulation magnétique trans crânienne, méthodes expérimentales de Psychologie cognitive, Psychométrie) .

La Cognitive Science Society, association à but non-lucratif, tente de fédérer les initiatives des chercheurs intéressés par ce domaine et crée un environnement de travail et de dialogue, propice aux échanges de toutes sortes (publications, conférences annuelles, partenariats universitaires, cours).

Les problèmes examinés sont modélisés, simulés et comparés aux données expérimentales afin d'évaluer leur pertinence (exemple : modèles cognitifs de recherche d'information).

Le serveur BOINC a été mise à jour, en , pour permettre l'utilisation plus aisée d'applications, évoluant avec des langages de programmation informatique variés (Python, PyPy, Rpython, Java, MATLAB, Lisp, etc.). Les échanges entre chercheurs sont ainsi facilités.

Université de Dayton ,

Dayton,

Ohio,

Université d'État Wright,

Fairborn,

Ohio,

Etats-Unis

Site

Sciences de la Terre[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

Climateprediction.net
Ce projet, en partenariat avec le Met Office, a pour but de modéliser le climat terrestre et d'élaborer des projections climatiques jusqu'en .

3 axes principaux ressortent de ce projet :

Le climat peut être considéré comme un système global non-linéaire, constitué de sous-systèmes non-linéaires en interaction (l'atmosphère, les eaux de surface, la cryosphère, la lithosphère et la biosphère) soumis au rayonnement solaire. De nombreux mécanismes doivent être pris en compte : le bilan radiatif de la Terre, les cycles biogéochimiques (carbone, eau, souffre, etc.), les éruptions volcaniques, l'ozone, la circulation atmosphérique, la circulation des courants marins, etc.).

Chaque internaute adhérent, simule un cas théorique où les conditions initiales, la part de variabilité des paramètres dynamiques physiques (formation nuage, précipitations, etc.) ainsi que la prépondérance des paramètres extérieurs déterminants (soleil, gaz à effet de serre, éruptions, etc.) sont déterminées. Ce traitement est long (15 à 45 jours de calculs selon les configurations matérielles). Mais les chercheurs peuvent ensuite, à partir de scénarios envisagés, naviguer dans ces simulations effectuées, avec un émulateur, et obtenir des prospectives d'autant plus réalistes qu'il y aura eu de simulations entreprises.

Université d'Oxford,

Londres, Angleterre,

Royaume-Uni

Site

Finance[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

Bitcoin Utopia
Ce projet, à but lucratif, est une plateforme de financement participatif. C'est la société commerciale finlandaise « Consultum Finland Oy », administré par Henri Heinonen, le directeur technique exécutif, qui a lancé cette initiative, le . Les internautes peuvent soumettre leur demande de levée de fonds pour des projets scientifiques à caractère « innovant », ou des projets tournant sous le logiciel BOINC. Une fois la demande, acceptée, le montant à atteindre, déterminé, et la période de la campagne de levée de fonds, fixée; 2 méthodes de donations sont permises :
  1. Le minage de crypto-monnaie (Bitcoin, Litecoin, phoenixcoin, Leathercoin, etc.) par le biais d'un pool de serveurs jouant le rôle de tierce partie. Les ordinateurs des internautes sont mis à contribution pour effectuer des calculs de hachage, nécessaires à la création de la monnaie virtuelle. Les résultats trouvés sont ensuite insérés après vérification de la preuve de travail, dans la chaine de blocs des transactions. La valeur extraite est ensuite convertie en monnaie légale dans des bourses d'échanges autorisées, et reversée au projet demandeur.
  2. La donation directe à l'adresse Bitcoin du projet, créée pour l'occasion.

Afin d'éviter toute forme de polémique sur cette « utopie » qui mélange des notions de profits (reconnaissance salariale des intervenants) et d'aide désintéressée aux projets (bénévolat total), l'administrateur a décidé, le de placer son projet au même niveau que les autres projets. Chacun peut ainsi opter pour la ou les campagnes de son choix, chaque Bitcoin crée va au(x) seul(s) projet(s) choisi(s) minoré d' une taxe variant de 1,5 à 3 %, prélevée par le pool de serveurs.

Le minage est un travail concurrentiel, ou chaque mineur essaie d'être plus rapide que ses homologues. À cette fin, des sticks USB ASICs, spécialisé dans le hachage sont utilisés, rendant l'utilisation des cpus et gpus, inutiles car trop lents et énergivores, pour cette tâche spécifique.

Précaution : Le statut juridique des monnaies alternatives virtuelles n'est pas entièrement défini, au niveau européen, et national. Il convient de rester vigilant dans leur utilisation, et de vérifier si leur cadre d'application respecte les normes juridiques à venir, éventuelles.

Privé,

Jyväskylä, Finlande

Site

Site

Gridcoin Finance
Simulations financières, analyse de données en bloc, consolidation des rapports humanitaires, analyse des performances des stocks option, aide à la décision, assimilation des résultats liés aux pages web collaboratives. États-Unis Site

Divers[modifier | modifier le code]

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

BURP
Big and Ugly Rendering Project : Projet de calcul distribué qui vous propose de partager le calcul de rendu d'objets ou d'animations 3D réalisés sous Blender. En phase d'alpha-test public. ? Site
TN-Grid
Recherche sur la vigne (Arabidopsis Thaliana) Université de Trente,

Trente,

Italie

Site

Précision :

Le descriptif des projets a été réalisé en prenant en compte les informations contenues à l'intérieur de chaque site, dédié à un projet. Ces sources souvent exprimées, en anglais, et présentes dans la majorité des cas, dans les pages d'accueil ou dans les pages internes d'approfondissement (« science » , « home page » ou « project home ») ont été traduites et résumées pour retracer les grandes lignes directrices et objectifs de chaque projet.

Les critères de sélection[modifier | modifier le code]

Le contributeur à un projet détermine son adhésion en fonction de plusieurs paramètres :

  • L'intérêt du projet (domaine de recherche concerné, mission publique ou privée, à but lucratif ou désintéressé)
  • La capacité de traitement de son périphérique (vitesse de calcul, système d'exploitation, accessibilité au réseau)
  • Le cadencement et la durée des unités de travail proposées en adéquation avec le temps d'utilisation journalier de son périphérique
  • La publication des résultats trouvés comme preuve de l'avancement du projet et comme justification de l'investissement de chacun

Informations complémentaires[modifier | modifier le code]

La plupart des projets ont un site internet qui précise leurs détails, leur avancement, et leurs orientations à venir, mais sont souvent en anglais.

Heureusement,le site de l'Alliance Francophone regroupe des contributeurs parlant le français ,et s'attache à rendre accessible toutes ces petites particularités et articles épisodiques qui relatent les questionnements autour de tous ces projets.

Projets terminés ou inactifs[modifier | modifier le code]

Projets terminés

Liste complète[modifier | modifier le code]

Les projets terminés sont classés par quantité décroissante de calculs numériques, développés par la communauté BOINC, au cours de leur durée d'accomplissement.

Projets Date de fin

d'activité

Total

utilisateurs

Total

ordinateurs

Total

équipes

Total crédits Article

en français

Distributed Rainbow Table Generator 17 995 41 934 922 299 643 152 856 AF
DNETC@Home 5 159 19 398 571 63 844 297 766
AndrOINC 4 594 13 735 519 52 254 800 694
AQUA@home 37 556 66 618 1 165 18 991 966 420 AF
SIMAP 82 856 1 107 344 2 508 5 875 967 143 AF
Docking@Home 36 034 186 541 1 160 5 429 614 319 AF
QMC@Home 49 838 130 406 2 188 5 159 013 401 AF
ABC@home 79 634 146 940 1 852 4 452 011 741 TH
HAL@Home 18 006 63 454 798 3 680 101 687
Spinhenge@home 58 706 152 959 2 139 2 415 857 943 AF
BBC Climate Change Experiment 120 478 136 613 1 199 1 431 088 567
Constellation 15 157 80 685 695 880 024 679 AF
eOn 12 547 2 926 773 686 760 401 055 OC
sudoku@vtaiwan 4 380 13 546 275 732 428 097 AF
Predictor@Home 58 801 146 392 3 357 486 284 859 AF
EDGeS@Home 11 486 32 308 684 460 475 703 AF
Rectilinear Crossing Number 18 230 48 323 1 055 443 461 808 FS
RieselSieve. 8 520 31 043 701 442 198 207 TH
TANPAKU 16 744 42 752 1 017 366 229 101 AF
Mersenne@home 2 159 7 039 299 359 352 401 TH
SHA-1 Collision Search Graz 16 403 34 387 787 301 144 737 AF
OProject 3 978 17 621 336 238 151 872 AF
uFluids 25 514 61 056 1 421 228 540 422 AF
Virtual Prairie 5 403 15 279 493 222 639 275 AF
QuantumFIRE alpha 1 694 5 699 259 216 270 470
Correlizer 2 081 10 027 287 201 427 958 GFAF
Superlink@Technion 16 357 56 702 935 174 136 976 AF
SubsetSum@Home 1 229 4 497 201 165 659 707
NQueens Project 5 462 14 353 373 141 977 636 AF
Rioja Science. 1 982 6 992 186 126 896 045 AF
Intelligence Realm 4 426 10 429 487 122 818 897
3x+1@home 1 618 5 357 239 112 349 746 AF
Renderfarm.fi 4 201 8 593 253 101 054 651 TH
convector 2 682 7 528 203 100 792 459
Genetic Life 2 814 8 816 284 100 403 280
proteins@home 14 300 30 366 842 97 883 762 WCG
Seasonal Attribution. 5 673 10 073 542 93 428 923
DNA@Home 1 557 5 515 288 81 365 026 AF
Ramsey 1 210 2 776 166 77 469 634
AlmereGrid Boinc Grid 2 019 9 992 352 71 538 435
RSA Lattice Siever 1 440 5 688 248 71 121 431
orbit@home. 8 294 15 016 625 58 030 845 AF
Project Sudoku 2 001 5 831 279 55 187 619 AF
Nano-Hive@Home. 3 165 7 125 454 42 982 045 AF
vtu@home 3 464 9 885 439 33 956 181 AF
Chess960@Home Alpha 7 501 28 559 688 32 659 665 AF
XtremLab 3 349 12 083 497 32 048 934 AF
Magnetism@home 1 840 5 243 269 31 279 289 AF
Beal@Home 363 1 043 97 28 582 250
DrugDiscovery@Home 1 874 5 753 296 22 551 648
TSP 1 386 3 949 251 22 166 822 AF
Eternity2.net 593 1 503 101 19 585 487 AF
Cels@Home 1 637 4 877 275 19 257 730
iGEM@home 474 1 367 94 17 552 266
Neurona@Home 344 1 965 67 17 179 656 AF
AlmereGrid Test 657 2 172 148 12 183 899
Malaria Control Test Project 1 061 3 932 254 12 115 123
Surveill@Home 362 3 820 101 10 092 903 AF
DynaPing 163 1 922 45 9 863 853
Anansi 438 1 638 82 9 137 593
Wildlife@Home 321 681 83 8 922 794
Ideologias@Home 441 1 425 125 8 282 230 AF
physics@home 585 2 364 117 7 967 694
SimOne@home 386 1 139 89 7 297 045 AF
Goldbach's Conjecture 1 045 3 418 193 7 266 026 THIMVG
Hydrogen@Home 3 098 8 940 445 5 907 921 AFOC
HashClash 1 519 3 936 280 5 844 629 AF
Chess@Home 144 389 43 5 450 017
Reversi 550 1 235 118 4 839 594 AF
Neuron 553 2 722 158 4 743 617 AF
TMRL DRTG 932 2 357 222 4 503 676
Zivis Superordenador Ciudadano 2 359 4 657 176 3 976 776 AFAF
DepSpid 1 501 6 475 258 3 585 081 AF
PicEvolvr 356 694 98 3 466 400
APS@Home 1 114 2 826 206 3 187 744 AFAF
Virus Respiratorio Sincitial. 278 1 161 86 2 545 477 AF
ABC Lattices @ Home 187 418 42 1 961 089
pPot Tables 339 834 90 1 728 580
ABC@home beta 1 022 2 664 214 1 618 866
Linux Render Farm 123 242 40 1 614 655
BOINC alpha test 631 2 643 173 1 490 195
Evo@home 585 1 541 133 1 031 362 AFAF
Biochemical Library 277 621 81 999 109
UH Second Computing 449 1 402 104 612 490
Plagiarism@Home 307 1 181 72 572 095
Radio Network Design 82 175 39 532 487
LHC@home alpha 80 469 30 481 319
RenderFarm@Home 622 1 489 169 376 735
Folding@Home 106 455 34 153 469 THFAH
Russian Words Compatibility 105 221 38 83 368
BRaTS@Home 115 492 45 79 406 AF
Nagrzewanie stali @ HOME 88 130 16 9 443
DG@Putra 54 92 29 5 310
SciLINC 150 217 35 2 048
Belgian Beer@Home 314 840 99 507

Données issues du site de statistiques BOINC Combined Statistics (Site)

Raisons possibles[modifier | modifier le code]

Diverses raisons expliquent la cessation de l'activité de ces projets :

  • L'atteinte de l'objectif fixé au départ ou le balayage de toute la plage des hypothèses retenues initialement
  • L'arrêt du financement du projet à la suite de coupes budgétaires impromptues
  • Le départ du chercheur bénévole qui obtient un poste rémunéré ailleurs
  • un nombre insuffisant de contributeurs à la suite d'un manque d'attractivité ou d'intérêt du projet

Informations supplémentaires par domaine de recherche[modifier | modifier le code]

Voici les descriptions des projets à l'arrêt et leur(s) résultat(s).

Autres[modifier | modifier le code]

Biologie[modifier | modifier le code]

Quelques sous-projets du World Community Grid :

  • Genome Comparison : Projet faisant partie de World Community Grid consistant à comparer une par une les séquences des protéines. Première phase terminée, deuxième phase prévue pour 2008. Résultats.
  • Help Defeat Cancer : Projet visant à essayer d'améliorer le traitement du cancer à l'aide d'outils de diagnostic plus précoces et mieux ciblés. Résultats.
  • Proteins@home : Projet visant à déterminer toutes les séquences en acides aminés des protéines afin de permettre de fabriquer de nouveaux médicaments
  • protéome humain - Phase 1 : Projet visant à déterminer la forme des protéines dans le but d'identifier leur fonction. Résultats.
  • Human Proteome Folding Phase 2 : Le projet Repliement du protéome humain - Phase 2 (HPF2) reprend au point où s'était arrêtée la première phase
  • Lutte Contre la Dystrophie Musculaire - Phase 2 : étude des interactions entre plus de 2200 protéines dont les structures sont connues, avec un accent mis sur les protéines qui ont un rôle dans les maladies neuromusculaires. Décrypthon et Site Decrypthon.
  • Discovering Dengue Drugs – Together Phase 2: La mission du projet est d'identifier les médicaments prometteurs dans le combat contre les virus du Nil occidental, de la dengue, de l'hépatite C, et de la fièvre jaune.
  • Help Conquer Cancer : La mission du projet Aider à vaincre le cancer est d'améliorer les résultats de la cristallographie aux rayons X des protéines, qui aide les chercheurs non seulement à annoter les parties inconnues du protéome humain, mais surtout leur permet de comprendre la naissance, la progression et le traitement du cancer. Site.
  • Help Fight Childhood Cancer : Projet qui consiste à trouver des médicaments qui peuvent neutraliser 3 protéines spécifiques associées au neuroblastome, une des tumeurs solides les plus fréquentes chez l'enfant. Site.
  • Say No to Schistosoma : La mission du projet Dire non à la Schistosomiase est d'identifier les médicaments potentiels qui pourraient être développés dans la lutte contre les schistosomes. AF
  • FightAIDS@Home : Simuler l'amarrage de substances actives sur un site précis du virus du sida, modélisé en 3 dimensions, afin de déterminer les meilleurs candidats à l'élaboration d'un traitement ou vaccin.
  • Computing for Sustainable Water : Déterminer une politique environnementale adéquate à la préservation de la qualité de l'eau dans la baie de Chesapeake par le biais de simulation d’activités humaines et naturelles sur l'eau.
  • GO Fight Against Malaria : Simuler des interactions entre des composants chimiques ou des protéines cibles avec le virus de la malaria afin de déterminer les meilleurs remèdes possibles pour éradiquer le paludisme.
  • Drug Search for Leishmaniasis : Sélectionner les meilleurs composés moléculaires ou protéines cibles pour concevoir un remède combattant ce parasite protozoaire, par le biais de simulation numérique.
  • Computing for Clean Water : Développer des filtres meilleurs marchés et plus efficaces afin de garantir la potabilité de l'eau en simulant au niveau moléculaire l'écoulement de l'eau. Proposer une solution au dessalement de l'eau.
  • Influenza Antiviral Drug Search : Face aux résistances développés par le virus de la grippe, il s'agit de trouver de nouveaux médicaments pour enrayer sa propagation.
  • Nutritious Rice for the World : Déterminer la structure des protéines de différentes variété de riz afin d'optimiser sa résistance aux maladies et améliorer le rendement des récoltes en fonction des contraintes naturelles du milieu ambiant.
  • AfricanClimate@Home : Élaboration de modèles climatiques pour des régions africaines afin de mieux prédire leurs évolutions et déterminer l'utilité de certains projets (préservation naturelle, construction d'infrastructure par anticipation pour répondre au besoin des populations).

Climatologie[modifier | modifier le code]

Mathématiques et informatique[modifier | modifier le code]

Physique[modifier | modifier le code]

Références[modifier | modifier le code]

  1. http://www.boinc-af.org/content/view/830/278/
  2. « http://www.boinc-af.org/content/view/149/278/ » (ArchiveWikiwixArchive.isGoogleQue faire ?)
  3. http://fr.boincstats.com/stats/project_graph.php?pr=xtrem

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Liens externes[modifier | modifier le code]