Liste des projets BOINC

De testwiki
Aller à la navigation Aller à la recherche

Modèle:Style non encyclopédique Modèle:Sources secondaires

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 évolue au fil du 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 (principe du calcul distribué). L'écosystème de ces projets est riche et varié. Ce type de projet devient prépondérant lorsque la puissance de calcul requise s’accroît 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

Le parc informatique régi par le logiciel BOINC développe une vitesse moyenne de calcul de 33,82 pétaFLOPS en Modèle:Date-, grâce au regroupement de plus de Modèle:Nb considérés comme « actifs ». Le terme « actif » signifie que l'ordinateur client a, au cours du mois écoulé, retourné au moins un résultat valide au serveur d'un des projets gérés par BOINC.

Pour comparaison, le supercalculateur le plus rapide du monde au Modèle:Date-, nommé Fugaku, atteint la vitesse de Modèle:Nobr. En assimilant BOINC à un supercalculateur, la vitesse cumulée de ses projets le hisse au Modèle:8e dans le classement du TOP500 des superordinateurs en date de novembre 2020Modèle:Référence nécessaire.

Rangs d'activité des projets

Les dix projets les plus actifs au Modèle:Date-
Projets Répartition Vitesse de calcul

(%)

Répartition utilisateurs actifs

(%)

Répartition ordinateurs actifs

(%)

Répartition équipes actives

(%)

Répartition crédits journaliers accordés

(%)

Modèle:Lang Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Einstein@home Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Modèle:Lang Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
SETI@home Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
GPUGRID Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Modèle:Lang Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Moo! Wrapper Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Modèle:Lang Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Modèle:Lang Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Modèle:Lang Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr Modèle:Nobr
Total Projets Vitesse de calcul (PétaFlops) Nombre Utilisateurs actifs Nombre ordinateurs actifs Nombre équipes actives Crédits journaliers accordés
... Modèle:Nobr 235 320 627 689 24 794 Modèle:Unité

Données calculées à partir des sites des différents projets et des sites de statistiques associés : BOINC Stats[1] et Modèle:Lang[2].

Précisions

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.

Depuis l'entrée en vigueur du règlement général sur la protection des données (RGPD), il devient de plus en plus difficile d'obtenir des données exploitables, cohérentes, de la part des différents sites de statistiques. Les projets BOINC suppriment Modèle:Incise l'exportation des données personnelles des participants lorsque ceux-ci ont opté pour la non-divulgation. De ce fait, les données exportées ne représentent plus qu'une fraction de l'activité du projet, ce qui entraîne des biais d'analyse sur l'activité réelle de ces sites. Une solution à cet écueil serait l'anonymisation des données individuelles par les projets (procédé qui a déjà été expérimenté dans la mise en place des Données ouvertes). Le non profilage des participants serait assuré et l'étude de l'activité des sites serait facilitéeModèle:Référence nécessaire.

Importance et proportion des moyens alloués

Nombre d'utilisateurs et d'ordinateurs actifs

{{ #invoke:Diagramme | histogramme | hauteur = 270 | largeur = 270 | groupe 1 =268368:235320 | groupe 2 =961158:627689 | couleurs = Fuchsia : Lime | légendes =8/12/16:16/12/19 | noms = utilisateurs actifs : ordinateurs actifs }}

Données retravaillées à partir des sites des différents projets et du site de statistiques BOINC Stats[3]. La mention « actif » est réservée aux utilisateurs ou ordinateurs ayant obtenu des crédits au cours des Modèle:Nobr jours.

Une baisse sensible de volontaires est constatée entre 2016 et 2019, mais qu'il convient de relativiser. D'une part, le règlement général sur la protection des données (RGPD) peut expliquer depuis sa mise en place une diminution des restitutions dans les sites de statistiques. D'autre part, la diminution du nombre de projets en cours peut provoquer un biais de calcul car un même ordinateur peut être actif pour plusieurs projets et donc être repris plusieurs fois dans la totalisation finale des ordinateurs actifs. Si le nombre de projets en cours diminue, la totalisation des ordinateurs actifs peut éventuellement diminuer sans que le nombre d'ordinateurs réellement actifs n'ait varié.

Diversité des configurations client

Diversité des configurations client
Répartition par marque

de microprocesseurs

Répartition par système

d'exploitation

{{#invoke:Diagramme | camembert

rayon=100 secteurs=
(85.98 : Intel  : gold : Intel)
(9.98 : AMD : cyan : AMD)
(4.01 : Autres : MediumPurple : Autres processeurs)
unité=_%

}}

{{#invoke:Diagramme | camembert

rayon=100 secteurs=
(61.8 : Windows : LightSalmon : Windows)
(31.13 : Linux : LightSteelBlue : Linux)
(7.07 : Autres : MediumPurple : Autres systèmes d'exploitation) 
unité=_%

}}

Les données sont issues du site de statistiques BOINC Stats[4]

La grande variété de configurations matérielles et logicielles des clients employés révèle la grande adaptabilité et portabilité du logiciel BOINC dans le parc informatique actuel.

Constat

En Modèle:Date-, Modèle:Nobr actifs tournent avec le logiciel BOINC alors que Modèle:Nobr précédents sont terminés ou interrompus[5].

Projets en cours

Liste complète

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

Modèle:Avancement
Modèle:Avancement
Modèle:Avancement
Modèle:Avancement
Modèle:Avancement
Modèle:Avancement
Modèle:Avancement
Modèle:Avancement
Modèle:Avancement

Applications multiples

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[6] ouvert au public. Académie chinoise des sciences (CAS),

Beijing,

Chine

Site[7]

Site[8]

Site[9]

Modèle:Lang Supporte Modèle:Nombre :
  • Modèle:Lang : Résolution d'un problème mathématique [[Problème NP-complet|Modèle:Lang]]
  • Modèle:Lang : Trier les tweets se rapportant au climat et analyser les opinions s'y rapportant
  • Modèle:Lang : Analyse et recueil de données à partir de caméra disséminées dans la nature
  • Modèle:Lang : 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),

Modèle:Lang,

Dakota du Nord,

États-Unis

Site[10]
Ibercivis Plateforme gérée par l'Institut de bio-informatique et de Physique des Systèmes Complexes (BIFI, Modèle:Lang) de l'université de Saragosse. Centres de recherche et universités espagnols,

Université de Saragosse Espagne

Site[11]
nanoHUB@home Financé par la Fondation nationale pour la science, ce projet a pour but de promouvoir l'innovation dans les Nanotechnologies en fournissant plus de Modèle:Nobr informatiques, permettant des simulations à très petite échelle, dans des domaines aussi variés que la Nanoélectronique, les Nanomatériaux, les nanosystèmes électromécaniques, la Nanofluidique, la Nanomédecine, la Nanobiotechnologie, la Nanophotonique. Université Purdue, Comté de Tippecanoe, États-Unis Site[12]

Site[13]

Modèle:Lang
  • Étude de la cryptographie visuelle dynamique chaotique et des techniques de dissimulation d'images basées sur l'effet Moiré des interférences.
  • Résoudre le problème d'optimisation de maillage de pieux destinés à soutenir un bâtiment ayant des fondations grillagées. En d'autre termes , calculer le nombre minimal de pieux et leur positionnement afin que l'effort sur chacun de ces pieux ne dépassent une valeur critique , pondérée par un coefficient de sécurité. C'est un algorithme de recuit simulé qui a été le plus efficace pour dessiner le meilleur schéma de mise en place.

Le projet est momentanément interrompu pour se mettre en conformité avec le RGPD voté par le Parlement européen.

Université technique de Vilnius Gediminas (VGTU),

Vilnius,

Lituanie

Site[14]
Modèle:Lang La mission de ce projet est de mutualiser la puissance de calcul inutilisée de tous les périphériques informatiques individuels (PC, smartphone, consoleModèle:Etc.) et de créer la plus vaste grille de calcul scientifique au service de l'humanité.

Modèle:Bloc emphase

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

Modèle:Lang Site[15]
YAFU Diverses missions :
  • détecter les bugs du serveur Boinc
  • factoriser des nombres, comportant jusqu'à Modèle:Nobr significatifs en Modèle:Nobr, nécessaires à l’obtention d'une suite Aliquote de dimension au moins égale à 140. Les séquences à traiter sont réservées sur le forum mersenneforum.org, afin d'éviter des doublons de calculs chronophages inutiles
  • tester les dernières versions de YAFU
Privé Site[16]
Yoyo@home Privé Site[17]

Sciences Physiques

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

Asteroïds@home Détermination numérique 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 (l'Observatoire Lowell, le satellite Gaia…). Université Charles de Prague,

Prague,

République tchèque

Site[18]
Albert@Home Fournir un environnement de test aux applications du projet Einstein@home (Détection d'ondes gravitationnelles provenant de pulsars à partir des données recueillies par le LIGO). Université du Wisconsin,

Milwaukee,

Wisconsin,

États-Unis

Site[19]
Modèle:Lang É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 « Modèle:Lang », Λ 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[20]
Einstein@Home Détection de pulsars à l'intérieur de systèmes binaires de période de rotation supérieure à Modèle:Nobr au moyen d'interféromètres laser du LIGO (Modèle:Lang, 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 Modèle:Lang (NSF), la société Max Planck (MPG), l'Université du Wisconsin à Milwaukee et le [[Institut Max-Planck de physique gravitationnelle|Modèle:Lang]],

États-Unis

Site[21]
LHC@Home Regroupe plusieurs projets : CERN,

Meyrin,

Suisse,

Union européenne

Site[22]
LHCathome-dev Fournir un environnement de test aux applications du projet LHC@home. CERN,

Meyrin,

Suisse,

Union européenne

Site[23]
Milkyway@home Exploiter les données recueillies par le télescope optique Modèle:Lang (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.

Simuler en trois dimensions 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 Modèle:Lang (NSF).

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

[[Institut polytechnique Rensselaer|Modèle:Lang]]

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

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

Site[26]

Site[27]

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[28]
Universe@Home Sous la houlette du professeur polonais Krzysztof Belczyński qui a développé le code du logiciel Modèle:Lang (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, supernovaModèle:Etc.).

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

Trois 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 Modèle:Date 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 [[Supernova thermonucléaire|Modèle: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.

Une nouvelle étude a été lancée sur l'évolution dans le temps, du spin ou moment cinétique des trous noirs évoluant dans des systèmes binaires. Différents modèles théoriques sont comparés afin de vérifier leur validité.

Université de Varsovie,

Varsovie,

Pologne

Site[29]

Biologie et médecine

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 : Modèle:Unité 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, potassiumModèle: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[30]
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[31]
QuChemPedIA

@home
Deux objectifs sont visés :
  • constituer une grande plateforme ouverte de collaboration qui permettra de résoudre et de stocker les résultats de chimie moléculaire quantique . Ceci permettra une reproduction plus aisée des expériences et un contrôle de qualité accru ;
  • pouvoir utiliser une intelligence artificielle sur ces résultats afin de pouvoir accroitre la rapidité et la pertinence des solutions dans les espaces moléculaires, hautement combinatoires, avec plusieurs millions de molécules.

Les modèles de générateurs de molécules vont offrir un moyen de prédire leurs caractéristiques , d'évaluer leur coût de synthèse, et de naviguer dans un immense espace moléculaire. Des perspectives s'ouvrent dans le criblage de nouvelles molécules aux multiples applications potentielles (énergie, médecine, matériauModèle:Etc.). Le code d'invitation nécessaire pour participer est : 3VwMu3-eTCg32

université d'Angers, Angers, France 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[32]
Modèle:Lang 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[33] 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[34] est ensuite complétée.

Association sans but lucratif Rechen kraft.net e.V

Marbourg,

Hesse,

Allemagne

Site[35]
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.

En 2020, le projet collabore avec le projet non-BOINC Folding@home pour étudier le SARS-CoV-2Modèle:Référence nécessaire.

Une approche ludique pour résoudre ces problèmes de repliement de protéine est aussi possible avec le jeu vidéo Foldit.

Université de Washington

Washington

États-Unis

Site[36]

Site[37]

TN-Grid Recherche du réseau de gènes corrélés, impliqués dans deux types de maladies :

Il collabore avec le projet genome@home. Les données sont issues du projet FANTOM. Leurs précédentes recherches avaient été effectuées sur des organismes moins évolués tels que les bactéries Escherichia coli et Pseudomonas aeruginosa, ainsi que les plantes Arabidopsis thaliana et Vitis vinifera (résultat). Le code invitation est : science@tn

Conseil national de la recherche, Université de Trente,

Trente,

Italie

Site[38]

Mathématiques et Informatique

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

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 :

Modèle:Théorème

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 Modèle:Date, le temps de vol le plus long est n = 2 739 pour l'entier N = 2 382 737 577 286 912 000 000.

Privé Site[39]
Enigma

@Home
Projet de cryptanalyse de la machine Enigma. 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 trois messages codés, en Modèle:Date par la machine Enigma, composée de quatre rotors (le troisième message a été craqué le Modèle:Date (voir le message[40]) ; depuis le projet traite divers messages cryptés avec Enigma, mais composée de trois 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[41]
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[42]

Site[43]

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 Modèle:N° est l'existence ou non du mot généré dans un dictionnaire d'une ou plusieurs langues spécifiques (polonais, anglaisModèle:Etc.), celui de la version Modèle:N° est l’obtention d'un mot partiel sur au moins les six premiers caractères (exemple choisi : avoir au moins « CHRIST » pour « CHRISTMAS »), celui de la version Modèle:N° est l'existence ou non du passage d'un texte inclus dans les œuvres de Shakespeare.

Privé,

Pologne

Site[44]
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 défi 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. Par le passé, plusieurs méthodes de chiffrement ont été expertisées de la sorte :
* « RC5-56 challenge » : mise en place en Modèle:Date-, Modèle:Nobr de résistance ;
* « Modèle:Nobr romains challenge » : mise en place en Modèle:Date-, Modèle:Nobr de résistance ;
* « Modèle:Nobr romains challenge » : mise en place en Modèle:Date- ; Modèle:Nobr de résistance ;
* « CS-Cypher challenge clef Modèle:Nombre » : mise en place en Modèle:Date-, Modèle:Nobr de résistance ;
* « RC5-64 challenge » : mise en place en Modèle:Date-, Modèle:Nobr de résistance.

La compétition actuelle est « RC5-72 », mise en place par les laboratoires RSA depuis le mois de Modèle:Date-. L'algorithme audité est RSA avec une clef de Modèle:Nobr. L'espace des clefs possibles est Modèle:Nobr plus grand que celui du défi « RC5-64 » (Modèle:Nobr, Modèle:Nobr).

Privé Site[45]

Site[46]

NFS

@home

Divers algorithmes de factorisation sont mis en œuvre. Le plus usité actuellement est GNFS. L'American Mathematical Society a fait paraître en Modèle:Date-, la Modèle:3e des résultats obtenus[47].

Université d'État de Californie à Fullerton, Californie, États-Unis Site[48]
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 Modèle:Nobr égal à 10 : P=i=0n(ai*Xi), avec ai, 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[49].

Son travail s'est inspiré des recherches précédentes, menées respectivement par J. Martinet (Modèle:Lang) et J. Hunter (Modèle:Lang), publiées par l'[[American Mathematical Society|Modèle:Lang]]. Sa dissertation[50] (thèse) de Modèle:Nobr en anglais, explique en détail la méthodologie employée. Sa compréhension requiert la connaissance entre autres 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'Modèle:Nobr 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)
École de mathé-
matiques,

Université d’État de l'Arizona,

Phoenix,

Arizona,

États-Unis

Site[51]
ODLK Recherche autour des carrés latins de Modèle:Nobr (Modèle:Nobr × Modèle:Nobr). Le projet est gérée par Natalia Makarova, mathématicienne russe. À la suite d'une faiblesse du serveur informatique et d'un manque de compétence dans la maintenance de ce projet, elle a été conduite à créer un deuxième projet ODLK1 et à s'associer avec le projet Modèle:Lang. Elle est à la recherche d'un appui financier ou de parrainage universitaire pour pouvoir mener correctement son projet. Privé
Russie
Site
ODLK1 Recherche autour des carrés latins de Modèle:Nobr (Modèle:Nobr × Modèle:Nobr). Il s'agit de générer des carrés latins diagonaux et d'établir leur degré de pseudo-associativité. Un carré latin est diagonal lorsque chacune de ses diagonales constitutives est remplies par la totalité des éléments présents dans le carré, sans qu'il y ait une répétition ou une omission de ceux-ci. Le degré d'associativité est calculée en fonction du nombre de cellules du carré qui respectent cette propriété : « l'addition de deux cellules du carré, symétriquement opposées au centre du carré est constante ». Le projet est gérée par Natalia Makarova, mathématicienne russe. Privé
Russie
Italie
Site
Prima

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

Manindra Agrawal, Neeraj Kayal et Nitin Saxenaun, trois mathématiciens indiens ont élaboré un algorithme déterministe, inconditionnel en temps polynomial pour tester la primalité d'un Modèle:Nobr, nommé AKS. Ils ont repris une généralisation du petit théorème de Fermat : Soient a et n, n2 tels que an=1. n est premier si et seulement si,(X+a)nXn+a(modn)

Voici le pseudo-code associé :

Modèle:Démonstration

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 n<1010.

Roman Popovych propose une variante de la conjecture initiale qui éliminerait cet aléa en proposant : Modèle:Théorème Cette nouvelle conjecture modifiée doit être vérifiée.

Université de sciences appliquées, Wiesbaden,

Allemagne

Site[52]
Modèle:Lang 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 : Modèle:Démonstration

Privé Site[53]
RakeSearch Projet qui étudie l'existence et la propriété d' orthogonalité des carrés latins diagonaux de Modèle:Nobr (carrés composés de Modèle:Nobr et Modèle:Nobr) au travers des permutations des lignes qui les constituent. Un carré latin est diagonal, si ses diagonales ne comportent qu'une seule fois chaque élément présent en leur sein, à l'instar de ses lignes et de ses colonnes. Centre de recherche carélien de l'Académie des sciences de Russie, [Petrozavodsk], Russie 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 [[:en:Trivium (cipher)|Modèle:LangModèle:En]], c'est-à-dire le Bivium Cipher, à travers deux 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). Modèle:Démonstration

Institut des problèmes de transmission d'informations,

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

Moscou,

Russie

Site[54]
SRBase Projet de recherche sur la théorie des nombres qui dresse l'inventaire des nombres de Sierpinski et des nombres de Riesel de Modèle:Nobr, sur une plage calculatoire définie où la Modèle:Nobr varie de Modèle:Nombre. L'objectif est de prouver certaines conjectures non résolues.

Modèle:Bloc emphase

Pour chaque Modèle:Nobr donnée, il faut trouver, par exemple, le plus petit Modèle:Nobr tel que les nombres (Sierpinski et Riesel) générés soient composés pour tous les Modèle:Nobr.

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 Modèle:Lang qui est plus axé sur la Modèle:Nobr, 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[55], en anglais.

Privé Site[56]
T.Brada

Experimental

Grid
  • Mettre au point une application Boinc qui interprète le langage Lua afin de pouvoir modifier plus facilement à l'aide de script, l'environnement de travail du projet (compiler l'algorithme principal en langage C, créer les exécutables, en fonction du type d'unités de travail à exécuter), voire piloter la forme des calculs avec un Langage de programmation de haut niveau
  • Étude et recherche des N-uplets symétriques de nombres premiers consécutifs. C'est-à-dire rechercher les suites de nombres premiers consécutifs dont l'écart ente deux des termes de cette suite est symétrique par rapport à la longueur de la suite. Exemple : le 8-uplet symétrique de nombres premiers consécutifs (17, 19, 23, 29, 31, 37, 51, 53) qui peut se décomposer en (17 + 0, 17 + 2, 17 + 6, 17 + 12, 17 + 14, 17 + 20, 17 + 24, 17 + 26). En additionnant la différence avec le nombre premier initial pour chacun des ième termes à partir de chaque extrémité de la suite, nous obtenons toujours 0 + 26 = 2 + 24 = 6 + 20 = 12 + 14 = 26
  • Étude des carrés latins diagonaux pseudo-associatifs de Modèle:Nobr (Modèle:Nobr × Modèle:Nobr). Un carré latin est dit associatif lorsque l'addition, deux à deux, de chacune de ses cases constitutives, symétriques par rapport au centre du carré, donne un nombre constant.
Privé Slovaquie 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 2p+1,avec p.

Le but est de trouver les facteurs qui les composent, s'ils existent ou de déterminer leur primalité. L'algorithme employé se nomme WEP (Wanless Extended Proth), protégé par Modèle:Lang. 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 Modèle:Date, c'est P2203 = 22203+1 qui est en cours de traitement. Le seul diviseur premier à Modèle:Nobr découvert à ce jour est 208 613 913 329.

Privé,

Londres,

Angleterre,

Royaume-Uni

Site[57]
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. Modèle:Démonstration. Ce projet, lancé par un membre actif de l'alliance francophone dont le pseudonyme est « Sebastien », nécessite peu de ressources en calcul.

Privé,

France

Site[58]

Réseau de capteurs

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

Modèle:Lang Ce projet de recherche poursuit plusieurs buts complémentaires :

Le projet permet le téléchargement de deux 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.

D'autres instituts sismologiques à travers le monde hébergent des serveurs QCN afin de faciliter le déploiement de capteurs à l'échelle régionale:

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

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

Site[61]

Site[62].

Radioactive

@Home
Ce projet expérimental a été conçu pour répondre aux préoccupations écologiques et sanitaires des populations, à la suite de 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 un 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[63]

Sciences cognitives et Intelligence Artificielle

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, évolutionModèle: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 Modèle:Lang[64], 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). Modèle:Démonstration

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

Université de Dayton ,

Dayton,

Ohio,

Université d'État Wright,

Fairborn,

Ohio,

États-Unis

Site[65]

Sciences de la Terre

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 Modèle:Date.

Trois 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, souffreModèle:Etc.), les éruptions volcaniques, l'ozone, la circulation atmosphérique, la circulation des courants marinsModèle: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écipitationsModèle:Etc.) ainsi que la prépondérance des paramètres extérieurs déterminants (soleil, gaz à effet de serre, éruptionsModèle:Etc.) sont déterminées. Ce traitement est long (Modèle:Nombre 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. Modèle:Démonstration

Université d'Oxford,

Londres, Angleterre,

Royaume-Uni

Site[66]

Finance

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

... ... ... ...

Divers

Nom du projet Description du projet Partenaire

Localisation

Adresses

sources

BURP C'est l'acronyme de Modèle:Lang.

Ce projet de calcul distribué propose de partager le calcul de rendu d'objets ou d'animations 3D, réalisés avec le logiciel de 3D, libre et gratuit, Modèle:Lang. Il est en phase d'alpha-test public.

Le calcul du rendu d'une image 3D s'effectue, à l'aide du moteur de rendu 3D (nommé Cycles) et dépend de divers paramètres quantitatifs et qualitatifs : le nombre de facettes ou polygones qui composent les éléments présents dans la scène 3D, la nature des matériaux, leur texture appliquée, leur(s) couleur(s), leur indice de réfraction, la radiosité, le positionnement et les caractéristiques des sources de lumière (soleil, spot, écran réflecteurModèle:Etc.). Chaque rayon lumineux de la scène est simulé, suivant une profondeur de calcul déterminée par l'infographiste 3D (choix possible entre illumination globale ou locale). Le nombre choisi de fois qu'un même rayon lumineux traverse un matériau, se réfléchit, ou se réfracte, va déterminer un rendu visuel, qui se rapprochera de l'intention finale de l'infographiste : rendu photoréaliste ou atmosphère artistique soignée. Ce calcul numérique de rendu d'images et (ou) d'animations, chronophage et mobilisateur en ressources informatiques est donc distribué aux internautes volontaires. Cela aide avantageusement l'infographiste, qui ne dispose pas nécessairement d'une configuration matérielle puissante.

? Site[67]
Précision

Le descriptif des projets a été réalisé en prenant en compte les informations contenues à l'intérieur de chaque site, consacré à 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

Modèle:Pertinence section 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

Réglages ultimes pour une configuration matérielle limitée

Afin de fluidifier le comportement et la réactivité du périphérique en fonctionnement, trois options peuvent être suivies :

  1. installer BOINC en tant que service (stabilité accrue mais performance moindre car non utilisation de la carte graphique) ;
  2. paramétrer dans l'interface web du projet choisi, le partage des ressources logicielles (en pourcents) entre les divers projets éventuels et dans l'interface graphique du client BOINC, le pourcentage maximal de temps de calcul du processeur à ne pas dépasser ;
  3. limiter le nombre d'unités de travail simultanées pour un même projet en plaçant dans le dossier du projet, un fichier de type ASCII, nommé app_config.xml (et surtout pas un fichier texte se terminant en *.txt), crée avec l'éditeur de texte, Notepad par exemple, dans le cas de Windows et qui contient le code suivant :

Modèle:Bloc emphaseN doit être remplacé par le nombre de cœurs logiques maximal à utiliser simultanément (Commencer par 1 et augmenter jusqu'à la limite de réactivité jugée acceptable). Attention, la prise en compte de ce fichier ne s'effectue qu'au démarrage du client BOINC ou parfois à la conclusion de l'unité de travail en cours.

D'autres possibilités d'ajustement du client BOINC, en fonction de vos besoins propres, sont accessibles dans le wiki[68] consacré à la configuration du client de BOINC.

Réglages utiles pour une gestion simultanée de plusieurs projets

Outre les ajustements spécifiques à fixer sur chaque projet BOINC calculé, dans leur répertoire spécifique, il est possible de définir le comportement global du client BOINC, en modifiant la valeur de certains paramètres dans le fichier cc_config.xml, placé dans le répertoire de données BOINC (voir emplacement ci-dessus, suivant le système d'exploitation utilisé).

  • Le nombre total P maximal de processeurs logiques que le client BOINC doit utiliser, globalement, peut-être modifié. Il suffit de changer le paramètre <ncpus>

Modèle:Bloc emphase Par défaut, P = -1 (tous les processeurs logiques sont utilisés). La valeur choisie doit être inférieure ou égale au nombre de processeurs logiques, présents sur la machine concernée.

  • L'ordonnanceur BOINC du serveur peine parfois à répartir les unités de travail des différents projets au vu des arbitrages locaux réalisés par chaque contributeur sur le partage des ressources (temps de calcul machine réparti et nombre de processeurs alloués) pour chaque projets. Il se base sur la quantité de travail validée pour chaque projet, pour déterminer la priorité d'attribution des unités de travail, sans tenir compte des contraintes locales spécifiés par le contributeur. Afin de contourner cette restriction, c'est-à-dire que tous les projets reçoivent des unités de travail, le paramètre <fetch_on_update> peut-être changé.

Modèle:Bloc emphase Par défaut, il est à 0.Seuls les projets à haute priorité reçoivent des unités de travail. En le modifiant à 1, lors de la mise à jour du projet dans l'interface graphique du client, manuelle ou automatique, tous les projets récupèrent au moins une unité de travail à exécuter.

Informations complémentaires

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

Liste complète

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

Bitcoin Utopia Modèle:Date 2 711 7 212 344 29 787 234 880 010
Modèle:Lang Modèle:Date 17 995 41 934 922 299 643 152 856 [69]
POEM@HOME Modèle:Date 58 098 1 400 502 1838 145 537 779 071
DNETC@Home[70] Modèle:Date 5 159 19 398 571 63 844 297 766
AndrOINC Modèle:Date 4 594 13 735 519 52 254 800 694
theSkyNet POGS Modèle:Date 65 750 362 665 913 19 995 538 094
AQUA@home[71] Modèle:Date 37 556 66 618 1 165 18 991 966 420 [72]
SIMAP Modèle:Date 82 856 1 107 344 2 508 5 875 967 143 [73]
malariacontrol.net Modèle:Date 205 917 782 807 2479 5 726 487 698
Docking@Home[74] Modèle:Date 36 034 186 541 1 160 5 429 614 319 [75]
QMC@Home[76] Modèle:Date 49 838 130 406 2 188 5 159 013 401 [77]
ABC@home Modèle:Date 79 634 146 940 1 852 4 452 011 741
HAL@Home[78] Modèle:Date 18 006 63 454 798 3 680 101 687
Spinhenge@home Modèle:Date 58 706 152 959 2 139 2 415 857 943 [79]
Modèle:Lang Modèle:Date 25 221 86 791 1 415 1 615 370 351
Modèle:Lang[80] Modèle:Date 120 478 136 613 1 199 1 431 088 567
Find@home[81]Modèle:,[82] Modèle:Date 53 620 78 016 627 1 341 380 662
Modèle:Lang Modèle:Date 40 731 117 201 1 704 1 015 167 814
Modèle:Lang Modèle:Date 2 955 16 082 415 939 709 000
Constellation[83] Modèle:Date 15 157 80 685 695 880 024 679 [84]
eOn Modèle:Date 12 547 2 926 773 686 760 401 055 [85]
sudoku@vtaiwan[86] Modèle:Date 4 380 13 546 275 732 428 097 [87]
ATLAS@Home Modèle:Date 13 122 18 700 514 729 051 581
Predictor@Home[88] Modèle:Date 58 801 146 392 3 357 486 284 859 [89]
EDGeS@Home[90] Modèle:Date 11 486 32 308 684 460 475 703 [91]
Modèle:Lang Modèle:Date 22 238 49 610 1 250 453 193 286
[[Nombre de croisements (théorie des graphes)|Modèle:Lang]]. Modèle:Date 18 230 48 323 1 055 443 461 808 [92]
RieselSieve[93]Modèle:,[94] Modèle:Date 8 520 31 043 701 442 198 207 [95]
TANPAKU[96] Modèle:Date 16 744 42 752 1 017 366 229 101 [97]
Mersenne@home Modèle:Date 2 159 7 039 299 359 352 401 [98]
[[SHA-1|Modèle:Lang]] Modèle:Date 16 403 34 387 787 301 144 737 [99]
OProject[100] Modèle:Date 3 978 17 621 336 238 151 872 [101]
Modèle:Lang Modèle:Date 25 514 61 056 1 421 228 540 422 [102]
Modèle:Lang Modèle:Date 5 403 15 279 493 222 639 275 [103]
QuantumFIRE alpha Modèle:Date 1 694 5 699 259 216 270 470
Modèle:Lang Modèle:Date 2 081 10 027 287 201 427 958 [104]Modèle:,[105]
Superlink@Technion Modèle:Date 16 357 56 702 935 174 136 976 [106]
SubsetSum@Home[107] Modèle:Date 1 229 4 497 201 165 659 707
Modèle:Lang[108] Modèle:Date 5 462 14 353 373 141 977 636 [109]
Rioja Science[110]Modèle:,[111] Modèle:Date 1 982 6 992 186 126 896 045 [112]
Modèle:Lang Modèle:Date 4 426 10 429 487 122 818 897
3x+1@home Modèle:Date 1 618 5 357 239 112 349 746 [113]
123numbers Modèle:Date 756 2 801 147 106 356 705
Renderfarm.fi Modèle:Date 4 201 8 593 253 101 054 651 [114]
Modèle:Lang Modèle:Date 2 682 7 528 203 100 792 459
Modèle:Lang Modèle:Date 2 814 8 816 284 100 403 280
proteins@home[115] Modèle:Date 14 300 30 366 842 97 883 762 [116]
Modèle:Lang[117]Modèle:,[118] Modèle:Date 5 673 10 073 542 93 428 923
Modèle:Lang Modèle:Date 684 2 925 66 90 084 017
DNA@Home[119] Modèle:Date 1 557 5 515 288 81 365 026 [120]
Ramsey Modèle:Date 1 210 2 776 166 77 469 634
Modèle:Lang[121] Modèle:Date 2 019 9 992 352 71 538 435
RSA Lattice Siever Modèle:Date 1 440 5 688 248 71 121 431
Volpex@UH Modèle:Date 1 746 6 688 252 65 282 403
nanosurf Modèle:Date 323 1 575 77 58 519 120
orbit@home[122]Modèle:,[123] Modèle:Date 8 294 15 016 625 58 030 845 [124]
Modèle:Lang Modèle:Date 2 001 5 831 279 55 187 619 [87]
Nano-Hive@Home[125]. Modèle:Date 3 165 7 125 454 42 982 045 [126]
Modèle:Lang Modèle:Date 688 2 280 109 34 688 789
vtu@home Modèle:Date 3 464 9 885 439 33 956 181 [127]
Modèle:Lang Modèle:Date 7 501 28 559 688 32 659 665 [128]
XtremLab Modèle:Date 3 349 12 083 497 32 048 934 [129]
Modèle:Lang Modèle:Date 1 840 5 243 269 31 279 289 [130]
Beal@Home Modèle:Date 363 1 043 97 28 582 250
SLinCA@Home Modèle:Date 2 209 2 317 133 24 564 672
Modèle:Lang[131] Modèle:Date 1 874 5 753 296 22 551 648
TSP Modèle:Date 1 386 3 949 251 22 166 822 [132]
Modèle:Lang Modèle:Date 593 1 503 101 19 585 487 [133]
Cels@Home Modèle:Date 1 637 4 877 275 19 257 730
iGEM@home Modèle:Date 474 1 367 94 17 552 266
Neurona@Home Modèle:Date 344 1 965 67 17 179 656 [134]
BOINC@Fiit Modèle:Date 139 321 36 13 482 653
AlmereGrid Test[135] Modèle:Date 657 2 172 148 12 183 899
Modèle:Lang[136] Modèle:Date 1 061 3 932 254 12 115 123
Surveill@Home Modèle:Date 362 3 820 101 10 092 903 [137]
DynaPing Modèle:Date 163 1 922 45 9 863 853
Anansi Modèle:Date 438 1 638 82 9 137 593
Modèle:Lang[138] Modèle:Date 321 681 83 8 922 794
Modèle:Lang Modèle:Date 441 1 425 125 8 282 230 [139]
Modèle:Lang Modèle:Date 585 2 364 117 7 967 694
SimOne@home Modèle:Date 386 1 139 89 7 297 045 [140]
Modèle:Lang[141] Modèle:Date 1 045 3 418 193 7 266 026 [142]Modèle:,[143]Modèle:,[144]
Modèle:Lang[145] Modèle:Date 3 098 8 940 445 5 907 921 [146]Modèle:,[147]
Modèle:Lang Modèle:Date 1 519 3 936 280 5 844 629 [148]
Modèle:Lang Modèle:Date 144 389 43 5 450 017
Reversi Modèle:Date 550 1 235 118 4 839 594 [149]
Neuron Modèle:Date 553 2 722 158 4 743 617 [150]
TMRL DRTG Modèle:Date 932 2 357 222 4 503 676
Pirates@Home Modèle:Date 4 818 28 033 705 4 001 740
Modèle:Lang Modèle:Date 2 359 4 657 176 3 976 776 [151]Modèle:,[152]
DepSpid Modèle:Date 1 501 6 475 258 3 585 081 [153]
PicEvolvr Modèle:Date 356 694 98 3 466 400
APS@Home Modèle:Date 1 114 2 826 206 3 187 744 [154]Modèle:,[155]
Modèle:Lang. Modèle:Date 278 1 161 86 2 545 477 [156]
ABC Lattices @ Home Modèle:Date 187 418 42 1 961 089
pPot Tables Modèle:Date 339 834 90 1 728 580
ABC@home beta Modèle:Date 1 022 2 664 214 1 618 866
Modèle:Lang Modèle:Date 123 242 40 1 614 655
BOINC alpha test[157] Modèle:Date 631 2 643 173 1 490 195
Evo@home Modèle:Date 585 1 541 133 1 031 362 [158]Modèle:,[159]
Modèle:Lang Modèle:Date 277 621 81 999 109
Modèle:Lang Modèle:Date 449 1 402 104 612 490
Modèle:Lang Modèle:Date 307 1 181 72 572 095
Modèle:Lang Modèle:Date 82 175 39 532 487
LHC@home alpha Modèle:Date 80 469 30 481 319
Modèle:Lang Modèle:Date 622 1 489 169 376 735
Modèle:Lang[160] Modèle:Date 106 455 34 153 469 [161]Modèle:,[162]
Modèle:Lang Modèle:Date 105 221 38 83 368
BRaTS@Home Modèle:Date 115 492 45 79 406 [163]
Modèle:Lang Modèle:Date 27 48 11 62 659
Nagrzewanie stali @ HOME Modèle:Date 88 130 16 9 443
DG@Putra Modèle:Date 54 92 29 5 310
SciLINC Modèle:Date 150 217 35 2 048
Modèle:Lang Modèle:Date 314 840 99 507

Données issues du site de statistiques : Modèle:Lang[164]

Raisons possibles

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

Modèle:…

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

Applications multiples

  • Modèle:Lang : Ce projet est une des composantes du projet plus large qu'est l'IGDF[165] (Modèle:Lang) 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 Modèle:Nombre :

Modèle:Démonstration

Ce projet était géré par le laboratoire des systèmes distribués parallèles de l'Académie hongroise des sciences, situé à Budapest, en Hongrie[166]

Biologie

  1. Modèle:Lang : Projet 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.
  2. Modèle:Lang : 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.
  3. Modèle:Lang : Projet visant à déterminer toutes les séquences en acides aminés des protéines afin de permettre de fabriquer de nouveaux médicaments
  4. protéome humain - Modèle:Nobr : Projet visant à déterminer la forme des protéines dans le but d'identifier leur fonction. Résultats.
  5. Modèle:Lang Modèle:Nobr : Le projet Repliement du protéome humain - Modèle:Nobr (HPF2) reprend au point où s'était arrêtée la première phase
  6. Lutte Contre la Dystrophie Musculaire - Modèle:Nobr : étude des interactions entre plus de Modèle:Nombre 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.
  7. Modèle:Lang : 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.
  8. Modèle:Lang : 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.
  9. Modèle:Lang : Projet qui consiste à trouver des médicaments qui peuvent neutraliser trois protéines spécifiques associées au neuroblastome, une des tumeurs solides les plus fréquentes chez l'enfant. Site.
  10. Modèle:Lang : 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
  11. FightAIDS@Home - Modèle:Nobr : Simuler l'amarrage de substances actives sur un site précis du virus du sida, modélisé en trois dimensions, afin de déterminer les meilleurs candidats à l'élaboration d'un traitement ou vaccin.
  12. Modèle:Lang : 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.
  13. Modèle:Lang : 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.
  14. Modèle:Lang : 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.
  15. Modèle:Lang : Développer des filtres meilleur marché 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.
  16. Modèle:Lang : 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.
  17. Modèle:Lang : 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.
  18. Modèle:Lang : La mission du projet Énergie propre est de trouver de nouveaux matériaux pour la prochaine génération de cellules solaires, puis d'appareils de stockage d'énergie.
  19. Modèle:Lang : Le but est de trouver le composé le plus actif pour combattre le virus mortel EBOLA.
  20. Modèle:Lang : Le but est d'étudier les gènes d'êtres vivants présents dans la nature pour isoler leur(s) propriété(s) singulière(s). Le projet étudie toutes les séquences protéiniques présentes dans les formes de vie naturelles et inclut le séquençage du génome des arbovirus et des moustiques qui servent de vecteurs à leur propagation (pour contrer l'expansion du virus Zika, entre autres).
  21. OpenZika : L'infection à virus Zika, cause de microcéphalie chez les nouveau-nés, ou de paralysie et troubles neurologiques chez certains adultes, n'a pas de vaccin ou de traitement curatif, adapté. Ce projet recherche parmi les millions de composants actifs connus, ceux qui ont une efficacité optimale sur les protéines clefs du virus (présentes aussi lors de la maladie de la fièvre jaune ou d'épidémies de Dengue).

Le projet était géré à l'Université de Sherbrooke, au Québec.Site[171]Site[172]

  • 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

Modèle:Quand, 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 Modèle:Nombre) et de ses repliements.Le projet était géré par l'institut de Nanotechnologie (INT) à l'institut de technologie de Karlsruhe, situé à Bade Wurtemberg, en Allemagne.Site[173]Site[174]

Climatologie

  • Modèle:Lang : Projet en partenariat avec la BBC et Climateprediction.net. Résultat des expériences en anglais. Résumé en français.
  • Modèle:Lang : Projet visant à déterminer à quel point les événements climatiques extrêmes survenus ces dernières années en Grande-Bretagne, en Afrique du Sud, en Inde et dans le Nord Ouest des États-Unis sont imputables au réchauffement climatique. Site.
  • Modèle:Lang : É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).

Mathématiques et informatique

Modèle:Théorème Le théorème est prouvé (la [[:en:Van der Waerden's theorem|preuveModèle:En]] 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.Ce projet privé était géré par Daniel MonroeSite[180]

Sciences physiques

Finance

  • Modèle:Lang : 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 Modèle:Date. 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 ; deux méthodes de donations sont permises :
  1. Le minage de crypto-monnaie (Bitcoin, Litecoin, phoenixcoin, LeathercoinModèle: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 Modèle:Date 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 Modèle:Lang USB ASICs spécialisés dans le hachage sont utilisés, rendant l'utilisation des CPU et GPU caduqye car ceux-ci sont trop lents et énergivores pour cette tâche spécifique. Modèle:Démonstration Modèle:Souligner : Modèle:Style

  • Modèle:Lang : Simulations financières, analyse de données en bloc, consolidation des rapports humanitaires, analyse des performances des stock options, aide à la décision, assimilation des résultats liés aux pages web collaboratives. C'était un projet privé et à but lucratif[194].

Autres

  • Modèle:Lang : Projet ayant pour but de vérifier la qualité, fiabilité et véracité des informations provenant des projets BOINC. Modèle:Lien brisé.

Notes et références

Modèle:Références

Voir aussi

Articles connexes

Liens externes

Modèle:Portail

  1. Modèle:Lien web.
  2. Modèle:Lien web.
  3. Modèle:Lien web.
  4. Modèle:Lien web.
  5. Modèle:Lien web.
  6. Modèle:Lien web.
  7. Modèle:Lien web.
  8. Modèle:Lien web.
  9. Modèle:Lien web.
  10. Modèle:Lien web.
  11. Modèle:Lien web.
  12. Modèle:Lien web.
  13. Modèle:Lien web.
  14. Modèle:Lien web.
  15. Modèle:Lien web.
  16. Modèle:Lien web.
  17. Modèle:Lien web.
  18. Modèle:Lien web.
  19. Modèle:Lien web.
  20. Modèle:Lien web.
  21. Modèle:Lien web.
  22. Modèle:Lien web.
  23. Modèle:Lien web.
  24. Modèle:Lien web.
  25. Modèle:Lien web.
  26. Modèle:Lien web.
  27. Modèle:Lien web.
  28. Modèle:Lien web.
  29. Modèle:Lien web.
  30. Modèle:Lien web.
  31. Modèle:Lien web.
  32. Modèle:Lien web.
  33. Modèle:Lien web.
  34. Modèle:Lien web.
  35. Modèle:Lien web.
  36. Modèle:Lien web.
  37. Modèle:Lien web.
  38. Modèle:Lien web.
  39. Modèle:Lien web.
  40. Modèle:Lien web.
  41. Modèle:Lien web.
  42. Modèle:Lien web.
  43. Modèle:Lien web.
  44. Modèle:Lien web.
  45. Modèle:Lien web.
  46. Modèle:Lien web.
  47. Modèle:Lien web, extrait de Modèle:Ouvrage.
  48. Modèle:Lien web.
  49. Modèle:Lien web.
  50. Modèle:Lien web.
  51. Modèle:Lien web.
  52. Modèle:Lien web.
  53. Modèle:Lien web.
  54. Modèle:Lien web.
  55. Modèle:Lien web.
  56. Modèle:Lien web.
  57. Modèle:Lien web.
  58. Modèle:Lien web.
  59. Modèle:Lien web.
  60. Modèle:Lien web.
  61. Modèle:Lien web.
  62. Modèle:Lien web.
  63. Modèle:Lien web.
  64. Modèle:Lien web.
  65. Modèle:Lien web.
  66. Modèle:Lien web.
  67. Modèle:Lien web.
  68. Modèle:Lien web.
  69. Modèle:Lien web.
  70. Modèle:Lien web.
  71. Modèle:Lien
  72. Modèle:Lien web.
  73. Modèle:Lien web.
  74. Modèle:Lien
  75. Modèle:Lien web.
  76. Modèle:Lien
  77. Modèle:Lien web.
  78. Modèle:Lien web.
  79. Modèle:Lien web.
  80. Modèle:Lien.
  81. 81,0 et 81,1 Modèle:Lien web.
  82. 82,0 et 82,1 Modèle:Lien web.
  83. Modèle:Lien web.
  84. Modèle:Lien web.
  85. Modèle:Lien web.
  86. Modèle:Lien web.
  87. 87,0 et 87,1 Modèle:Lien web.
  88. Modèle:Lien
  89. Modèle:Lien web.
  90. Modèle:Lien web.
  91. Modèle:Lien web.
  92. Modèle:Lien web.
  93. Modèle:Lien
  94. Modèle:Lien web.
  95. Nombre de Riesel
  96. Modèle:Lien
  97. Modèle:Lien web.
  98. Nombre de Mersenne premier.
  99. Modèle:Lien web.
  100. Modèle:Lien.
  101. Modèle:Lien web.
  102. Modèle:Lien web.
  103. Modèle:Lien web.
  104. Modèle:Lien web.
  105. Modèle:Lien web.
  106. Modèle:Lien web.
  107. Modèle:Lien web.
  108. Modèle:Lien web.
  109. Modèle:Lien web.
  110. Modèle:Lien web.
  111. Modèle:Lien web.
  112. Modèle:Lien web.
  113. Modèle:Lien web.
  114. Ferme de rendu.
  115. Modèle:Lien.
  116. Modèle:Lien web.
  117. Modèle:Lien
  118. Modèle:Lien web.
  119. Modèle:Lien web.
  120. Modèle:Lien web.
  121. Modèle:Lien web.
  122. Modèle:Lien
  123. Modèle:Lien web.
  124. Modèle:Lien web.
  125. Modèle:Lien web.
  126. Modèle:Lien web.
  127. Modèle:Lien web.
  128. Modèle:Lien web.
  129. Modèle:Lien web.
  130. Modèle:Lien web.
  131. Modèle:Lien web.
  132. Modèle:Lien web.
  133. Modèle:Lien web.
  134. Modèle:Lien web.
  135. Modèle:Lien web.
  136. 136,0 et 136,1 Modèle:Lien web.
  137. Modèle:Lien web.
  138. Modèle:Lien web.
  139. Modèle:Lien web.
  140. Modèle:Lien web.
  141. Modèle:Lien web.
  142. Modèle:Lien web.
  143. Modèle:Lien web.
  144. Conjecture de Goldbach.
  145. Modèle:Lien web.
  146. Modèle:Lien web.
  147. Modèle:Lien web.
  148. Modèle:Lien web.
  149. Modèle:Lien web.
  150. Modèle:Lien web.
  151. Modèle:Lien web.
  152. Modèle:Lien web.
  153. Modèle:Lien web.
  154. Modèle:Lien web.
  155. Modèle:Lien web.
  156. Modèle:Lien web.
  157. Modèle:Lien web.
  158. Modèle:Lien web.
  159. Modèle:Lien web.
  160. Modèle:Lien web.
  161. Modèle:Lien web.
  162. Modèle:Lang
  163. Modèle:Lien web.
  164. Modèle:Lien web.
  165. Modèle:Lien web.
  166. Modèle:Lien web.
  167. Modèle:Lien web.
  168. Modèle:Lien web.
  169. Modèle:Lien web.
  170. Modèle:Lien web.
  171. Modèle:Lien web.
  172. Modèle:Lien web.
  173. Modèle:Lien web.
  174. Modèle:Lien web.
  175. Modèle:Lien web.
  176. Modèle:Lien web.
  177. Modèle:Lien web.
  178. Modèle:Lien web.
  179. Modèle:Lien web.
  180. Modèle:Lien web.
  181. Modèle:Lien web.
  182. Modèle:Lien web.
  183. Modèle:Lien web.
  184. Modèle:Lien web.
  185. Modèle:Lien web.
  186. Modèle:Lien web.
  187. Modèle:Lien web.
  188. Modèle:Lien web.
  189. Modèle:Lien web.
  190. Modèle:Lien web.
  191. Modèle:Lien web.
  192. Modèle:Lien web.
  193. Modèle:Lien web.
  194. Modèle:Lien web.