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
- 10:10 [scheikunde] Kan chloorgas de geleiding van elektriciteit belemmeren?
- 09:48 Schroefdraad berekening 4
- 09:25 [scheikunde] berekeningen labo vitamine c bepaling 1
- 08:56 geen minkowski-ruimte toch? Doe ik dit nou fout? 11
- 22:05 projectiel 7
- 21:48 Verschil tussen deze 2 vragen 4
- 19:29 [wiskunde] rode en witte ballen verdelen 8
- 17:23 Rotatie van het heelal 41
- 12:15 Weerfrustratie 5
- 11:55 Muntje opgooien 14
- 21 apr Reactiviteit silyl enol ethers 1
- 21 apr Criterium voor vochtretentie
- 21 apr speciale rel. theorie 5
- 21 apr Vogels in de stad zijn goede klussers
- 21 apr Ervaringen met "herontdekkingen" 15
- 20 apr Herleiden afmetingen vanaf een foto 19
- 20 apr Stank rotte eieren uit de warmwaterboiler 11
- 20 apr Nut warmtepomp 18
- 20 apr Airco bevriezings kans berekenen. 17
- 19 apr Ik wil studeren via afstandsonderwijs, kennen jullie Tech?
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.