http://boinc.berkeley.edu/dev/ COPYRIGHT_HOLDER Tue, 07 Feb 2012 18:40:20 GMT en-us http://boinc.berkeley.edu/dev/rss_image.gif http://boinc.berkeley.edu/dev/ http://boinc.berkeley.edu/dev/forum_thread.php?id=7263 http://boinc.berkeley.edu/dev/forum_thread.php?id=7263 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. ]]> Tue, 07 Feb 2012 18:40:20 GMT http://boinc.berkeley.edu/dev/forum_thread.php?id=7183 http://boinc.berkeley.edu/dev/forum_thread.php?id=7183 Second London Citizen Cyberscience Summit, involving volunteer computing and other forms of citizen science, will be held 16-18 February 2012 in London. ]]> Tue, 03 Jan 2012 08:52:14 GMT http://boinc.berkeley.edu/dev/forum_thread.php?id=7088 http://boinc.berkeley.edu/dev/forum_thread.php?id=7088 IBM World Community Grid recently celebrated its 7th birthday and announced the release of a new application to find treatments for malaria. ]]> Mon, 21 Nov 2011 05:00:39 GMT http://boinc.berkeley.edu/dev/forum_thread.php?id=7086 http://boinc.berkeley.edu/dev/forum_thread.php?id=7086 Mersenne@home is a new project, based in Poland, that searches for 'Mersenne primes' - prime numbers of the form 2^p-1. ]]> Sun, 20 Nov 2011 17:10:10 GMT