Elenco dei progetti BOINC
(aggiornato al 29/10/09)
Il senso? Offrire una panoramica sui progetti BOINC, suddivisi per argomento o area di interesse, e dare un'idea complessiva del supporto del nostro team.
__________________________________________________________________________________
progetti SUPPORTATI con link alla descrizione
progetti NON supportati perchè chiusi o in seguito a una valutazione negativa del team
progetti NON supportati perchè sondati ma tralasciati momentaneamente
progetti NON supportati su cui si stanno raccogliendo informazioni
progetti NON supportati su cui si hanno solo informazioni sommarie
__________________________________________________________________________________
ASTRONOMIA, FISICA, CHIMICA
BRaTS@home
Progetto che esegue simulazioni sulla visualizzazione di corpi celesti mediante lente gravitazionale. BRaTS sta' per B-Ray Trace Simulator.
Cosmology@home
Lo scopo del progetto Cosmology@home è quello di individuare un modello che descriva nel miglior modo possibile le caratteristiche del nostro Universo. A partire da una serie ben definita di parametri iniziali, l'applicazione è in grado di simulare, con milioni di modelli predittivi diversi, l'evoluzione dell'Universo dal Big Bang ad oggi.
[DESCRIZIONE]
EDGeS@home Beta
Progetto inserito nel più ampio EDGeS: griglia europea di calcolo distribuito.
Attualmente viene fatta girare ISDEP (Integrator of Stochastic Differential Equations in Plasmas), una applicazione che calcola le traiettorie delle particelle all'interno di un sistema in fusione in presenza di campi elettromagnetici, e le collisioni con il plasma ad una data temperatura.
[descrizione]
Einstein@home
Il progetto Einstein@home si occupa della ricerca di onde gravitazionali che, secondo la teoria della relatività di Einstein, vengono generate da stelle pulsar. Le pulsar sono normali stelle che implodono a causa della loro stessa forza di gravità, hanno una densità elevatissima e sono in rapida rotazione.
[DESCRIZIONE]
Hydrogen@home
Scopo del progetto è quello di migliorare la tecnologia nel campo dell'energia pulita attraverso lo sviluppo della capacità di produrre e immagazzinare idrogeno.
Leiden Classical
Lo scopo del progetto Leiden Classical è la creazione di una rete di PC da sfruttare per risolvere problemi di dinamica classica che richiedono una notevole potenza di calcolo per poter essere simulati. Questa rete può essere usata sia da scienziati che da studenti che non hanno accesso a supercomputer o altre reti di computer.
[DESCRIZIONE]
LHC@home
Questo progetto del CERN aiuta a migliorare la struttura e la ricerca dell'LHC (Large Hadron Collider, il più grande acceleratore di particelle mai costruito) simulando il viaggio delle particelle attraverso il tunnel lungo 27 Km.
[DESCRIZIONE]
Magnetism@home
Studia l'equilibrio o l'instabilità di sistemi sottoposti a magnetizzazione, principalmente su nanoscala.
MilkyWay@home
Progetto che esegue test sugli algoritmi genetici applicati a un sistema di calcolo distribuito e parallelamente studia un modello 3D della Via Lattea e la sua evoluzione.
[DESCRIZIONE]
NanoHive@home
Simulazione ed analisi di nanosistemi su larga scala.
CHIUSO a ottobre 2008.
[descrizione]
Orbit@home
Studio delle dinamiche del sistema solare ed in particolar modo dei NEA (Near Earth Asteroid), asteroidi che potrebbero impattare sul suolo terrestre.
[descrizione]
QMC@home
Il progetto è nato per testare e sviluppare un nuovo metodo di calcolo molto promettente in chimica quantistica, il Quantum Monte Carlo (QMC) è infatti ad ora l'unico metodo adatto a calcoli paralleli in maniera massiccia. La chimica quantistica prova a fornire previsioni sul tutto ciò che è importante in chimica e in particolare sulla struttura e la reattività delle molecole.
[DESCRIZIONE]
SETI@home
Lo scopo del progetto è quello di analizzare i dati provenienti da radio telescopi, quali quello di Arecibo, alla ricerca di pattern regolari che possano ritenersi prodotti da fonti artificiali invece che naturali e che indicherebbero l'esistenza di altre forme di vita intelligenti.
[DESCRIZIONE]
SETI@home BETA
Progetto che testa nuove applicazioni per SETI@home
Spinhenge@home
Lo scopo del progetto è quello di aumentare la conoscenza di base nel campo del magnetismo molecolare e di dare impulso a nuove aree di applicazione. Utile nel campo di ricerca delle nano-tecnologie e nel tentativo di realizzare materiali basati sul magnetismo molecolare.
[DESCRIZIONE]
uFluids@home
Lo scopo del progetto (u = micro) è la simulazione del comportamento e della stabilità dei fluidi in condizioni di microgravità e microfluidità. Il fine di questa simulazione è la creazione di dispositivi ottimizzati per la gestione del propellente per satelliti ed inoltre riuscire a indirizzare meglio un fluido all'interno di un microcanale o MEMS.
[DESCRIZIONE]
BIOLOGIA e MEDICINA
CELS@home
Lo scopo principale del progetto (Cellular Environment in Living Systems @home) è quello di sviluppare una struttura (un ambiente) ibrida meccanica-biochimica per studiare la sinergia tra i movimenti e le comunicazioni cellulari in uno spazio tridimensionale.
FERMO da marzo 2009.
[DESCRIZIONE]
Docking@home
Il progetto vuole approfondire la conoscenza fin a livello atomico delle interazioni proteina-ligante e così facendo giungere alla scoperta di nuove cure e prodotti farmaceutici.
[DESCRIZIONE]
Drugdiscovery@home
Ricerca di nuove medicine con particolare attenzione al cancro e alle malattie gerontologiche.
[descrizione]
GPUGrid
Lo scopo del progetto GPU/PS3 Grid è quello di mettere a disposizione dei ricercatori un potente mezzo per effettuare simulazioni di dinamica molecolare. Un metodo che permette, ad esempio, lo studio delle dinamiche delle proteine a livello atomico.
[DESCRIZIONE]
MalariaControl.net
Il progetto si prefigge di sfruttare la simulazione numerica delle dinamiche della trasmissione e degli effetti dell'infezione malarica per utilizzarle come strumento per il controllo della mattia. I modelli teorici possono anche essere utilizzati per determinare le strategie ottimali per la prevenzione (distribuzione di reti antizanzare o vaccini in fase di sviluppo).
[DESCRIZIONE]
UCT Malaria -
test sui futuri sviluppi di MalariaControl.net
POEM@home
Lo scopo del progetto è quello di cercare di predire la struttura biologicamente attiva delle proteine, capire i meccanismi di interazione tra le stesse e cercare di capire come il malfunzionamento di alcune proteine possa provocare delle malattie. Infine sviluppare nuovi farmaci sulla base della struttura tridimensionale di proteine di importanza biologica.
[DESCRIZIONE]
Predictor@home
Predictor@home è un progetto di calcolo distribuito nato con lo scopo di testare metodi ed algoritmi in grado di prevedere la struttura delle proteine a partire dalla loro formula chimica.
FERMO da marzo 2008.
[DESCRIZIONE]
Proteins@home
Il progetto si propone di decifrare la sequenza primaria delle proteine, ovvero la pura sequenza di aminoacidi di cui sono composte. Lo fà partendo dalla struttura terziaria della proteina, cioè in breve la proteina nello spazio 3D, e calcolando tutti i possibili legami tra aminoacidi.
FERMO da maggio 2008.
[descrizione]
RNA World
Il progetto è motivato dal proposito di rendere disponibile ai ricercatori un potente strumento di ricerca sul RNA (acido ribonucleico).
[descrizione]
Rosetta@home
E' un progetto che si occupa di prevedere la struttura 3D delle proteine e le interazioni tra di esse. Conoscerne la struttura equivale a conoscerne le funzioni: i ricercatori saranno in futuro in grado di dire quali proteine potrebbero essere utili per la cura di varie malattie (AIDS, Cancro, Malaria o Morbo di Alzheimer) e persino di modellarne di nuove.
[DESCRIZIONE]
RALPH@home
Progetto che testa nuove applicazioni per Rosetta@home
[descrizione]
SIMAP
Lo scopo del progetto è quello di creare un database pubblico di somiglianze proteiche. Le sequenze proteiche si sono spesso mantenute quasi invariate durante l'evoluzione quindi scoprire che una proteina X ha una sequenza simile ad un'altra di cui si conosce già la funzione ci può dare indicazioni sulla funzione della proteina in esame.
[DESCRIZIONE]
Superlink@Technion
Il progetto aiuta gli studiosi di genetica in tutto il mondo a trovare i geni che causano malattie quali il diabete (qualche forma), l'ipertenzsione, il cancro, la schizofrenia e molte altre.
Tanpaku
Progetto medico: prevede la struttura delle proteine con il "Brownian dynamic method" considerato più efficiente dei metodi tradizionali.
CHIUSO ad agosto 2008
Lattice project
Progetto di Grid Computing al servizio della ricerca biologica. Supportano ricerche sugli amminoacidi e sulla comparazione di sequenze proteiche.
SCIENZE COGNITIVE
Artificial Intelligence System
Lo scopo del progetto è quello di applicare la tecnica del "reverse engineering" al cervello umano per poi costruire una potente intelligenza artificiale.
Non è NO PROFIT, è sostenuta da una società privata, parte dei risultati e del codice sono pubblici e parte no
[descrizione]
CHIUSO da giugno 2009.
MindModeling@home
Il progetto mira a progredire nella scienza cognitiva utilizzando modelli di processi cognitivi per meglio capire la mente umana e la sua capacità di apprendimento.
CLIMATOLOGIA e STUDIO della TERRA
APS@home
Il progetto studia gli effetti della "dispersione" atmosferica in relazione all'accuratezza delle misurazioni utilizzate dalle moderne previsioni climatiche.
DOWN da novembre 2007
BBC Climate Change
Progetto che studia l'evoluzione del clima terrestre.
Chiuso e inglobato da ClimatePrediction
ClimatePrediction.net
Progetto che studia l'evoluzione del clima terrestre. Ripetendo simulazioni climatiche migliaia di volte sarà possibile capire se e quanto gli attuali modelli climatici siano sensibili a scostamenti minimi di variabili come ad esempio la concentrazione di biossido di carbonio in atmosfera.
[DESCRIZIONE]
QCN
Sismografo distribuito: sfrutta gli accelerometri dei laptop, o su dispositivi esterni via USB, come sensori per creare una rete mondiale di rilevamento.
[DESCRIZIONE]
Seasonal attribution
Progetto che studia l'evoluzione del clima terrestre.
Chiuso e inglobato da ClimatePrediction
Virtual prairie
Prateria virtuale: studio delle dinamiche di una prateria soggetta a disturbi esterni (falciatura, pascolo, etc...). Il modello è usato per selezionare coltivazioni ad alto rendimento ecosostenibili.
[descrizione]
MATEMATICA
3x+1@home
Cerca di provare la falsità della congettura di Collatz.
CHIUSO a novembre 2008
ABC@home
Progetto che si occupa di dimostrare la congettura ABC la quale afferma che ci sono solo un numero finito di triplette a, b, c tali che log(c)/log (rad (a,b,c)) > h con h numero reale > 1. La congettura ABC è attualmente uno dei più grandi problemi aperti in matematica.
[DESCRIZIONE]
Collatz conjecture
Cerca di provare la falsità della congettura di Collatz. Il progetto parte da dove si era chiuso il predecessore 3x+1@home.
[DESCRIZIONE]
Enigma@home
Decifrazione del messaggio criptato Enigma spedito durante la seconda guerra mondiale.
Genetic Life
Studia gli algoritmi genetici simulando l'evoluzione di semplici creature software che possono eseguire un limitato set di istruzioni.
Goldbach's Conjecture
progetto matematico che cerca di dimostrare la Congettura di Goldbach, uno dei più vecchi problemi irrisolti della teoria dei numeri.
[descrizione]
Solo applicazione UPPERCASE di TEST del sistema
NFS@home
Si tratta di un progetto matematico sulla fattorizzazione di grandi numeri (legati al Cunningham Project) promosso dalla California State University Fullerton.
NQueens@home
Risoluzione del problema delle N regine (estende il problema originale che è quello di posizionare 8 oggetti su una griglia 8x8 in modo che tutti occupino una sola riga e una sola colonna. Ci sono 92 soluzioni).
PrimeGrid
Progetto contenitore. Sotto il suo mantello trovano una collocazione vari sottoprogetti con un denominatore comune: la ricerca sui numeri primi. Il progetto quindi si propone di studiare la teoria dei numeri, alla ricerca di numeri primi con differenti caratteristiche.
[DESCRIZIONE]
Ramsey@home
Studio sulla teoria e sui numeri di Ramsey
Rectilinear Crossing
Cerca il minor numero di incroci tra linee che si hanno tracciando le congiungenti "n" punti appartenenti a un piano.
Riesel Sieve
Progetto nato con lo scopo di provare la congettura di Riesel. Il matematico del '900 dimostrò che esistono infiniti k per i quali vale la seguente relazione: q = k * 2^n - 1. Secondo lo stesso k=509203 sarebbe il più piccolo numero di Riesel.
Il progetto è FERMO da luglio 2008
.
[DESCRIZIONE]
SHA-1 Collision Search Graz
Criptoanalisi; si cerca di craccare la nota funziona SHA-1 - Non suscita interesse
WEP-M+2
Fattorizzazione dei numeri di Mersenne (che sono primi) + 2.
MULTI-DISCIPLINARI
AlmereGrid
Contenitore di altri progetti non noti, legato alla rete in fibra ottica della città di Almere (Olanda), sito ufficiale scritto per lo più in olandese.
IberCivis
Progetto contenitore gestito dalle università di Madrid, Zaragoza e Valencia. Si eseguono ricerche sul docking proteico, sui materiali, sulla fusione nucleare e sulla trasmissione della luce.
[descrizione]
SZTAKI Desktop Grid
Wrapper per progetti di ricerca ungheresi. Attualmente lavora su un progetto matematico BINSYS (alla ricerca di sistemi binari ad 11 dimensioni) e su uno fisico UC-Explorer (ricerca di classi universali in sistemi non in equilibrio)
VTU@home
Wrapper per progetti di ricerca lituani. Attualmente lavora su un progetto matematico di teoria dei sistemi
World Community Grid
La missione di World Community Grid è di creare la più grande piattaforma (i.e. Grid) pubblica del mondo per supportare progetti che portino beneficio all'umanità. Offre cioè alle organizzazioni pubbliche e no-profit l'infrastruttura tecnica per poter portare avanti la loro ricerca scientifica altrimenti impossibile a causa degli alti costi.
[DESCRIZIONE]
Yoyo@home
Questo progetto è un "wrapper" ovvero un contenitore di sotto-progetti. Nato dalla volontà di una associazione no-profit tedesca, Rechenkraft.net, di sostenere e diffondere il calcolo distribuito, il progetto Yoyo@home si occupa di progetti in ambito matematico, fisico e della biologia evolutiva.
[DESCRIZIONE]
MISCELLANEA
AQUA@home
Cerca di prevedere le performances di un Quantum Computer.
Non è NO PROFIT, è sostenuta da una società privata, parte dei risultati sono pubblici e parte no
[descrizione]
BURP
Big and Ugly Rendering Project - Aiuto a privati per 3D rendering.
Chess960@home
Chess960 è una veriante del gioco degli scacchi in cui la posizione iniziale delle pedine è casuale (con alcune regole le combinazioni possibili sono 960). Il progetto mira a creare un database di partite e a verificare se è possibile elaborare una strategia di apertura generalizzata.
DepSpid
Realizzazione di un database su pagine WEB.
CHIUSO a ottobre 2008
distrRTgen
Creazione di tabelle (rainbow) per decriptazione password
DynaPing
DynaPing sfrutta PC connessi a BOINC per testare se i siti web (quelli degli utenti legati al progetto) sono online o no. DynaPing non utilizza la CPU
[descrizione]
Gerasim@home
Progetto russo di cui non sa quasi niente, sembra un wrapper pronto all'uso.
ORE
Aiuto a privati per 3D rendering.
Pirates@home
Era il progetto test di Einstein e fu chiuso alla sua apertura nel 2005. Riapparso nel 2006 esegue alcuni test su un differente progetto legato a LIGO: Interactions in Understanding the Universe (I2U2)
Reversi
Cerca di risolvere il gioco Reversi (identico a Othello a parte la non disposizione iniziale delle 4 pedine centrali) cioè di trovare la soluzione ottimale per qualsiasi combinazione di mosse. La scacchiera è 6x6 o 8x8.
Sudoku project
Cerca trovare la quantità minima di numeri iniziali che devono essere dati per avere una soluzione unica del gioco (scacchiera 9x9). Attualmente questo valore è 17 trovato sia dal progetto che da migliaia di giocatori reali in tutto il mondo.