the identification of genomic regulatory elements is an important but unsolved problem in genome annotation ( 1 ) . of the 5% of mammalian genome that is estimated to be under evolutionary selection pressure , less than a third is coding ( 2,3 ) .
the remaining portion is believed to be composed of untranslated regions , non - coding genes , chromosomal structural elements and regulatory elements that control a variety of biological processes including gene expression , translation , chromosomal replication and condensation .
whereas the number of coding genes in many of the sequenced organisms can now be reasonably estimated , there is no clear estimate of the number of functional regulatory elements in these genomes , especially in the metazoa . in eukaryotes ranging from the nematodes to flies to the mammals ,
the number of coding genes is similar ( 2,46 ) , and it is now thought that organismal complexity may be attributed to phenomena such as alternative splicing , dna rearrangement and increased number of transcriptional regulatory elements as well as transcription factors ( tfs ) which regulate gene expression ( 7 ) . the identification of cis - regulatory elements controlling gene expression , and characterization of their interaction with the respective tfs ,
thus lie not only at the very heart of understanding of the network of gene interactions but also of explaining the origins of organismal complexity and development .
as such these representations are general and can be used to describe any class of short dna sequence elements . however the theories for weight matrix model , which is a common way to represent a collection of dna elements , are based on the biophysical considerations of protein  dna interactions ( 811 ) ( as described in the following section ) .
therefore , here we primarily discuss the transcriptional regulatory elements , more specifically the dna sites that are bound by the tfs .
it is estimated that there are 2000 tfs in the mammalian genomes ( 2,5 ) and 1000 in the flies and worms ( 7 ) .
however , only for a minority of the tfs ( 900 in human , 700 in mouse , 200 in drosophila and 100 in caenorhabditis elegans ) is there currently any known information on binding sites or interacting protein partners ( 12 ) .
dna - binding site models are available for 500 vertebrate tfs , and < 5000 genomic sites are known in all vertebrates in fewer than 3000 genes ( 12 ) .
based on the information available from a few of the well - studied genes ( 13 ) , it appears that the total number of such sites in the multicellular genomes could be at least an order of magnitude higher than the number of coding genes , i.e. in the order of hundreds of thousands or more .
thus , our knowledge of the tfs , and especially their binding sites and regulated genes , is severely limited at this present time .
computational methods for modeling and identification of dna regulatory elements have been developed over the past two and a half decades ( 1420 ) .
orthogonal information from comparative genomics or co - regulation at the transcriptional level have also been integrated into these methods to identify cis - regulatory sites ( 2125 ) .
more recently , methods have been developed ( 2632 ) to analyze composite regulatory elements , i.e. modules consisting of multiple dna sites bound by the regulatory factors ( 33 ) .
all of these methods have been valuable in expanding our limited knowledge of regulatory elements in the genome .
here we discuss the progress made in the computational identification of genomic regulatory elements , recent advances , the utility of orthogonal data , existing challenges in the field and some selected examples where these methods have been successfully applied to discover novel functional elements . rather than exhaustively covering the literature , we focus on the key concepts .
significant progress has also been made in the experimental characterization of regulatory sequences , a discussion of which is beyond the scope of this article , and the reader is referred elsewhere for further information ( 3443 ) .
recurrent motifs in a collection of dna sites are most commonly modeled by sequence patterns ( also called regular expressions ) , or by position weight matrices ( pwms , also called profiles and position - specific scoring matrices , pssms ) .
the sequence patterns are simply strings over the 4-letter alphabets [ a , c , g , t ] that form the dna . in order to capture variation in a specific position , the degenerate iupac nucleic acid codes ( 44 ) ( , nomenclature for incompletely specified bases in nucleic acid sequences ) are used ( figure 1 ) .
an l - long sequence motif can also be represented by a 4  l matrix with weights giving the frequency of the four dna bases ( or the logarithm , see below ) in each of the l positions ( 18,45,46 ) ( figure 2 ) .
it is worth noting here that some dna - binding site motifs are bipartite , i.e. have two halves that are sometimes separated by a spacer element in between
. such bipartite motifs can often be palindromic , e.g. 5-cggnnnnnnnnnnnccg-3 , the binding site for yeast tf , gal4 ( 47 ) .
the pattern and pwm representations serve as complementary approaches and have been used widely since the 1980s .
the dna sequence patterns are simpler in representation , and advantageous in terms of exact enumeration of their significance in the genome using statistical methods ( explained in detail later ) .
the pwms are able to capture information on the variability of a collection of dna sites in a quantitative manner , which is not possible with the dna patterns .
however when detecting significant pwms in dna sequences , heuristic methods have to be used instead of exhaustive enumeration .
perhaps the most important practical utility of these models is their application in scanning dna sequences for new regulatory element candidates . for this
, one needs the appropriate motif models representing the regulatory elements , a statistical framework to score sites and determine their significance , and suitable thresholds to minimize false positives and false negatives .
currently there are two comprehensive and curated databases containing information on tfs binding site profiles ( 12,48 ) .
jaspar ( 48 ) contains a smaller set that is non - redundant ( i.e. each tf has only one profile ) , while transfac ( 12 ) contains multiple profile models for some tfs .
in addition to the above generic databases , other organism - specific databases exist that host transcriptional regulation data ( 47,4951 ) ( ) .
therefore if a large enough sampling of sites is not available , they may not capture all possible variations of the functional sites .
this tends to produce false negative calls on new sites that do not match well with the previously characterized ones .
the binding sites for structurally related tfs are often similar , and in such cases building familial binding profiles instead of profiles for each tf may be useful ( 52 ) . in both patterns as well as pwm representations ,
the significance of a particular motif is given by a measure of statistical surprise ( or likelihood ) for the motif given the data .
in the case of patterns , significance can be calculated given the distribution of all occurrences of patterns using standard statistical procedures ( 20,53 ) .
this has been used in several software packages that discover over - represented patterns from input sequences ( 5458 ) . in the methods using weight matrix models , the measure of significance
is commonly given by the information content ( ic , also called relative entropy ) ( 8,9,11 ) : 
 1i(p)=j=1li = atfi , j  logfi , jpi , 
 where i(p ) is the ic for the pwm representing a pattern p , l is the pattern length , i is the index of a base { range a through t } at position j of the pwm , fi , j is the frequency of base i at position j of the pwm , and pi is the probability of observing that base in the data .
based on biophysical models of protein  dna binding , it has been shown that the contributions of the individual positions of a site to the total binding free energy of the tf may be given by log(fi , j / pi ) ( 8,11,46 ) , which are often used as the weights ( or log - odds scores ) in a pwm ( figure 2c ) .
the ic is therefore the weighted average of the binding energies from each of the sites represented in the matrix , and lower ic indicates higher variability ( consequently lower specificity ) in the sites .
statistical methods for computing the p - value of ic have been defined ( 59,60 ) .
several algorithms use the ic measure to identify optimal motifs from input sequences ( 59,6164 ) . given a dna motif ,
searching sequences for candidate sites is straightforward ; but distinguishing real sites from artifactual ones is difficult .
the problem of distinguishing true versus false sites arises from the fact that tf dna - binding sites are usually degenerate and many subsequences may match a given motif .
the situation is illustrated with the collection of eight known sites for a saccharomyces cerevisiae tf , rox1 [ taken from the scpd database ( 47 ) ] ( figure 2 ) . even though there is a preferred base at 11 of the 12 positions , at 8 of those more than one base
is tolerated ( in a larger collection of sites , even these 4 conserved positions may show variations ) .
only two of the known binding sites correspond to the consensus pattern , ( t / c)ccattgttctc ( conserved positions are shown in boldface ) , so a search of the genome with this consensus pattern would miss many functional sites . on the other hand ,
the iupac representation of the sites , yyhmtkgttbdb , captures the variation of all the sites but is also likely to find a large number of false positives and non - functional sites in a genome - wide search .
given a sequence and a pwm , one can score any subsequence in that input .
suppose the length of the pwm is l and the weight of base i at position j is wi , j , the score of a subsequence ( s ) , when aligned to the pwm , is then given by the following equation : 
 2scores=j=1li = atwi , jsi , j , 
 where xi , j = 1 if base i occurs at position j of subsequence s and 0 otherwise .
this simple scheme is commonly used ( 59,65,66 ) , and assumes an additive contribution from each position towards the score .
methods have been described to calculate the p - values of these scores based on their distribution ( 59,65,67 ) .
similar to dna patterns , site predictions with the pwms can suffer from high false positive rates if motifs are degenerate .
if base composition of a genome is assumed to be random ( which is not an accurate assumption , but helps us to discuss the following point in an approximate but simplified way ) , the rox1 pwm ( figure 2c ) , which has an ic of 11.2 bits , would be expected to have a site every 2500 nt [ for details see ( 9 ) ] , or 4700 total sites in the yeast genome .
there are motifs for which the ic is even lower , leading to a much higher number of possible sites .
for example , a collection of 13 known binding sites for uash ( 47 ) has an ic of only 8.5 bits , giving 32  000 potential sites in the yeast genome ( or 1 every 370 nt ) .
thus , the problem of distinguishing real from false ( biologically non - functional ) sites is an important but challenging one .
in addition to the motif degeneracy , there are other biological issues relating to the predictions of functional tf - binding sites in the genome , which are discussed below .
although there are limitations , the pwm models work fairly well in representing the specificity of dna - binding sites and predicting tf - binding probability to a given site ( 11,18 ) .
some tfs are by nature moderately or poorly specific in their dna binding and achieve higher specificity only in the context of other binding partners .
one also has to remember that the chromatin structure and dna methylation play important roles in gene regulation ( 6870 ) .
large portions of the chromosomal dna are sequestered by histones forming part of the nucleuosomal structure , and are therefore not accessible for binding by the tfs .
dna methylation can inhibit interaction of the regulatory proteins with cognate dna sites and also influence the chromatin structure .
while doing genome - wide searches for putative binding sites using a motif model , one typically does not know the chromosomal regions that are open for the regulatory proteins to bind , or ( with a few exceptions ) the binding partners for a given tf .
a blind search of the entire genome without such information usually returns a large number of sites , many of which would probably bind to the tf ( strongly or weakly , depending on the match of the sites to the model and the specificity of the model ) if the dna sequences were open for binding , but are biologically non - functional in vivo .
genomic sequences that play an active role in transcriptional regulation , such as the promoters , may often be outside of the nucleosome structure , or at least available a part of the time due to chromatin remodeling ( 71 ) .
so the rate of non - functional site predictions in these sequences is likely to be lower than other parts of the genome .
however , without the information on dna availability , methylation status or other binding partners , the binding site predictions with individual models are unlikely to achieve the same level of specificity that are achieved in vivo by the tfs . despite the fact that for individual pwm models determining thresholds for distinguishing real versus non - functional sites is difficult
a sample - size adjusted ic may be defined as the true ic ( equation 1 ) minus the ic expected from an arbitrary alignment of an equal number of random sites .
the patser program ( 59 ) ( ) uses a default cutoff score for which the loge(probability ) ( i.e. the probability of observing a score greater or equal to the cutoff ) equals the sample - size adjusted ic .
another approach is based on prediction rates on sequences that contain known sites and on sequences that are likely not to contain sites ( 66,72 ) .
false negative rates are computed from predictions made on the experimentally characterized tf - binding sites , and false positive rates may be computed , for example , from predictions in exons , where the number of regulatory elements is expected to be low ( 66 ) . given these prediction rates , the selection of the appropriate cut - off score depends largely on the user 's objectives .
a third approach has been to use a distribution of scores for a pwm and use one or two standard deviations below the mean score as a threshold for filtering out low - scoring sites ( 73 ) , but retaining most of the true positive ones .
recently , djordjevic et al . ( 10 ) have described a support vector machine ( svm ) method for representation of dna motifs based on thermodynamic principles of protein  dna binding .
the biophysical treatment and optimization of the svm automatically provides a threshold to distinguish the binding energies of the real sites versus those that are likely to be false .
this natural and objective thresholding is one of the strengths of their approach and it provides a way to avoid the use of the more subjective or user - defined thresholds that are frequently employed . since many of the tfs bind dna in the context of other tfs ,
where information is available about the organization of multiple dna - binding sites or the binding partners for a given tf , it can be utilized to reduce the rate of false positive predictions .
even when individual pwms tend to be fairly non - specific , searching for co - occurrence of binding sites that form regulatory modules has been shown to be an effective approach to increasing prediction specificity without losing sensitivity ( 74 ) .
finally , we discuss one limitation of the additive pwm models in representing dna sites , and recent developments which address this issue . as seen from equations 1 and 2 , the simple pwm approach assumes independent contributions from each position within a dna site towards the binding free energy of the tf ( mononucleotide model ) .
this has been shown not to hold true in several situations ( 37,75,76 ) where sufficient binding site data are available for detailed analysis . in such cases , higher - order models ,
i.e. those that consider interdependence between positions within a site , are better representations and give more accurate predictions when searching for candidate sites ( 10,7679 ) .
most of the higher - order models ( 10,7581 ) use di - nucleotide interactions , which is a reasonable compromise between the mononucleotide pwms and the more complete models with interactions between multiple ( more than two ) positions .
this is because ( i ) the large number of characterized binding sites that is needed to build complex models ( with increased number of parameters ) is rarely available for any particular tf ( 12 ) and ( ii ) in a few cases where sufficient experimental data are available ( 37,75 ) , interdependencies between adjacent nucleotide positions appear to be the most significant of the within - site interactions . from the dna - binding site data available for a small number of tfs , it has been estimated that 25% of sites may show significant within - site positional correlations ( 76 ) . even in cases where intra - site interactions exist ,
the simpler additive model has been suggested to be a good approximation ( 80 ) .
as more experimental data become available with the application of high - throughput methods for characterizing tf - binding sites , it remains to be seen if significant interdependence between positions of dna - binding sites is prevalent in tf  dna interactions , and whether the more complex sequence models provide a considerable enhancement in modeling accuracy over the additive pwms in many cases .
since the structural contexts of both dna and protein can contribute towards specific dna binding by tfs ( 82 ) , some studies have investigated the use of structural information of protein 
the structure - based approaches are promising as they can predict binding sites for tfs where no previous sites have been characterized before ( 85 ) , and can provide improved predictive power over the simple sequence profile models ( 83 ) .
however , they have been limited in their general use so far , since derivation of the quantitative structural parameters is dependent on the small number of solved protein  dna complex structures . a more thorough discussion of the structural aspects of protein 
dna recognition is beyond the scope of this review and the readers are referred to the articles above ( and references therein ) for further information on this topic . with larger datasets , the issues with modeling complex dna  protein interactions can be investigated more thoroughly than what has been done so far , and the building of models ( with or without structural parameters ) with higher accuracy is likely to become more feasible .
discovery of motifs in sequence data was an early problem to be addressed in computational biology .
the dna motif discovery algorithms that have been developed can be divided into two categories , namely pattern driven methods ( those that identify dna patterns ) and sequence driven or alignment driven methods ( those that identify profile models ) ( 16,20 ) .
the concepts behind these algorithms , their advantages and limitations , and a few example methods are discussed below . in the pattern
driven methods , given a set of dna sequences and a length l of pattern that we wish to find , the challenge is to identify the most significant patterns of that length .
the solution to the problem can be obtained by generating all possible patterns of length l , searching for the number of occurrences of each pattern , and then reporting the ones with highest frequency as being the most significant in the given data ( 5258,8991 ) .
this enumerative approach is exact and guaranteed to find optimal solutions in the restricted search space .
approximate sequence patterns , or patterns that contain degeneracy at one or more positions , can also be identified from the sequence .
the similarity between any two patterns may be given by the hamming distance ( the number of positions in which they differ ) or the levinstein distance ( the number of substitutions , insertions or deletions needed to transform one string into another ) ( 20 ) .
when multiple patterns are close in terms of their distance , they can be merged into one approximate pattern ( 89,92 ) .
although the exact enumeration is an advantage of these methods , one limitation is that searching for long patterns is computationally expensive , and an exhaustive search through the sequence space of 4 words often becomes impractical for l > 10 ( 93 ) .
two general strategies have been taken to address this limitation : ( i ) the use of efficient methods [ e.g. pattern graphs ( 93 ) or projections ( 94 ) ] for pre - processing the data so that the search space is reduced and actual pattern search becomes less expensive , and ( ii ) combining the shorter overlapping patterns found from the data to yield longer or more complex patterns ( 89,92,95,96 ) .
in addition to the exact enumerative methods , efficient data structures like the suffix trees ( 97 ) have also been applied to the dna pattern discovery problem ( 98100 ) .
although not exact algorithms , the advantage of the suffix trees is that they allow one to search for patterns of longer lengths since the search time is not exponential in the length of the patterns , but exponential in the number of mutations to be tolerated in the sites ( 98,100 ) . in the sequence
driven methods the challenge is to find the location of the sites and the representative pwm using only the sequence data , without any assumptions on the statistical distributions of patterns in the sequences .
if the locations of sites are known , building a dna profile for them is trivial .
however in the ab initio motif discovery problems , this information is not known (  missing information ) and has to be learned from the input data . such problems with missing information can be solved by employing machine learning algorithms .
several machine - learning approaches have been applied to the problem of motif finding ( 59,6264,76,101107 ) . unlike some pattern driven methods where the most significant motifs can be identified by exact enumeration , obtaining the globally optimal results
motifs of arbitrary lengths can be searched , since the search time does not depend significantly on the length of sites .
the first amongst the sequence driven methods was the greedy algorithm ( 59,61,62 ) . given a set of n sequences , and a motif length l to be searched , this algorithm progressively builds matrices by including the sites which maximize the ic ( equation 1 ) .
the algorithm first builds a set of significant matrices by comparing all pairs of sequences . in subsequent iterations , sites that increase the ic of the alignment
another method that has been commonly used is the expectation  maximization ( em ) algorithm ( 63,102,103 ) .
the em algorithm simplifies the analysis of problems with missing information by iteratively substituting the locations of sites by expected locations .
the algorithm starts with a guess pwm , which can be random or based on some prior knowledge about the binding sites [ see e.g. ( 52,94 ) ] . using the pwm ,
the probability of each subsequence being a binding site is estimated , and the pwm is updated based on those probabilities .
a stochastic variant of the em algorithm that is now very widely used in sequence motif recognition is the gibbs sampling method ( 64,106 ) .
gibbs sampling , which is a type of markov chain monte carlo ( mcmc ) algorithm , tends to provide a more robust optimization of the pwms as the probabilistic sampling of sites helps the avoidance of local minima .
variations of the gibbs sampling technique have been implemented in many motif finding software that are used in the bioinformatics community ( 76,104,105,108,109 ) . for stochastic algorithms like the gibbs sampling ,
multiple searches have to be performed with the input dataset in order to confirm that the same motifs are discovered starting from different random points in the sequence space .
controlling for background sequence is an important issue in dna motif discovery that has been effectively addressed in recent years .
variation in local base composition can adversely affect sequence alignment and discovery of relevant motifs . because such variations can be complex , and since binding motifs are often at- or gc - rich , these adverse effects can be difficult to control using existing masking algorithms .
in addition , some low complexity sequence motifs [ like ploy(a ) or poly(gc ) ] are widespread in genomes of certain organisms . as a consequence , often the strongest motifs that are discovered from any input data are these common motifs that are prevalent in the genome but do not represent the specific regulatory elements that are being sought .
it is therefore important to detect those motifs that are significantly more frequent in the positive sequence set ( the input set in which we want to discover motifs ) relative to the background ( 91,92 ) .
the available programs which identify such motifs ( often called discriminative motifs ) do so by modeling the background with a markov chain ( 105,109,110 ) , or by accounting for the motifs that are frequent in a given background set ( 26,92,108 ) through sampling or enumeration . recently ,
tompa et al . ( 111 ) reported the most comprehensive comparative study yet performed for different ab initio motif - finding algorithms .
assessment was done for 13 commonly used dna motif discovery tools that do not use any auxiliary information , such as comparative sequence analysis , mrna expression levels or chromatin immunoprecipitation ( chip  chip ) data .
predictions were compared with known binding sites , using various statistics to assess their accuracy .
one important , but not unexpected , observation from this work was that a few different tools tend to complement each other 's performance .
for example , motifsampler 's ( 109 ) predictions complement well the predictions of meme ( 101,102 ) , oligo / dyad - analysis ( 56,90 ) , ann - spec ( 108 ) and ymf ( 110 ) .
the authors rightly suggest that biologists would be well advised to use a few complementary tools in combination rather than relying on a single one , and to pursue the top few predicted motifs of each rather than the single most significant motif ( 111 ) .
there are currently some examples where ab initio motif finding algorithms have been employed to identify novel regulatory elements that have been validated by follow - up experimental studies . a few of these are described below with the objective of illustrating the types of input data that can be used and the approaches that were taken in the studies . using the program alignace on the upstream promoter region of 248 distinct groups of genes in yeast s.cerevisiae , hughes et al .
( 104 ) , generated a list of 3311 putative regulatory motifs . by applying stringent thresholds and selecting motifs which had highest specificity for certain groups of genes ,
this large set was reduced to a small set of 54 motifs that were then grouped to 25 motif clusters based on the similarity of multiple motifs . of the 25 motif clusters ,
one of the previously unidentified motifs , representing the binding sites for the tf rpn4 , was verified using mrna expression analysis of the rpn4 protein knockout and overexpressing strains .
( 112 ) have described the identification of one novel regulatory element in the nematode c.elegans heat - shock response starting from a set of microarray experiments in which genes were robustly upregulated on heat - shock treatments at both early and late time points . using a set of 28 heat - shock upregulated genes they used the ab initio motif discovery algorithms , ann - spec ( 108 ) and consensus ( 59,108 ) , to identify two strong motifs that are over - represented in the promoters of these genes .
one of those motifs was the previously characterized heat - shock element that is broadly conserved in eukaryotes and known to bind to the tf called heat - shock factor .
the second motif , which was novel , was shown to be biologically functional in vivo through transgenic and mutational studies .
in fact , the two elements were shown to function in a cooperative manner ; the contribution to heat - shock mediated expression by either one was weak , but when placed together in close proximity they strongly regulated expression .
studies similar to the one described above was done to identify several new muscle regulatory elements in c.elegans , which were shown to contribute to muscle expression in a cooperative fashion ( 113 ) .
the identified elements were also highly predictive of additional muscle - specific genes in that organism ( 114 ) .
these studies show that ab initio prediction methods can be valuable in elucidating unknown regulatory elements not only in unicellular organisms , but also the more complex metazoan genomes .
although much progress has been made in the methods for ab initio detection of dna regulatory elements , the problem still remains a difficult one , especially where the input sequences are long and motifs are weak .
therefore , the incorporation of auxiliary information into such methods can be of significant benefit . since the availability of many complete genomes , the application of comparative genomics in the identification of dna regulatory elements has become an important area of study and it is covered in detail in the next section . here , as an example , we discuss a different approach which leverages mrna expression data in dna motif discovery .
( 24 ) described recently a method to discover regulatory elements that uses correlation of dna patterns with the expression levels of genes in a single profiling experiment .
they use a simple linear regression model to fit the logarithm of the expression of each gene to the sum of contributions from a set of dna patterns in the upstream promoter region .
all the genes are simultaneously fit , and statistically significant patterns that best fit the expression data are selected .
using yeast expression datasets , they reconfirm most of the motifs originally found by clustering of expression data and then running motif finding algorithms on clustered gene sets ( 115,116 ) .
since there are frequently cooperative ( non - additive ) interactions between tfs regulating a gene , the modeling is simplistic .
however , the advantage of this method is the fact that limited expression data are required for analysis and discovery of the dna motifs .
in addition to the above methods which integrate motif discovery with expression data , several tools and studies have been described that identify dna - binding site motifs for tfs from a set of sequences defined by mrna profiling ( 112,118,119 ) or chip  chip data ( 120,121 ) .
in multicellular organisms the sequence space in which regulatory elements can be present in the genome is vast .
in addition to the core promoter region , auxiliary transcription regulatory elements like enhancers , silencers and insulators can be present in the distant 5 upstream region , 3 downstream region and the introns ( 122 ) . in drosophila
such dna elements can be spread over a region of 10 kb around the genes whereas the average transcribed dna is 23 kb , and in mammals these elements can be scattered over distances of hundreds of kb ( 123 ) .
approaches that help to limit this search space are hence of significant value to the analysis of regulatory elements .
also , it is intriguing to study those regulatory mechanisms and elements that are likely to be of fundamental importance in maintaining certain cellular functions and therefore conserved in evolution .
consequently , phylogenetic footprinting ( 124,125 ) , which is based on the premise that functional elements are likely to be under selection pressure and thereby evolve at a rate that is slower than the surrounding non - functional sequence , has been widely applied in recent years to the identification of regulatory sequences ( 21,123,126129 ) .
purely for the purpose of illustration , a simple example of the application of phylogenetic footprinting for the identification of putatively conserved tf - binding sites is given in figure 3 .
enrichment of regulatory elements has been clearly demonstrated in non - coding dna in the human  mouse conserved regions ( 21,127,130 ) .
for example , wasserman et al . ( 21 ) found that 98% of the known muscle regulatory elements are located within 19% of the sequence that is most conserved between human and mouse .
non - coding sequences that can be aligned across two or more organisms have been shown to have functional regulatory roles ( 123,129 ) .
analysis of motif frequencies and correspondence in conserved regions across multiple species has been used to identify known and novel regulatory elements in organisms ranging from yeast ( 25,131133 ) to the mammals ( 134,135 ) .
rodent sequence alignments , and known sets of regulatory sequences and ancient repeats in those genomes , methods have been developed to distinguish conserved regulatory regions from neutral sequences ( 136,137 ) .
in addition to its application in eukaryotic genomes , comparative genomic approaches have helped in elucidation of regulatory elements in prokaryotes and archaea ( 22,138141 ) .
therefore , significant developments have been made over the past several years in utilizing the sequences from multiple species to identify functional regulatory elements in all phyla .
there are now numerous methods that are available for alignment of genomic sequences from two or more species ( 142151 ) .
some of these have been integrated with motif finding and visualization programs to provide practical tools for analysis of regulatory elements within cross - species conserved regions ( 152154 ) .
multiple sequence alignment methods can be advantageous in comparative genomics since they utilize more information relative to pairwise sequence alignments ; they can also be more powered to identify regulatory motifs ( 135,140,155 ) .
prakash and tompa ( 135 ) recently compared the performance of six global and local multiple alignment tools with respect to their potential of identifying highly conserved short ( 10mers ) dna patterns from the immediate upstream promoter sequences of orthologous genes from multiple vertebrate species ( human , chimp , mouse , rat , chicken ) .
two of the methods tested , namely mlagan ( 147 ) and tba ( 156 ) , appeared to perform better than several others for this purpose ( 135 ) .
more advanced methods have now been developed that directly take into consideration the phylogenetic distances between the organisms that are being aligned in order to identify conserved dna motifs ( 107,126,157159 ) .
in addition to phylogenetic footprinting , comparative genomics is now being utilized in other sophisticated and intriguing ways to identify regulatory elements of potentially conserved function .
some methods have not only utilized sequence conservation but also gene network conservation ( based on the hypothesis that multiple sets orthogonal genes may be regulated by common tfs ) to identify sets of regulatory motifs ( 133,160 ) . although developed in yeast , one of these studies
show that such methods can be sufficiently powered to detect regulatory elements in much longer sequences in the multicellular organisms , including mammalian genomes ( 133 ) .
there are now many examples where comparative genome sequence analysis has been used successfully to elucidate novel regulatory elements which would have been difficult to identify without that information ; three are illustrated below .
mccue et al . ( 140 ) used an extended gibbs sampling algorithm to identify probable transcription regulatory sites upstream of escherichia coli genes by cross - species comparison .
a set of 184 genes with orthologs from two or more other gamma proteobacterial organisms were analyzed .
of their predictions 81% corresponded with the documented sites known to regulate these genes , whereas 67% corresponded when data from only one other species were available , suggesting that addition of one more species aids in sensitivity of the binding site detection .
one of the novel predictions , a dna site bound by the tf yijc , was verified by experiments . in an elegant study , loots et al .
( 123 ) demonstrated the utility of phylogenetic footprinting by identifying a regulatory region conserved between human and mouse for il-5 that is located 120 kb away from the gene itself . in another study comparing genomic sequences from multiple primate species , boffelli et al .
( 129 ) , identified regulatory elements for apoa , a recently evolved primate gene .
a region of high conservation adjacent to the transcription start site was shown to interact with one or more dna - binding proteins using electrophoretic mobility shift assays with nuclear extracts from liver cells .
identification of such primate - specific functional elements would be unattainable through the comparison of species that are evolutionarily more distant .
as evident from the discussions above , approaches that utilize conservation across species are very useful in elucidating functional dna regulatory elements .
significant advances have been made in this area over the past 6 years . despite its utility and widespread use
, there are limitations in phylogenetic footprinting approaches with respect to their use in the identification of regulatory elements .
the short regulatory elements may be missed if the genomic sequences that are being aligned come from distant organisms ( 112,161,162 ) . if the organisms are too close , however , the alignments are extensive and therefore unable to distinguish the conserved functional elements from the non - functional ones ( 161,162 ) .
it is unclear at this time whether cross - species alignments would be equally useful in finding regulatory elements in all phylogenetic clades ( 163,164 ) . in a recent comparison of two drosophila species ,
the known regulatory elements were found to be only modestly enriched in the conserved regions ( 164 ) , although the amount of conservation in the non - coding regions of these drosophila species was roughly the same as in human  mouse . in another study , individual binding sites appear to be conserved across two nematode species , but they were not located in sequences that were aligned by the software for phylogenetic footprinting ( 112 ) . therefore , whether cross - species sequence alignment is likely to be an effective approach in all organisms in elucidating most of their functional regulatory elements , as well as the issues such as optimal phylogenetic distances , and the number of organisms needed to detect these elements , are still matters of debate and investigation ( 163 ) .
in eukaryotes , tfs rarely act alone in regulating the expression of a given gene . in most cases multiple factors bind dna , often in close proximity with each other , forming regulatory modules ( 13,33,165,166 ) . by utilizing combinatorial interactions between multiple factors these cis - regulatory modules ( crms ) confer specific spatial and temporal patterns of transcription
. therefore identification of composite modules and higher order regulatory structures is currently an active area of research in computational analysis of regulatory sequences .
the problem is difficult however since the combinatorial interactions between the regulating factors can be very complex ( e.g. see the array of regulatory interactions in the immediate upstream region of endo16 in sea urchin ( 13 ) ] .
there have been some developments in the past 6 years in addressing this problem in dna sequence analysis .
the current approaches can be classified as follows : 
 methods that identify modules given a set of dna motifs representing sites for tfs that are known to act together in regulating transcription ( 27,2931,74,167171).methods for ab initio identification of multiple dna motifs representing the sites for a crm ( 26,93,98,105,172174 ) .
methods that identify modules given a set of dna motifs representing sites for tfs that are known to act together in regulating transcription ( 27,2931,74,167171 ) . methods for ab initio identification of multiple dna motifs representing the sites for a crm ( 26,93,98,105,172174 ) .
softwares that identify crms given a set of known dna motifs fall into two categories , those that use hidden markov models to represent the crms ( 27,169 ) , and those that rely on observation of frequent joint occurrence of sites within a certain window , modeling the frequency of multiple sites with an appropriate statistical ( e.g. poisson ) distribution ( 30,31,74,167,169,170,175,176 ) .
because the dna - binding site models for the majority of tfs are currently unknown and the information on tfs that bind dna together in crms is very limited ( 166 ) , several ab initio methods have been developed to identify composite dna elements given just a set of input sequences ( 26,28,98,105,172174 ) .
a few of these methods use efficient suffix - tree structures to identify multiple or dyad patterns ( 28,98 ) , and others employ gibbs sampling or monte carlo strategy to identify multiple pwms that may represent binding sites in regulatory modules ( 26,105,172174 ) . by combining information from multiple sites ,
these methods have the potential to identify motifs that are too weak ( i.e. information poor ) to be identified individually ( 26 ) .
two examples of the application of computational methods for identification of novel crms are discussed .
the first describes the utility of an ab initio motif finder in identifying a novel composite motif regulating cell - cycle genes in yeast , and the second describes how the information on tfs that are known to bind dna jointly can be leveraged to make genome - wide predictions of regulatory modules involving sites for those factors . with the application of an ab initio composite motif discovery program ,
( 177 ) identified a crm involving the binding sites for yox1 and mcm1 from the promoters of a set of 28 genes upregulated in the yeast yox1 knockout strain .
yox1 , which represses the expression of genes in the m / g1 interval of yeast cell - cycle , binds dna in conjunction with the generic mads family tf , mcm1 .
the binding sites for both tfs were jointly identified using the software and subsequently validated through mutational and gel mobility shift studies .
the second example is of the transcriptional program in drosophila embryo . by using known dna binding specificity data for five tfs , berman et al .
( 170 ) identified genomic regions containing unusually high concentrations of predicted binding sites for these factors
. a significant fraction of these binding site clusters overlap known crms . in addition , many of the remaining clusters were adjacent to genes that were expressed in a pattern characteristic of those regulated by these factors .
the authors tested one of the newly identified clusters , mapping upstream of the gap gene giant ( gt ) , and showed that it acted as an enhancer that recapitulates the posterior expression pattern of gt .
although the above approaches show potential , the developments in computational identification of crms are recent and there is significant room for further investigations and improvement , since the arrangements of sites in the modules are complex .
the number of datasets containing collections of known composite regulatory elements that exist today is very limited [ a few examples are ( 74,164,167 ) ] , which poses an obstacle in the training and testing of general computational methods in this realm .
understanding the mechanisms of transcriptional regulation has been an object of extended and difficult quest in biological disciplines .
clearly , significant advances have been made over the past two and half decades not only in the representation and modeling of the dna regulatory elements , but also methods for their identification in genomic dna .
however , our knowledge of the transcriptional regulatory elements in the genome and their contribution to gene expression in different spatial and temporal contexts is still limited . given the complex pattern of regulatory interactions , the challenges involved in the complete elucidation of these elements in the genome are substantial .
one of the major challenges is to associate the computationally identified regulatory elements with their cognate tfs .
genome - wide analyses often identify a host of putative regulatory elements ( 25,132135 ) . in order to get an understanding of the regulatory processes it is essential to associate the regulatory proteins with these elements .
there have been some investigations into this problem ( 119,178,179 ) in prokaryotes and yeast , but further developments are required .
an important utility of characterizing the cis - regulatory elements is their use in the computational reconstruction of gene regulatory networks .
several studies have applied the information on cis - regulatory elements , either in isolation or in combination with other orthogonal sources of information ( e.g. microarray expression data ) , to construct regulatory networks ( 180183 ) .
these studies demonstrate how the information on transcriptional regulatory elements can be integrated to create gene networks . however , there are significant opportunities for investigations in this area .
the ab initio motif discovery tools and comparative genomics approaches have made it possible to detect regulatory elements in many genomes .
in addition , information that can guide the search for regulatory elements to the most relevant regions of the genome is becoming available , e.g. the accurate location of transcriptional start sites ( 184 ) , dna - ase hypersensitive sequences within nuclear chromatin that represent regulatory regions ( including promoters , enhancers , silencers , locus - control regions ) ( 43 ) , and tf binding locations from the chip  chip experiments ( 38,40,41 ) .
individually , there are methodological or practical limitations in the computational and experimental approaches in elucidating the location and function of the full set of regulatory elements . for example
, the computational dna motif finding algorithms have limitations in terms of the sensitivity and specificity of signals they can detect , whereas the high - throughput tf - binding site location technologies ( e.g. chip  chip ) are currently limited in the extent of intergenic sequences they can explore ( 185,186 ) . therefore it appears that the most efficient path to elucidating the novel regulatory elements and mechanisms will lie in the judicious integration of the various methods and data ( 182 ) . despite inherent challenges in the field
, rapid progress has been made over the past few years in the computational identification of regulatory elements .
successes of the computational methods have been demonstrated through experimental validations , and efficient methods for comparative genomics and analysis of crms are being fruitfully utilized to elucidate complex regulatory elements in organisms ranging from the unicellular bacteria to the mammals .
the iupac ( international union of pure and applied chemistry ) code for representing degenerate nucleotide sequence patterns . ( a ) the collection of eight known rox1-binding sites taken from scpd ( 47 ) .
the cells represent the number of times a base i is observed at position j in the alignment of sites .
the frequencies , fi , j , of base i at position j of the binding sites can be obtained by dividing the values in the cells of the alignment matrix by the total number of sites , e.g. fc,1 = ft,1 = 4/8 = 0.5 .
each weight is given by log2(fi , j / pi ) ( see text ) , where pi is the probability of observing the base i in the data ; here we have taken pa = pt = 0.32 , and pc = pg = 0.18 ( corresponding to the s.cerevisiae genome ) .
this matrix was used to score the sites in a. as an example , the score of the site in red ( sequence ccaattgttttg , score 13.87 ) is given by the summation of the scores that are circled in red . note that the scores of the two consensus sequences , cccattgttctc and tccattgttctc are different because pc  pt .
( d ) sequence logo representation ( 187 ) of the alignments , visually showing the ic and conservation at each of the alignment positions .
the ic of this matrix is 11.3 bits or 7.83 nats ( equation 1 ) .
the genomic regions , along with 5 kb upstream and 2 kb downstream , of the ckm gene were extracted from the human and mouse genomes and aligned using the blastz software ( 151 ) .
the blastz alignments were then fed into the rvista program ( 153 ) through the website .
binding sites for several tfs that are known to regulate gene expression in the muscle tissue were then predicted on the human sequence using the pwm models available from the transfac database ( 12 ) .
the predicted sites can be dynamically viewed and clustered through the above website . for the purpose of this current figure
, we required that at least two binding sites belonging to different tfs be present within a window of 100 nt .
a cluster of sites was observed in the immediate 5 upstream region of this gene ( boxed ) .
percent conservation between the two sequences is shown ; regions with 75% conservation are colored .
 identification and annotation of all the functional elements in the genome , including genes and the regulatory sequences , is a fundamental challenge in genomics and computational biology . 
 since regulatory elements are frequently short and variable , their identification and discovery using computational algorithms is difficult . 
 however , significant advances have been made in the computational methods for modeling and detection of dna regulatory elements . 
 the availability of complete genome sequence from multiple organisms , as well as mrna profiling and high - throughput experimental methods for mapping protein - binding sites in dna , have contributed to the development of methods that utilize these auxiliary data to inform the detection of transcriptional regulatory elements . 
 progress is also being made in the identification of cis - regulatory modules and higher order structures of the regulatory sequences , which is essential to the understanding of transcription regulation in the metazoan genomes . 
 this article reviews the computational approaches for modeling and identification of genomic regulatory elements , with an emphasis on the recent developments , and current challenges . 
INTRODUCTION
REPRESENTATION AND SEARCH OF DNA REGULATORY ELEMENTS
DISCOVERY OF DNA MOTIFS
COMPARATIVE GENOMICS IN THE SEARCH FOR REGULATORY ELEMENTS
COMPOSITE MOTIFS AND 
CONCLUDING REMARKS
Figures and Tables