Liste des projets BOINC
Modèle:Style non encyclopédique Modèle:Sources secondaires

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
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
| 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), | Site[7] |
| Modèle:Lang | Supporte Modèle:Nombre :
|
Université du Dakota du Nord (UND), | 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, | 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] |
| Modèle:Lang |
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), | 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é.
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 :
|
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, | 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, | 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, | 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]], | Site[21] |
| LHC@Home | Regroupe plusieurs projets :
|
CERN, | Site[22] |
| LHCathome-dev | Fournir un environnement de test aux applications du projet LHC@home. | CERN, | 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. | Site[25] |
| SETI@Home Beta | Projet fournissant un environnement de test pour les applications s'exécutant ensuite sur SETI@Home. | Université de Californie à Berkeley, | 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, | 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, | 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
La chimie numérique et la dynamique moléculaire sont omniprésentes dans ces calculs distribués. |
Université Pompeu Fabra | Site[31] |
Deux objectifs sont visés :
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 | 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 | 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 | Site[36] |
| 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, | Site[38] |
Mathématiques et Informatique
| Nom du projet | Description du projet | Partenaire
Localisation |
Adresses
sources |
|---|---|---|---|
| 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 : 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] | |
| 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] | |
| 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] | |
| 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é, | Site[44] | |
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] | |
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] | |
| 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 : , 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[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
|
École de mathé- matiques, |
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 |
| 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 : 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 : Modèle:Théorème Cette nouvelle conjecture modifiée doit être vérifiée. |
Université de sciences appliquées, Wiesbaden, | 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 |
| 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
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, |
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.
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] |
|
Privé Slovaquie | Site | |
| 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, 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 = qui est en cours de traitement. Le seul diviseur premier à Modèle:Nobr découvert à ce jour est 208 613 913 329. |
Privé, | Site[57] | |
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é, | 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] |
| 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é | Site[63] |
Sciences cognitives et Intelligence Artificielle
| Nom du projet | Description du projet | Partenaire
Localisation |
Adresses
sources |
|---|---|---|---|
| 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 ,
Ohio, Fairborn, Ohio, |
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, | 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 :
- installer BOINC en tant que service (stabilité accrue mais performance moindre car non utilisation de la carte graphique) ;
- 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 ;
- 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 emphase où N 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
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 :
- 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]
- Volpex@Home : Simulation du comportement des protéines et de leurs réactions face à différents principes actifs. Ce projet était géré par l'Université de Houston, au Texas, aux États-Unis.Site[167]
Biologie
- Modèle:Lang (quelques sous-projets) :
- 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.
- 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.
- 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
- protéome humain - Modèle:Nobr : Projet visant à déterminer la forme des protéines dans le but d'identifier leur fonction. Résultats.
- 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
- 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.
- 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.
- 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.
- 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.
- 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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Modèle:Lang : Le but est de trouver le composé le plus actif pour combattre le virus mortel EBOLA.
- 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).
- 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).
- 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 pandémique qui tue un enfant toutes les Modèle:Nobr dans le monde. Modéliser par le biais de la mécanique moléculaire et simuler numériquement les interactions des Modèle:Nombre actifs prometteurs sur les Modèle:Nombre issues du parasite.Le projet était géré au [[:en:Complex and Adaptive Systems Laboratory|Modèle:LangModèle:En]] (CASL) à l'University College Dublin (UCD), Site[81]http://fightmalariaathome.org/ Site][82]
- Modèle:Lang : 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. Ce projet, toujours en ligne, est mise en veille, en attendant de nouvelles directives.Le projet était géré par le CERN, à Meyrin, en Suisse.Site[136]Site[168]
- Modèle:Lang : 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 financierModèle:Etc.).(Application MARXAN).Le projet était géré par l'|Université du Maryland, basée aux États-Unis d'Amérique.Site[169]Site[170]
- Modèle:Lang : É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 :
- la protéase Matriptase impliquée dans la progression du cancer de la peau
- la protéase Matriptase-2 jouant un rôle dans l’homéostasie du fer
- les GPCRs impliqués dans le diabète
- les kinases responsables du cancer du sein triple négatif
- la protéase à germination de Clostridium difficile
- les riborégulateurs à purine de Clostridium difficile
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]
- Modèle:Lang : Sous-projet de Yoyo@home. Vise à comprendre l'origine et l'évolution de la vie sur la Terre et d'étudier les processus qui amènent à l'extinction des espèces (mutation, sélection naturelle, dispersion des gènes, variation de l'ADN mitochondrial, et influence de la reproduction sexuée). Site.
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
- 3x+1@home : Trouver les suites au problème 3x+1, appelé conjecture de Syracuse : il s'agit de l'hypothèse selon laquelle la suite de Syracuse de tous nombres strictement positifs se termine par 1. Site.
- Modèle:Lang : Établir une bibliothèque d'ouvertures aux échecs aléatoires Fischer et déterminer si certaines positions de départ sont plus favorables à un joueur qu'un autre. Site. Le projet est suspendu d'après le site de l'Alliance Francophone.
- Depspid : Le but est de rassembler des données statistiques relatives à la structure d'internet. Le projet est fermé. Site.
- Modèle:Lang : Projet dans le domaine de la sécurité informatique. Modèle:Lien brisé. Le projet s'est terminé avec la publication des résultats sur les vulnérabilités de l'algorithme MD5 Résultats.
- Le problème du voyageur de commerce (TSP) : Trouver le chemin le plus court pour visiter Modèle:Nobr des États-Unis. Plus d'informations sur le problème du voyageur de commerce. Modèle:Lien brisé. Fermeture du projet[175].
- Modèle:Lang : Établir des tables arc-en-ciel[176]
- Modèle:Lang : Calculer les Modèle:Lang (tables arc-en-ciel)[177]
- XtremLab : Projet du LRI destiné à mesurer les ressources disponibles sur les ordinateurs personnels impliqués dans les systèmes de grille de calcul. Ce projet participe à l'amélioration des versions du client BOINC. Il contribue à la diminution du nombre de travaux rendus après la date limite d'envoi. Ces mesures pourront également servir à de nombreuses autres expériences et études statistiques. Ce projet est suspendu[178] depuis Modèle:Date-[179].
- Modèle:Lang : Résoudre le problème des N-Dames de N=18 jusqu'à N=25 / Site.
- Modèle:Lang : Le but est de déterminer le nombre minimum de cases dévoilées pour garantir une solution unique dans une grille de Sudoku Modèle:Lien brisé.
- Modèle:Lang : 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 :
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]
- Modèle:Lang : Projet œuvrant dans le domaine de l’exploration des données. À l'aide d'algorithmes divers (arbre de décision,apprentissage automatiqueModèle: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. Modèle:Quand, deux 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.Ce projet privé était géré par Nicko Sclitter.Site[181]
Sciences physiques
- Modèle:Lang : simuler des nanosystèmes. Site. Projet abandonné.
- ZIVIS Superordenador Ciudadano : modélisation des trajectoires de particules dans un réacteur de fusion thermonucléaire virtuel. Modèle:Lien brisé.
- vLHCathome : projet initiant l'emploi des machines virtuelles pour les différents projets menés au sein du Cern dont l'action principale était de 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.Site[182],Site[183].
- 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 Modèle:Lang[184], structure internationale regroupant Modèle:Nobr de calculs dans Modèle:Nobr différents.Site[185]Site[186]Site[187]Site[188]
- CERN CMS-Dev : sur invitation. Simulation de collision avec machine virtuelle CernVM développée par le CERN. Site[189]
- Nanosurf : projet de l'Institut polytechnique de Kiev, à Kiev, en Ukraine,Site[190].
- 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.Un partenanriat existe entre [[:en:International Centre for Radio Astronomy Research|Modèle:LangModèle:En]], basé à Perth, en Australie, et les deux universités : l'université Curtin et l'Université d'Australie OccidentaleSite[191]Site[192].
- Modèle:Lang : 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 WaalsModèle:Etc. Ce projet était géré par le Département de chimie théorique, de l'université de Leyde, aux Pays-Bas. Site[193].
- Muon1 : sous-projet de Yoyo@home. Vise à optimiser la conception d'un accélérateur de particules qui sera utilisé pour mesurer la masse des neutrinos. Site.
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 :
- 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.
- 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
Voir aussi
Articles connexes
Liens externes
- Modèle:Mul Site officiel de BOINC
- Modèle:En Liste des projets sur le site officiel de BOINC
- Modèle:En Explication du système de crédit BOINC
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web, extrait de Modèle:Ouvrage.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien.
- ↑ 81,0 et 81,1 Modèle:Lien web.
- ↑ 82,0 et 82,1 Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ 87,0 et 87,1 Modèle:Lien web.
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Nombre de Riesel
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Nombre de Mersenne premier.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Ferme de rendu.
- ↑ Modèle:Lien.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ 136,0 et 136,1 Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Conjecture de Goldbach.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lang
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.
- ↑ Modèle:Lien web.