BOINC projects: Difference between revisions
add Distributed Hardware Evolution Project See more... |
add SAT@home and SIMAP See more... |
||
| Line 3,702: | Line 3,702: | ||
| | | | ||
| | | | ||
|Technical University of Munich, the Helmholtz Zentrum München and the University of Vienna | |||
| | | | ||
| | | | ||
| Many computational methods in biology and medicine are based on protein sequence analysis, e.g. to predict the function and structure of genes and proteins. SIMAP facilitates these methods by providing pre-calculated protein similarities and protein domains. [[SIMAP|See more...]] | |||
| Many computational methods in biology and medicine are based on protein sequence analysis, e.g. to predict the function and structure of genes and proteins. SIMAP facilitates these methods by providing pre-calculated protein similarities and protein domains. | |||
|- | |- | ||
| Line 3,846: | Line 3,846: | ||
| | | | ||
| | | | ||
|Russian Academy of Sciences (Siberian Branch) | |||
|Mathematics | |||
| | | | ||
| Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. [[SAT@home|See more...]] | |||
| Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc) that can be effectively reduced to Boolean satisfiability problem. | |||
|- | |- | ||