Volume 9 Supplement 6
Symposium of Computations in Bioinformatics and Bioscience (SCBB07)
BioGraphE: highperformance bionetwork analysis using the Biological Graph Environment
 George ChinJr†^{1}Email author,
 Daniel G Chavarria†^{1},
 Grant C Nakamura†^{2} and
 Heidi J Sofia†^{3}
DOI: 10.1186/147121059S6S6
© Chin et al; licensee BioMed Central Ltd. 2008
Published: 28 May 2008
Abstract
Background
Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as kclique, kcoloring, and subgraph matching have great potential as analysis techniques for newly available data in biology. Yet, as the amount of genomic and bionetwork information rapidly grows, scientists need advanced new computational strategies and tools for dealing with the complexities of the bionetwork analysis and the volume of the data.
Results
We introduce a computational framework for graph analysis called the Biological Graph Environment (BioGraphE), which provides a general, scalable integration platform for connecting graph problems in biology to optimized computational solvers and highperformance systems. This framework enables biology researchers and computational scientists to identify and deploy network analysis applications and to easily connect them to efficient and powerful computational software and hardware that are specifically designed and tuned to solve complex graph problems. In our particular application of BioGraphE to support network analysis in genome biology, we investigate the use of a Boolean satisfiability solver known as Survey Propagation as a core computational solver executing on standard highperformance parallel systems, as well as multithreaded architectures.
Conclusion
In our application of BioGraphE to conduct bionetwork analysis of homology networks, we found that BioGraphE and a custom, parallel implementation of the Survey Propagation SAT solver were capable of solving very large bionetwork problems at high rates of execution on different highperformance computing platforms.
Background
Networks and graphs are wellstudied constructs in computer science and applied mathematics. As the sizes and complexities of networks grow, however, critical limitations arise that restrict a scientist's ability to analyze a large network, both computationally and cognitively. From our observations, humans appear to be capable of comprehending networks that contain up to about 100 nodes. Singleprocessor computers, on the other hand, can often process graphs of up to 100,000s of nodes, depending on the algorithm. Yet, in many scientific fields, networks often arise that may consist of millions to hundreds of millions of nodes. In a world of continually growing scientific data and information spaces, scientists need advanced new strategies, tools, and computer systems to effectively and efficiently process and analyze largescale scientific networks.
Data complexity and volume issues have recently become especially significant in biology as the result of highthroughput data production in genomics and proteomics. Networks are a fundamental concept in biological systems, and their analysis is an essential capability. Of great interest are methods for discovering bionetworks from diverse types of data, storing, representing, comparing, and extracting features from them, and computing upon dynamic bionetworks. Yet, despite these trends, it is also increasingly common to hear biologists use the term "giant hairball" to convey their experiences working with large, complex bionetworks in research.
We believe that unlocking the real potential of these networks for biologists will require a significant investment in highperformance computing (HPC) and innovative computational systems and techniques. These approaches have been applied less often in biology, yet biological systems have many intriguing and ideal properties for driving the development of advanced computational strategies and highpowered solutions. Biological computing involves critical issues in dataintensive computing, defined as "applications to explore, query, analyze, visualize, and in general process very largescale datasets" [1]. In this context, scale relates to both absolute data size and the algorithms and applications that can process largescale data.
In this paper, we introduce the Biological Graph Environment (BioGraphE), which offers novel graph approaches, techniques, and tools in an integrated framework to address dataintensive computing challenges associated with largescale bionetworks. BioGraphE will enable biology researchers and computational scientists to identify and deploy network analysis applications and to easily connect them to efficient and powerful computational software and hardware that are specifically designed and tuned to solve complex graph problems.
Results
Graph problems in genome biology
Many areas of biological research are poised to benefit from advances in network analysis. Sources of biological networks include proteinprotein interactions, gene expression from microarrays, metabolic pathways, and signal transduction cascades. We have selected genome biology problems in this project for several reasons. These results are important to biologists in the study of how proteins function in the cellular machinery. We are able to build networks in genome biology in a highly tunable fashion: they can be made as large or small, as simple or complex as needed, in large numbers, and with correct biological encodings. The data is freely available in public databases with large quantities of nodes for these networks as well as diverse types of interconnections. Edges based on homology can be defined in highthroughput using the BLAST [2] algorithm and these comparisons can be performed very efficiently with the ScalaBLAST implementation [3]. Other types of edges may also be retrieved from the databases. Finally, we are able to extract right or wrong answers from these networks to provide useful feedback on the analysis.
Computational framework for largescale graph analysis
Graph algorithms are known to be computationally expensive for large graphs because they often involve comparisons of each node to every other node in the graph. As the number of nodes increase, the number of comparisons will often increase exponentially. In fact, many general graph problems such as kclique, Hamiltonian paths and cycles, and subgraph isomorphism are NPcomplete (i.e. there is no known polynomial time algorithm).
To facilitate complex, largescale graph analysis, we seek a general solution and computational framework to enable scientists to deploy and integrate new graph algorithms and techniques as needed. Rather than continuously building customized, oneoff graph solutions, we wish to develop and provide an extensible and uniform analysis platform built on modern computational approaches and systems.
To achieve the best performance, direct and indirect graph solvers should be implemented on highperformance computing (HPC) architectures such as compute clusters, sharedmemory SMP and NUMA platforms, as well as multithreaded architectures such as the Sun Niagara and Cray MTA2. To best utilize the features and capabilities of individual HPC platforms, computational solvers should utilize data structures and synchronization code that are most efficient for the individual platforms.
As a computational framework for bionetwork analysis, BioGraphE has distinct benefits including:

The BioGraphE framework is extensible and allows core solvers to be added and new graph algorithms to be built on top of the algorithmic toolkit.

Core solvers should address wellstudied problems in computer science, where efficient heuristics and algorithms are available. Specific domain problems and applications, on the other hand, have had much less scrutiny and evolution, and thus, are much less likely to garner optimized solutions.

Core solvers should provide a very expressive language or interface to which many different kinds of graph problems may be translated.

Once the core solvers have been ported and optimized to run on a HPC machine, domain problems that are passed to the solvers should automatically gain the performance and benefits of the HPC machine without requiring recoding to that platform.
Bionetwork analysis
When applying BioGraphE to support bionetwork analysis, we had to make some choices regarding the software and hardware to be utilized. We sought a core solver that would be capable of efficiently solving NPcomplete problems, since many of the graph algorithms we wished to apply were also NPcomplete. We also sought a general solver that would accept a wide range of problems, had known formulations for graph problems, and had strong potential for code parallelization. For these reasons, we selected a modern solver for Boolean satisfiability (SAT) equations called Survey Propagation (SP) [6, 7] as a core solver.
SAT is a wellknown NPcomplete constraintsatisfaction problem. Various graph problems such as kclique, kcoloring, and Hamiltonian paths and cycles may be reduced to SAT equations using known efficient reduction algorithms [8]. SP is a modern SAT solver originally developed to study the physics of complex systems such as spin glasses. It has proven to be successful on many large satisfiability problems beyond the reach of other SAT methods.
SAT solving using Survey Propagation
Given randomly generated formulas of M clauses of exactly K literals over N Boolean variables, research has shown that hard instances of random KSAT exist when the formulas are near specific threshold values of α = M/N. KSAT problems moderately below α are underconstrained and easily satisfiable, while those moderately above α are overconstrained and generally unsatisfiable. KSAT problems near α identify a critical phase transition region where solutions are difficult and computationally expensive to obtain. In the case of random 3SAT, the α threshold value was found to be approximately 4.2 [7]. More specifically, α values between 3.921 and 4.267 were considered to represent the hard region for random 3SAT.
Sequential SAT solver statistics and execution times on random 3SAT equations. Initial statistics and wall clock times for baseline testing of the Mézard and Zecchina sequential implementation of Survey Propagation and Walksat SAT solvers on a personal computer running Windows XP on a single Intel 2.00 GHz Pentium M processor.
SP Variables  SP Clauses  α  Walksat Variables  Walksat Clauses  Walksat α  Walksat Exec Time (alone)  SP Exec Time (comb.)  Walksat Exec Time (comb.)  SP+Walksat Exec Time (comb.) 

1,000  4,200  4.20  790  2,595  3.28  0.05  0.34  0.02  0.36 
2,500  10,500  4.20  429  485  1.13  3.83  2.78  0.02  2.80 
5,000  21,000  4.20  2,785  6,939  2.49  22.41  3.30  0.02  3.31 
7,500  31,500  4.20  4,633  12,569  2.71  457.95  5.25  0.34  5.59 
10,000  42,000  4.20  5,464  13,465  2.46  492.75  9.30  0.05  9.34 
50,000  210,000  4.20  26,318  63,467  2.41  3,388.52  98.61  1.64  100.25 
100,000  420,000  4.20  56,649  143,932  2.54  5,121.84  231.27  4.19  235.45 
A number of issues should be noted when using SP to solve hard random KSAT problems. First, SP is a heuristic algorithm that has no guarantee of convergence, but still has been found to converge for many hard KSAT problems that other KSAT implementations were unable to solve. Furthermore, SP has been found to be particularly effective in determining the satisfiability of KSAT formulas, but has some difficulty determining unsatisfiability [7]. Finally, SP has mainly been tested for randomlygenerated KSAT formulas. Evaluations of SP's performance on nonrandom KSAT formulas have been limited.
Parallel implementation of Survey Propagation
Although rapid progress has been made in SAT solvers, most are sequential and few are parallel [10], and are thus limited to the capabilities of a single workstation. In order to enable the solution of very large sets of SAT equations (such as those derived from large biologicallyoriginated graphs), we need the parallel processing capabilities and large aggregated memory spaces of HPC systems.
Given the advantages exhibited by SP over traditional SAT solvers for very large sets of equations, we implemented a parallel version of SP. SP operates by repeatedly updating weights associated with the variable and clause nodes until a fixed point is reached when the difference between successive updates falls below a specific threshold. The variables must be updated in a random order that changes at each iteration step. The finegrained nature of the synchronization in this computation makes it more suitable for a parallel implementation on a multiprocessor with a shared address space than on a network of commodity workstations.
Parallel computing environments
We implemented two versions of the parallel SP application:
Our testing platforms were a Sun Fire T2000 server with an 8core Sun UltraSPARC T1 ("Niagara") processor and a 40processor Cray MTA2 system located at the Cray facilities. More details about these platforms can be found in [14]. On the Sun Niagara server, we executed the OpenMP version compiled with the Sun compiler suite. On the MTA2 system, we executed our custom multithreaded version.
Kclique analysis of homology networks
As an initial, proofofprinciple problem, we chose to apply the kclique problem on a collected set of protein homology networks, which are graphs where nodes represent proteins and edges represent similarity between proteins measured by the BLAST algorithm [2]. Correspondingly, we have built software to perform the transformation or reduction of a protein homology network specification into a set of Boolean satisfiability equations for finding a kclique in the network. To test this software, we prepared a series of graphs that represent specific biological relationships that we understood well.
Kclique to SAT reduction
We implemented a kclique to SAT reduction algorithm that takes a particular input graph and produces SAT equations. The SAT equations, in turn, will be solved by the SAT solvers in BioGraphE. A kclique is a subgraph consisting of k nodes, all of which have edges to one another.
Impact of clique size on kclique to SAT reduction. Statistics from the reduction of nodes and edges from the kclique problem to the equivalent variables and clauses of SAT equations for different values of k.
Nodes  Edges  K  Vars  Clauses  α 

148  6,186  3  444  70,089  157.86 
148  6,186  5  740  194,935  263.43 
148  6,186  10  1,480  780,470  527.34 
148  6,186  20  2,960  3,123,340  1,055.18 
148  6,186  30  4,440  7,028,610  1,583.02 
148  6,186  40  5,920  12,496,280  2,110.86 
148  6,186  50  7,400  19,526,350  2,638.70 
148  6,186  60  8,880  28,118,820  3,166.53 
148  6,186  67  9,916  35,063,177  3,536.02 
148  6,186  68  10,064  36,117,724  3,588.80 
Impact of graph size on kclique to SAT reduction. Statistics from the reduction of nodes and edges from the kclique graph problem to the equivalent variables and clauses of SAT equations for different graph sizes.
Nodes  Edges  K  Vars  Clauses  α 

148  6,186  3  444  70,089  157.86 
248  11,529  3  744  224,325  301.51 
533  52,055  3  1,599  1,038,501  649.47 
781  63,939  3  2,343  2,449,329  1,045.38 
1,270  196,121  3  3,810  6,303,957  1,654.58 
3,741  217,350  3  11,223  61,979,313  5,522.53 
Table 2 also shows how the size of the SAT problem rapidly increases with clique size. Our cliquetoSAT reduction approach produces O(n^{2}k^{2}) clauses with O(nk) variables, where n is the number of nodes in the graph and k is the size of the clique.
In the second set of test cases, we applied SP to homology networks of different sizes. Table 3 shows that the SAT problem also rapidly increases with the overall size and complexity of the homology network.
In both the cases of increasing clique size k or the number of nodes n, a very large number of clauses are generated and the corresponding α values of the SAT equations are very high compared to the 4.2 phase transition region for 3SAT equations. One might expect the produced SAT equations to be overconstrained and unsolvable. Nevertheless, the SAT equations from the reduction are generally solvable using SP. This interesting result requires further investigation as well as the exploration of alternative reduction strategies to generate SAT equations from kclique problems.
We should also note that the Boolean formulas produced from the reduction are in the form of 2 and nclauses. Since most SAT phase transition studies have focused on SAT equations with fixed clause sizes (e.g., 3SAT), a relevant research effort would be to examine and characterize the phase transition region of our particular set of SAT equations that evolved directly from bionetworks. Part of this research should involve simplifying the SAT equations to more efficient forms.
In addition, we are evaluating three additional reduction algorithms for kclique in the literature [8] that require a smaller number of variables for the reduction, as well as reductions for other graph methods. It is important to note that these more sophisticated reductions will not necessarily lead to faster execution speeds for the overall graph analysis procedure, since we expect the overall runtime to be dominated by the SP solver. In particular, the runtime should be dominated by how "hard" the SAT instances are as defined by the ratio of clauses to variables. For 3SAT, it has been experimentally determined that a ratio of clauses to variables of approximately 4.2 may lead to SAT instances with exponential solution times. We are in the process of studying the behavior of our reductiongenerated SAT instances and characterizing them with respect to their solution difficulty.
Parallel performance of Survey Propagation
The first problem was a 67clique problem performed on a graph consisting of 148 nodes and 6,186 edges. This clique problem reduced to SAT equations consisting of 10,064 variables and 36,117,724 clauses. The second problem was a 3clique problem performed on a graph consisting of 3,741 nodes and 217,350 edges. This problem reduced to SAT equations consisting of 11,223 variables and 61,979,313 clauses.
As shown by the actual clock times of Figure 6, the parallel SP algorithm implementation scales nonlinearly with the size of the problem instance. Overall, the MTA2 had a 2.28 to 5.79 times improvement in execution times over the Niagara. The speedup charts of Figure 6 also show that the parallel SP algorithm exhibits an almost linear speedup within the same problem size when utilizing from one to eight processors on the Niagara and from one to sixteen processors on the MTA2. The efficiency generally degrades on both machines, however, after reaching those processor thresholds. Furthermore, the MTA2 more than doubled the speedup rates of Niagara for the larger SAT problems when running on sixteen or more processors. For the bionetworkrelated SAT equations, MTA2 was able to achieve a speedup rate of up to 15.97, while Niagara's highest speedup rate was 6.33.
Conclusion
In this paper, we introduced a highperformance computational framework for graph analysis called BioGraphE. The general approach of BioGraphE is to identify and deploy complex graph algorithms, which may be computationally and/or dataintensive, and to integrate those algorithms with powerful and efficient computational solvers and HPC systems. The goal is to bring highperformance software and hardware capabilities to bear on challenging graph problem without requiring the scientist to become an expert of specific computing environments.
For our initial implementation, we selected a SAT solver known as Survey Propagation (SP) to serve as our first core solver. Both SAT and SP have desirable properties such as high expressivity, potential for parallelization, strong history of research, and existing tools and technologies. Our initial findings on the performance of SAT and SP were promising in that we were able to solve large kclique problems and see definitive improvements in execution speed.
We will continue to optimize the parallel SP code to achieve the highest performance possible. We will also continue to study graphtoSAT reductions to better understand the phase transition of generated SAT equations and how SAT solving performance maps back to the structure and properties of bionetworks. Also, we will continue to explore and experiment with other computational solvers to evolve and extend BioGraphE's overall graph analysis capabilities.
Methods
Serial Survey Propagation SAT solver
SP is an iterative messagepassing algorithm that represents Boolean formulas as bipartite graphs, where Boolean variables correspond to one type of node and clauses to the second. Edges between the two types of nodes correspond to variables appearing in the clauses of the original formula. Messages or data passed among the nodes of the graph consists of probability distributions which are used to compute weights on the individual nodes. The SP algorithm finds the variable node that is most biased towards a true or false value and sets that node accordingly. It then updates the probability distributions, recomputes the weights, and finds and sets the next most biased node. Normally, SP will partially solve the equations to the point where a traditional SAT solver can easily complete the remaining parts of the solution. For the traditional SAT solver, we employed Walksat [9], which is a wellknown, traditional local search algorithm.
Parallel Survey Propagation SAT solver
Our initial analysis of the serial SP code available from Mézard & Zecchina [6] indicated that the main opportunities for parallelization in this C implementation are found in the computation of the pervariable information and the perclause information, which can be executed in parallel. However, the overall structure of the application involves a large number of sequential iterations over the short parallel steps described above as well as several sequential steps such as choosing the most biased variables. Thus, this original structure would not ultimately be conducive to scalable performance.
We implemented a parallel version of SP from first principles based on the distributed SP algorithm presented in [11]. The main difference between the serial and parallel SP algorithms is that the decisions about which Boolean variables to fix to a particular value are done locally instead of globally. In the original serial algorithm, the variables that are fixed to particular Boolean values are selected globally after updating the weights for all variables. In the parallel version, the decision to fix a variable to a particular value is done with local information that does not depend on the state of other Boolean variables. For this reason, the distributed SP algorithm can be structured as a set of serial iterations over two large parallel steps – updating the weights of the variable nodes and updating the weights of the clause nodes. The fixedpoint stopping conditions can be computed locally with respect to each variable and clause node.
OpenMP implementation
Our OpenMP implementation reuses part of the code from the serial SP implementation to handle file input and output and most data structures, however, the main computational structure has been replaced with a new parallel structure as previously described. The computation is based on two main parallel loop nests that update the nodes representing Boolean variables and the nodes representing clauses. OpenMP threads will update a set of variables and a set of clauses using a blockdynamic scheme to reduce load imbalance. Each OpenMP thread has a separate condition flag to indicate whether a fixedpoint has been reached. No node under the control of the thread changed its weight above the threshold. Special care must be taken to safely simplify the overall Boolean formula when a variable is fixed to particular value – not only the clauses in which the variable appears are affected, but other variables on the same clauses could have their values fixed as a consequence.
Cray multithreaded implementation
Our Cray multithreaded version was derived from the OpenMP version and has basically the same computational structure. The main difference is that this version can take advantage of the memory latency hiding capabilities inherent in Cray's multithreaded processors, thus enabling very high processor utilization and scalability. However, since SP depends on a final postprocessing step executed by a traditional sequential SAT solver (Walksat), our experimental Cray version only implements the SP algorithm itself. Sequential code sections execute with very poor performance on the multithreaded processors.
Kclique to SAT reduction algorithm
 1.
Every member of the kclique must be some node in the graph.
 2.
Any given node of the graph can be at most one member of the kclique.
 3.
Two nodes that do not share an edge cannot both be members of the kclique.
Each rule leads to the generation of a set of disjunctive Boolean clauses, which may be viewed as constraints on the solution. The reduction software applies these rules and generates the clauses in a form suitable for the BioGraphE SAT solver programs.
Notes
Declarations
Acknowledgements
This work was funded in part by the U. S. Dept. of Energy Office of Advanced Scientific Computing Research. PNNL is operated by Battelle for the U. S. Dept. of Energy.
This article has been published as part of BMC Bioinformatics Volume 9 Supplement 6, 2008: Symposium of Computations in Bioinformatics and Bioscience (SCBB07). The full contents of the supplement are available online at http://www.biomedcentral.com/14712105/9?issue=S6.
Authors’ Affiliations
References
 Cannataro M, Talia D, Srimani PK: Parallel data intensive computing in scientific and commercial applications. Parallel Computing 2002,28(4):673–704.View ArticleGoogle Scholar
 Altschul SF, Madden TL, Schaffer AA, Zhang J, Zhang Z, Miller W, Lipman DJ: Gapped BLAST and PSIBLAST: A new generation of protein database search programs. Nucleic Acids Research 1997, 25: 3389–3402.PubMed CentralView ArticlePubMedGoogle Scholar
 Oehmen CS, Nieplocha J: ScalaBLAST: A scaleable implementation of BLAST for highperformance dataintensive bioinformatics analysis. IEEE Transactions on Parallel and Distributed Systems 2006, 17: 740–749.View ArticleGoogle Scholar
 Campbell EA, Greenwell R, Anthony JR, Wang S, Lim L, Sofia HJ, Donohue TJ, Darst SA: A conserved structural module regulates transcriptional response to diverse stress signals in eubacteria. Molecular Cell, in press.
 Sofia HJ, Nakamura GC: Similarity Box: visual analytics for large sequence sets. Bioinformatics, in press.
 Mézard M, Zecchina R: Random Ksatisfiability problem: from an analytic solution to an efficient algorithm. Phys Rev E Stat Nonlin Soft Matter Phys 2002,66(5 Pt 2):056126.View ArticlePubMedGoogle Scholar
 Braunstein A, Mézard M, Zecchina R: Survey propagation: An algorithm for satisfiability. Random Structures & Algorithms 2005,27(2):201–226.View ArticleGoogle Scholar
 Iwama K, Miyazaki S: SATvariable complexity of hard combinatorial problems. IFIP Transactions AComputer Science and Technology 1994, 51: 253–258.Google Scholar
 Selman B, Kautz H, Cohen B: Local search strategies for satisfiability testing. In Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge. Edited by: Johnson DS, Trick MA. Providence, RI: American Mathematical Society; 1996:521–532. [DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol 26.] [DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol 26.]Google Scholar
 Singer D: Parallel resolution of the Satisfiability Problem: A survey. In Parallel Combinatorial Optimization. Edited by: ElGhazali T. New York: WileyInterscience; 2006. [Zomaya AY (Series Editor): Wiley Series on Parallel and Distributed Computing, 10 Nov 2006.] [Zomaya AY (Series Editor): Wiley Series on Parallel and Distributed Computing, 10 Nov 2006.]Google Scholar
 Chavas J, Furtlehner C, Mézard M, Zecchina R: Surveypropagation decimation through distributed local computations. J Stat Mech 2005, P11016.Google Scholar
 Anderson W, Briggs P, Hellberg CS, Hess DW, Khokhlov A, Lanzagorta M, Rosenberg R: Early experience with scientific programs on the Cray MTA2. In Proceedings of the 2003 ACM/IEEE conference on Supercomputing: 15–21 November 2003; Phoenix. Edited by: Koelbel C, HornerMiller B. IEEE Computer Society; 2003:46.View ArticleGoogle Scholar
 Feo J, Harper D, Kahan S, Konecny P: Eldorado. In Proceedings of the 2nd Conference on Computing Frontiers: 4–6 May 2005; Ischia, Italy. Edited by: Valero M, Ramirez A. ACM; 2005:28–34.Google Scholar
 Nieplocha J, Marquez A, Feo J, ChavarriaMiranda D, Chin G, Scherrer C, Beagley N: Evaluating the potential of multithreaded platforms for irregular scientific computations. In Proceedings of the 4th Conference on Computing Frontiers: 7–9 May 2007; Ischia, Italy. Edited by: Dubois M, Strenström P. ACM; 2007:47–58.Google Scholar
 Bader DA, Feo J: On the architectural requirements for efficient execution of graph algorithms. In Proceedings of the 2005 International Conference on Parallel Processing: 14–17 June 2005; Oslo, Norway. Edited by: Feng W, Duato J. IEEE Computer Society; 2005:547–556.Google Scholar
 Bader DA, Madduri K: Designing multithreaded algorithms for breadthfirst search and stconnectivity of the Cray MTA2. In Proceedings of the 2006 International Conference on Parallel Processing: 14–18 August 2006; Columbus, Ohio. Edited by: Feng W. IEEE Computer Society; 2006:523–530.Google Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.