Algorithms for Mining the Evolution of Conserved Relational States in Dynamic Networks

Size: px
Start display at page:

Download "Algorithms for Mining the Evolution of Conserved Relational States in Dynamic Networks"

Transcription

1 Algorithms for Mining the Evolution of Conserved Reltionl Sttes in Dnmi Networks Rewn Ahmed, George Krpis Deprtment of Computer Siene & Engineering Universit of Minnesot Minnepolis, MN Emil: Astrt Dnmi networks hve reentl eing reognied s powerful strtion to model nd represent the temporl hnges nd dnmi spets of the dt underling mn omple sstems. Signifint insights regrding the stle reltionl ptterns mong the entities n e gined nling temporl evolution of the omple entit reltions. This n help identif the trnsitions from one onserved stte to the net nd m provide evidene to the eistene of eternl ftors tht re responsile for hnging the stle reltionl ptterns in these networks. This pper presents new dt mining method tht nles the time-persistent reltions or sttes etween the entities of the dnmi networks nd ptures ll miml non-redundnt evolution pths of the stle reltionl sttes. Eperimentl results sed on multiple dtsets from rel world pplitions show tht the method is effiient nd slle. Inde Terms Dnmi network; reltionl stte; evolution; I. INTRODUCTION As the pit to ehnge nd store informtion hs sored, so hs the mount nd diversit of ville dt. To represent the reltions etween vrious entities in diverse pplitions nd to pture the temporl hnges nd dnmi spets of the underling dt, dnmi networks hve een used s generi model due to its fleiilit nd vililit of theoretil nd pplied tools for effiient nlsis. Emples of some widel studied networks inludes the friendnetworks of populr soil networking sites like Feook, the Enron emil network, o-uthorship nd ittion networks, nd protein-protein intertion networks. Anlsis of temporl spets of the entit reltions in these networks n provide signifint insight out the onserved reltionl ptterns nd their evolution over time. Considerle effort hs een mde towrds the development of effiient methods to nle nd etrt useful informtion from stti networks [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16]. On the other hnd, the importne of dnmi networks hs een reognied onl reentl; thus, the set of methods tht re urrentl ville for their nlsis is onsiderl less developed thn for stti networks. Nevertheless, in reent ers onsiderle od of reserh hs emerged on methods for finding ptterns [17], lustering [18], hrteriing network evolution rules [19], deteting relted liques [20], [21], nd finding sugrph susequenes [22] in dnmi networks. Although the eisting tehniques n detet the frequent ptterns in dnmi network or trk relted ptterns over time, the re not designed to identif stle reltionl ptterns nd do not fous on trking the hnges of these onserved reltionl ptterns over time. Our ontriution in this pper is two folds. Firstl, we introdue new lss of ptterns referred s the evolving indued reltionl sttes tht re designed to nle the time-persistent reltions or sttes etween the entities of the dnmi networks. Seondl, we present n lgorithm to effiientl mine ll miml non-redundnt evolution pths of the stle reltionl sttes of dnmi network. We eperimentll evlute our lgorithm using three rel world dtsets. First, we evlute the performne nd slilit of the lgorithm on lrge ptent ittion network vring different input prmeters. Seond, we investigte some disovered evolving indued reltionl sttes from trde network, n emil ommunition network, nd ptent ittion network nd provide qulittive nlsis of the informtion ptured in them. II. DEFINITIONS AND NOTATION A grph G = (V, E, L[E]) is omposed of set of nodes V modeling the entities of the network, set of edges E modeling the reltions etween these entities, nd set of edge lels L[E] modeling the tpe of the reltions ( E = L[E] ). The reltions etween entities n either hve diretion or not, leding to direted or undireted edges. An indued sugrph G = (V, E, L[E ]) of G = (V, E, L[E]) is grph suh tht V V, E E nd (u, v) E suh tht v V nd u V, (u, v) E. For the rest of the disussion, n referenes to n indued sugrph will ssume it is onneted indued sugrph. A dnmi network N = G 1, G 2,..., G T is modeled s finite sequene of grphs, where eh G t is grph desriing the stte of the sstem t disrete time intervl t. The term snpshot will e used to refer to eh of the grphs in the sequene. Snpshots re ssumed to ontin the sme set of nodes, whih will lso e referred to s the nodes of N nd denoted V (N ). When nodes pper or dispper over time, the set of nodes of eh snpshot is the union of ll the nodes over ll snpshots. Also, the nodes ross the different snpshots re numered onsistentl, so tht the ith node of G k (1 k T ) will lws orrespond to the sme ith node of N.

2 G1 Fig. 1. G2 Emples of reltionl sttes. Due to its dnmi nture, the edges in N n over time pper, dispper, hnge lel nd/or diretion. To pture the sequene of snpshots for whih n edge eists in onsistent stte, we define the spn sequene of the edge s the sequene of miml-length time intervls in whih n edge is present in onsistent stte. An edge (u, v) is in onsistent stte over miml time intervl s:e if it is present in ll snpshots G s,..., G e with the sme lel nd diretion nd it is different in oth G s 1 nd G e+1 (ssuming s > 1 nd e < T ). The spn sequene of n edge will e desried sequene of time intervls of the form s 1 :e 1,..., s l :e l, where s i e i nd e i s i+1. In ddition, we define the spn sequene of verte s the sequene of miml-length time intervls in whih the verte hs t lest one edge inident on it. The spn sequene of the verte will e represented s sequene of time intervls in similr fshion tht of n edge. A persistent dnmi network N φ is derived from dnmi network N removing ll the edges from the snpshots of N tht do not our in onsistent stte in t lest φ onseutive snpshots, where 1 φ T. It n e seen tht N φ n e derived from N removing from the spn sequene of eh edge ll the intervls whose length is less thn φ. An indued sugrph tht involves the sme set of verties nd whose edges nd their lels remin onserved ross sequene of snpshots will e referred to s the indued reltionl stte (IRS). The IRS definition is illustrted in Fig. 1. The three-verte indued sugrph onsisting of the drk shded nodes tht re onneted vi the direted edges orresponds to n indued reltionl stte s it remins onserved in the three onseutive snpshots. The ke ttriute of n IRS is tht the set of verties nd edges tht ompose the indued sugrph must remin the sme in the onseutive snpshots. From this definition we see tht n IRS orresponds to time-onserved pttern of reltions mong fied set of entities (i.e., nodes) nd s suh n e thought s orresponding to stle reltionl pttern. An IRS S i will e denoted the tuple S i = (V i, s i :e i ), where V i is the set of verties of the indued sugrph tht persists from snpshot G si to snpshot G ei (s i e i ) nd it does not persist in G si 1 nd G ei+1 (ssuming s i > 1 nd E i < T ). We will refer to the time intervl s i :e i s the spn of S i, nd to the set of onseutive snpshots G si,..., G ei s its supporting set. B its definition, the spn of n IRS nd the length of its supporting set re miml. Note tht for the rest of the pper, n referenes to susequenes of snpshots will e ssumed to e onseutive. The indued sugrph orresponding to n IRS S i will e denoted s g(s i ). A snpshot G t supports n indued reltionl stte S i, if g(s i ) is n indued sugrph of G t. G3 III. EVOLVING INDUCED RELATIONAL STATE (EIRS) An emple of the tpe of evolving ptterns in dnmi networks tht the work in this pper is designed to identif is illustrted in Fig. 2. This figure shows hpothetil dnmi network onsisting of 14 onseutive snpshots, eh modeling the nnul reltions mong set of entities. The four onseutive snpshots for ers 1990 through 1993 show n indued reltionl stte S 1 tht onsists of nodes {,, e, f}. This stte ws evolved to the indued reltionl stte S 2 tht ours in ers tht ontins nodes {,, d, e, h}. Finll, in ers , the indued reltionl stte S 2 ws further evolved to the indued reltionl stte S 3 tht ontins the sme set of nodes ut hs different set of reltions. Note tht even though the sets of nodes involved in S 1 nd S 2 re different, there is high degree of overlp etween them. Moreover, the trnsition from S 1 to S 2 did not hppen in onseutive ers, ut there ws one er gp, s the snpshot for 1994 does not ontin either S 1 or S 2. Suh sequene of indued reltionl sttes S 1 S 2 S 3 represents n instne of wht we refer to s n evolving indued reltionl stte (EIRS) nd represents the tpes of ptterns tht the work in this pper is designed to identif. EIRSs identif entities whose reltions trnsition through sequene of time-persistent reltionl ptterns nd s suh n provide evidene of the eistene of eternl ftors responsile for these reltionl hnges. For emple, onsider dnmi network tht ptures the trding ptterns etween set of entities. The nodes in this trding network model the trding entities (e.g., ountries, sttes, usinesses, individuls) nd the direted edges model the trnsfer of goods nd their tpes from one entit to nother. An EIRS in this trding network n potentill identif how the trding ptterns hnge over time (e.g., ddition/deletion of edges or inlusion of new trding prtners) signlling the eistene of signifint eonomi, politil, nd environmentl ftors tht drive suh hnges (see VI-C for some emples of suh ptterns in inter-ountr trding network). Similrl, in dnmi network tht ptures the nnul ittion struture of U.S. Ptents (or other sientifi pulitions), EIRSs n identif how stle knowledge trnsfer or knowledge shring su-networks mong different siene res hve evolved nd thus filitte the identifition of trnsformtive siene developments tht hnged the stte of these su-networks. The forml definition of n EIRS is s follows. Definition 1 (Evolving Indued Reltionl Stte) Given dnmi network N ontining T snpshots, vlue φ (1 φ T ), nd vlue β (0 < β 1), n evolving indued reltionl stte of length m is sequene of indued reltionl sttes S 1, S 2,..., S m tht stisfies the following onstrints: (i) the supporting set of eh indued reltionl stte S i ontins t lest φ onseutive snpshots in the persistent dnmi network N φ of N, (ii) for eh 1 i < m, the first snpshot in S i+1 s supporting set follows the lst snpshot in S i s supporting set,

3 Fig. 2. An emple of n evolving reltionl stte. (iii) for eh 1 i < m, g(si ) is different from g(si+1 ), nd (iv) for eh 1 i < m, Vi Vi+1 / Vi Vi+1 β. The vlue φ, referred to s the support of the EIRS, is used to pture the requirement tht eh indued reltionl stte ours in suffiientl lrge numer of onseutive snpshots nd s suh it represents set of reltions mong the entities involved tht re stle. The vlue β, referred to s the interstte similrit, is used to enfore the minimum verte-level similrit etween the seleted reltionl sttes. This ensures tht the EIRS ptures the reltionl trnsitions of onsistent set of verties ut t the sme time llows for the inlusion of new verties nd/or the elimintion of eisting verties, if the re required to desrie the new reltionl stte. The third onstrint in the ove definition is used to eliminte EIRSs tht ontin onseutive IRSs with identil indued sugrphs. This is motivted our desire to find EIRSs tht pture hnges in the time-persistent reltions. However, the ove definition llows for the sme indued sugrph to our multiple times in the sme EIRS, s long s these ourrenes do not hppen one fter the other. An importnt spet of the definition of n EIRS is tht it is defined with respet to the persistent dnmi network N φ of N nd not N itself. This is euse we re interested in finding how the persistent reltions mong set of entities hve hnged over time nd s suh we first eliminte the set of reltions tht pper for short period of time. Given the ove definition, the work in this pper is designed to develop effiient lgorithms for solving the following prolem: pplition to fous on IRSs of meningful sie, wheres the minimum onstrint on the EIRS length is introdued in order to eliminte short pths. IV. F INDING E VOLVING I NDUCED R ELATIONAL S TATES The lgorithm tht we developed for finding ll miml EIRSs (Prolem 1) follows two-step pproh. In the first step, the dnmi network N is trnsformed into its persistent dnmi network N φ nd reursive enumertion lgorithm is used to identif ll the IRSs S whose supporting set is t lest φ in N φ. The N to N φ trnsformtion is done removing spns tht re less thn φ from eh edge s spn sequene nd then removing the edges with empt spn sequenes. In the seond step, the set of IRSs re mined in order to identif their miml non-redundnt sequenes tht stisf the onstrints of EIRS s definition. A. Step 1: Mining of Indued Reltionl Sttes The lgorithm tht we developed to mine ll indued reltionl sttes is sed on reursive pproh to enumerte ll (onneted) indued sugrphs of grph tht stisf minimum nd mimum sie onstrints. In the rest of this setion we first desrie the reursive lgorithm to enumerte ll indued sugrphs in simple grph nd then desrie how we modified this pproh to mine the indued reltionl sttes in dnmi network. The enumertion lgorithms ws inspired the reursive lgorithm to enumerte ll spnning Prolem 1 (Miml Evolving Indued Reltionl Stte Mining) trees [23]. Our disussion initill ssumes tht the grph Given dnmi network N ontining T snpshots, user is undireted nd the neessr modifitions tht ppl for defined support φ (1 φ T ), inter-stte similrit β direted grphs re desried fterwrds. Also, n referenes (0 < β 1), minimum sie of kmin nd mimum sie to indued sugrphs ssumes onneted indued sugrphs. of km verties per IRS, nd minimum EIRS length mmin, 1) Indued Sugrph Enumertion: Given grph G = find ll EIRSs suh tht no EIRS is susequene of nother (V, E, L[E]), let Gi = (Vi, Ei, L[Ei ]) e n indued sugrph EIRS. of G (Vi n lso e empt), Vf e suset of verties of Sine the set of miml EIRSs ontins within ll non- V stisfing Vi Vf =, nd let F (Vi, Vf ) e the set of miml EIRSs, the ove prolem will produe suint indued sugrphs of G tht ontin Vi nd ero or more set of results. Also, the minimum nd mimum onstrints verties from Vf. Given these definitions, the omplete set on the sie of the IRSs involved is introdued to llow n of indued sugrphs of G is given F (, V ) \. The set

4 F (V i, V f ) n e omputed using the reurrene reltion. F (V i, V f ) = 8 V i, >< F ({u}, V f \ u) F (, V f \ u), where u V f if sgdj(v i, V f ) = or V f = if V i = V f F (V >: i {u}, V f \ u) F (V i, V f \ u), otherwise, where u sgdj(v i, V f ) (1) where sgdj(v i, V f ) (sugrph-djent) denotes the verties in V f tht re djent to t lest one of the verties in V i. To show tht Eqution 1 orretl genertes the omplete set of indued sugrphs, is suffiient to onsider the three onditions of the reurrene reltion. The first ondition, whih orresponds to the initil ondition of the reurrene reltion, overs the situtions in whih either (i) none of the verties in V f re djent to n of the verties in V i nd s suh V i is the onl indued sugrphs tht n e generted, or (ii) V f is empt nd s suh V i nnot e etended further. The seond ondition, whih overs the sitution in whih V i is empt nd V f is not empt, deomposes F (, V f ) s the union of two sets of indued sugrphs sed on n ritrril seleted verte u V f. The first is the set of indued sugrphs tht ontin verte u (orresponding to F ({u}, V f \ u)) nd the seond is the set of indued sugrphs tht do not ontin u (orresponding to F (, V f \ u)). Sine n of the indued sugrphs in F (, V f ) will either ontin u or not ontin u, the ove deomposition overs ll possile ses nd it orretl genertes F (, V f ). Finll, the third ondition, whih orresponds to the generl se, deomposes F (V i, V f ) s the union of two sets of indued sugrphs sed on n ritrril seleted verte u V f tht is djent to t lest one verte in V i. The first is the set of indued sugrphs tht ontin V i nd u (orresponding to F (V i {u}, V f \ u)) nd the seond is the set of indued sugrphs tht ontin V i ut not u (orresponding to F (V i, V f \u)). Similrl to the seond ondition, this deomposition overs ll the ses with respet to u nd it orretl genertes F (V i, V f ). Also the requirement tht u sgdj(v i, V f ) ensures tht this ondition enumertes onl the onneted indued sugrphs. Sine eh reursive ll in Eqution 1 removes verte from V f, the reurrene reltion will terminte due to the first ondition. Finll, sine the three onditions in Eqution 1 over ll possile ses, the overll reurrene reltion is orret. In ddition to orretness, it n e seen tht the reurrene reltion of Eqution 1 does not hve n overlpping suprolems, nd s suh, eh indued sugrph of F (V i, V f ) is generted onl one, leding to n effiient pproh for generting F (V i, V f ). Constrints on the minimum nd mimum sie of the indued sugrphs n e esil inorported in Eqution 1 returning in the first ondition when V i is less thn the minimum sie nd not performing the reursive Given onneted (indued) sugrph g, it n e grown dding one verte t time while still mintining onnetivit; e.g., MST of g (whih eists due to its onnetivit) n e used to guide the order whih verties re dded. e e Si,<1:7> Fig. 3. () w,<2:4> w Sj,<2:4> <2:4> e Sm,<1:3> e k k,<1:3,5:9> <1:3,5:9> Si,<1:7> h () e h Sn,5:7 Adding verte to n indued reltionl stte. eplortion for other two ses. 2) Indued Reltionl Stte Enumertion: There re two ke hllenges in etending the indued sugrph enumertion pproh of Eqution 1 in order to enumerte the IRSs in dnmi network. First, the ddition of verte to n IRS is different from dding verte to n indued sugrph s it n n result in multiple IRSs depending on the overlpping spns etween the verte eing dded nd the originl IRS. Consider n IRS S i = (V i, s i :e i ), set of verties V f suh tht V i V f =, nd verte v V f tht is djent to t lest one of the verties in V i. If v s spn sequene ontins multiple spns tht hve overlps greter thn or equl to φ with S i s spn, then the inlusion of v leds to multiple IRSs, eh supported different disjoint spns. Fig. 3 illustrtes the verte ddition proess during n IRS epnsion. Fig. 3() shows simple se of verte ddition where n IRS S 1 = ({,, e}, 1:7) is epnded dding djent verte hving single spn of 2:4. The resultnt IRS is S 2 = ({,, e, }, 2:4) tht ontins ll the verties nd onl the overlpping spn of S 1 nd. Fig. 3() shows more omple se where the verte h tht is dded to S 1 hs the spn sequene of 1:3, 5:9. In this se, the overlpping spns 1:3 nd 5:7 form two seprte IRSs S 3 = ({,, e, h}, 1:3) nd S 4 = ({,, e, h}, 5:7), eh of whih needs to e onsidered for future epnsions in order to disover the omplete set of IRSs. Seond, the onept of removing verte from V f used in Eqution 1 to deompose the set of indued sugrphs needs to e re-visited so tht to ount for the temporl nture of dnmi networks. Filure to do so, will led to n IRS disover lgorithm tht will not disover the omplete set of IRSs nd the set of IRSs tht it disovers will e different sed on the order tht it hooses to dd verties in the IRS under onsidertion. This is illustrted in the emple of Fig. 4. The IRS S 1 = ({, }, 0:12) is epnded to S 2 = ({,, }, 1:5) dding the djent verte. In terms of Eqution 1, this orresponds to the third ondition nd leds to the reursive lls of F ({,, }, V f \) nd F ({, }, V f \) (i.e., epnd S 2 nd epnd S 1 ). It is es to see tht the set of IRSs tht will e generted from these reursions will not ontin S 4 = ({,,, d}, 6:11), sine it n onl e generted from S 2 ut its spn does not overlp with S 4 s k h

5 <1:11>,<1:5>,<6:11> v,<6:11> S1,<0:12> d <6:11> <6:11>,<1:5>,<6:11> v,<6:11> S1,<0:12> d <6:11> Fig. 4.,<6:11> v,<6:11> S1,<0:12> <6:11>,<1:5> v,<6:11> d S3,<6:11> d <6:11> Updting spn sequene of verte.,<1:5> S4,<6:11> spn. One the other hnd, if S 1 is initill epnded dding verte d, resulting in the IRS S 3 = ({,, d}, 6:11), then the reursive lls of F ({,, d}, V f \d) nd F ({, }, V f \d) will generte S 4 nd S 2, respetivel. Thus, sed on the order whih verties re seleted nd inluded in n IRS, some IRSs m e missed. Moreover, different verte inlusion orders n potentill miss different IRSs. To ddress oth of these issues the lgorithm tht we developed for enumerting the omplete set of IRSs utilies reursive deomposition pproh tht etends Eqution 1 utiliing two ke onepts. The first is the notion of the set of verte-spn tuples tht n e used to grow given IRS. Formll, given n IRS S i = (V i, s i :e i ) nd set of verties V f in N φ with V i V f =, the irsdj(s i, V f ) is the set of verte-spn tuples of the form (u, s uj :e uj ) suh tht u V f nd (V i {u}, s uj :e uj ) is n IRS whose spn is t lest φ. Note tht irsdj(s i, V f ) n ontin multiple tuples for the sme verte if tht verte n etend S i in multiple ws (eh hving different spn nd possil n indued sugrph with different sets of edges). The tuples in irsdj(s i, V f ) represent possile etensions of S i nd sine verte n our multiple times, it llows for the genertion of IRS with the sme set of verties ut different spns (ddressing the first hllenge). The seond is the notion of verte-spn deletion, whih is used to eliminte the order dependen desried erlier nd generte the omplete set of IRSs. The ke ide is when tuple (u, s uj :e uj ) is dded into S i, insted of removing u from V f, onl remove the spn s uj :e uj from u s spn sequene in V f. Verte u will onl e removed from V f iff fter the removl of s uj :e uj its spn sequene eomes empt or the remining spns hve lengths tht re smller thn φ. Formll, given V f, verte u V f, nd verte-spn tuple (u, s uj :e uj ), the spn-deletion opertion, denoted V f (u, s uj :e uj ), updtes the spn sequene of u removing the s uj :e uj spn from its spn sequene, eliminting n of its spns tht eome shorter thn φ, nd eliminting u if its updted spn sequene eomes empt. The spn-deletion opertion is the nlogous opertion to verte removl of Eqution 1. To illustrte how this opertion n ddress the seond hllenge, onsider gin the emple of Fig. 4. One is dded into S 1, the spn tht it used (i.e., 1:5) will e deleted from its spn sequene, resulting in new spn sequene ontining 6:11. Now the d v reursive ll orresponding to F ({, }, V f (, 1:5)) will e le to identif S 4. Given the ove definitions, the reursive pproh for enumerting the omplete set of IRSs n now e formll defined. Let S i = (V i, s i :e i ) e n IRS, V f set of verties in N φ with their orresponding spn-sequenes in N φ suh tht V i V f =, nd H(S i, V f ) e the set of IRSs tht (i) ontin V i nd ero or more verties from V f nd (ii) their spn is su-spn of s i :e i. Given the ove, the omplete set of IRSs in N φ is given H((, 1:T ), V (N φ )) \. The reurrene reltion for H(S i, V f ) is: H(S i, V f ) = 8 S i, if irsdj(s i, V f ) = or V f = H(({u}, s u :e u), V f (u, s u :e u)) >< H((, 1:T ), V f (u, s u :e u)), if V i = V f where u V f nd s u :e u is spn of u H((V i {u}, s u :e u), V f (u, s u :e u)) >: H(S i, V f (u, s u :e u)), otherwise. where (u, s u :e u) irsdj(s i, V f ) (2) The ove reurrene reltion shres the sme overll struture with the orresponding reurrene reltion for enumerting the indued sugrphs (Eqution 1) nd its orretness n e shown in w similr to tht used for Eqution 1. Due to spe limittions, we omit the omplete proof of Eqution 2, nd onl fous on disussing the third ondition, whih represents the generl se. This ondition deomposes H(S i, V f ) s the union of two sets of IRSs sed on n ritrril seleted verte-spn tuple (u, s u :e u ) irsdj(s i, V f ). Sine the spn s u :e u is miml overlpping spn etween u nd S i, the new IRS ontining verties (V i {u} hs the spn of s u :e u ). With respet to verte-spn tuple (u, s u :e u ), the set of IRSs in H(S i, V f ) n elong to one of the following three groups: (i) the set of IRSs tht ontin u nd hve spn tht is su-spn of s u :e u ; (ii) the set of IRSs tht ontin u nd hve spn tht is disjoint with s u :e u, nd (iii) the set of IRSs tht do not ontin u. The H((V i {u}, s u :e u ), V f (u, s u :e u )) prt of the third ondition genertes (i), wheres the H(S i, V f (u, s u :e u ) prt genertes (ii) nd (iii). Wht is missing from the ove groups is the group orresponding to the set of IRSs tht ontin u nd hve spn tht prtill overlps with s u :e u. The lim is tht this nnot hppen. Consider n IRS S j = (V j, s j :e j ) H(S i, V f ) tht ontin u nd without loss of generlit, ssume tht s u < s j < e u < e j. Sine we re deling with indued sugrphs nd stle topologies (i.e., from the definition of n IRS), the onnetivit of u to the verties in V i remins the sme during the spn of s u :e u nd lso during the spn of s j :e j, whih mens tht the onnetivit of u to the verties in V i remins the sme during the entire spn of s u :e j. This is ontrdition, sine (u, s u :e u ) irsdj(s i, V f ) nd s suh is miml length spn of stle reltions due to the ft tht (V i {u}, s u :e u ) The su-spn of spn orresponds to time intervl tht is either identil to the spn or is ontined within it.

6 Algorithm 1 mdfs(u, t, d[], p) 1: /* u is the urrent node */ 2: /* t is the urrent time */ 3: /* d[] is the disover rr */ 4: /* p is the urrent pth */ 5: d[u] = t++ 6: push u into p 7: if dj(u) = nd p > minimum EIRS-length then 8: reord p 9: else 10: for eh node v in (dj(u) sorted in inresing end-time order) do 11: if dt[v] < d[u] then 12: mdfs(v, t, d, p) 13: pop p is n IRS nd the spn of n IRS is miml. Thus, the two ses of the third ondition in Eqution 2 over ll possile ses nd it orretl generte the omplete set of IRSs. Also, sine eh reursive ll modifies t lest the set V f, none of the reursive lls led to overlpping suprolems, ensuring tht eh IRS is onl generted one. 3) Hndling Direted Edges: To hndle direted edges, we onsider eh diretion of n edge seprtel, suh tht direted edge is listed seprtel from. The diretion of n edge is stored s prt of the lel long with the spn sequene of tht edge. The diretion of n edge t ertin spn is oded s 0, 1 or 2 to represent, or. Note tht the ordering of the verties in n edge (, ) re stored in inresing verte-numer order (i.e, < ). Using the ove representtion of n edge, we determine the diretion of ll the edges of n IRS during its spn durtion. B. Step 2: Mining of Miml Evolution Pths The lgorithm tht we developed to identif the sequene of IRSs tht orrespond to the miml EIRSs is sed on modified DFS trversl of direted li grph tht is referred to s the indued reltionl stte grph nd will e denoted G RS. G RS ontins node for eh of the disovered IRSs nd root node r. For eh pir of IRSs S i = (V i, s i :e i ) nd S j = (V j, s j :e j ), G RS ontins direted edge from the node orresponding to S i to the node orresponding to S j iff V i V j, V i V j / V i V j β nd e i < s j (i.e., onstrints (ii) (iv) of Definition 1). The modified DFS lgorithm whih we will refer to s mdfs, uses onl disover rr d[] to reord the disover times of eh node, whih re initill set to 0. The DFS trversl strts from the root node nd proeeds to visit the rest of the nodes. The pseudoode is shown in Algorithm 1. The mdfs lgorithm lso keeps trk of the urrent pth from the root to the node tht it is urrentl t. If tht node hs no outgoing edges, then it outputs tht pth. The sequene of the reltionl sttes orresponding to the nodes of tht pth (the root node is eluded), represent n EIRS. The ke differene etween mdfs nd the stndrd DFS lgorithm is the method for seleting whih node to visit net (line 4). Given node u, the mdfs lgorithm selets mong its djent nodes the node v tht hs the erliest end-time nd d[v] < d[u]. The seletion of the erliest end-time is done to llow mdfs to find miml pths first, where the seletion of v tht stisfies d[v] < d[u] is done to eliminte forwrd edges ut still llow for the eplortion of ross edges. The elimintion of forwrd edges is done so tht to eliminte pths tht re supths of previousl identified longer pths (nd s suh will led to non-miml EIRSs). The inlusion of ross-edges is done so tht to llow the mdfs lgorithm to find the omplete set of miml EIRSs. Due to spe onstrints, we do not provide the forml proof tht the set of pths generted mdfs(r, 0, d, ) represent the omplete set of miml EIRSs tht we re fter. However, we hope tht the disussion ove provides evidene s to the orretness of the lim. The disussion so fr ssumes tht G RS hs een full mterilied. However, this n e epensive s it requires pirwise omprisons etween lrge numer of IRSs in order to determine if the stisf the onstrints (ii) (iv) of Definition 1. For this reson, our lgorithm strts with the mdfs trversl from the root nd mterilies the portions of G RS tht it needs during the trversl. This llows it to redue the rther epensive omputtions ssoited with some of the onstrints not hving to visit forwrd edges. Moreover it utilies the minimum EIRS length onstrint to further prune the prts of G RS tht it needs to generte. For given node u, the mdfs lgorithm needs the djent node of u tht hs the erliest end-time. Let e u e the endtime of node u. Sine node (i.e., n IRS) is required to hve t lest spn of length φ, we strt u s djent node serh mong the nodes in G RS tht hve the end-time of e k = e u + φ. Aording to onstrint (iv) of Definition 1, ertin minimum threshold of similrit is desired etween two IRSs of n EIRS. Thus, it is suffiient to ompre u with onl those nodes tht hve t lest ommon verte with u. We inde the nodes of G RS sed on the verties so tht the similr nodes of u n e essed looking up ll the nodes tht hve t lest one verte in ommon with u. If node v is similr to u nd d[v] < d[u], we dd the node to the djen list. If the serh fils to detet n djent node, we initite nother serh looking for nodes tht hve n end-time of e k + 1 nd ontinue suh inrementl serh until n djent node of u is found or ll possile end-times hve een eplored. V. RELATED WORK Over the lst ten ers, onsiderle reserh effort hs een devoted to developing lgorithms to find ptterns in stti grphs nd networks. This reserh hs resulted in the development of lgorithms for finding different tpes of ptterns suh s pths [24], [25], trees [6], [7], indued sugrphs [8], ritrril onneted sugrphs [26], [10], nd vrious tpes of liques [27], [28], [29]. While most of these methods hve een developed for mining dtses ontining reltivel smll grphs, lgorithms hve lso een developed to identif sugrphs with lrge numer of emeddings in single lrge grph (i.e., stti network) [11]. Sine dnmi networks hve onl reentl emerged s n importnt reserh re, the prolem of formll defining

7 the onserved reltionl sttes nd developing lgorithms for identifing their evolution ptterns hve not een well studied. Desikn et. l. [30] nled the importne of mining temporll evolving We grphs, ut did not provide n lgorithmi solution for deteting the stle ptterns or their evolution. Borgwrdt et. l. [17], [31] introdued the notion of the dnmi sugrph, whih etends the trditionl notion of the sugrph to inlude the sequene of sugrphs tht eist in onseutive sequene of snpshots nd developed lgorithms to identif the set of dnmi sugrphs tht our frequentl in dnmi network. Even though this work provides similr definition to the stle reltionl sttes, it uses heuristi sed pproh to detet the frequent ptterns nd it does not pture the evolution of those ptterns over time. Jin et. l. [32] foused on the prolem of finding reurrent ptterns in dnmi networks in whih time series is ssoited with eh node nd introdued the notion of the trend motif, whih is onneted sugrph in whih eh node s time series ehiits onsistent trend over time intervl. Even though the trend motif formultion is generl, their work foused onl on developing lgorithms for finding frequentl ourring trend motifs tht show either n inresing or deresing trend. Berlingerio et. l. [19] lso provided n lgorithm to detet frequent sugrphs in time-evolving grphs for deriving grph-evolution rules tht stisf minimum onfidene onstrint. Although these evolution rules re used to hrterie the hnges in the overll evolving grph, it does not determine the evolution of the onserved frequent ptterns. Rordet [21] represented the frequent ptterns of grph s pseudo-liques nd proposed n lgorithm tht first mines eh grph snpshot of dnmi grph for lol ptterns nd then omines these with ptterns from previous snpshot sed on some onstrints to form evolving ptterns. Inokuhi et. l. [33], [22] solved similr prolem of finding frequent indued sugrph susequenes from grph sequene dt nd pturing the hnges of sugrph over the susequene. However, their pproh does not fous on determining stle indued sugrphs nd does not disover the evolution ptterns of the onserved reltionl sttes. A relted od of reserh hs investigted the tsk of identifing nd trking ptterns in iologil networks [34], [35], [31] nd evolving ommunities in soil networks [36], [37]. The prolem of evolutionr lustering [18], [38] is to find lusters in dnmi network in the form of snpshots, suh tht lusters t n given time groups similr entities while lso preserving the grouping of entities in pst snpshots. Even though these methods provide vlule insights on the evolution of dnmi networks, the nture of onserved ptterns nd their evolution foused in this pper is different from the generl evolution ddressed in other ppers. A. Dtsets VI. EXPERIMENTAL DESIGN & RESULTS We evluted our lgorithm using dtsets from ptent ittion network, trde network nd n emil ommunition network. The slilit of our lgorithm ws ssessed on TABLE I DYNAMIC NETWORK DATASETS. Dtset #Verties Avg. #Edeges Spn Ptent N Ptent N Ptent N Trde Enron #Verties denotes the totl numer of verties in the dnmi network. Avg. #Edeges denotes the verge numer of edges per snpshot in the dnmi network. Spn denotes the totl numer of snpshots in the dnmi network. the ptent ittion dtset (s it ws the lrgest) wheres ll three dtsets were used in the qulittive ssessment of the identified EIRSs. ) Ptents Cittion Network: This is ittion network derived from the United Sttes Ptent nd Trdemrk offie s (USPTO) iliogrphi informtion for the ptents grnted from 1976 to The nodes orrespond to the primr rt res ssoited with the ptents sed on USPTO s lssifition nd the edges orrespond to ggregted ittions etween rt res. For emple, if ptent A of rt re α ites ptent B of rt re β in er, then direted edge is dded from α to β in the grph representing er. Cittions tht produe self referenes re removed. The lssifition of USPTO rt res is hierrhil nd forms tree struture tht n e up to 16 levels deep. The ptents re ssigned the lsses orresponding to the lef nodes of the tree. In our eperiments, in order to otin rt res tht ontin suffiientl lrge numer of ptents, we rolled up the lssifition tree to the third level, nd ll the ptents underneth eh third-level node ws ssigned the lss of tht node. The snpshots of the dnmi network tht we reted orrespond to the ittion network of eh er, leding to dnmi network onsisting of = 34 snpshots. Sine the verties t eh snpshot n potentill e onneted to ll other verties, we pre-proessed eh snpshot in order to derive set of dnmi networks tht ontin the most importnt set of outgoing edges (i.e. referenes) from eh node. This is done s follows. For eh verte of eh snpshot, we first hoose the 20 most frequent edges. The frequen of n edge (, ) is defined s the numer of ptent-to-ptent referenes (P 1, P 2 ) suh tht P 1 s lss is nd P 2 s lss is. Then, for eh edge (, ) we lulte its lift (i.e., w(, ) = p( )\p()) to use s its weight. Bsed on these weights, we onstrut three dnmi network dtsets N2, N3 nd N4 seleting the highest weighted 2, 3 nd 4 edges for eh verte in eh snpshot of the network. The sie nd densit of the networks is presented in Tl. I. ) Trde Network: This is trde network tht models the erl eport nd import reltions of 192 ountries from 1948 to 2000 sed on the Epnded Trde nd GDP Dt [40]. The nodes model the trding ountries nd the diret edges model the eport or import tivit etween two ountries for ertin er. The snpshots of the dnmi network tht we reted orresponds to the trde network of eh er, leding to dnmi network onsisting of = 53 snpshots. If the eport mount from

8 TABLE II NETWORK DENSITY. Dtset #IRS #EIRS ETime PTime TotlTime N N N The numer of verties in n IRS is 4 to 8, the mimum llowed verte differene etween two suessive IRSs is 1, nd φ is 4. Run times re in seonds. #IRS denotes the numer of disovered IRSs. #EIRS denotes the numer of disovered EIRSs. Etime denotes the mount of time spent to enumerte IRSs. PTime denotes the mount of time spent for pth enumertion. TotlTime denotes the totl mount of time spent to determine ll EIRSs in the network. ountr A to ountr B in given er is more thn 10% of the totl eport mount of A nd totl import mount of B for tht er, direted edge A B is dded to tht er s trde grph. ) Emil Communition Network: This is ommunition network tht models the emil trffi etween emploees of the ENRON ompn [41]. The nodes model the emploees who re leled their rnk nd node id to uniquel identif two nodes with sme lel (i.e. multiple emploees with the sme rnk). The direted edges model the ommunitions etween the emploees. To represent the dtset s dnmi network, the entire time spn ws divided into 30 equl-sie intervls. If n emil ws sent from node to node t ertin time intervl, direted edge is dded to the grph representing tht time intervl. This representtion ontins 130 nodes nd out 90 edges per snpshot. B. Performne Results We evluted the performne nd slilit of our lgorithm for mining the miml EIRSs using the N2, N3, nd N4 dtsets from the ptent ittion network. Our evlution is designed to ssess how the densit of the networks nd the vrious prmeters ssoited with the EIRS definition impts the performne of the lgorithm. All eperiments re onduted on Linu luster with 6-ore Intel Xeon X7542 Westmere proessors t 2.66 GH. Note tht in order to etter ssess how the interstte similrit omponent in the definition of the EIRS impts the performne of the lgorithm in ll the eperiments presented in this setion, insted of using V i V j / V i V j s mesure of inter-stte similrit (onstrint (iv) of Definition 1), we used the numer of different verties etween V i nd V j s mesure of distne. This llows us to epliitl inrese/derese the ompleit of the mining prolem hnging the numer of different verties tht is llowed etween suessive IRSs. 1) Network Densit: The performne of the lgorithm for the three dtsets is shown in Tl. II. The dtsets N2, N3 nd N4 ontin the sme numer of verties 84152, ut their densit in terms of the numer of edges present in the network inreses 1.4 times from N2 to N3 nd 1.2 times from N3 to N4. The results in Tl. II show tht s the grph densit inreses the numer of EIRSs found inreses (i.e. the numer of EIRSs inresed from 2495 in N2 to in N3 to in N4). At the sme time, the totl runtime to disover TABLE III INTER-STATE SIMILARITY. ISDiff k min k m #IRS #EIRS ETime PTime TotlTime Dtset N4 is used for this eperiment nd φ = 5. ISDiff denotes the inter-stte distne pturing the mimum llowed verte differene etween two IRSs. k min denotes the minimum numer of verties llowed in n IRS. k m denotes the mimum numer of verties llowed in n IRS. Rest of the olumn lels re desried in Tl. II TABLE IV MINIMUM SPAN (φ) STUDY. φ QEdges #IRS #EIRS ETime PTime TotlTime Dtset N3 is used for this eperiment, the numer of verties in n IRS is 5 to 7, nd the mimum llowed verte differene etween two linked IRSs is 1. QEdges denotes the numer of edges in N φ, nd rest of the olumn lels re desried in Tl. II the EIRSs inreses from 13 seonds to proess N2 to 458 seonds for N3 nd seonds for N4. Even though the IRS enumertion step is mostl the time onsuming proess, s the numer of IRS inreses the time needed to trverse the IRS grph nd disover the EIRSs strts to inrese. For N4, out 84% of the totl runtime ws spent disovering the miml pths. For sprse grphs, IRS enumertion time domintes the omputtion. For denser grphs, the diretion grph uilding requires the most mount of omputing. 2) Inter-stte Distne: Tl. III shows the performne of the lgorithm for different vlues of the mimum llowed numer of different verties. The numer of different verties is vried from 1 to 3 for two different sets of IRSs (i.e., set of IRSs with 5 to 8 verties nd other set of IRSs with 6 to 8 verties). We oserved tht the numer of disovered EIRSs inreses s the mimum llowed verte differene inreses (i.e. the similrit threshold dereses). For the 5 8 set, the inrese in the mimum llowed verte differene from 1 to 3 uses n inrese in disovered EIRSs from 315 to However, s we inrese the mimum llowed verte differene, the EIRSs will strt ontining unrelted IRSs in their pth, sine the similrit threshold etween the IRSs re lower, whih m represent less interesting EIRS. The derese in similrit threshold lso inreses the totl runtime, the pth enumertion step tkes longer to proess more edges etween IRSs. 3) Minimum Spn: The performne of the lgorithm for different vlues of minimum spn (φ) is shown in Tl. IV. The vlue of φ represents the minimum length requirement for n indued reltionl stte to e in onsistent stte nd for this eperiments is in terms of ers. From these results, we oserved tht s the vlue of φ dereses, the numer of disovered EIRSs nd the runtime inreses. The vlue of φ ontrols the numer of edges tht n qulif to e prt of the N φ nd the lower the vlue of φ is the more numer of edges will qulif. In this se, we

9 TABLE V IRS SIZE STUDY ITA ITA UKG k min k m #IRS #EIRS ETime PTime TotlTime LUX GFR FRN GFR FRN GFR FRN GFR Dtset N4 is used for this eperiment, the mimum llowed verte differene etween two linked IRSs is 1 nd φ=4. The olumn lels re desried in Tl. II see tht the numer of qulified edges inrese from 5521 to for φ=5 nd φ=3. As the numer of qulified edges in N φ inrese, the numer of IRSs inreses nd resulting in disovering higher numer of EIRSs. Similrl, the runtime inrese s the vlue of φ dereses from 34 seonds to 6028 seonds for φ=5 nd φ=3, sine the lgorithm needs to proess more numer of IRSs to find reltions nd their evolution pths. This prmeter is n importnt ftor in finding EIRSs in different dtsets, sine the onserved stte of pttern is likel to e different depending on the tpe of the dt. 4) IRS Sie: We nled the performne of the lgorithm for different sies IRSs in Tl. V. The sie of n IRS is represented s the minimum nd mimum numer of verties llowed in n IRS. For emple, the sie of 5-8 mens tht n IRS n ontin minimum of 5 verties nd mimum of 8 verties. We oserve tht s the sie inreses, the numer of disovered EIRSs inreses. Sine lrger rnge in sie llows more numer of IRSs to e deteted, the hne of finding higher numer of EIRSs is inreses. In this eperiment, the numer of IRSs nd EIRSs found for sie 5 is nd 60. When the sie ws inresed to 5-8, the numer of IRSs inresed to nd in turn resulted with EIRSs. C. Qulittive Anlsis In this setion we present some of the EIRSs tht were disovered our lgorithm in order to illustrte the tpe of informtion tht n e etrted from the dnmi networks fousing on how stle reltions hnged over time. The EIRSs tht re presented orrespond to some of the EIRSs tht show the highest hnge etween the different IRS involved. In prtiulr, given n EIRS, we omputed the rtio of the totl numer of unique edges (i.e., reltions) in ll of its onstituent IRSs over the totl numer of edges in the sme IRSs. We refer to this quntit s the totl drift. Note tht this is just one of the mn ws tht n e used to ssign quntittive interestingness mesure to n EIRS nd other mesures n e derived looking t the nodes, reltionl inversions, lilit, et. In Fig. 5 we present n EIRS generted from the trde network pturing trde reltions etween some of the Europen ountries over 30 ers period nd the hosen φ=3. The totl drift for this EIRS is 12/18 = The EIRS minl ptures trde reltions etween Belgium, Netherlnds, Germn nd Frne. The other ountries, suh s Luemourg, Itl nd United Kingdom prtiipte for prtil period of time. Bsed on the illustrtion, initill (during 1963 to 1967) Belgium nd Netherlnds were strong trde prtners s the eported BEL NTH BEL NTH Fig. 5. An EIRSs pturing trde reltion etween EU ountries. The nodes in the figure re LUX=Luemourg, BEL=Belgium, GFR=Germn Federl Repuli, NTH=Netherlnds, ITA=Itl, nd UKG=United Kingdom. JPN USA TAW CA N USA JPN SAU TAW BEL USA JPN TAW CAN BEL JPN USA Fig. 6. An EIRSs pturing trde reltion of USA. The nodes in the figure re USA=United Sttes of Ameri, CAN=Cnd, JPN=Jpn, TAW=Tiwn, SAU=Sudi Ari, nd MEX=Meio. nd imported from eh other. The period shows tht the ountries were hevil trding etween eh other. B evluting the historil events, politil nd eonomi sitution of tht period, we ould find the use of higher trde tivit. The periods nd ptures how Frne s trde reltions with Belgium nd Germn eme one sided s Frne onl imported from those ountries. The use of suh hnges ould e tht Frne ws eporting to other ountries or Belgium nd Germn deided to import from some other ountries. In Fig. 6 we present nother EIRS generted from the trde network pturing stle trde reltion of USA with other ountries over 35 ers period. The totl drift for this EIRS is 7/16 = We notie tht USA nd Cnd hve strong trde reltions over long period of time. Even though the strong tie in trding seems ovious due to the geogrphil o-lotion of the ountries, it is interesting tht the lgorithm ould disover suh reltion from the historil dt. The EIRS lso ptures sted reltion etween USA nd Jpn. In Fig. 7 we present n EIRS generted from the emil ommunition network pturing emil ehnge ptterns mong group of emploees over period of time. The totl drift for this EIRS is 7/12 = Although it is diffiult to understnd the ommunition of the emploees without the messge ontent, the diretion of the ommunition n e found in this EIRS. We see tht [id:33] hd lws initited the onverstion nd ws ver tive in emil ommunition to hve stle reltions over ll the ptured periods. It is interesting to notie tht [id:146] is not present in lst period (25-28). One n investigte nd onfirm whether he/she ws repled or terminted nd the use for suh tions. In Fig. 8 we present n EIRS generted from the ptent DIR Fig DIR EMP DIR EMP 63 An EIRSs pturing Enron emil trffi pttern. CAN CAN 33 TAW 158 MEX

10 Fig. 8. An EIRSs pturing ptent lss reltions. The nodes in figure denote ptent lsses nd the legend ptures the USPTO definition of the lsses C1 to C5. ittion network pturing the evolution of the reltions etween some ptent lsses over 15 ers period. The totl drift for this EIRS is 7/14 = 0.5. Bsed on the illustrtion, the ptent lsses C2, C3 nd C4 were iting C1 during We n interpret tht s the ptents of lss C1 re erlier inventions nd lter the ptents of lss C2, C3, nd C4 used the ides found in the ptents elonging to C1. Over time the reltions hnged s lss C5 ppers in lter ers nd oth C1 nd C5 re iting eh other. It is possile tht ptents of lss C5 represent newer tehnolog tht ited erlier ptents of lss C1 s referene nd the newer ptent of lss C1 re using C5 s referene. This ptures omple reltionl dependene etween entities in dnmi network. Moreover, we lso oserved tht lss C4 disppered in the period of This ould indite tht the tehnolog introdued in the produts of lss C4 is no longer used. VII. CONCLUSION In this pper we presented n lgorithm for finding ll miml non-redundnt evolution pths of the indued reltionl sttes in dnmi network. This n e used to disover the trnsitions of the onserved reltionl sttes over time nd to etter understnd the use of suh hnges in the stle ptterns in dnmi network. Our eperimentl evlution on multiple rel world dtsets show tht the lgorithm is le to disover interesting evolution pths from ll dtsets nd n sle well to lrge nd dense dnmi networks. ACKNOWLEDGEMENT This work ws supported in prt NSF (IIS , OCI , nd IOS ) nd the DOE grnt USDOE/DE-SC nd the Digitl Tehnolog Center t the Universit of Minnesot. Aess to reserh nd omputing filities ws provided the Digitl Tehnolog Center nd the Minnesot Superomputing Institute. REFERENCES [1] D. Bod nd N. Ellison, Soil network sites: Definition, histor, nd sholrship, Journl of Computer-Medited Communition, vol. 13, no. 11, Otoer [2] A. Chpnond, M. S. Krishnmoorth, nd B. Yener, Grph theoreti nd spetrl nlsis of enron emil dt, Comput. Mth. Orgn. Theor, vol. 11, no. 3, pp , [3] X. Liu, J. Bollen, M. L. Nelson, nd H. Vn de Sompel, Co-uthorship networks in the digitl lirr reserh ommunit, Informtion Proessing nd Mngement, vol. 41, no. 6, pp , [4] X. Hu, Mining nd nlsing sle-free protein protein intertion network, Int. Journl of Bioinformtis Reserh nd Applitions, vol. 1, no. 1, pp , [5] Y. Koren, S. C. North, nd C. Volinsk, Mesuring nd etrting proimit grphs in networks, ACM Trns. Knowl. Disov. Dt, vol. 1, no. 3, p. 12, [6] M. J. Zki, Effiientl mining frequent trees in forest, in ACM KDD , pp [7] T. Asi, K. Ae, S. Kwsoe, H. Arimur, H. Skmoto, nd S. Arikw, Effiient sustruture disover from lrge semi-strutured dt, in Pro. of the 2nd Annul SIAM Smposium on Dt Mining, 2002, pp [8] A. Inokuhi, T. Wshio, nd H. Motod, An priori-sed lgorithm for mining frequent sustrutures from grph dt, in Pro. of the 4th Europen Conf. on Priniples of Dt Mining nd Knowledge Disover. Springer-Verlg, 2000, pp [9] J. Hun, W. Wng, nd J. Prins, Effiient mining of frequent sugrph in the presene of isomorphism, in Pro. of the 3rd IEEE Int. Conf. on Dt Mining (ICDM), 2003, pp [10] M. Kurmohi nd G. Krpis, An effiient lgorithm for disovering frequent sugrphs, IEEE TKDE, vol. 16, no. 9, pp , [11], Finding frequent ptterns in lrge sprse grph, Dt Mining nd Knowledge Disover, vol. 11, no. 3, pp , [12] G. Slton nd M. J. MGill, Introdution to Modern Informtion Retrievl. MGrw-Hill, [13] J. Hn, M. Kmer, nd A. K. H. Tung, Sptil Clustering Methods in Dt Mining: A Surve. Tlor nd Frnis, [14] M. Deshpnde, M. Kurmohi, N. Wle, nd G. Krpis, Frequent sustruture-sed pprohes for lssifing hemil ompounds, IEEE TKDE, vol. 17, no. 8, pp , [15] N. Wle, I. A. Wtson, nd G. Krpis, Comprison of desriptor spes for hemil ompound retrievl nd lssifition, KAIS, vol. 14, no. 3, pp , [16] S. Brin nd L. Pge, The ntom of lrge-sle hpertetul we serh engine, Computer Networks nd ISDN Sstems, vol. 30, no. 1-7, pp , [17] K. M. Borgwrdt, H.-P. Kriegel, nd P. Wkersreuther, Pttern mining in frequent dnmi sugrphs, in IEEE ICDM. Wshington, DC, 2006, pp [18] D. Chkrrti, R. Kumr, nd A. Tomkins, Evolutionr lustering, in ACM KDD. 2006, pp [19] M. Berlingerio, F. Bonhi, B. Bringmnn, nd A. Gionis, Mining grph evolution rules, Mhine Lerning nd Knowledge Disover in Dtses, pp , [20] L. Cerf, T. Nguen, nd J. Bouliut, Disovering relevnt ross-grph liques in dnmi networks, Foundtions of Intelligent Sstems, pp , [21] C. Rordet, Constrint-sed pttern mining in dnmi grphs, in IEEE ICDM. 2009, pp [22] A. Inokuhi nd T. Wshio, Mining frequent grph sequene ptterns indued verties, in Pro. of 10th SIAM Intl Conf. on Dt Mining, 2010, pp [23] D. B. West, Introdution to Grph Theor. Prentie Hll., [24] S. Krmer, L. De Redt, nd C. Helm, Moleulr feture mining in hiv dt, in ACM KDD, [25] J. Pei, J. Hn, B. Mortvi-Asl, H. Pinto, Q. Chen, U. Dl, nd M. Hsu, Prefispn: Mining sequentil ptterns prefiprojeted growth, in ICDE, 2001, pp [Online]. Aville: iteseer.nj.ne.om/pei01prefispn.html [26] J. Hun, W. Wng, nd J. Prins, Effiient mining of frequent sugrph in the presene of isomophism, in IEEE ICDM, [27] H. Hu, X. Yn, H. Yu, J. Hn, nd X. Zhou, Mining oherent dense sugrphs ross mssive iologil networks for funtionl disover, in ISMB, Ann Aror, MI, 2005, pp [28] J. Pei, D. Jing, nd A. Zhng, On mining ross-grph qusi-liques, in ACM KDD. 2005, pp [29] X. Yn, X. J. Zhou, nd J. Hn, Mining losed reltionl grphs with onnetivit onstrints, in ACM KDD. 2005, pp [30] P. Desikn nd J. Srivstv, Mining temporll evolving grphs, in WEBKDD Workshop, vol. 22. Citeseer, [31] B. Wkersreuther, P. Wkersreuther, A. Oswld, C. B ohm, nd K. Borgwrdt, Frequent sugrph disover in dnmi networks, in Pro. of the 8th Workshop on Mining nd Lerning with Grphs. 2010, pp

Exercise sheet 6: Solutions

Exercise sheet 6: Solutions Eerise sheet 6: Solutions Cvet emptor: These re merel etended hints, rther thn omplete solutions. 1. If grph G hs hromti numer k > 1, prove tht its verte set n e prtitioned into two nonempt sets V 1 nd

More information

An Efficient Algorithm for Discovering Frequent Subgraphs

An Efficient Algorithm for Discovering Frequent Subgraphs To pper in IEEE Trnstions on Knowledge nd Dt Engineering 1 An Effiient Algorithm for Disovering Frequent Sugrphs Mihihiro Kurmohi nd George Krpis, Memer, IEEE Deprtment of Computer Siene Universit of Minnesot

More information

12.4 Similarity in Right Triangles

12.4 Similarity in Right Triangles Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right

More information

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points: Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer

More information

Global alignment. Genome Rearrangements Finding preserved genes. Lecture 18

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 information

A Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version

A Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 11365-9415, Tehrn, Irn Deprtment

More information

AVL Trees. D Oisín Kidney. August 2, 2018

AVL Trees. D Oisín Kidney. August 2, 2018 AVL Trees D Oisín Kidne August 2, 2018 Astrt This is verified implementtion of AVL trees in Agd, tking ides primril from Conor MBride s pper How to Keep Your Neighours in Order [2] nd the Agd stndrd lirr

More information

1 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. 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 information

A Algorithms for Mining the Coevolving Relational Motifs in Dynamic Networks

A Algorithms for Mining the Coevolving Relational Motifs in Dynamic Networks A Algorithms for Mining the Coevolving Reltionl Motifs in Dynmi Networks REZWAN AHMED, University of Minnesot GEORGE KARPIS, University of Minnesot Computtionl methods nd tools tht n effiiently nd effetively

More information

AP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals

AP 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 information

Computational Biology Lecture 18: Genome rearrangements, finding maximal matches Saad Mneimneh

Computational Biology Lecture 18: Genome rearrangements, finding maximal matches Saad Mneimneh Computtionl Biology Leture 8: Genome rerrngements, finding miml mthes Sd Mneimneh We hve seen how to rerrnge genome to otin nother one sed on reversls nd the knowledge of the preserved loks or genes. Now

More information

SECTION A STUDENT MATERIAL. Part 1. What and Why.?

SECTION A STUDENT MATERIAL. Part 1. What and Why.? SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are

More information

Lecture Notes No. 10

Lecture 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 information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design nd Anlysis LECTURE 5 Supplement Greedy Algorithms Cont d Minimizing lteness Ching (NOT overed in leture) Adm Smith 9/8/10 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov,

More information

NON-DETERMINISTIC FSA

NON-DETERMINISTIC FSA Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is

More information

Comparing the Pre-image and Image of a Dilation

Comparing 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 information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design nd Anlysis LECTURE 8 Mx. lteness ont d Optiml Ching Adm Smith 9/12/2008 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov, K. Wyne Sheduling to Minimizing Lteness Minimizing

More information

Data Structures LECTURE 10. Huffman coding. Example. Coding: problem definition

Data Structures LECTURE 10. Huffman coding. Example. Coding: problem definition Dt Strutures, Spring 24 L. Joskowiz Dt Strutures LEURE Humn oing Motivtion Uniquel eipherle oes Prei oes Humn oe onstrution Etensions n pplitions hpter 6.3 pp 385 392 in tetook Motivtion Suppose we wnt

More information

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Project 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 information

Maintaining Mathematical Proficiency

Maintaining 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 information

6.5 Improper integrals

6.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 information

Lesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem.

Lesson 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 information

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix

Matrices 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 information

Fast Frequent Free Tree Mining in Graph Databases

Fast Frequent Free Tree Mining in Graph Databases The Chinese University of Hong Kong Fst Frequent Free Tree Mining in Grph Dtses Peixing Zho Jeffrey Xu Yu The Chinese University of Hong Kong Decemer 18 th, 2006 ICDM Workshop MCD06 Synopsis Introduction

More information

, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.

, 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 information

University of Sioux Falls. MAT204/205 Calculus I/II

University 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 information

5. Every rational number have either terminating or repeating (recurring) decimal representation.

5. Every rational number have either terminating or repeating (recurring) decimal representation. CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd

More information

Core 2 Logarithms and exponentials. Section 1: Introduction to logarithms

Core 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 information

Arrow s Impossibility Theorem

Arrow s Impossibility Theorem Rep Voting Prdoxes Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Voting Prdoxes Properties Arrow s Theorem Leture Overview 1 Rep

More information

Nondeterministic Automata vs Deterministic Automata

Nondeterministic 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 information

TIME AND STATE IN DISTRIBUTED SYSTEMS

TIME AND STATE IN DISTRIBUTED SYSTEMS Distriuted Systems Fö 5-1 Distriuted Systems Fö 5-2 TIME ND STTE IN DISTRIUTED SYSTEMS 1. Time in Distriuted Systems Time in Distriuted Systems euse eh mhine in distriuted system hs its own lok there is

More information

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of: 22: Union Fin CS 473u - Algorithms - Spring 2005 April 14, 2005 1 Union-Fin We wnt to mintin olletion of sets, uner the opertions of: 1. MkeSet(x) - rete set tht ontins the single element x. 2. Fin(x)

More information

Introduction to Olympiad Inequalities

Introduction 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 information

For a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then

For a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then Slrs-7.2-ADV-.7 Improper Definite Integrls 27.. D.dox Pge of Improper Definite Integrls Before we strt the min topi we present relevnt lger nd it review. See Appendix J for more lger review. Inequlities:

More information

April 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.

April 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 information

Reflection Property of a Hyperbola

Reflection Property of a Hyperbola Refletion Propert of Hperol Prefe The purpose of this pper is to prove nltill nd to illustrte geometrill the propert of hperol wherein r whih emntes outside the onvit of the hperol, tht is, etween the

More information

Reference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets.

Reference : Croft & Davison, Chapter 12, Blocks 1,2. A matrix ti is a rectangular array or block of numbers usually enclosed in brackets. I MATRIX ALGEBRA INTRODUCTION TO MATRICES Referene : Croft & Dvison, Chpter, Blos, A mtri ti is retngulr rr or lo of numers usull enlosed in rets. A m n mtri hs m rows nd n olumns. Mtri Alger Pge If the

More information

CS 491G Combinatorial Optimization Lecture Notes

CS 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 information

Electromagnetism Notes, NYU Spring 2018

Electromagnetism 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 information

A Study on the Properties of Rational Triangles

A 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 information

CS 573 Automata Theory and Formal Languages

CS 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 information

Finite State Automata and Determinisation

Finite State Automata and Determinisation Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions

More information

ANALYSIS AND MODELLING OF RAINFALL EVENTS

ANALYSIS 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 information

Linear Algebra Introduction

Linear Algebra Introduction Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +

More information

8 THREE PHASE A.C. CIRCUITS

8 THREE PHASE A.C. CIRCUITS 8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the so-lled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),

More information

THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL

THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL THE INFLUENCE OF MODEL RESOLUTION ON AN EXPRESSION OF THE ATMOSPHERIC BOUNDARY LAYER IN A SINGLE-COLUMN MODEL P3.1 Kot Iwmur*, Hiroto Kitgw Jpn Meteorologil Ageny 1. INTRODUCTION Jpn Meteorologil Ageny

More information

Hyers-Ulam stability of Pielou logistic difference equation

Hyers-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 information

Alpha Algorithm: Limitations

Alpha Algorithm: Limitations Proess Mining: Dt Siene in Ation Alph Algorithm: Limittions prof.dr.ir. Wil vn der Alst www.proessmining.org Let L e n event log over T. α(l) is defined s follows. 1. T L = { t T σ L t σ}, 2. T I = { t

More information

QUADRATIC EQUATION. Contents

QUADRATIC EQUATION. Contents QUADRATIC EQUATION Contents Topi Pge No. Theory 0-04 Exerise - 05-09 Exerise - 09-3 Exerise - 3 4-5 Exerise - 4 6 Answer Key 7-8 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,

More information

Arrow s Impossibility Theorem

Arrow s Impossibility Theorem Rep Fun Gme Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Fun Gme Properties Arrow s Theorem Leture Overview 1 Rep 2 Fun Gme 3 Properties

More information

21.1 Using Formulae Construct and Use Simple Formulae Revision of Negative Numbers Substitution into Formulae

21.1 Using Formulae Construct and Use Simple Formulae Revision of Negative Numbers Substitution into Formulae MEP Jmi: STRAND G UNIT 1 Formule: Student Tet Contents STRAND G: Alger Unit 1 Formule Student Tet Contents Setion 1.1 Using Formule 1. Construt nd Use Simple Formule 1.3 Revision of Negtive Numers 1.4

More information

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6 CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized

More information

DETERMINING SIGNIFICANT FACTORS AND THEIR EFFECTS ON SOFTWARE ENGINEERING PROCESS QUALITY

DETERMINING SIGNIFICANT FACTORS AND THEIR EFFECTS ON SOFTWARE ENGINEERING PROCESS QUALITY DETERMINING SIGNIFINT FTORS ND THEIR EFFETS ON SOFTWRE ENGINEERING PROESS QULITY R. Rdhrmnn Jeng-Nn Jung Mil to: rdhrmn_r@merer.edu jung_jn@merer.edu Shool of Engineering, Merer Universit, Mon, G 37 US

More information

Section 1.3 Triangles

Section 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 information

Linear choosability of graphs

Linear choosability of graphs Liner hoosility of grphs Louis Esperet, Mikel Montssier, André Rspud To ite this version: Louis Esperet, Mikel Montssier, André Rspud. Liner hoosility of grphs. Stefn Felsner. 2005 Europen Conferene on

More information

Generalization of 2-Corner Frequency Source Models Used in SMSIM

Generalization of 2-Corner Frequency Source Models Used in SMSIM Generliztion o 2-Corner Frequeny Soure Models Used in SMSIM Dvid M. Boore 26 Mrh 213, orreted Figure 1 nd 2 legends on 5 April 213, dditionl smll orretions on 29 My 213 Mny o the soure spetr models ville

More information

Behavior Composition in the Presence of Failure

Behavior Composition in the Presence of Failure Behvior Composition in the Presene of Filure Sestin Srdin RMIT University, Melourne, Austrli Fio Ptrizi & Giuseppe De Giomo Spienz Univ. Rom, Itly KR 08, Sept. 2008, Sydney Austrli Introdution There re

More information

Intermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths

Intermediate 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 information

Engr354: Digital Logic Circuits

Engr354: Digital Logic Circuits Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost

More information

ENERGY AND PACKING. Outline: MATERIALS AND PACKING. Crystal Structure

ENERGY AND PACKING. Outline: MATERIALS AND PACKING. Crystal Structure EERGY AD PACKIG Outline: Crstlline versus morphous strutures Crstl struture - Unit ell - Coordintion numer - Atomi pking ftor Crstl sstems on dense, rndom pking Dense, regulr pking tpil neighor ond energ

More information

Chapter 4 State-Space Planning

Chapter 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 information

Alpha Algorithm: A Process Discovery Algorithm

Alpha Algorithm: A Process Discovery Algorithm Proess Mining: Dt Siene in Ation Alph Algorithm: A Proess Disovery Algorithm prof.dr.ir. Wil vn der Alst www.proessmining.org Proess disovery = Ply-In Ply-In event log proess model Ply-Out Reply proess

More information

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Counting 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 information

Activities. 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

Activities. 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 information

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution

Technische 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 information

Probability. b a b. a b 32.

Probability. b a b. a b 32. Proility If n event n hppen in '' wys nd fil in '' wys, nd eh of these wys is eqully likely, then proility or the hne, or its hppening is, nd tht of its filing is eg, If in lottery there re prizes nd lnks,

More information

Learning Partially Observable Markov Models from First Passage Times

Learning 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 information

Symmetrical Components 1

Symmetrical 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 information

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 CH 3. CH 3 C a. NMR spectroscopy. Different types of NMR

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 CH 3. CH 3 C a. NMR spectroscopy. Different types of NMR 6.. Spetrosopy NMR spetrosopy Different types of NMR NMR spetrosopy involves intertion of mterils with the lowenergy rdiowve region of the eletromgneti spetrum NMR spetrosopy is the sme tehnology s tht

More information

THE PYTHAGOREAN THEOREM

THE PYTHAGOREAN THEOREM THE PYTHAGOREAN THEOREM The Pythgoren Theorem is one of the most well-known nd widely used theorems in mthemtis. We will first look t n informl investigtion of the Pythgoren Theorem, nd then pply this

More information

H (2a, a) (u 2a) 2 (E) Show that u v 4a. Explain why this implies that u v 4a, with equality if and only u a if u v 2a.

H (2a, a) (u 2a) 2 (E) Show that u v 4a. Explain why this implies that u v 4a, with equality if and only u a if u v 2a. Chpter Review 89 IGURE ol hord GH of the prol 4. G u v H (, ) (A) Use the distne formul to show tht u. (B) Show tht G nd H lie on the line m, where m ( )/( ). (C) Solve m for nd sustitute in 4, otining

More information

Graph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)

Graph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France) Grph Sttes EPIT 2005 Mehdi Mhll (Clgry, Cnd) Simon Perdrix (Grenole, Frne) simon.perdrix@img.fr Grph Stte: Introdution A grph-sed representtion of the entnglement of some (lrge) quntum stte. Verties: quits

More information

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 H 3 CH3 C. NMR spectroscopy. Different types of NMR

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 H 3 CH3 C. NMR spectroscopy. Different types of NMR 6.. Spetrosopy NMR spetrosopy Different types of NMR NMR spetrosopy involves intertion of mterils with the lowenergy rdiowve region of the eletromgneti spetrum NMR spetrosopy is the sme tehnology s tht

More information

are coplanar. ˆ ˆ ˆ and iˆ

are coplanar. ˆ ˆ ˆ and iˆ SML QUSTION Clss XII Mthemtis Time llowed: hrs Mimum Mrks: Generl Instrutions: i ll questions re ompulsor ii The question pper onsists of 6 questions divided into three Setions, B nd C iii Question No

More information

Part 4. Integration (with Proofs)

Part 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

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite! Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:

More information

The Ellipse. is larger than the other.

The Ellipse. is larger than the other. The Ellipse Appolonius of Perg (5 B.C.) disovered tht interseting right irulr one ll the w through with plne slnted ut is not perpendiulr to the is, the intersetion provides resulting urve (oni setion)

More information

Mathematics SKE: STRAND F. F1.1 Using Formulae. F1.2 Construct and Use Simple Formulae. F1.3 Revision of Negative Numbers

Mathematics SKE: STRAND F. F1.1 Using Formulae. F1.2 Construct and Use Simple Formulae. F1.3 Revision of Negative Numbers Mthemtis SKE: STRAND F UNIT F1 Formule: Tet STRAND F: Alger F1 Formule Tet Contents Setion F1.1 Using Formule F1. Construt nd Use Simple Formule F1.3 Revision of Negtive Numers F1.4 Sustitution into Formule

More information

CHENG Chun Chor Litwin The Hong Kong Institute of Education

CHENG 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 information

The Trapezoidal Rule

The Trapezoidal Rule _.qd // : PM Pge 9 SECTION. Numericl Integrtion 9 f Section. The re of the region cn e pproimted using four trpezoids. Figure. = f( ) f( ) n The re of the first trpezoid is f f n. Figure. = Numericl Integrtion

More information

(h+ ) = 0, (3.1) s = s 0, (3.2)

(h+ ) = 0, (3.1) s = s 0, (3.2) Chpter 3 Nozzle Flow Qusistedy idel gs flow in pipes For the lrge vlues of the Reynolds number typilly found in nozzles, the flow is idel. For stedy opertion with negligible body fores the energy nd momentum

More information

Iowa Training Systems Trial Snus Hill Winery Madrid, IA

Iowa Training Systems Trial Snus Hill Winery Madrid, IA Iow Trining Systems Tril Snus Hill Winery Mdrid, IA Din R. Cohrn nd Gil R. Nonneke Deprtment of Hortiulture, Iow Stte University Bkground nd Rtionle: Over the lst severl yers, five sttes hve een evluting

More information

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3 2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is

More information

Worksheet #2 Math 285 Name: 1. Solve the following systems of linear equations. The prove that the solutions forms a subspace of

Worksheet #2 Math 285 Name: 1. Solve the following systems of linear equations. The prove that the solutions forms a subspace of Worsheet # th Nme:. Sole the folloing sstems of liner equtions. he proe tht the solutions forms suspe of ) ). Find the neessr nd suffiient onditions of ll onstnts for the eistene of solution to the sstem:.

More information

Trigonometry Revision Sheet Q5 of Paper 2

Trigonometry Revision Sheet Q5 of Paper 2 Trigonometry Revision Sheet Q of Pper The Bsis - The Trigonometry setion is ll out tringles. We will normlly e given some of the sides or ngles of tringle nd we use formule nd rules to find the others.

More information

HOMEWORK FOR CLASS XII ( )

HOMEWORK FOR CLASS XII ( ) HOMEWORK FOR CLASS XII 8-9 Show tht the reltion R on the set Z of ll integers defined R,, Z,, is, divisile,, is n equivlene reltion on Z Let f: R R e defined if f if Is f one-one nd onto if If f, g : R

More information

50 AMC Lectures Problem Book 2 (36) Substitution Method

50 AMC Lectures Problem Book 2 (36) Substitution Method 0 AMC Letures Prolem Book Sustitution Metho PROBLEMS Prolem : Solve for rel : 9 + 99 + 9 = Prolem : Solve for rel : 0 9 8 8 Prolem : Show tht if 8 Prolem : Show tht + + if rel numers,, n stisf + + = Prolem

More information

Test Generation from Timed Input Output Automata

Test Generation from Timed Input Output Automata Chpter 8 Test Genertion from Timed Input Output Automt The purpose of this hpter is to introdue tehniques for the genertion of test dt from models of softwre sed on vrints of timed utomt. The tests generted

More information

Unit-VII: Linear Algebra-I. To show what are the matrices, why they are useful, how they are classified as various types and how they are solved.

Unit-VII: Linear Algebra-I. To show what are the matrices, why they are useful, how they are classified as various types and how they are solved. Unit-VII: Liner lger-i Purpose of lession : To show wht re the mtries, wh the re useful, how the re lssified s vrious tpes nd how the re solved. Introdution: Mtries is powerful tool of modern Mthemtis

More information

Introduction to Algebra - Part 2

Introduction to Algebra - Part 2 Alger Module A Introduction to Alger - Prt Copright This puliction The Northern Alert Institute of Technolog 00. All Rights Reserved. LAST REVISED Oct., 008 Introduction to Alger - Prt Sttement of Prerequisite

More information

Thermodynamics. Question 1. Question 2. Question 3 3/10/2010. Practice Questions PV TR PV T R

Thermodynamics. Question 1. Question 2. Question 3 3/10/2010. Practice Questions PV TR PV T R /10/010 Question 1 1 mole of idel gs is rought to finl stte F y one of three proesses tht hve different initil sttes s shown in the figure. Wht is true for the temperture hnge etween initil nd finl sttes?

More information

A Primer on Continuous-time Economic Dynamics

A Primer on Continuous-time Economic Dynamics Eonomis 205A Fll 2008 K Kletzer A Primer on Continuous-time Eonomi Dnmis A Liner Differentil Eqution Sstems (i) Simplest se We egin with the simple liner first-orer ifferentil eqution The generl solution

More information

Review Topic 14: Relationships between two numerical variables

Review Topic 14: Relationships between two numerical variables Review Topi 14: Reltionships etween two numeril vriles Multiple hoie 1. Whih of the following stterplots est demonstrtes line of est fit? A B C D E 2. The regression line eqution for the following grph

More information

XPath Rewriting Using Multiple Views. Author. Published. Journal Title DOI. Copyright Statement. Downloaded from. Griffith Research Online

XPath Rewriting Using Multiple Views. Author. Published. Journal Title DOI. Copyright Statement. Downloaded from. Griffith Research Online XPth Rewriting Using Multiple Views Author Wng, Junhu, Yu, Jeffre Pulished 2008 Journl Title Leture Notes in Computer siene DOI https://doi.org/10.1007/978-3-540-85654-2_43 Copright Sttement 2008 Springer

More information

Discrete Structures Lecture 11

Discrete 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 information

Solutions to Assignment 1

Solutions 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 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.

(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 information

NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE

NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE NEW CIRCUITS OF HIGH-VOLTAGE PULSE GENERATORS WITH INDUCTIVE-CAPACITIVE ENERGY STORAGE V.S. Gordeev, G.A. Myskov Russin Federl Nuler Center All-Russi Sientifi Reserh Institute of Experimentl Physis (RFNC-VNIIEF)

More information

1.3 SCALARS AND VECTORS

1.3 SCALARS AND VECTORS Bridge Course Phy I PUC 24 1.3 SCLRS ND VECTORS Introdution: Physis is the study of nturl phenomen. The study of ny nturl phenomenon involves mesurements. For exmple, the distne etween the plnet erth nd

More information

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014 S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown

More information