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.
Bekijk het gehele bericht
Laatste berichten
- 15:07 Twee neutronen 6
- 15:03 Muon
- 15:00 Engels 2
- 11:32 Aardlek-schakelaar 18
- 10:21 geen minkowski-ruimte toch? Doe ik dit nou fout? 19
- 28 apr Gravity and gravitation 10
- 27 apr wig 26
- 26 apr speciale rel. theorie 12
- 26 apr [scheikunde] vraag Chemie - wat is de oplossing? 11
- 26 apr Programmeren met vectoren 6
- 26 apr Straatklok loopt 5 minuten voor 12
- 25 apr Bruine vlekken op treinaanwijzerbord 10
- 25 apr Vogels in de stad zijn goede klussers 2
- 25 apr Rood laserlicht 3
- 25 apr Herleiden afmetingen vanaf een foto 21
- 25 apr [wiskunde] Prijs Product per KG; Alternatief Inzicht 3
- 25 apr do-re-mi-fa-so vliegtuigen 9
- 25 apr [natuurkunde] kroon van koning op Syracuse 10
- 25 apr 2013 – Augustus Vraag 3 3
- 24 apr Vraag 2009 Juli Vraag 5 5
Nieuwsberichten
- 04 mar Een nieuw soort magnetisme: altermagnetisme
- 31 okt AI kan via stem diabetes vaststellen 11
- 21 okt Einstein krijgt wéér gelijk 45
- 07 feb witter dan wit 20
- 19 jun irrigatie en de aardas
[boinc news] Welcome SAT@home
Moderator: Jan van de Velde
- Berichten: 109
[boinc news] Welcome SAT@home
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.