Uncategorised

AMBITO: Matematica

Lo scopo del progetto è quello di cercare delle soluzioni uniche al gioco del Sudoku nel caso in cui si parta da una combinazione di soli 16 numeri iniziali. Nel caso di 17 numeri iniziali sono state già trovate negli anni circa 50.000 soluzioni uniche ma nessuna ancora partendo da 16.

Si procede testando ognuna delle combinazioni iniziali possibili: l'algoritmo utilizzato permetterà di analizzare tutti i casi in 2417 anni-core. A novembre 2011 il progetto è stato completato al 17%.

AMBITO: Matematica

RSA Lattice Siever è un progetto di ricerca che utilizza i computer connessi ad Internet per aiutare altri progetti di fattorizzazione, come MersenneForum o XYYXf, a raggiungere i loro obiettivi accademici.

Dopo quasi tre anni di lavoro, in un primo momento per fattorizzare le chiavi a 512 bit utilizzate per la validazione dei calcolatori grafici TI-Z80 e TI-68k, ma ben presto riproposto per la fattorizzazione degli interi di interesse matematico, RSA Lattice Siever è stato chiuso ed inglobato in NFS@home che dispone di codici migliorati e ottimizzati (partendo dall'originale) per eseguire la medesima ricerca matematica. Anche le persone coinvolte nel progetto RSA-LS si sono aggregate a NFS@home.

AMBITO: Matematica

SHETI è un progetto di ricerca che utilizza i computer connessi ad Internet per risolvere il 131-bit ECC Certicom Challenge. La sfida è di risolvere un problema del logaritmo discreto di una curva ellittica.

Risulta che il challenge non sia ancora stato vinto da nessuno (il premio si aggira sui 20.000$) ma questo progetto non distribuisce più lavoro dal 2009 e da allora non c'è alcuna notizia sui risultati ottenuti o sui progetti futuri (ammesso che ce ne siano).

AMBITO: Biologia, Medicina

RNA World è un supercomputer distribuito che utilizza i computer connessi ad Internet per progredire nella ricerca sul RNA. Questo sistema è dedicato ad identificare, analizzare, progettare e predire la struttura delle molecole di RNA sulla base di un affidabile software bioinformatico capace di elevate performance ed alta produttività.