| dbo:abstract
|
- 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. (fr)
- 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. (fr)
|
| prop-fr:contenu
|
- * (fr)
- --05-17
- --03-15
- --06-01
- : , l'étude de la fonction Zêta de Riemann qui à tout nombre complexe s associe la fonction Zêta :, à travers la répartition de ses zéros non triviaux, permet de mieux comprendre la répartition des nombres premiers. L'hypothèse de Riemann, non démontrée, affirme que les zéros non triviaux se situent tous sur la droite d'équation . L'étude la fonction de Riemann-Siegel : autour ce cette ligne critique qui possède le même comportement que la fonction Zeta permet d'observer cette répartition et d'apporter un éclairage nouveau à ce problème inclus dans les problèmes de Hilbert.
* BinSys : , trouver tous les systèmes de numération binaire généralisés jusqu'à la (fr)
- ''' : La Cartographie des marqueurs de cancer sur le (fr)
- . Entre et , , ont été découvertes, puis l'exploration a continué en rajoutant une contrainte supplémentaire, sur les internes . orthogonales et diagonales ont depuis été trouvées. S'appuyant sur les résultats de cette étude, le projet s'attache maintenant à déterminer les formes pseudo-triples de carrés latins orthogonaux et diagonaux d' (fr)
- ''' : Sélectionner les médicaments actifs susceptibles de cibler les molécules ou protéines, identifiées par les scientifiques, qui jouent un rôle clef dans l'apparition des cancers infantiles. La sélection est opérée en simulant « numériquement » la réaction chimique avec des échantillons de composants actifs susceptibles d'avoir les effets attendus.Le traitement des maladies telles que le neuroblastome, les tumeurs de Wilms, l'hépatoblastome,les tumeurs des cellules germinales ainsi les ostéosarcomes seraient fortement réévalués. (fr)
- Le projet a recherché, les paires orthogonales de carrés latins d' (fr)
- * la recherche de méga-nombres premiers « 3 2 1 » de la forme
* la recherche de méga-nombres premiers généralisés, dits de « Cullen » et « Woodall » dont les expressions sont respectivement et .
* la recherche du plus petit nombre de Sierpinski k dont l'expression est : . En , John Selfridge a conjecturé que c'est l'entier 78557 le plus petit. La vérification est toujours en cours. Il reste nombres possibles pour établir le résultat .
* la recherche du plus petit nombre de Riesel k dont l'expression est : . Hans Riesel conjectura que ce nombre était 509203.
* la recherche du plus petit nombre premier de Sierpinski. , c'est le nombre 271129 qui est supposé être le « premier » le plus petit mais la preuve calculatoire doit être apportée pour k compris entre 78557 et 271129.
* la recherche des nombres de Fermat généralisés de la forme : .
* la recherche des nombres premiers de Sophie Germain par le biais d'un quadruple crible : ,on vérifie la primalité de , , et .
* la résolution du problème de Sierpinski étendu qui consiste à prouver que k = 271129 est le deuxième nombre de Sierpinski.
* la recherche de nombre de Proth premier dont la forme est : et .
* la recherche des nombres de Sierpinski et Riesel, (fr)
- : étudier le mécanisme du développement de la confiance envers autrui et de son influence pour prendre des décisions individuelles, à l'aide d'un modèle cognitif computationnel à architecture ACT-R écrit en Common Lisp.
* (fr)
- , mutuellement orthogonaux 2 à 2 partiellement, le projet évalue la « caractéristique » de la forme pseudo-triple . La résolution de telles formes nécessite encore des améliorations algorithmiques pour pouvoir espérer trouver des solutions à très forte « caractéristique », qui s'approchent de la configuration finale recherchée. (fr)
- à tester et à éliminer avant de se prononcer définitivement. (fr)
- base 5 (fr)
- dimension 11 (fr)
- k possibles (fr)
- ordre 10 (fr)
- : La tuberculose devient au cours du temps résistante à certains traitements. L'étude du comportement des acides mycoliques présents dans la paroi du mycobacterium tuberculosis pourrait fournir des stratégies de lutte efficaces contre cette bactérie tueuse.
* (fr)
- : Tenter de fournir une aide décisionnelle aux agriculteurs de l'Afrique subsaharienne en améliorant la précision des prévisions météorologiques sur un domaine limité à la taille d'une ferme d'exploitation locale. Les images satellitaires seront affinées par une simulation numérique qui devrait permettre à terme de déterminer le meilleur moment de planter ou de récolter afin de devenir résilient face aux aléas climatiques extrêmes sévissant dans ces régions. C'est la dimension infime de la cellule du maillage territorial calculée qui constitue le vrai défi de ce projet.
* (fr)
- : étudier une phase de mémorisation complexe sous tirées des : parité du jugement, localisation du jugement et taux de stimuli.
* (fr)
- * FightAIDS@Home - Phase 2 : Ce projet recherche des médicaments capables de se lier au récepteur de la protéase du VIH-1 afin d’inhiber son fonctionnement.
* ''' (fr)
- : Déterminer la structure spatiale des protéines codées par les de génomes inventoriés dans la flore bactérienne présente dans notre système digestif. C'est cette structure spatiale qui définit leur fonction et leur rôle. Sa connaissance est rendue possible par le calcul numérique de son énergie minimale qui la maintient dans une configuration stable.
* (fr)
- vise à identifier les marqueurs associés à différents types de cancer. Le projet est d'analyser des millions de données recueillies à partir des milliers d'échantillons de patients sains et cancéreux. Actuellement, le projet cible le cancer des ovaires après s'être préoccupé de celui des poumons. Le cancer des ovaires découle d'un dérèglement des cellules épithéliales ou stromales et germinales.
* ''' (fr)
- - Covid-19 : Déterminer prioritairement un traitement pour combattre le Covid-19 en étudiant les protéines du SARS-CoV-2. Dans la continuité, accumuler de nouvelles connaissances pour traiter plus efficacement les prochaines pandémies qui pourraient résulter d'une mutation du virus.
* (fr)
- '' : étudier l'influence de la privation ou de la restriction de sommeil dans la dégradation des performances pour la réalisation d'une tâche. (fr)
- : Est-ce que le modèle CRISP est représentatif des mouvements oculaires humains lors d'explorations et de recherches visuelles ? Est-il plus pertinent que le modèle SWIFT davantage utilisé lors de simples phases de lectures de texte ?
* (fr)
- Ces informations reprennent :
* le délai moyen de retour des unités de travail
* le volume moyen de données téléchargées ou renvoyées, par unité de travail, par jour et par cœur
* la quantité de mémoire vive RAM requise
* le temps de calcul par catégorie d'ordinateur par micro-processeur, carte graphique et système d'exploitation identifié
* l'intervalle de temps entre de sauvegarde
* l'espace disque requis
* les crédits délivrés par projet par jour et par cœur
* la comparaison des configurations matérielles par projet
* la comparaison des cpu et gpu par projet
* le nombre d'unités de travail délivrées par les projets actifs au cours des heures (fr)
- , plus ou moins partielles. Dans le détail, si A, B, C sont 3 carrés latins diagonaux d' (fr)
- . Le projet explore l'ensemble fini des matrices ayant les propriétés requises. La taille de cet ensemble est une exponentielle de la dimension étudiée. Le programme génère la liste des polynômes caractéristiques des matrices possibles qui sont ensuite testés par un autre programme nécessitant moins de puissance calculatoire. Les matrices solutions remplissant les conditions nécessaires et suffisantes peuvent servir de base au système binaire de dimension choisie. Les résultats pourraient avoir des répercussions sur les méthodes de compression, de codage ou de cryptographie, et d'un point de vue géométrique sur l'étude des fractales par le biais d'analyse topologique si l'apparition de puissance négative pour les matrices est rendue possible.
* Kopi : , sonder différentes versions nationales de Wikipédia pour déjouer les plagiats de textes issus d'autres langues étrangères lors des travaux scolaires et/ou universitaires. L'exploration des pages Wikipédia est effectuée mensuellement par les internautes adhérents au projet.
* UC-explorer : , étudier les transitions de phase de systèmes physiques en état de non-équilibre à différentes échelles afin de déterminer les classes d'universalité. En étudiant le comportement aux environs du point critique, et en calculant la valeur des exposants critiques, par le biais de processus stochastiques, le projet détermine dans quel régime de fonctionnement l'expérience se situe . Des notions en théorie des probabilité et la compréhension du groupe de renormalisation sont nécessaires pour cerner les investigations menées.
* BBGC, MUSO : ,
# Se servir des possibilités offertes par le laboratoire virtuel BioVeL pour modéliser les principaux écosystèmes terrestres , simuler leur comportement sous différents scénarios et se livrer à des prospectives grâce à l'exploration de données ou de métadonnées géographiques. Cela peut contribuer à une aide à la décision pour de meilleures politiques d'aménagement du territoire, en cas de changement climatique ou de crise écologique, par exemple.
# Étudier les niches écologiques, la dynamique des populations et leur biodiversité, grâce à l'exploitation de données issues d'analyses génétiques, de techniques liées à la phylogénétique moléculaire, à la méta génomique ainsi qu'à la taxinomie.
# Simuler le cycle du carbone et de l'eau au gré des activités humaines impactant les écosystèmes, afin d'éviter les conséquences fâcheuses dues au réchauffement climatique en cours. (fr)
- : étudier le comportement d'un groupe de grenouilles dans un environnement marécageux à l'aide d'un modèle par agent .
* (fr)
- Les modèles utilisés ou ayant été utilisés sont énumérés à la page « » et expliqués sur le site du Met Office. Il s'agit des modèles :
* « atmosphère - océan » couplés entièrement : HadCM3; HadCM3L; HadCM3N; HadCM3S; FAMOUS
* « atmosphère couplé à un océan simple » : HadSM3
* « atmosphère uniquement » : HadAM3; HadAM3-N144; HadAM3P; HadAM3PM2; HadRM3P; HadRM3-TRIFFID
* « hybride » : PRECIS
Les ressources documentaires sont accessibles sur ces différents sites :
*http://www.ipcc.ch/publications_and_data/ar4/wg1/fr/faqs.html
*http://climateeducation.net/
*http://www.realclimate.org/
*http://www.climatecentral.org/
*http://www.ucsusa.org/ (fr)
|
| rdfs:comment
|
- 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. 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. (fr)
- 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. 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. (fr)
|
