ISGTW article "Desktop power helps map protein dance", by Zara Qadir In this International Science Grid This Week article, World Community Grid's Help Cure Muscular Dystrophy project is discussed - including what is being done with the current results. http://www.isgtw.org/feature/desktop-power-helps-map-protein-dance
SAT@home is a research project that uses Internet-connected computers to solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. At the moment we are solving the problem of search for orthogonal pairs of diagonal Latin squares of order 9 and 10. In the nearest future we hope to find the triple of mutually orthogonal Latin squares of order 10 or to prove the absence of such triples.
SAT@home 掲示板 http://sat.isa.ru/pdsat/forum_thread.php?id=2 Current goal in cryptographic area is to solve about 10 SAT problems for the generator A5/1 in few months. This generator is used in GSM standart for data encryption. Open scientific research of A5/1 is useful for creating new standarts.