RNA Secondary Structure Alignment Based on Stem Representation
|
|
- Rodney Lynch
- 5 years ago
- Views:
Transcription
1 RNA Seondry Struture Alignment Bsed on Stem Representtion Meng-Yi Wu, Chng-Biu Yng nd Kuo-Si Hung Deprtment of Computer Siene nd Engineering Ntionl Sun Yt-sen University, Kohsiung, Tiwn Abstrt The omprison methods for RNA or protein moleules re importnt nd bsi tools in moleulr biology. So fr, most omprison methods, suh s sequene lignment, re only pplible to the primry strutures of biomoleules. Indeed, the funtions of biomoleules hve lose reltionship in their strutures. The RNA seondry struture lignment problem is to lign two given RNA strutures to get the struture similrity. In ddition, it is lso helpful to predit the funtions of biomoleules nd to lssify them. In this pper, we design dynmi progrmming method for ligning two RNA seondry strutures tht do not ontin ny pseudoknot. The time omplexity of our lgorithm is O(N 4 ), where N is the number of bloks ontined in the given RNAs. We lso pply our lgorithm to rel biomoleules, the tr- NAs of Homo spiens mitohondrion, to evlute the prtibility of our lgorithm. We tke three trna genes, TRNG, TRNA nd TRNV, to test the performne of our lgorithm. From the viewpoint of humn eyes, the struture of TRNG is more similr to TRNA. Our lgorithm lso gets this result. 1 Introdution It is well-known tht RNAs ply n importnt role for the biohemil intertions, suh s RNA trnsription, reverse trnsription, protein trnsltion, nd mrna spliing. Some RNAs re lso ribozymes, nd some of them ontin geneti informtion of viruses, suh s HIV, SARS, nd flu. The funtions of RNAs re orresponding to their strutures nd RNA-protein inter- This reserh work ws prtilly supported by the Ntionl Siene Counil of the Republi of Chinnder ontrt NSC E tions. Atully, it is not esy to get the ext struture of RNA, beuse the struture my be different in vrious environments, suh s temperture nd pressure. Beuse of the importne of RNA struture, some methods hve been proposed to predit the RNA strutures [7, 10, 13, 17, 20]. The funtions of biomoleules hve lose reltionship in their strutures. Therefore, the struture omprison methods for RNA or protein moleules re importnt nd they re bsi tools in moleulr biology. So fr, most omprison methods re only pplible to the primry strutures of biomoleules. In generl, mny RNA sequenes hve very high similrity, but their seondry strutures or funtions my not be very similr. In other words, mny RNAs hve similr seondry strutures nd funtions, but their identities my not be high enough. Hene, this pper pys ttention to the RNA seondry struture lignment problem. Our gol is to lign two RNA moleules with given seondry strutures to get the struture similrity. For distinguishing different RNA strutures, our importnt job is to onstrut the struture similrity evlution method between RNAs. Sine there re mny sequene lignment methods, some reserhers try to inorporte the seondry struture informtion into primry struture [1, 3, 9]. Lin et l. [9] proposed two novel opertions, r-ltering nd r-breking. In n RNA struture lignment, n r-ltering opertion mens tht one nuleotide is deleted nd nother nuleotide is ligned to nuleotide of the other RNA, nd n r-breking opertion mens tht two nuleotides identilly re ligned to two nuleotides tht re not bse pir of the other RNA. The bove two opertions mke the problem hrder, but the biologil menings of these opertions my need more disussion. In nother wy, n RNA struture my be represented s tree. Severl lgorithms try to dopt 60
2 the methods for solving tree problems to reonstrut the lignment nd to evlute the similrity between two RNAs [4 6, 11, 14, 15, 18]. Some methods [5, 6, 14, 15] do not use RNA nuleotide informtion, beuse it is diffiult to represent the stems nd loops in tree. Zhng [18] proposed method to solve WLCS (weighted lrgest ommon sub-struture) problem on two RNA trees by pplying the ordered tree edit distne lgorithm [19]. Lu et l. proposed nother mesurement of edit distne between lbeled trees [11], whih n be pplied on the omprison of RNA seondry strutures. If RNA seondry strutures n be represented s lbeled trees, one my lulte the edit distnes between these lbeled trees for ompring nd lssifying RNA seondry strutures. Their method is n lterntive mesurement of the similrity between RNA seondry strutures. Form the viewpoint of RNA strutures with psudoknots, some reserhers lso studied the RNA struture lignment problem [2,8,12,16]. For two given RNAs, whih one struture is known nd the other struture is unknown, Lenhof et l. [8] proposed polyhedrl pproh to lign the two RNAs. The pproh n be pplied to two RNA strutures whih hve tertiry intertions or pseudoknot. If the strutures of two RNAs re known, there re mny methods to lulte the similrity or to lign these two RNAs [2, 12, 16]. M et l. [12] proved tht lulting edit distne of two RNAs is n NP-hrd problem, where the strutures of RNAs ontin psudoknots. From the moleulr biologil or biomedil viewpoint, the stems nd loops in n RNA struture my possess some funtions or indue the intertions with other moleules, proteins nd omplexes. The stems nd loops should be importnt hrteristis for RNA strutures. If we regrd stems or loops s bloks, n RNA sequene n be represented s sequene with stem bloks nd loop bloks. The blok-representing RNA sequenes led to novel RNA struture similrity nd lignment problem. In this pper, we propose dynmi progrmming lgorithm for lulting the similrity nd lignment of two blokrepresenting RNAs with stems nd loops. The rest of this pper is orgnized s follows. In Setion 2, we introdue the RNA strutures nd relted definitions. Our RNA seondry struture lignment lgorithm bsed on stem representtion is desribed in Setion 3. We improve our lgorithm to redue the number of required indies in Setion 4. Setion 5 shows our experimentl results nd we onlude this pper in Setion 6. 2 Preliminries RNA is single strnd, omposed of nuleotides (bses) denine (A), gunine (G), ytosine (C) nd uril (U). The sequene onsisting of the nuleotides A, G, C nd U is lled the primry struture of RNA. The seondry struture of n RNA is formed by its primry struture whih is folded bk on itself. In seondry struture of n RNA, there re three possible types of bse pirs: G C, A=U, nd G U with triple, double nd single hydrogen bond, respetively. An RNA sequene is represented s string of N R elements R = r 1 r 2 r i r NR, where r i {A, G, C, U}, 1 i N R. (r i, r j ) denotes bse pir of seondry struture of R, where 1 i < j N R. For onveniene, given two nuleotides x nd y in n RNA sequene, if x is loser to 5 nd y is loser to 3, we ll x is in the left position of y nd y is in the right position of x. We n ut n RNA seondry struture into liner struture tht ontins the informtion of the seondry struture. In the liner struture, there re mny bloks ording to the informtion of the seondry struture. A blok is defined to be ontiguous sequene (or string) tht is omposed of severl nuleotides. Hene, the blok string of N B elements is denoted s B = b 1 b 2 b i b NB, where b i is blok, 1 i N B. We define stem s group of stked pirs, nd the stem in n RNA seondry struture is ontiguous mong these stked pirs. In stem, the stked pirs n be divided into two stem bloks ording to their indies. The left stem blok is loser to 5, nd the right stem blok is referred to s the blok loser to 3. We use < b i, b j > to denote the two stem bloks in the sme stem, where b i nd b j re the left nd right stem bloks, respetively. Another group of ontiguous unpired nuleotides is lled loop blok. The blok string B of n RNA seondry struture onsists of loop bloks nd stem bloks. The following exmple illustrtes n RNA struture. R = A 1 G 2 G 3 C 4 C 5 A 6 A 7 U 8 U 9 G 10 C 11 U 12 G 13 C 14 A 15 A 16 G 17 G 18 C 19 C 20 U 21 G 22 C 23 C 24 C 25 A 26 C 27 G 28 As shown in Figure 1, (G 2, U 9 ) nd (G 3, U 8 ) re bse pirs in R, where bse pirs G 2 nd G 3 re ontiguous, U 8 nd U 9 re lso ontiguous. The set of stked pirs (G 2, U 9 ) nd (G 3, U 8 ) form one stem. The left stem blok is omposed of G 2 nd 61
3 loop blok stem blok loop blok A GGCCAAUUGCUGCAAGGCCUGCCCACG A C C G G stem blok A A U U loop blok G G A A stem blok (b) C C loop blok stem blok loop blok left stem blok right stem blok left stem blok right stem blok C U G G C G C C C A C G Figure 1: The seondry struture nd the bloks of RNA sequene R = AGGCCAAUUGCUGCAAGGCCUGCCCACG. () The seondry struture of R. (b) All loop bloks nd ll stem bloks of R, where stem hs left stem blok nd right stem blok. G 3. The right stem blok is omposed U 8 nd U 9. Similrly, the bse pirs (G 13, C 23 ), (C 14, G 22 ) nd (A 15, U 21 ) form nother stem, where the left stem blok is omposed of G 13, C 14 nd A 15, nd the right stem blok is omposed U 21, G 22 nd C 23. In ddition, C 4, C 5, A 6 nd A 7 re ontiguous unpired nuleotides. In ft, C 4 C 5 A 6 A 7 is one of loop bloks in R. The RNA seondry struture hs two types nmed non-pseudoknot nd pseudoknot. The nonpseudoknot type hs no ross for eh stem of n RNA seondry struture, the pseudoknot type my hve rossing stems in n RNA seondry struture. For exmple, onsider string blok B = b 1 b 2 b 3 b 4 b 5 b 6, where b 2 nd b 4 re loop bloks nd other bloks re stem bloks. If < b 1, b 6 > nd < b 3, b 5 > re two stems, we sy B belongs to the non-pseudoknot type. If < b 1, b 5 > nd < b 3, b 6 > re two stems, then they form ross nd the RNA B hs pseudoknot. Note tht our lgorithm only onsiders the RNA strutures without ny pseudoknot. 3 RNA Seondry Struture Alignment Algorithm In this setion, we shll propose new dynmi progrmming method for performing n lignment on two RNA seondry strutures. For onveniene, we regrd the two RNA sequenes s the mster sequene nd the slve sequene. () The mster sequene is of length N R, denoted s R = r 1 r 2 r NR, nd the slve sequene is of length N R, denoted s R = r1r 2 rn. If R there re N B bloks ontined in the seondry struture of R, the N B bloks form blok string B = b 1 b 2 b NB. Similrly, B = b 1b 2 b N, B where R ontins N B bloks. An RNA seondry struture ontins set of stems, eh onsisting of two stem bloks. Suppose there re N S nd N S stem bloks in the seondry strutures of R nd R, respetively. Let S denote stem blok string nd S = s 1 s 2 s i s NS, where s i is stem blok, 1 i N S. Let S denote nother stem blok string nd S = s 1s 2 s j s N, where S s j is stem blok, 1 j N S. Let p(s i ) denote the stem prtner of stem blok s i. Tht is, < s i, p(s i ) > nd < p(s i ), s i > re stems. We define segment to be group of ontiguous nuleotides whih pper within blok or ross severl bloks. The symbol [x s, x e ] represents the segment strting t nuleotide x s nd ending t nuleotide x e. Similrly, the symbols with subsripts s nd e represent the strting nd ending positions, respetively. We define funtion ρ(s i, s j ) to deide whether two stem bloks s i nd s j form stem or not. If two stem bloks s i nd s j form stem, then ρ(s i, s j ) = 1; otherwise, ρ(s i, s j ) = 0. In ddition, we denote the omplement of ρ(s i, s j ) s ρ(s i, s j ). For onveniene, we regrd ρ(s i, s j ) nd ρ(s i, s j ) s Boolen funtions in our formuls. Let stemlign(< s i, s j >, < s k, s l >) denote the lignment sore funtion between stem < s i, s j > of R nd stem < s k, s l > of R, where 1 i < j N S nd 1 k < l N S. Let segmentlign(t, z) denote the segment lignment sore funtion, where t is segment of R nd z is segment of R. The opertor represents to find the next stem blok nd represents to find the previous stem blok. Finlly, let f(x, y, u, v, α, β, γ, δ) define the lignment sore funtion in our lgorithm, where x nd y re the stem bloks of R, u nd v re the stem bloks of R, α nd β re segments of R, nd γ nd δ re segments of R. Therefore, the initil indies of the lignment sore funtion f(x, y, u, v, α, β, γ, δ) of our lgorithm re expressed in Figure 2. Hene, the initiliztion of our lgorithm is summrized s follows. 1. x = s 1 nd y = s NS in R. 2. u = s 1 nd v = s N S in R. 62
4 x s... x e p(x) p(y) y s... y e β s β e x s... x e p(x) p(y) y s... y e α s α e β s β e Stem4 α e α s u s... u e v s... v e u s... u e v s... v e γ s γ e δ s δ e γ s γ e δ e δ s Figure 4: Illustrtion of Cse 2. Figure 2: The illustrtion of initil indies of our lgorithm. α s α e x s... x e v s... v e u s... u e γ s γ e δ s δ e Figure 3: Illustrtion of Cse 1. y s... y e β s 3. In R, if α is not null (empty), then α = b 1 ording to B, α s = (b 1 ) s nd α e = (b 1 ) e, i.e., [α s, α e ] = [(b 1 ) s, (b 1 ) e ]. Otherwise, α is null, α s = x s nd α e = x s 1, i.e., [α s, α e ] = [x s, x s 1]. It is similr for γ in R. If γ is not null, then [γ s, γ e ] = [(b 1) s, (b 1) e ]. Otherwise, γ is null, [γ s, γ e ] = [u s, u s 1]. 4. In R, if β is not null, then β = b NB ording to B, β s = (b NB ) s nd β e = (b NB ) e, i.e., [β s, β e ] = [(b NB ) s, (b NB ) e ]. Otherwise, β is null, β s = y e + 1 nd β e = y e, i.e., [β s, β e ] = [y e + 1, y e ]. It is similr for δ in R. If δ is not null, then [δ s, δ e ] = [(b N B ) s, (b N B ) e]. Otherwise, δ is null, [δ s, δ e ] = [v e + 1, v e ]. In our lgorithm, the input dt re two RNA seondry strutures without ny pseudoknot. In other words, their seondry strutures look like ( (( ( ))) ), where () represents stem nd represents loop blok. We divide our lignment lgorithm into four ses ording to the situtions of stem bloks s follows. Cse 1: ρ(x, y) = 1 nd ρ(u, v) = 1. Figure 3 illustrtes Cse 1. We n further divide the se into three subses. Cse 1.1: Stem < x, y > ligns with stem < u, v >. We must find solution for β e stem bloks x 1, y 1, u 1 nd v 1. Thus, f(x, y, u, v, α, β, γ, δ) = f(x 1, y 1, u 1, v 1, [x e + 1, (x 1) s 1], [(y 1) e + 1, y s 1], [u e + 1, (u 1) s 1], [(v 1) e + 1, v s 1]) + stemlign(< x, y >, < u, v >)+segmentlign(α, γ)+ segmentlign(β, δ). Cse 1.2: < x, y > is not ligned with < u, v >, nd < x, y > of R beomes prt of segment. We must find solution for stem bloks x 1, y 1, u nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(x 1, y 1, u, v, [α s, (x 1) s 1], [(y 1) e + 1, β e ], γ, δ). Cse 1.3: < x, y > is not ligned with < u, v >, nd < u, v > of R beomes prt of segment. We must find solution for stem bloks x, y, u 1 nd v 1. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, y, u 1, v 1, α, β, [γ s, (u 1) s 1], [(v 1) e + 1, δ e ]). Cse 2: ρ(x, y) = 0 nd ρ(u, v) = 1. Figure 4 illustrtes Cse 2. This se n be further divided into three subses s follows. Cse 2.1: Find the prtner p(y) of stem blok y. We must find solution for stem bloks x, p(y) 1, u nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, p(y) 1, u, v, α, [(p(y) 1) e + 1, β e ], γ, δ). Cse 2.2: Find p(x) of x. We must find solution for stem bloks p(x) 1, y, u nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(p(x) 1, y, u, v, [α s, (p(x) 1) s 1], β, γ, δ). Cse 2.3: Stem < u, v > of R is prt of segment. We must find solution for stem bloks x, y, u 1 nd v 1. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, y, u 1, v 1, α, β, [γ s, (u 1) s 1], [(v 1) e +1, δ e ]). 63
5 α s α e x s... x e y s... y e u s... u e p(u) p(v) v s... v e γ s γ e δ s δ e Stem4 α s α e Figure 5: Illustrtion of Cse 3. x s... x e p(x) p(y) y s... y e γ s γ e u s... u e p(u) p(v) Stem4 Figure 6: Illustrtion of Cse 4. β s Stem4 β e v s... v e Cse 3: ρ(x, y) = 1 nd ρ(u, v) = 0. Figure 5 illustrtes Cse 3. We n further divide the se into three subses. Cse 3.1: Find p(v) of v. We must find solution for stem bloks x, y, u nd p(v) 1. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, y, u, p(v) 1, α, β, γ, [(p(v) 1) e + 1, δ e ]). Cse 3.2: Find p(u) of u. We must find solution for stem bloks x, y, p(u) 1 nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, y, p(u) 1, v, α, β, [γ s, (p(u) 1) s 1], δ). Cse 3.3: Stem < x, y > of R is prt of segment. We must find solution for stem bloks x 1, y 1, u nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(x 1, y 1, u, v, [α s, (x 1) s 1], [(y 1) e + 1, β e ], γ, δ). Cse 4: ρ(x, y) = 0 nd ρ(u, v) = 0. Figure 6 illustrtes Cse 4. We n further divide the se into six subses s follows. Cse 4.1: Find p(y) of y. We must find solution for stem bloks x, p(y) 1, u nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, p(y) 1, u, v, α, [(p(y) 1) e + 1, β e ], γ, δ). β s δ s β e δ e Cse 4.2: Find p(v) of v. We must find solution for stem bloks x, y, u nd p(v) 1. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, y, u, p(v) 1, α, β, γ, [(p(v) 1) e + 1, δ e ]). Cse 4.3: Find p(y) of y nd p(v) of v. Thus, we divide this subse into two mpping groups. The first group is for stem bloks x, p(y) 1, u nd p(v) 1. The seond group is for stem bloks p(y), y, p(v) nd v. We must find the solution for both groups. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, p(y) 1, u, p(v) 1, α, [(p(y) 1) e + 1, p(y) s 1], γ, [(p(v) 1) e + 1, p(v) s 1]) + f(p(y), y, p(v), v, [p(y) s, p(y) s 1], β, [p(v) s, p(v) s 1], δ). Cse 4.4: Find p(x) of x. We must find solution for stem bloks p(x) 1, y, u nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(p(x) 1, y, u, v, [α s, (p(x) 1) s 1], β, γ, δ). Cse 4.5: Find p(u) of u. We must find solution for stem bloks x, y, p(u) 1 nd v. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, y, p(u) 1, v, α, β, [γ s, (p(u) 1) s 1], δ). Cse 4.6: Find p(x) of x nd p(u) of u. Thus, we divide the subse into two mpping groups. The first group is for stem bloks x, p(x), u nd p(u). The seond group is for stem bloks p(x) 1, y, p(u) 1 nd v. We must find solution for the two groups. Thus, f(x, y, u, v, α, β, γ, δ) = f(x, p(x), u, p(u), α, [p(x) e + 1, p(x) e ], γ, [p(u) e +1, p(u) e ])+f(p(x) 1, y, p(u) 1, v, [p(x) e +1, (p(x) 1) s 1], β, [p(u) e + 1, (p(u) 1) s 1], δ). 4 Improvement on Spe The funtion f(x, y, u, v, α, β, γ, δ) hs n 8- dimensionl rgument, nd the mximum rnge of eh rgument in one dimension is the mximum number of bloks in the blok strings (i.e., mx(n B, N B )). One n esily observe tht both time omplexity nd spe omplexity of our lgorithm re O((mx(N B, N B )) 8 ). For prtil implementtion in omputers, the formul is infesible when the number of RNA bloks is lrge. Aordingly, we hve to try to redue the required memory spe. Tht is, we 64
6 will try to derese the dimensions (i.e., the number of indies) of the dynmi progrmming formul f(x, y, u, v, α, β, γ, δ). It will led to the design of new dynmi progrmming formul f(i, j, k, l) whose funtion is the sme s tht of f(x, y, u, v, α, β, γ, δ). Before introduing formul f(i, j, k, l), we need modify the symbols, terms nd funtions defined in formul f(x, y, u, v, α, β, γ, δ), nd define some more. Let I(x, S, B) denote the blok in the blok string B whih is orresponding to the stem blok x of stem blok string S, where 1 x N S nd 1 I(x, S, B) N B. In other words, if s x = b i, then I(x, S, B) = i. Let I(x, B, S) denote the stem blok of S orresponding to blok x of B, but I(x, B, S) = null if we n not find the orresponding stem blok. Let L(x, i, j) denote the mximl blok between bloks i nd x, where I(L(x, i, j), B, S) null nd i p(l(x, i, j)) j. In other words, L(x, i, j) = mx i y x {y y is blok of B, I(y, B, S) null nd i p(y) j}. Similrly, R(x, i, j) = min x y j {y y is blok of B, I(y, B, S) null nd i p(y) j }. In ddition, we define LN(x, i, j) = mx i y x {y y is blok of B, I(y, B, S) null nd i p(y) j}. Similrly, R(x, i, j) = min x y j {y y is blok of B, I(y, B, S) null nd i p(y) j }. LN(x, i, j) nd RN(x, i, j) re used for finding the next stems. The bove funtions for S nd B re defined similrly. In the new dynmi progrmming lgorithm, the initil vlues of the vribles in f(i, j, k, l) re set tht i nd j re the blok indies in B, nd i = 1 nd j = N B in R; k nd l re the blok indies in B, nd k = 1 nd l = NB in R. Then formul f(i, j, k, l) is given in Figure 7. segmentlign(i, j) = min(n R (i), n R (j)) φ, where φ is the sore for ligning two nuleotides nd it is onstnt, nd n R (i) nd n R (j) re the lengths of segments i nd j, respetively. (8) For exmple, onsider two segments i = CGAAGUC nd j = AAUGAGCUG, where segments i nd j hve 7 nd 9 nuleotides, respetively. If φ = 1 in Eqution 8, then segmentlign(i, j) = min(7, 9) 1 = 7. When φ = 0, our lgorithm only ligns the stem prt of RNA seondry strutures. Here, we will set φ to 1 when disussing the performne of our lgorithm. In the stem lignment problem, we onsider only bse pirs here. Tht is, we only lign the bse pirs in both stems. Let x be one stem of the seondry struture of R nd n bp (x) be the number of bse pirs in x. Similrly, let y be one stem of the seondry struture of R nd n bp (y) be the number of bse pirs in y. Hene, stemlign(x, y) is given s follows. stemlign(x, y) = (min(n bp (x), n bp (y))) λ τ, where λ nd τ re onstnts. (9) For exmple, suppose two stems x = AAG CUU nd y = AGGCC GGCCU, stem x hs 3 bse pirs nd stem y hs 5 bse pirs. If λ = 2 nd τ = 4 in Eqution 9, then stemlign(x, y) = (min(3, 5)) 2 4 = 36. We n see tht there re four indies in the improved formul f(i, j, k, l), nd the number of ll ses re fixed. Therefore, it is trivil tht the time omplexity of our improved dynmi progrmming lgorithm is O(N 4 ), where N is the number of bloks ontined in the given RNAs (i.e. N = mx(n B, N B )). segmentlign(i, j) represents the segment lignment sore funtion, where i is segment of R nd j is segment of R. The lultion of segmentlign(i, j) is to find the miniml length between segments i nd j. Indeed, one n esily modify the funtion segmentlign(i, j) to lign segments i nd j. We do not onsider whether the ligned nuleotides re the sme or not, beuse the RNA seondry struture lignment ppreites the lignment of the struturl shpe. We shll onsider only the segment length here. Hene, segmentlign(i, j) is given s follows. 5 Experimentl Results In this setion, we will show our experimentl results nd nlyze the performne of our lgorithm. Our lgorithm is implemented by C++ using Borlnd C++ Compiler 5.5 on PC with AMD Duron T M proessor 800 MHz nd 256 MB RAM. Our testing dt re obtined from NCBI ( There re 22 trnas in Homo spiens mitohondrion. In our experiments, we use the method in [7] to predit the seondry strutures of trnas. 65
7 f 1 (i, j, k, l) = mx RN(i, i, j) x LN(j, i, j) RN(k, k, l) y LN(l, k, l) { f(i, x 1, k, y 1) + f(x, p(x), y, p(y)) + f(p(x) + 1, j, p(y) + 1, l) } (1) f 2 (i, j, k, l) = segmentlign([i s, (R(i, i, j) 1) e], [k s, (R(k, k, l) 1) e]) +segmentlign([(l(j, i, j) + 1) s, j e ], [(L(l, k, l) + 1) s, l e ]) +stemlign(< R(i, i, j), L(j, i, j) >, < R(k, k, l), L(l, k, l) >) + f(r(i, i, j) + 1, L(j, i, j) 1, R(k, k, l) + 1, L(l, k, l) 1) (2) f 3 (i, j, k, l) = mx f 4 (i, j, k, l) = mx f(i, R(i, i, j) 1, k, R(k, k, l) 1) + f(r(i, i, j), LN(p(L(j, i, j)), i, j), R(k, k, l), L(l, k, l)) + f(ln(p(l(j, i, j)), i, j) + 1, j, L(l, k, l) + 1, l) f(i, RN(p(R(i, i, j)), i, j) 1, k, R(k, k, l) 1) + f(rn(p(r(i, i, j)), i, j), L(j, i, j), R(k, k, l), L(l, k, l)) + f(l(j, i, j) + 1, j, L(l, k, l) + 1, l) f(i, R(i, i, j) 1, k, RN(R(k, k, l), k, l) 1) + f(r(i, i, j), L(j, i, j), RN(R(k, k, l), k, l), LN(L(l, k, l), k, l)) + f(l(j, i, j) + 1, j, LN(L(l, k, l), k, l) + 1, l) (3) f(i, R(i, i, j) 1, k, R(k, k, l) 1) + f(r(i, i, j), L(j, i, j), R(k, k, l), LN(p(L(l, k, l)), k, l)) + f(l(j, i, j) + 1, j, LN(p(L(l, k, l)), k, l) + 1, l) f(i, R(i, i, j) 1, k, RN(p(R(k, k, l)), k, l) 1) + f(r(i, i, j), L(j, i, j), RN(p(R(k, k, l)), k, l), L(l, k, l)) + f(l(j, i, j) + 1, j, L(l, k, l) + 1, l) f(i, RN(R(i, i, j), i, j) 1, k, R(k, k, l) 1) + f(rn(r(i, i, j), i, j), LN(L(j, i, j), i, j), R(k, k, l), L(l, k, l)) + f(ln(l(j, i, j), i, j) + 1, j, L(l, k, l) + 1, l) (4) f 5(i, j, k, l) = mx f(i, R(i, i, j) 1, k, R(k, k, l) 1) + f(r(i, i, j), LN(p(L(j, i, j)), i, j), R(k, k, l), L(l, k, l)) + f(ln(p(l(j, i, j)), i, j) + 1, j, L(l, k, l) + 1, l) f(i, R(i, i, j) 1, k, R(k, k, l) 1) + f(r(i, i, j), L(j, i, j), R(k, k, l), LN(p(L(l, k, l)), k, l)) + f(l(j, i, j) + 1, j, LN(p(L(l, k, l)), k, l) + 1, l) f(i, p(l(j, i, j)) 1, k, p(l(l, k, l)) 1) + f(p(l(j, i, j)), j, p(l(l, k, l)), l) f(i, RN(p(R(i, i, j)), i, j) 1, k, R(k, k, l) 1) + f(rn(p(r(i, i, j)), i, j), L(j, i, j), R(k, k, l), L(l, k, l)) + f(l(j, i, j) + 1, j, L(l, k, l) + 1, l) f(i, R(i, i, j) 1, k, RN(p(R(k, k, l)), k, l) 1) + f(r(i, i, j), L(j, i, j), RN(p(R(k, k, l)), k, l), L(l, k, l)) + f(l(j, i, j) + 1, j, L(l, k, l) + 1, l) f(i, p(r(i, i, j)), k, p(r(k, k, l))) + f(p(r(i, i, j)) + 1, j, p(r(k, k, l)) + 1, l) (5) f 6(i, j, k, l) = { segmentlign([is, j e ], [k s, l e ]) if i = j nd k l or i j nd k = l 0 if i > j or k > l f 1 (i, j, k, l) (6) (ρ(i, j) ρ(k, l) + ρ(r(i, i, j), L(j, i, j)) ρ(r(k, k, l), L(l, k, l))) f 2 (i, j, k, l) f(i, j, k, l) = mx (ρ(i, j) ρ(k, l) + ρ(r(i, i, j), L(j, i, j)) ρ(r(k, k, l), L(l, k, l))) f 3 (i, j, k, l) (ρ(i, j) ρ(k, l) + ρ(r(i, i, j), L(j, i, j)) ρ(r(k, k, l), L(l, k, l))) f 4(i, j, k, l) if i < j nd k < l (7) (ρ(i, j) ρ(k, l) + ρ(r(i, i, j), L(j, i, j)) ρ(r(k, k, l), L(l, k, l))) f 5 (i, j, k, l) segmentlign([i s, j e ], [k s, l e ]) f 6(i, j, k, l) otherwise Figure 7: The new dynmi progrmming formul f(i, j, k, l). 66
8 Some prmeters re used to mesure the LCS (longest ommon subsequene) identity of the two sequenes. M in(l) denotes the lignment length of the miniml LCS lignment. The LCS identity is defined s follows. LCS identity = LCS length Min(L) 100% Then, some prmeters re used to mesure the struture similrity of the seondry strutures of R nd R. Sore(R, R ) denotes the sore of the seondry struture lignment of R nd R by using our lgorithm. Mx(R, R ) denotes the mximl sore between the two sores whih R nd R re ligned with themselves, respetively. Tht is, Mx(R, R ) = Mx{Sore(R, R), Sore(R, R )}. Then the struture similrity is defined s follows. struture similrity = Sore(R, R ) Mx(R, R ) 100% We shll hnge vlues of some prmeters in Eqution 9. λ dvnes (mkes) tht the lignment sore of bse pirs between two stems is nonliner enhnement nd τ denotes the stem sore ontributed by ligning two bse pirs in two stems. We test struture similrities of eh pir of 22 trnas by using our lgorithm, where λ = 1, 1.5 nd 2, nd τ = 2, 3, 4, 5 nd 6. Consequently, we hve ome to the onlusion tht λ n be set to 1.5 nd τ n be set to 4. Though mny RNA sequenes shre very high identity, their seondry strutures or funtions my not be very similr. Mentime, the seondry strutures nd funtions of mny RNA sequenes re very similr, but they my not shre high sequene identity. Hene, we will disuss the performne of our lgorithm ording to the similrities of sequenes nd strutures. Tble 1 shows the result bsed on λ = 1.5 nd τ = 4, where the input dt is TRNG nd TRNA for Cse A, nd TRNG nd TRNV for Cse B. They re trnas of Homo spiens mitohondrion. In Tble 1, we n see tht LCS identity is % nd % of Cse A nd Cse B, respetively. Tht is, the LCS identity of Cse B is higher thn Cse A. The RNA seondry strutures of Cse A re predited by using dynmi progrmming method [7]. Figure 8 nd Figure 9 show the seondry strutures of Cse A nd Cse B, respetively. In Figure 8 nd Figure 9, we n see tht the two seondry strutures of Cse A re more similr thn those of Cse B. u g g u u u u g u u g u u u u g u u u u g u g () g g u g u g u g u g u u g g u u g u g g g u g g g g u u u u g g g u g g Figure 8: The optiml lignment for Cse A by using our lgorithm nd λ = 1.5 nd τ = 4. () The seondry struture of TRNG. (b) The seondry struture of TRNA. Note: The seondry strutures re predited by using dynmi progrmming method [7]. In Tble 1, we n see tht the struture similrity of Cse A is % nd struture similrity of Cse B is %. In other words, the struture similrity of Cse A is higher thn Cse B by pplying our lgorithm, but the LCS identity of Cse B is higher thn Cse A. Hene, our lgorithm is good pproh for RNA seondry struture lignment. 6 Conlusion In this pper, we propose n RNA seondry struture lignment lgorithm to evlute the seondry struture similrity of two RNAs bsed on bloks for deling with stems nd loops. For the prtil implementtion in omputers, the eight indies of our originl formul mke the progrm infesible when the number of RNA bloks is lrge. We improve the formul into four-index one. We n see tht there re four indies in the improved formul, both time omplexity nd spe omplexity of our improved dynmi progrmming lgorithm re redued to O(N 4 ), where N is the number of bloks ontined in the given RNAs. For the experiment of the biologil dt, we (b) 67
9 Tble 1: The experimentl results of Cse A nd Cse B bsed on λ = 1.5 nd τ = 4. Cse A: TRNG nd TRNA. Cse B: TRNG nd TRNV. λ τ Cse LCS length Min(L) LCS identity Sore(R, R ) Mx(R, R ) Struture similrity A % % B % % u g g u u u u g u u g u u u u g u u u u g u g u u g g g g g u u g u u g g u g u g g g g u Referenes tke three of trnas, tht re TRNG, TRNA, nd TRNV, s the input dt of our lgorithm. In the result, we see tht the struture similrity of TRNG nd TRNA is higher, but their LCS identity is lower thn TRNG nd TRNV. Hene, our blok onept nd our lgorithm should be good pproh nd method for RNA seondry struture lignment. In ddition, it is lso helpful to predit the funtions of biomoleules nd to lssify them. In the future, we will test more rel dt to verify the prtility of our lgorithm. The psudoknots re not onsidered in our lgorithm, it is worth wy to develop new RNA struture lignment method to del with psudoknots. [1] V. Bfn, S. Muthukrishnn, nd R. Rvi, Computing similrity between RNA strings, Proeedings of the 6th Annul Symposium on Combintoril Pttern Mthing, pp. 1 16, [2] G. D. Collins, S. Le, nd K. Zhng, A new method for omputing similrity between RNA strutures, Informtion Sienes, Vol. 139, pp , [3] F. Corpet nd B. Mihot., RNAlign progrm: Alignment of RNA sequenes using both primry nd seondry strutures, Computer Applitions in the Biosienes, Vol. 10, No. 4, pp , () Figure 9: The optiml lignment for Cse B by using our lgorithm nd λ = 1.5 nd τ = 4. () The seondry struture of TRNG. (b) The seondry struture of TRNV. Note: The seondry strutures re predited by using dynmi progrmming method [7]. (b) [4] T. Jing, L. Wng, nd K. Zhng, Alignment of trees - n lterntive to tree edit, Theoretil Computer Siene, Vol. 143, No. 1, pp , [5] S. Y. Le, R. Nussinov, nd J. V. Mizel, Tree grphs of RNA seondry strutures nd their omprisons, Computers nd Biomedil Reserh, Vol. 22, pp , [6] S. Y. Le, J. Owens, R. Nussinov, J. H. Chen, B. A. Shpiro, nd J. V. Mizel, RNA seondry strutures: Comprison nd determintion of frequently reurring substrutures by onsensus, Computer Applitions in the Biosienes, Vol. 5, No. 3, pp , [7] R. C. T. Lee, Computtionl biology. Deprtment of Computer Siene nd Informtion Engineering, Ntionl Chi-Nn University, [8] H. P. Lenhof, K. Reinert, nd M. Vingron, A polyhedrl pproh to RNA sequene struture lignment, Journl of Computtionl Biology, Vol. 5, No. 3, pp ,
10 [9] G. H. Lin, B. M, nd K. Zhng, Edit distne between two RNA strutures, Proeedings of the fifth Annul Interntionl Conferene on Computtionl Biology, pp , [10] M. C. Lin, C. B. Yng, nd K. S. Hung, Predition of RNA seondry strutures by geneti lgorithms, Proeedings of the 6th World Multionferene on Systemis, Cybernetis nd Informtis, SCI 2002, Vol. 12, pp , [19] K. Zhng nd D. Shsh, Simple fst lgorithms for the editing distne between trees nd relted problems, SIAM Journl on Computing, Vol. 18, No. 6, pp , [20] M. Zuker nd D. Snkoff, RNA seondry strutures nd their predition, Mthemtil Biosiene, Vol. 46, pp , [11] C. L. Lu, Z. Y. Su, nd C. Y. Tng, A new mesure of edit distne between lbeled trees, Proeedings of the 7th Annul Interntionl Computing nd Combintoris Conferene (COCOON 2001), Vol. 2108, pp , [12] B. M, L. Wng, nd K. Zhng, Computing similrity between RNA strutures, Theoretil Computer Siene, Vol. 276, pp , [13] C. Notredme, E. O Brien, nd D. G. Higgins, RAGA: RNA sequene lignment by geneti lgorithm, Nulei Aids Reserh, Vol. 25, No. 22, pp , [14] B. A. Shpiro, An lgorithm for ompring multiple RNA seondry strutures, Computer Applitions in the Biosienes, Vol. 4, No. 3, pp , [15] B. A. Shpiro nd K. Zhng, Compring multiple RNA seondry strutures using tree omprisons, Computer Applitions in the Biosienes, Vol. 6, No. 4, pp , [16] Z. Wng nd K. Zhng, Alignment between two RNA strutures, Proeedings of the 26th Interntionl Symposium on Mthemtil Foundtions of Computer Siene, pp , [17] M. S. Wtermn nd T. F. Smith, RNA seondry struture: A omplete mthemtil nlysis, Mthemtil Biosiene, Vol. 42, pp , [18] K. Zhng, Computing similrity between RNA seondry strutures, In Proeedings of IEEE Interntionl Joint Symposi on Intelligene nd Systems, pp ,
Global alignment. Genome Rearrangements Finding preserved genes. Lecture 18
Computt onl Biology Leture 18 Genome Rerrngements Finding preserved genes We hve seen before how to rerrnge genome to obtin nother one bsed on: Reversls Knowledge of preserved bloks (or genes) Now we re
More informationHyers-Ulam stability of Pielou logistic difference equation
vilble online t wwwisr-publitionsom/jns J Nonliner Si ppl, 0 (207, 35 322 Reserh rtile Journl Homepge: wwwtjnsom - wwwisr-publitionsom/jns Hyers-Ulm stbility of Pielou logisti differene eqution Soon-Mo
More informationChem Homework 11 due Monday, Apr. 28, 2014, 2 PM
Chem 44 - Homework due ondy, pr. 8, 4, P.. . Put this in eq 8.4 terms: E m = m h /m e L for L=d The degenery in the ring system nd the inresed sping per level (4x bigger) mkes the sping between the HOO
More informationTutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.
Mth 5 Tutoril Week 1 - Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix
More informationElectromagnetic-Power-based Modal Classification, Modal Expansion, and Modal Decomposition for Perfect Electric Conductors
LIAN: EM-BASED MODAL CLASSIFICATION EXANSION AND DECOMOSITION FOR EC 1 Eletromgneti-ower-bsed Modl Clssifition Modl Expnsion nd Modl Deomposition for erfet Eletri Condutors Renzun Lin Abstrt Trditionlly
More informationMath 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)
Green s Theorem Mth 3B isussion Session Week 8 Notes Februry 8 nd Mrh, 7 Very shortly fter you lerned how to integrte single-vrible funtions, you lerned the Fundmentl Theorem of lulus the wy most integrtion
More informationOn Implicative and Strong Implicative Filters of Lattice Wajsberg Algebras
Glol Journl of Mthemtil Sienes: Theory nd Prtil. ISSN 974-32 Volume 9, Numer 3 (27), pp. 387-397 Interntionl Reserh Pulition House http://www.irphouse.om On Implitive nd Strong Implitive Filters of Lttie
More informationTable of Content. c 1 / 5
Tehnil Informtion - t nd t Temperture for Controlger 03-2018 en Tble of Content Introdution....................................................................... 2 Definitions for t nd t..............................................................
More informationarxiv: v1 [math.ca] 21 Aug 2018
rxiv:1808.07159v1 [mth.ca] 1 Aug 018 Clulus on Dul Rel Numbers Keqin Liu Deprtment of Mthemtis The University of British Columbi Vnouver, BC Cnd, V6T 1Z Augest, 018 Abstrt We present the bsi theory of
More informationANALYSIS AND MODELLING OF RAINFALL EVENTS
Proeedings of the 14 th Interntionl Conferene on Environmentl Siene nd Tehnology Athens, Greee, 3-5 Septemer 215 ANALYSIS AND MODELLING OF RAINFALL EVENTS IOANNIDIS K., KARAGRIGORIOU A. nd LEKKAS D.F.
More informationA Mathematical Model for Unemployment-Taking an Action without Delay
Advnes in Dynmil Systems nd Applitions. ISSN 973-53 Volume Number (7) pp. -8 Reserh Indi Publitions http://www.ripublition.om A Mthemtil Model for Unemployment-Tking n Ation without Dely Gulbnu Pthn Diretorte
More informationT b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.
Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene
More informationwhere the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b
CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}
More informationCo-ordinated s-convex Function in the First Sense with Some Hadamard-Type Inequalities
Int. J. Contemp. Mth. Sienes, Vol. 3, 008, no. 3, 557-567 Co-ordinted s-convex Funtion in the First Sense with Some Hdmrd-Type Inequlities Mohmmd Alomri nd Mslin Drus Shool o Mthemtil Sienes Fulty o Siene
More informationComparing the Pre-image and Image of a Dilation
hpter Summry Key Terms Postultes nd Theorems similr tringles (.1) inluded ngle (.2) inluded side (.2) geometri men (.) indiret mesurement (.6) ngle-ngle Similrity Theorem (.2) Side-Side-Side Similrity
More informationCore 2 Logarithms and exponentials. Section 1: Introduction to logarithms
Core Logrithms nd eponentils Setion : Introdution to logrithms Notes nd Emples These notes ontin subsetions on Indies nd logrithms The lws of logrithms Eponentil funtions This is n emple resoure from MEI
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More informationLecture 1 - Introduction and Basic Facts about PDEs
* 18.15 - Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1 - Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV
More informationLecture Notes No. 10
2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite
More information18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106
8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly
More informationf (x)dx = f(b) f(a). a b f (x)dx is the limit of sums
Green s Theorem If f is funtion of one vrible x with derivtive f x) or df dx to the Fundmentl Theorem of lulus, nd [, b] is given intervl then, ording This is not trivil result, onsidering tht b b f x)dx
More information20 MATHEMATICS POLYNOMIALS
0 MATHEMATICS POLYNOMIALS.1 Introduction In Clss IX, you hve studied polynomils in one vrible nd their degrees. Recll tht if p(x) is polynomil in x, the highest power of x in p(x) is clled the degree of
More informationProperties of Different Types of Lorentz Transformations
merin Journl of Mthemtis nd ttistis 03 3(3: 05-3 DOI: 0593/jjms03030303 roperties of Different Types of Lorentz Trnsformtions tikur Rhmn izid * Md hh lm Deprtment of usiness dministrtion Leding niversity
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More informationPart 4. Integration (with Proofs)
Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
More informationNew Expansion and Infinite Series
Interntionl Mthemticl Forum, Vol. 9, 204, no. 22, 06-073 HIKARI Ltd, www.m-hikri.com http://dx.doi.org/0.2988/imf.204.4502 New Expnsion nd Infinite Series Diyun Zhng College of Computer Nnjing University
More informationLine Integrals and Entire Functions
Line Integrls nd Entire Funtions Defining n Integrl for omplex Vlued Funtions In the following setions, our min gol is to show tht every entire funtion n be represented s n everywhere onvergent power series
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationUnit 4. Combinational Circuits
Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute
More informationMore Properties of the Riemann Integral
More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl
More informationCommon intervals of genomes. Mathieu Raffinot CNRS LIAFA
Common intervls of genomes Mthieu Rffinot CNRS LIF Context: omprtive genomis. set of genomes prtilly/totlly nnotte Informtive group of genes or omins? Ex: COG tse Mny iffiulties! iology Wht re two similr
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More information4.4 Areas, Integrals and Antiderivatives
. res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order
More informationFigure 1. The left-handed and right-handed trefoils
The Knot Group A knot is n emedding of the irle into R 3 (or S 3 ), k : S 1 R 3. We shll ssume our knots re tme, mening the emedding n e extended to solid torus, K : S 1 D 2 R 3. The imge is lled tuulr
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationCS 491G Combinatorial Optimization Lecture Notes
CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,
More informationDiscrete Structures Lecture 11
Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.
More informationUnit #9 : Definite Integral Properties; Fundamental Theorem of Calculus
Unit #9 : Definite Integrl Properties; Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl
More informationLesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem.
27 Lesson 2: The Pythgoren Theorem nd Similr Tringles A Brief Review of the Pythgoren Theorem. Rell tht n ngle whih mesures 90º is lled right ngle. If one of the ngles of tringle is right ngle, then we
More informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationHermite-Hadamard inequality for geometrically quasiconvex functions on co-ordinates
Int. J. Nonliner Anl. Appl. 8 27 No. 47-6 ISSN: 28-6822 eletroni http://dx.doi.org/.2275/ijn.26.483 Hermite-Hdmrd ineulity for geometrilly usionvex funtions on o-ordintes Ali Brni Ftemeh Mlmir Deprtment
More informationMatrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix
tries Definition of tri mtri is regulr rry of numers enlosed inside rkets SCHOOL OF ENGINEERING & UIL ENVIRONEN Emple he following re ll mtries: ), ) 9, themtis ), d) tries Definition of tri Size of tri
More informationSection 4.4. Green s Theorem
The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higher-dimensionl nlogues) with the definite integrls
More informationMetodologie di progetto HW Technology Mapping. Last update: 19/03/09
Metodologie di progetto HW Tehnology Mpping Lst updte: 19/03/09 Tehnology Mpping 2 Tehnology Mpping Exmple: t 1 = + b; t 2 = d + e; t 3 = b + d; t 4 = t 1 t 2 + fg; t 5 = t 4 h + t 2 t 3 ; F = t 5 ; t
More informationParabola and Catenary Equations for Conductor Height Calculation
ELECTROTEHNICĂ, ELECTRONICĂ, AUTOMATICĂ, 6 (), nr. 3 9 Prbol nd Ctenr Equtions for Condutor Height Clultion Alen HATIBOVIC Abstrt This pper presents new equtions for ondutor height lultion bsed on the
More informationMaintaining Mathematical Proficiency
Nme Dte hpter 9 Mintining Mthemtil Profiieny Simplify the epression. 1. 500. 189 3. 5 4. 4 3 5. 11 5 6. 8 Solve the proportion. 9 3 14 7. = 8. = 9. 1 7 5 4 = 4 10. 0 6 = 11. 7 4 10 = 1. 5 9 15 3 = 5 +
More informationON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs
ON THE INEQUALITY OF THE DIFFERENCE OF TWO INTEGRAL MEANS AND APPLICATIONS FOR PDFs A.I. KECHRINIOTIS AND N.D. ASSIMAKIS Deprtment of Eletronis Tehnologil Edutionl Institute of Lmi, Greee EMil: {kehrin,
More informationThe Double Integral. The Riemann sum of a function f (x; y) over this partition of [a; b] [c; d] is. f (r j ; t k ) x j y k
The Double Integrl De nition of the Integrl Iterted integrls re used primrily s tool for omputing double integrls, where double integrl is n integrl of f (; y) over region : In this setion, we de ne double
More informationGreen s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e
Green s Theorem. Let be the boundry of the unit squre, y, oriented ounterlokwise, nd let F be the vetor field F, y e y +, 2 y. Find F d r. Solution. Let s write P, y e y + nd Q, y 2 y, so tht F P, Q. Let
More informationThe study of dual integral equations with generalized Legendre functions
J. Mth. Anl. Appl. 34 (5) 75 733 www.elsevier.om/lote/jm The study of dul integrl equtions with generlized Legendre funtions B.M. Singh, J. Rokne,R.S.Dhliwl Deprtment of Mthemtis, The University of Clgry,
More informationDriving Cycle Construction of City Road for Hybrid Bus Based on Markov Process Deng Pan1, a, Fengchun Sun1,b*, Hongwen He1, c, Jiankun Peng1, d
Interntionl Industril Informtics nd Computer Engineering Conference (IIICEC 15) Driving Cycle Construction of City Rod for Hybrid Bus Bsed on Mrkov Process Deng Pn1,, Fengchun Sun1,b*, Hongwen He1, c,
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More informationUniversity of Sioux Falls. MAT204/205 Calculus I/II
University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques
More informationMA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES
MA10207B: ANALYSIS SECOND SEMESTER OUTLINE NOTES CHARLIE COLLIER UNIVERSITY OF BATH These notes hve been typeset by Chrlie Collier nd re bsed on the leture notes by Adrin Hill nd Thoms Cottrell. These
More informationMid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours
Mi-Term Exmintion - Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into
More informationTOPIC: LINEAR ALGEBRA MATRICES
Interntionl Blurete LECTUE NOTES for FUTHE MATHEMATICS Dr TOPIC: LINEA ALGEBA MATICES. DEFINITION OF A MATIX MATIX OPEATIONS.. THE DETEMINANT deta THE INVESE A -... SYSTEMS OF LINEA EQUATIONS. 8. THE AUGMENTED
More informationSections 5.3: Antiderivatives and the Fundamental Theorem of Calculus Theory:
Setions 5.3: Antierivtives n the Funmentl Theorem of Clulus Theory: Definition. Assume tht y = f(x) is ontinuous funtion on n intervl I. We ll funtion F (x), x I, to be n ntierivtive of f(x) if F (x) =
More informationElectromagnetism Notes, NYU Spring 2018
Eletromgnetism Notes, NYU Spring 208 April 2, 208 Ation formultion of EM. Free field desription Let us first onsider the free EM field, i.e. in the bsene of ny hrges or urrents. To tret this s mehnil system
More informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationZero-Sum Magic Graphs and Their Null Sets
Zero-Sum Mgic Grphs nd Their Null Sets Ebrhim Slehi Deprtment of Mthemticl Sciences University of Nevd Ls Vegs Ls Vegs, NV 89154-4020. ebrhim.slehi@unlv.edu Abstrct For ny h N, grph G = (V, E) is sid to
More informationSection 1.3 Triangles
Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior
More informationDorf, R.C., Wan, Z. T- Equivalent Networks The Electrical Engineering Handbook Ed. Richard C. Dorf Boca Raton: CRC Press LLC, 2000
orf, R.C., Wn,. T- Equivlent Networks The Eletril Engineering Hndook Ed. Rihrd C. orf Bo Rton: CRC Press LLC, 000 9 T P Equivlent Networks hen Wn University of Cliforni, vis Rihrd C. orf University of
More informationPAIR OF LINEAR EQUATIONS IN TWO VARIABLES
PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,
More informationLearning Partially Observable Markov Models from First Passage Times
Lerning Prtilly Oservle Mrkov s from First Pssge s Jérôme Cllut nd Pierre Dupont Europen Conferene on Mhine Lerning (ECML) 8 Septemer 7 Outline. FPT in models nd sequenes. Prtilly Oservle Mrkov s (POMMs).
More informationActivities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions
MEP: Demonstrtion Projet UNIT 4: Trigonometry UNIT 4 Trigonometry tivities tivities 4. Pythgors' Theorem 4.2 Spirls 4.3 linometers 4.4 Rdr 4.5 Posting Prels 4.6 Interloking Pipes 4.7 Sine Rule Notes nd
More informationVyacheslav Telnin. Search for New Numbers.
Vycheslv Telnin Serch for New Numbers. 1 CHAPTER I 2 I.1 Introduction. In 1984, in the first issue for tht yer of the Science nd Life mgzine, I red the rticle "Non-Stndrd Anlysis" by V. Uspensky, in which
More informationSection 3.6. Definite Integrals
The Clulus of Funtions of Severl Vribles Setion.6 efinite Integrls We will first define the definite integrl for funtion f : R R nd lter indite how the definition my be extended to funtions of three or
More informationCHENG Chun Chor Litwin The Hong Kong Institute of Education
PE-hing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study- onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using
More informationA New Grey-rough Set Model Based on Interval-Valued Grey Sets
Proceedings of the 009 IEEE Interntionl Conference on Systems Mn nd Cybernetics Sn ntonio TX US - October 009 New Grey-rough Set Model sed on Intervl-Vlued Grey Sets Wu Shunxing Deprtment of utomtion Ximen
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More informationChapter 4 State-Space Planning
Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different
More informationHere we study square linear systems and properties of their coefficient matrices as they relate to the solution set of the linear system.
Section 24 Nonsingulr Liner Systems Here we study squre liner systems nd properties of their coefficient mtrices s they relte to the solution set of the liner system Let A be n n Then we know from previous
More informationLecture 6: Coding theory
Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those
More informationIntegration Techniques
Integrtion Techniques. Integrtion of Trigonometric Functions Exmple. Evlute cos x. Recll tht cos x = cos x. Hence, cos x Exmple. Evlute = ( + cos x) = (x + sin x) + C = x + 4 sin x + C. cos 3 x. Let u
More informationMATH34032: Green s Functions, Integral Equations and the Calculus of Variations 1
MATH34032: Green s Functions, Integrl Equtions nd the Clculus of Vritions 1 Section 1 Function spces nd opertors Here we gives some brief detils nd definitions, prticulrly relting to opertors. For further
More informationNUMERICAL INTEGRATION. The inverse process to differentiation in calculus is integration. Mathematically, integration is represented by.
NUMERICAL INTEGRATION 1 Introduction The inverse process to differentition in clculus is integrtion. Mthemticlly, integrtion is represented by f(x) dx which stnds for the integrl of the function f(x) with
More informationJim Lambers MAT 169 Fall Semester Lecture 4 Notes
Jim Lmbers MAT 169 Fll Semester 2009-10 Lecture 4 Notes These notes correspond to Section 8.2 in the text. Series Wht is Series? An infinte series, usully referred to simply s series, is n sum of ll of
More informationBisimulation, Games & Hennessy Milner logic
Bisimultion, Gmes & Hennessy Milner logi Leture 1 of Modelli Mtemtii dei Proessi Conorrenti Pweł Soboiński Univeristy of Southmpton, UK Bisimultion, Gmes & Hennessy Milner logi p.1/32 Clssil lnguge theory
More information, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.
Exerise Genertor polynomils of onvolutionl ode, given in binry form, re g, g j g. ) Sketh the enoding iruit. b) Sketh the stte digrm. ) Find the trnsfer funtion T. d) Wht is the minimum free distne of
More informationConvex Sets and Functions
B Convex Sets nd Functions Definition B1 Let L, +, ) be rel liner spce nd let C be subset of L The set C is convex if, for ll x,y C nd ll [, 1], we hve 1 )x+y C In other words, every point on the line
More informationIntermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths
Intermedite Mth Cirles Wednesdy 17 Otoer 01 Geometry II: Side Lengths Lst week we disussed vrious ngle properties. As we progressed through the evening, we proved mny results. This week, we will look t
More informationSolutions to Assignment 1
MTHE 237 Fll 2015 Solutions to Assignment 1 Problem 1 Find the order of the differentil eqution: t d3 y dt 3 +t2 y = os(t. Is the differentil eqution liner? Is the eqution homogeneous? b Repet the bove
More informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More informationChapter 3. Vector Spaces
3.4 Liner Trnsformtions 1 Chpter 3. Vector Spces 3.4 Liner Trnsformtions Note. We hve lredy studied liner trnsformtions from R n into R m. Now we look t liner trnsformtions from one generl vector spce
More informationProperties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives
Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn
More informationA Study on the Properties of Rational Triangles
Interntionl Journl of Mthemtis Reserh. ISSN 0976-5840 Volume 6, Numer (04), pp. 8-9 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationConservation Law. Chapter Goal. 5.2 Theory
Chpter 5 Conservtion Lw 5.1 Gol Our long term gol is to understnd how mny mthemticl models re derived. We study how certin quntity chnges with time in given region (sptil domin). We first derive the very
More informationNondeterministic Automata vs Deterministic Automata
Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n
More informationLecture Summaries for Multivariable Integral Calculus M52B
These leture summries my lso be viewed online by liking the L ion t the top right of ny leture sreen. Leture Summries for Multivrible Integrl Clulus M52B Chpter nd setion numbers refer to the 6th edition.
More informationIntuitionistic Fuzzy Lattices and Intuitionistic Fuzzy Boolean Algebras
Intuitionistic Fuzzy Lttices nd Intuitionistic Fuzzy oolen Algebrs.K. Tripthy #1, M.K. Stpthy *2 nd P.K.Choudhury ##3 # School of Computing Science nd Engineering VIT University Vellore-632014, TN, Indi
More informationSymmetrical Components 1
Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedy-stte nlysis of high voltge trnsmission systems, we mke use of the per-phse equivlent
More information7.2 The Definite Integral
7.2 The Definite Integrl the definite integrl In the previous section, it ws found tht if function f is continuous nd nonnegtive, then the re under the grph of f on [, b] is given by F (b) F (), where
More informationApril 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.
pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm
More informationDevelopment of Failure Probability Analysis Method for. Concrete Piers of Multi-span Continuous Bridges using
Development o Filure Probbility Anlysis Method or Conrete Piers o Multi-spn Continuous Bridges using the Probbilisti Cpity Spetrum Method Je Shin CHOI, Je Kwn KIM ABSTRACT When erthqukes our, strutures
More informationRelations between a dual unit vector and Frenet vectors of a dual curve
Kuwit J. Si. 4 () pp. 59-69, 6 Burk Şhiner *, Mehmet Önder Dept. of Mthemtis, Mnis Cell Byr University, Murdiye, Mnis, 454, Turkey * Corresponding uthor: burk.shiner@bu.edu.tr Abstrt In this pper, we generlize
More informationPhysics 116C Solution of inhomogeneous ordinary differential equations using Green s functions
Physics 6C Solution of inhomogeneous ordinry differentil equtions using Green s functions Peter Young November 5, 29 Homogeneous Equtions We hve studied, especilly in long HW problem, second order liner
More information] dx (3) = [15x] 2 0
Leture 6. Double Integrls nd Volume on etngle Welome to Cl IV!!!! These notes re designed to be redble nd desribe the w I will eplin the mteril in lss. Hopefull the re thorough, but it s good ide to hve
More informationOn the Scale factor of the Universe and Redshift.
On the Sle ftor of the Universe nd Redshift. J. M. unter. john@grvity.uk.om ABSTRACT It is proposed tht there hs been longstnding misunderstnding of the reltionship between sle ftor of the universe nd
More information