Springen naar inhoud

[boinc news] Welcome SAT@home


  • Log in om te kunnen reageren

#1

Boinc-feed

    Boinc-feed


  • >100 berichten
  • 107 berichten
  • Nieuwsbot

Geplaatst op 07 februari 2012 - 19:40

The SAT@home project, from the Institute for Systems Analysis of Russian Academy of Sciences, solves hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to the Boolean satisfiability problem. Geplaatste afbeelding

Bekijk het gehele bericht
BOINC: Use the idle time on your computer (Windows, Mac, or Linux) to cure diseases, study global warming, discover pulsars, and do many other types of scientific research.

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.




0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures