Liste des projets BOINC

Beijing,

Chine

Site^[8]

Site^[9]

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

Grand Forks,

Dakota du Nord,

États-Unis

Université de Saragosse Espagne

Site^[13]

• É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'autres 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.

Vilnius,

Lituanie

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

• détecter les bugs du serveur Boinc
• factoriser des nombres, comportant jusqu'à 140 chiffres significatifs en base 10, 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

• Siever : Créér des fichiers de crible pour le forum Mersenneforum.org , rubrique Conjecture 'R Us qui seront ensuite exploités par les volontaires pour calculer les nombres de Serpinski ou Riesel.
• M Queens : Recherche des solutions possibles pour placer M reines sur un échiquier composé de M × M cases, sans qu'aucune ne puisse en menacer une autre directement (que ce soit en ligne, en colonne, ou en diagonale). M = 27 au 22 décembre 2019 .
• ECM : Factorisation avec des courbes elliptiques.Site Site (en)
• Déterminer la façon optimale de placer 28 marques selon la règle de Golomb.

Prague,

République tchèque

Milwaukee,

Wisconsin,

États-Unis

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

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

Illinois,

États-Unis

États-Unis

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

Meyrin,

Suisse,

Union européenne

Meyrin,

Suisse,

Union européenne

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.

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

Rensselaer Polytechnic Institute

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).

États-Unis

Site^[27]

Site^[28]

Berkeley,

États-Unis

É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 2010 comme étant la conséquence d'un système binaire comprenant deux trous noirs en train de fusionner. Apprentissage de détection de signaux réels à partir des simulations.
* les supernovas de type Ia qui constituent de véritables chandelles cosmiques permettant de mesurer l'expansion de l'univers. Comprendre leur genèse et leur influence dans l'évolution de l'univers.

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é.

Varsovie,

Pologne

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

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

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

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

Saragosse,

Espagne

• 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.

Barcelone

Espagne

• 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ériau, etc.). Le code d'invitation nécessaire pour participer est : 3VwMu3-eTCg32

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

Washington

États-Unis

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^[34] 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^[35] est ensuite complétée.

Marbourg,

Hesse,

Allemagne

En 2020, le projet collabore avec le projet non-BOINC Folding@home pour étudier le SARS-CoV-2^{[réf. 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.

Washington

États-Unis

Site^[38]

• les maladies neuro-dégénératives du motoneurone telle que la sclérose latérale amyotrophique, la paralysie progressive de la moelle allongée, le syndrome pseudobulbaire, l'atrophie musculaire progressive, la sclérose latérale primitive, l'amyotrophie spinale ;
• les cancers apparaissant à la suite d'anomalies dans l'hématopoïèse, ou de tumeurs de la moelle osseuse ou du système lymphatique.

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

Trente,

Italie

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 U_n = 1, pour de grands entiers N compris entre 2⁷¹ et 2⁷² (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 1^er avril 2016, le temps de vol le plus long est n = 2 739 pour l'entier N = 2 382 737 577 286 911 665 266.

Initialement, ce projet devait décrypter trois messages codés, en 1942 par la machine Enigma, composée de quatre rotors (le troisième message a été craqué le 7 mai 2010 (voir le message^[41]) ; 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.

Stefan Krah

(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.

Site^[44]

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 n^o 1 est l'existence ou non du mot généré dans un dictionnaire d'une ou plusieurs langues spécifiques (polonais, anglais, etc.), celui de la version n^o 2 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 n^o 3 est l'existence ou non du passage d'un texte inclus dans les œuvres de Shakespeare.

Pologne

* « RC5-56 challenge » : mise en place en juillet 1997, 212 jours de résistance ;
* « DES II-1 challenge » : mise en place en janvier 1998, 40 jours de résistance ;
* « DES III challenge » : mise en place en janvier 1999 ; 24 heures de résistance ;
* « CS-Cypher challenge clef 56 bit » : mise en place en novembre 1999, 60 jours de résistance ;
* « RC5-64 challenge » : mise en place en août 1997, 175 jours de résistance.

La compétition actuelle est « RC5-72 », mise en place par les laboratoires RSA depuis le mois de décembre 2002. L'algorithme audité est RSA avec une clef de 72 bits. L'espace des clefs possibles est 256 fois plus grand que celui du défi « RC5-64 » (72 - 64 = 8 bits, 2⁸ = 256).

Site^[47]

• Factoriser des nombres issus du problème Cunningham, qui recherche les diviseurs des nombres de la forme : ${\displaystyle b^{n}\pm 1}$ pour ${\displaystyle b=2;3;5;6;7;10;11;12}$ et plus pour des grandes puissances de n. C'est un problème étudié dans la théorie des nombres qui a été soumis initialement en 1925 par le mathématicien Allan Joseph Champneys Cunningham (1842-1928). Ce projet Cunningham poursuit sa résolution pour des nombres de plus en plus grand qui peuvent être éventuellement repris dans les algorithmes de cryptographie asymétrique tels les algorithmes RSA. Leur primalité confère des propriétés particulières dans le cas de l'arithmétique modulaire. L'intérêt de la connaissance de tels nombres est double :
• permettre le calcul de fonctions multiplicatives ;
• simplifier la factorisation dans certaines conditions (factorisation algébrique, factorisation aurifeuillienne, ou autre dans le cas de nombres de Mersenne ou Fermat).

Divers algorithmes de factorisation sont mis en œuvre. Le plus usité actuellement est GNFS. L'American Mathematical Society a fait paraître en 2002, la 3^e édition des résultats obtenus^[48].

Le chercheur en mathématiques Eric D. Driver a mis au point un algorithme de recherche des polynômes formels minimaux, de degré n égal à 10 : ${\displaystyle P=\sum _{i=0}^{n}{\bigl (}a_{i}*X^{i})}$, avec ${\displaystyle a_{i}\in \mathbb {Z} }$, 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^[50].

Son travail s'est inspiré des recherches précédentes, menées respectivement par J. Martinet (The computation of sextic Fiels With a Quadratic Subfield) et J. Hunter (The minimum discriminants of quintic fields), publiées par l'American mathematical society. Sa dissertation^[51] (thèse) de 132 pages 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'ordre n inférieur ou égal à 10, pour des groupes de Galois donnés et un discriminant inférieure à une certaine limite fixé)
• en sciences physiques (dans les domaines de mesures inférieures à la longueur de Planck avec les avancées de l'analyse p-adique appliquée à la mécanique quantique)

Université d’État de l'Arizona,

Phoenix,

Arizona,

États-Unis

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 entier n, nommé AKS. Ils ont repris une généralisation du petit théorème de Fermat : ${\displaystyle {\begin{array}{lcl}Soient\ a\in \mathbb {Z} \ et\ n\in \mathbb {N} ,\ n\geq 2\ tels\ que\ a\land n=1.\ \\n\ est\ premier\ si\ et\ seulement\ si,(X+a)^{n}\equiv X^{n}+a{\pmod {n}}\end{array}}}$

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 ${\displaystyle n<10^{10}}$.

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

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

Allemagne

Plusieurs sous projets sont actifs :

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

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

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

• du chiffrement A5/1, en permettant de déchiffrer des messages cryptés résistants à des attaques classiques par tables dites « arc-en-ciel » ou « rainbow tables ».
• du chiffrement synchrone symétrique exploitant le principe simplifié du Trivium Cipher(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).

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

Moscou,

Russie

Les nombres de Sierpinski et Riesel étudiés, de base b, sont de la forme : ${\displaystyle k\times b^{n}\pm 1\ avec\ k,b\ et\ n,\ entiers\ et\ 2\leq b\leq 1\ 030}$ (${\displaystyle +1}$ pour Sierpinski, ${\displaystyle -1}$ pour Riesel).

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

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

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

• 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 rang 10 (10 lignes × 10 colonnes). 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.

Ces nombre sont donc de la forme ${\displaystyle 2^{p}+1,avec\ p\in \mathbb {N} }$.

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 copyright. Son comportement est toujours en cours d'évaluation car la preuve de sa justesse mathématique n'a pas été formellement réalisée. Il utilise une base aléatoire dans son déroulement. L'auteur du projet, James Wanless, décompte le nombre de fois qu'un même diviseur est trouvé et apprécie la part entre les petits et les grands diviseurs, découverts. Au 6 mai 2016, c'est P2203 = ${\displaystyle 2^{2203}+1}$ qui est en cours de traitement. Le seul diviseur premier à 12 chiffres découvert à ce jour est 208 613 913 329.

Londres,

Angleterre,

Royaume-Uni

• configurations matérielles (ordinateur individuel ou périphérique à architecture ARM)
• et logicielles (plateforme Windows, Linux, Mac, Android, etc.).

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

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

France

• la constitution d'un réseau sismique planétaire à bas coût (via les accéléromètres internes protégeant certains disques durs d'ordinateurs portables, les téléphones mobiles ou les sismomètres reliés par câble USB à un ordinateur de bureau).
• la détection rapide des tremblements de terre (temps presque réel) à travers les secousses produites et le recueil de données denses et précises sur la forme de l'onde sismique résultante ainsi que sa magnitude et sa géolocalisation.
• la sensibilisation d'un public d'adultes et d'enfants aux risques inhérents et un partenariat avec certaines écoles pour créer un programme pédagogique adéquat sur
  • les mécanismes sous-jacents (tectonique des plaques, tsunami, faille, épicentre, mesures, etc.),
  • la politique de prévention (construction parasismique, manœuvres d'évacuation à définir, notion de secourisme, conduite à tenir)

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:

• Le Centre sismologique euro-méditerranéen ou CSEM: Site^[60].
• Academia Sinica à Taipei, Taiwan: Site^[61].

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

Site^[63].

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 :

• pour réaliser l'assemblage des pièces constitutives (circuit imprimé, programmateur, tube Geiger, boitier, transformateur, etc.)
• pour se procurer les pièces non livrées (condensateur, résistance, connecteur, affichage LCD, câble USB, etc.).

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.

Pologne

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

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

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

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

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

Dayton,

Ohio,

Université d'État Wright,

Fairborn,

Ohio,

États-Unis

Trois principaux ressortent de ce projet :

• la sélection de modèles cohérents avec la réalité observée et les objectifs attendus (modèles globaux, régionaux, ou hybrides couplant les deux précédents),
• l'analyse de l'influence anthropique (urbanisation, déforestation, pratiques agricoles, émission gaz à effet de serre) dans le réchauffement climatique constaté et la fréquence accrue d'évènements météorologiques extrêmes (tempêtes, tornades, inondations, sécheresse, incendies, canicule, baisse des ressources en eau douce, etc.),
• la sensibilisation du grand public à cet enjeu majeur et la diffusion de ressources pédagogiques (cours en ligne, expérience déductive scolaire, publication).

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

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

Londres, Angleterre,

Royaume-Uni

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, Blender. 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éflecteur, 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.