Aligning Anatomy Ontologies in the Ontology Alignment Evaluation Initiative

Size: px
Start display at page:

Download "Aligning Anatomy Ontologies in the Ontology Alignment Evaluation Initiative"

Transcription

1 Aligig Aatmy Otlgies i the Otlgy Aligmet Evaluati Iitiative Patrick Lambrix, Qiag Liu, He Ta Departmet f Cmputer ad Ifrmati Sciece Liköpigs uiversitet Liköpig, Swede Abstract I recet years may tlgies have bee develped ad may f these tlgies ctai verlappig ifrmati. T be able t use multiple tlgies they have t be aliged. I this paper we preset ad discuss results frm aligig tlgies i a real case, the aatmy case i the 2008 Otlgy Aligmet Evaluati Iitiative. We d this by briefly describig a base system fr tlgy aligmet, SAMBO, ad a extesi, SAMBOdtf, ad preset ad discuss their results fr the aatmy case. SAMBO ad SAMBOdtf perfrmed best ad secd best amg the 9 participatig systems. SAMBO uses a cmbiati f strig matchig ad the use f dmai kwledge. SAMBOdtf uses the same strategies but, i additi, uses a advaced filterig techique that augmets recall while maitaiig a high precisi. Further, we describe the first results tlgy aligmet usig a partial referece aligmet. 1 1 Itrducti I recet years may tlgies have bee develped. Ituitively, tlgies (e.g. [6]) ca be see as defiig the basic terms ad relatis f a dmai f iterest, as well as the rules fr cmbiig these terms ad relatis. They are csidered t be a imprtat techlgy fr the Sematic Web. Otlgies are used fr cmmuicati betwee peple ad rgaizatis by prvidig a cmm termilgy ver a dmai. 1 This paper is partly a revised ad updated versi f the paper [12] fcusig the aatmy tlgy aligmet task, ad partly a exteded versi. The frmer paper ctais brief descriptis f the systems, but, fllwig the traditi f the Otlgy Aligmet Evaluati Iitiative, was writte befre the fial results were available. They prvide the basis fr iterperability betwee systems. They ca be used fr makig the ctet i ifrmati surces explicit ad serve as a idex t a repsitry f ifrmati. Further, they ca be used as a basis fr itegrati f ifrmati surces ad as a query mdel fr ifrmati surces. They als supprt clearly separatig dmai kwledge frm applicatibased kwledge as well as validati f data surces. The beefits f usig tlgies iclude reuse, sharig ad prtability f kwledge acrss platfrms, ad imprved dcumetati, maiteace, ad reliability (e.g. [7]). Otlgies lead t a better uderstadig f a field ad t mre effective ad efficiet hadlig f ifrmati i that field. May f the curretly develped tlgies ctai verlappig ifrmati. Fr istace, Ope Bimedical Otlgies (OBO, lists 26 differet aatmy tlgies (Jauary 2009). Ofte we wuld wat t be able t use multiple tlgies. Fr istace, cmpaies may wat t use cmmuity stadard tlgies ad use them tgether with cmpay-specific tlgies. Applicatis may eed t use tlgies frm differet areas r frm differet views e area. Otlgy builders may wat t use already existig tlgies as the basis fr the creati f ew tlgies by extedig the existig tlgies r by cmbiig kwledge frm differet smaller tlgies. I each f these cases it is imprtat t kw the relatiships betwee the terms i the differet tlgies. Further, the data i differet data surces i the same dmai may have bee atated with differet but similar tlgies. Kwledge f the itertlgy relatiships wuld i this case lead t imprvemets i search, itegrati ad aalysis f data. It has bee realized that this is a majr issue ad sme rgaizatis have started t deal with it. 13

2 t l g i e s istace crpus Preprcessig geeral dictiary matcher matcher matcher cmbiati filter mappig suggestis accepted ad rejected suggestis user dmai thesaurus cflict checker Figure 1: Aligmet framewrk [11, 10]. I the remaider f this paper we say that we alig tw tlgies whe we defie the mappig relatiships betwee terms i the differet tlgies. We discuss results frm aligig tlgies i a real case, the aatmy case i the 2008 Otlgy Aligmet Evaluati Iitiative, e f the best kw bechmark cases. We d this by presetig the tw state-f-the-art tlgy aligmet systems that perfrmed best ad secd best, ad preset ad discuss their results fr the aatmy case. 2 Backgrud 2.1 Framewrk A large umber f tlgy aligmet systems have bee develped. Fr a verview f mst f these systems, we refer t review papers (e.g. [11, 16, 15, 8]), the tlgy matchig bk [4], ad the tlgy matchig web site at May tlgy aligmet systems are based the cmputati f similarity values betwee terms i differet tlgies ad ca be described as istatiatis f the geeral framewrk defied i [11, 10] (figure 1). The framewrk csists f tw parts. The first part (I i figure 1) cmputes mappig suggestis. The secd part (II) iteracts with the user t decide the fial mappigs. I II a l i g m e t A aligmet system receives as iput tw surce tlgies. The tlgies ca be preprcessed, fr istace, t select pieces f the tlgies that are likely t ctai matchig terms. The aligmet algrithm icludes e r several matchers, which calculate similarity values betwee the terms frm the differet surce tlgies ad ca be based kwledge abut the liguistic elemets, structure, cstraits ad istaces f the tlgy. Als auxiliary ifrmati ca be used. Mappig suggestis are the determied by cmbiig ad filterig the results geerated by e r mre matchers. By usig differet matchers ad cmbiig ad filterig the results i differet ways we btai differet aligmet strategies. The suggestis are the preseted t the user wh accepts r rejects them. The acceptace ad rejecti f a suggesti may ifluece further suggestis. Further, a cflict checker is used t avid cflicts itrduced by the mappigs. The utput f the tlgy aligmet system is a aligmet which is a set f mappigs betwee terms frm the surce tlgies. 2.2 SAMBO ad SAMBOdtf SAMBO ad SAMBOdtf are based the framewrk described i secti 2.1. They d t have a preprcessig step. SAMBO ad SAMBOdtf ctai curretly five basic matchers [11]: tw termilgical matchers (a basic matcher ad a extesi usig WrdNet; extesi described belw), a structure-based matcher (which uses the is-a ad part-f hierarchies f the surce tlgies), a matcher based dmai kwledge (described belw), ad a learig matcher (which uses life sciece literature that is related t the ccepts i the tlgies t defie a similarity value betwee the ccepts). I additi t these techiques we have als experimeted with ther matchers [13, 18, 21]. The user is give the chice t emply e r several matchers durig the aligmet prcess. We have tw strategies t cmbie the results frm differet matchers. Oe strategy is t give weights t the differet matchers ad the similarity values are the cmputed as a weighted sum f the similarity values cmputed by the differet matchers. The ther strategy defies the similarity f a pair f terms as the maximum value f the similarity values fr the pair cmputed by the differet matchers. The filterig methd i SAMBO is sigle threshld filterig. Pairs f terms with a similarity value higher tha r equal t a give threshld value are retured as 14

3 mappig suggestis t the user. Figure 3: Mappig suggesti. Figure 2: Cmbiati ad filterig. Figure 2 shws a screesht frm the SAMBO system with the five matchers, a weighted sum cmbiati ad the sigle threshld filterig. SAMBOdtf implemets the duble threshld filterig methd develped i [2]. The duble threshld filterig apprach uses the structure f the tlgies. It is based the bservati that (fr the differet appraches i the evaluati i [11]) fr sigle threshld filterig the precisi f the results decreases ad the recall icreases whe the threshld decreases. Therefre, we prpse t use tw threshlds. Pairs with similarity value equal t r higher tha the upper threshld are retaied as suggestis. The ituiti is that this gives suggestis with a high precisi. Further, pairs with similarity values betwee the lwer ad the upper threshld are filtered usig structural ifrmati ad the rest is discarded. We require that the pairs with similarity values betwee the tw threshlds are reasable frm a structural pit f view. 2 The ituiti here is that the recall is augmeted by addig ew suggestis, while at the same time the precisi stays high because ly structurally reasable suggestis are added. The duble threshld filterig apprach ctais the fllwig three steps. (i) Fid a csistet suggesti grup frm the pairs with similarity value equal t r higher tha the upper threshld. We say that a set f suggestis is a csistet suggesti grup if each ccept ccurs at mst ce as first argumet i a pair, at mst ce as secd argumet i a pair ad fr each pair f suggestis (A,A ) ad (B,B ) where A ad B are ccepts i the first tlgy ad A ad B are ccepts i the secd tlgy: A BiffA B. (ii) Use the csistet suggesti grup t partiti the rigial tlgies. (iii) Filter the pairs with similarity values betwee the lwer ad upper threshlds usig the partitis. Oly pairs f which the elemets belg 2 I ur implemetati we have fcused the is-a relati. t crrespdig pieces i the partitis are retaied as suggestis. Fr details we refer t [2]. Based the results frm the matchers, cmbiati ad filterig algrithms, mappig suggestis are prvided t the user. Figure 3 shws such a suggesti. SAMBO displays ifrmati (defiiti/idetifier, syyms, relatis) abut the surce tlgy terms i the suggesti. Fr each mappig suggesti the user ca decide whether the terms are equivalet, whether there is a is-a relati betwee the terms, r whether the suggesti shuld be rejected. If the user decides that the terms are equivalet, a ew ame fr the term ca be give as well. Up a acti f the user, the suggesti list is updated. If the user rejects a suggesti where tw differet terms have the same ame, she is required t reame at least e f the terms. The user ca als add cmmets a mappig relatiship. At each pit i time durig the aligmet prcess the user ca view the tlgies represeted i trees with the ifrmati which actis have bee perfrmed, ad she ca check hw may suggestis still eed t be prcessed. A similar list ca be btaied t view the previusly accepted mappig suggestis. I additi t the suggesti mde, the system als has a maual mde i which the user ca view the tlgies ad maually map terms. 2.3 Otlgy Aligmet Evaluati Iitiative - Aatmy case The Otlgy Aligmet Evaluati Iitiative (OAEI, is a yearly iitiative that was started i The gals are, amg thers, t assess the stregths ad weakesses f aligmet systems, t cmpare differet techiques ad t imprve evaluati techiques. This is t be achieved thrugh ctrlled experimetal evaluati. Fr this purpse OAEI publishes differet cases f tlgy aligmet prblems, sme f which are pe (referece aligmet 15

4 is kw befrehad), but mst are blid (referece aligmet is t kw - participats sed their mappig suggestis t rgaizers wh evaluate the perfrmace). WrdNet UMLS I the aatmy case (versi 2008) participats are required t alig the Adult Muse Aatmy (2744 ccepts) ad the NCI Thesaurus - aatmy (3304 ccepts). The case is divided it 4 tasks (f which task 4 was ew fr 2008). The aatmy case is a blid case. The referece aligmet (the crrect sluti accrdig t the rgaizers) ctais 1523 equivalece mappigs f which 934 are deemed trivial (i.e. they ca be fud by a relatively basic strig-based matcher). Oly equivalece crrespdeces betwee ccepts are csidered. t l g i e s Preprcessig TermWN cmbiati filter mappig suggestis UMLSKSearch a l i g m e t I all tasks the tw tlgies shuld be aliged. The results f the experimets are give i terms f the quality f the mappig suggestis. The evaluati measures are precisi, recall, recall+ ad f-measure. Precisi measures hw may f the mappig suggestis were crrect. It is defied as the umber f crrect suggestis divided by the umber f suggestis. Recall measures hw may f the crrect mappigs are fud by the aligmet algrithm. It is defied as the umber f crrect suggestis divided by the umber f crrect mappigs. Recall+ is the recall cmputed with respect t -trivial mappigs. F-measure is the weighted harmic mea f precisi ad recall. I task 1 the system shuld be tued t ptimize the f-measure. This meas that bth precisi ad recall are imprtat. The systems are cmpared with respect t precisi, recall, f-measure ad recall+. Fr the f-measure i task 1, precisi ad recall are evely weighted. Nie systems participated i this task. I tasks 2 ad 3, i which fur systems participated, the system shuld be ptimized with respect t precisi ad recall, respectively. The f-measure is cmputed with a uevely weighted precisi ad recall (factr 5). I task 4, i which fur systems participated, a partial referece aligmet is give which ca be used durig the cmputati f mappig suggestis. It ctais all trivial ad 54 -trivial mappigs i the referece aligmet. I this case precisi, recall ad f-measure are cmputed with respect t the -give part f the referece aligmet. Figure 4: SAMBO ad SAMBOdtf fr OAEI. 3 SAMBO ad SAMBOdtf fr OAEI The OAEI ly evaluates the -iteractive part f the tlgy aligmet systems. Therefre, we used a variat f the systems withut the user iterface (see figure 4). Further, it wuld t make sese t have mappig suggestis where a ccept appears mre tha ce as the user wuld t be able t make a chice. Therefre, we decided t filter ur systems mappig suggesti lists such that ly suggestis are retaied where the similarity betwee the ccepts i the mappig suggesti is higher tha r equal t the similarity f these ccepts t ay ther ccept accrdig t the mappig suggesti list. (I the case there are differet pssibilities, e is radmly chse. I the implemetati the first i the list is chse.) Fr the OAEI we used the fllwig matchers. The matcher TermWN ctais matchig algrithms based the textual descriptis (ames ad syyms) f ccepts ad relatis. I the curret implemetati, the matcher icludes tw apprximate strig matchig algrithms (-gram ad edit distace), ad a liguistic algrithm that als uses WrdNet ( t fid syyms ad is-a relatis. Our matcher UMLSKSearch uses the Metathesaurus i the Uified Medical Laguage System (UMLS, The similarity f tw terms i the surce tlgies is 16

5 determied by their relatiship i UMLS. I ur experimets we used the UMLS Kwledge Surce Server t query the UMLS Metathesaurus with surce tlgy terms. The queryig is based searchig the rmalized strig idex ad rmalized wrd idex prvided by the UMLS Kwledge Surce Server. We used versi 2008AA f UMLS. As a result we btai ccepts that have the surce tlgy term as their syym. We assig a similarity value f 0.99 if the surce tlgy terms are syyms f the same ccept ad 0 therwise. The cmbiati algrithm used fr OAEI 2008 is a maximum-based algrithm. The similarity value fr a pair f ccepts is the maximum value btaied frm TermWN ad UMLSKSearch fr this pair f ccepts. As i the full SAMBO ad SAMBOdtf systems, SAMBO uses sigle threshld filterig ad SAMBOdtf duble threshld filterig. 4 Results fr the Aatmy Case The results fr the participatig systems ad discussis are available frm ad the paper [1]. Fr SAMBO ad SAMBOdtf tests were perfrmed a IBM R61i Laptp, WiXP Itel(R) Petium(R) Dual 1.73GHz, 1.73GHz, 1.99G RAM. Task 1. We used the matchers, cmbiatis ad filterig described i secti 3. SAMBO used threshld 0.6. SAMBOdtf used upper threshld 0.8 ad lwer threshld 0.4. These threshlds were chse based ur experiece with previus experimets with bimedical tlgies. SAMBO geerated 1465 mappig suggestis ad reached a precisi f 0.869, a recall f ad a f-value f Further, it reached a recall+ f This was the best result fr all 9 participatig systems i OAEI I 2007 we used a versi f SAMBO that used Term istead f TermWN ad a previus versi f UMLS. The 2007 versi btaied a better recall fr -trivial mappigs, but at the cst f a verall decrease i precisi ad recall. A pssible explaati fr this is ur strategy fr chsig maximum e mappig suggesti per ccept. I 2008 exact matchig strigs were preferred, while i 3 The system with best f-measure i 2007 (AOAS [23]) btaied precisi, recall, recall+ ad f-measure. SAMBO (i its first participati) was secd best system i 2007 regardig precisi, recall ad f-value, but best regardig recall+ [20] there was preferece betwee pairs that had exact matchig strigs r pairs that were prpsed based dmai kwledge. SAMBOdtf geerates 1527 mappig suggestis. Of these suggestis, 1440 have a similarity value betwee 0.6 ad 0.8. This meas that SAMBOdtf filtered ut 25 f the suggestis btaied by SAMBO with threshld 0.6. (A maual check seems t suggest that mst f these are crrectly filtered ut, but sme are wrgly filtered ut. Oe reas fr remvig crrect suggestis is that the surce tlgies have missig is-a liks.) Further, SAMBOdtf als filtered ut 19 suggestis with similarity values betwee 0.4 ad 0.6. (A maual check seems t suggest that these were crrectly filtered ut.) SAMBOdtf btaied a precisi f 0.831, a recall f 0.833, a f-value f ad a recall+ f This was the secd best result fr all 9 participatig systems i OAEI The ruig time fr SAMBO was ca 12 hurs ad fr SAMBOdtf ca 17 hurs. As discussed i [1] the best perfrmig systems i 2007 ad 2008 i terms f quality f the mappig suggestis heavily use dmai kwledge. This cmes at a cst f larger ruig time. Hwever, ather iterestig bservati discussed by the rgaizers f the aatmy track at OAEI 2008 was that circa 50% f the -trivial mappigs was fud by at least e system usig dmai kwledge ad at least e system that did t use dmai kwledge. Circa 13% f the -trivial mappigs was fud ly by systems usig dmai kwledge. Circa 13% f the -trivial mappigs was fud ly by systems that did t use dmai kwledge. The reas fr this is that the used dmai kwledge (mst fte UMLS) is t cmplete. Further, still circa 25% f the trivial mappigs were t fud at all. As [1] suggests, a cmbiati f differet strategies may imprve the results. Takig the ui f the SAMBO results with the results f the RiMOM [24] ad Lily [22] systems wuld give a higher recall ad recall+. RiMOM ad Lily use liguistic ad structure-based appraches, but dmai kwledge. Tasks 2 ad 3. We did t participate i tasks 2 ad 3. As reprted i [1] the best system fr task 2 (Ri- MOM) btaied a precisi f (with a recall f 0.677). The best system fr task 3 (RiMOM) btaied a recall f (with a precisi f ad a recall+ f 0.538). We te that the best recall is lwer tha the recall fr SAMBO ad SAMBOdtf i task 1. The best system fr task 3 fr -trivial mappigs (Lily) btaied a recall+ f (with a recall f ad a 17

6 precisi f 0.490). As either RiMOM r Lily used dmai kwledge, these ca be csidered t be gd results. Task 4. Fr task 4, we augmeted SAMBO ad SAMBOdtf i the fllwig ways. Fr SAMBO we added the mappigs i the partial referece aligmet t the list f mappig suggestis, but with a special status. These mappigs culd t be remved i ay filterig step. SAMBO geerated 1494 suggestis f which 988 are als i the partial referece aligmet. SAMBO btaied the best results f the participatig systems. With respect t the ukw part f the referece aligmet, its precisi icreased with 0.024, its recall decreased with ad its f- value icreased with Our strategy fr usig the partial referece aligmet helped remve wrg suggestis that cflicted with the partial referece aligmet, althugh als sme crrect suggestis were remved. Fr SAMBOdtf we als added the mappigs i the partial referece aligmet t the list f mappig suggestis with the special status. I additi, we used the partial referece aligmet i the duble threshld filterig step. We used a part f the partial referece aligmet that satisfied the csistet grup prperty as a csistet suggesti grup. Fr upper threshld 0.8 ad lwer threshld 0.4 we btaied 1547 mappig suggestis. SAMBOdtf btaied the secd best results f the participatig systems. With respect t the ukw part f the referece aligmet, its precisi icreased with 0.040, its recall with ad its f- value with SAMBOdtf was the system with the highest icrease i f-value ad was the ly system that used the partial referece aligmet t icrease bth precisi ad recall. This result is mst likely due t the fact that, i ctrast t task 1 where the csistet suggesti grup csists f suggestis, i this task the csistet suggesti grup csists f true mappigs. Therefre, the suggestis with similarity value betwee the tw threshlds that are retaied are structurally reasable with respect t true mappigs ad t just (althugh with high cfidece) suggestis. We te that althugh the imprvemets seem small, as SAMBO ad SAMBOdtf perfrm already well their w, eve small imprvemets are valuable. Further, due t the chice f the partial referece aligmet all ewly fud mappigs are -trivial. I a fllw-up task 4 we have started ivestigatig the use f partial referece aligmets i the differet cmpets f the framewrk i secti 2.1 [10]. I additi t the techiques described abve, we have used partial referece aligmets i a preprcessig step, t defie ew matchers ad i ew filterig steps. 4 I the preprcessig appraches we ivestigate whether we ca use a partial referece aligmet t partiti the tlgies it mappable parts ad test whether, i additi t the fact that we d t have t cmpute similarity values betwee all terms frm the first tlgy ad all terms frm the secd tlgy, this als leads t a better quality f the mappig suggestis. I the first apprach we partiti the tlgies it mappable parts usig the partitiig step f the duble threshld filterig described i secti 2.2 ad [2]. A part f the partial referece aligmet satisfyig the csistet grup prperty is used as a csistet grup. Further, accrdig t ur experiece i aligig tlgies we kw that the structure f the surce tlgies is t always perfect. Fr istace, give the tw tlgies ad the partial referece aligmet i the aatmy case f OAEI 2008, it ca be deduced that may is-a relatis are missig i at least e f the surce tlgies. Based this bservati we experimet with a secd apprach where we add t the surce tlgies the missig is-a relatiships that ca be deduced frm the surce tlgies ad the partial referece aligmet. After this fixig f the surce tlgies the partial referece aligmet will satisfy the csistet grup prperty. As the ituiti f the preprcessig step is t partiti the tlgies it mappable parts, we ca ly geerate mappig suggestis that are reasable frm a structural pit f view. This suggests that, whe usig a preprcessig step, the precisi may becme higher as suggestis that d t cfrm t the structure f the surce tlgies cat be made. As we add the partial referece aligmet t the result, the recall may be icreased as sme f the partial referece aligmet mappigs may t be fud by the base systems. Hwever, the similarity values betwee the terms d t chage ad it is therefre t likely that ew mappigs are fud. Fr threshlds 0.6 ad abve ur experimets crrbrate this ituiti. Ather bservati is that, ctrary t the ituiti, fixig the surce tlgies may lead t a decrease i recall. The reas fr this is the quality f the uderlyig tlgies where is-a is t always prperly used. Oe way t create a matcher based a partial referece aligmet, is t use uderlyig prperties f 4 Thaks t Christia Meilicke f the rgaizati cmmittee f OAEI Aatmy fr ruig ur ewly develped algrithms the aatmy data set. 18

7 the mappigs i the partial referece aligmet. We have previusly bserved that smetimes fr tw give surce tlgies, cmm patters ca be fud betwee the crrect mappigs. Fr istace, i the partial referece aligmet f the OAEI 2008 aatmy we fid the mappigs <lumbar vertebra 5, l5 vertebra> ad <thracic vertebra 11, t11 vertebra> which share a similar liguistic patter. Based this bservati we develped a matcher that augmets previusly geerated similarity values fr term pairs whe these term pairs display a similar (liguistic) patter as mappigs i the partial referece aligmet. Several ew crrect mappigs were fud. Fially, we als experimeted with a filter strategy that remves suggestis that d t have similar liguistic patters tha the mappigs i the partial referece aligmet. We expect therefre that sme crrect suggestis btaied thrugh UMLS will be remved ad therefre the recall may g dw. This is ideed the case i ur experimets. The precisi whe usig this filter apprach is, hwever, always higher r equal t the precisi fr SAMBO. This is because the suggestis that had a liguistically similar patter as mappigs i the partial referece aligmet were usually crrect. 5 Cclusi We have briefly described ur tlgy aligmet systems SAMBO ad SAMBOdtf ad their results fr the aatmy aligmet tasks f OAEI. We have used a cmbiati f UMLSKSearch ad TermWN ad btaied the best results i OAEI aatmy 2008 with respect t quality f the suggestis. Hwever, as the recall+ f the best system is still arud 0.6, wrk still eeds t be de t fid -trivial mappigs. Ather prblem that we ivestigate is whether systems that d well i the aatmy case will als perfrm well fr ther cases. Mre large-scale evaluati is eeded i the area. Further, the OAEI cases ly prvide a bechmark fr part I f the framewrk described i secti 2.1. Nt s much wrk has bee de user ivlvemet, user iterfaces ad tlgy ad tlgy aligmet visualizati [9, 5]. Als, give the fact that differet algrithms seem t d differetly well fr differet kids f tlgies ad evaluati measures, a majr prblem is decidig which algrithms shuld be used fr a give aligmet task. This is a prblem that users face, ad that we have als faced i the evaluati. Recmmedati strategies [19, 14, 3] may alleviate this prblem. Other challeges fr the tlgy aligmet field are give i [17]. Refereces [1] C Caraccil, J Euzeat, L Hllik, R Ichise, A Isaac, V Malaise, C Meilicke, J Pae, P Shvaik, H Stuckeschmidt, O Svab-Zamazal, ad V Svatek. Results f the tlgy aligmet evaluati iitiative I Prceedigs f the Third Iteratial Wrkshp Otlgy Matchig, [2] B Che, H Ta, ad P Lambrix. Structure-based filterig fr tlgy aligmet. I Prceedigs f the IEEE WETICE Wrkshp Sematic Techlgies i Cllabrative Applicatis, pages , [3] M Ehrig, S Staab, ad Y Sure. Btstrappig tlgy aligmet methds with APFEL. I Prceedigs f the Iteratial Sematic Web Cferece, pages , [4] J Euzeat ad P Shvaik. Otlgy Matchig. Spriger, [5] S Falcer ad M-A Strey. A cgitive supprt framewrk fr tlgy mappig. I Prceedigs f the 6th Iteratial Sematic Web Cferece, pages , [6] A Gómez-Pérez. Otlgical egieerig: A state f the art. Expert Update, 2(3):33 43, [7] R Jasper ad M Uschld. A framewrk fr uderstadig ad classifyig tlgy applicatis. I Prceedigs f the 12th Wrkshp Kwledge Acquisiti, Mdelig ad Maagemet, [8] Y Kalfglu ad M Schrlemmer. Otlgy mappig: the state f the art. The Kwledge Egieerig Review, 18(1):1 31, [9] P Lambrix ad A Edberg. Evaluati f tlgy mergig tls i biifrmatics. I Prceedigs f the Pacific Sympsium Bicmputig,pages ,

8 [10] P Lambrix ad Q Liu. Usig partial referece aligmets t alig tlgies. I Prceedigs f the 6th Eurpea Sematic Web Cferece, [11] P Lambrix ad H Ta. SAMBO - a system fr aligig ad mergig bimedical tlgies. Jural f Web Sematics, Special issue Sematic Web fr the Life Scieces, 4(3): , [12] P Lambrix, H Ta, ad Q Liu. SAMBO ad SAM- BOdtf results fr the tlgy aligmet evaluati iitiative I Prceedigs f the Third Iteratial Wrkshp Otlgy Matchig, pages , [13] P Lambrix, H Ta, ad W Xu. Literaturebased aligmet f tlgies. I Prceedigs f the Third Iteratial Wrkshp Otlgy Matchig, pages , [14] M Mchl, A Jetzsch, ad J Euzeat. Applyig a aalytic methd fr matchig apprach selecti. I Prceedigs f the Wrkshp Otlgy Matchig, [20] H Ta ad P Lambrix. SAMBO results fr the tlgy aligmet evaluati iitiative I Prceedigs f the Secd Iteratial Wrkshp Otlgy Matchig, pages , [21] T Wächter, H Ta, A Wbst, P Lambrix, ad M Schreder. A crpus-drive apprach fr desig, evluti ad aligmet f tlgies. I Prceedigs f the Witer Simulati Cferece, pages , Ivited ctributi. [22] P Wag ad B Xu. Lily: tlgy aligmet results fr OAEI I Prceedigs f the Third Iteratial Wrkshp Otlgy Matchig, pages , [23] S Zhag ad O Bdereider. Hybrid algiemet strategy fr aatmical tlgies: results f the 2007 tlgy aligmet ctest. I Prceedigs f the Secd Iteratial Wrkshp Otlgy Matchig, pages , [24] X Zhag, Q Zhg, J Li, ad J Tag. RiMOM results fr OAEI I Prceedigs f the Third Iteratial Wrkshp Otlgy Matchig, pages , [15] NF Ny. Sematic itegrati: A survey f tlgy-based appraches. Sigmd Recrd, 33(4):65 70, [16] P Shvaik ad J Euzeat. A survey f schemabased matchig appraches. Jural Data Sematics, IV: , [17] P Shvaik ad J Euzeat. Te challeges fr tlgy matchig. I Prceedigs f the 7th Iteratial Cferece Otlgies, Databases, ad Applicatis f Sematics, [18] H Ta, V Jakieė, P Lambrix, J Aberg, ad N Shahmehri. Aligmet f bimedical tlgies usig life sciece literature. I Prceedigs f the Iteratial Wrkshp Kwledge Discvery i Life Sciece Literature, LNBI 3886, pages 1 17, [19] H Ta ad P Lambrix. A methd fr recmmedig tlgy aligmet strategies. I Prceedigs f the 6th Iteratial Sematic Web Cferece, LNCS 4825, pages ,

Multi-objective Programming Approach for. Fuzzy Linear Programming Problems

Multi-objective Programming Approach for. Fuzzy Linear Programming Problems Applied Mathematical Scieces Vl. 7 03. 37 8-87 HIKARI Ltd www.m-hikari.cm Multi-bective Prgrammig Apprach fr Fuzzy Liear Prgrammig Prblems P. Padia Departmet f Mathematics Schl f Advaced Scieces VIT Uiversity

More information

ENGI 4421 Central Limit Theorem Page Central Limit Theorem [Navidi, section 4.11; Devore sections ]

ENGI 4421 Central Limit Theorem Page Central Limit Theorem [Navidi, section 4.11; Devore sections ] ENGI 441 Cetral Limit Therem Page 11-01 Cetral Limit Therem [Navidi, secti 4.11; Devre sectis 5.3-5.4] If X i is t rmally distributed, but E X i, V X i ad is large (apprximately 30 r mre), the, t a gd

More information

Author. Introduction. Author. o Asmir Tobudic. ISE 599 Computational Modeling of Expressive Performance

Author. Introduction. Author. o Asmir Tobudic. ISE 599 Computational Modeling of Expressive Performance ISE 599 Cmputatial Mdelig f Expressive Perfrmace Playig Mzart by Aalgy: Learig Multi-level Timig ad Dyamics Strategies by Gerhard Widmer ad Asmir Tbudic Preseted by Tsug-Ha (Rbert) Chiag April 5, 2006

More information

Fourier Series & Fourier Transforms

Fourier Series & Fourier Transforms Experimet 1 Furier Series & Furier Trasfrms MATLAB Simulati Objectives Furier aalysis plays a imprtat rle i cmmuicati thery. The mai bjectives f this experimet are: 1) T gai a gd uderstadig ad practice

More information

Chapter 3.1: Polynomial Functions

Chapter 3.1: Polynomial Functions Ntes 3.1: Ply Fucs Chapter 3.1: Plymial Fuctis I Algebra I ad Algebra II, yu ecutered sme very famus plymial fuctis. I this secti, yu will meet may ther members f the plymial family, what sets them apart

More information

ENGI 4421 Central Limit Theorem Page Central Limit Theorem [Navidi, section 4.11; Devore sections ]

ENGI 4421 Central Limit Theorem Page Central Limit Theorem [Navidi, section 4.11; Devore sections ] ENGI 441 Cetral Limit Therem Page 11-01 Cetral Limit Therem [Navidi, secti 4.11; Devre sectis 5.3-5.4] If X i is t rmally distributed, but E X i, V X i ad is large (apprximately 30 r mre), the, t a gd

More information

A Study on Estimation of Lifetime Distribution with Covariates Under Misspecification

A Study on Estimation of Lifetime Distribution with Covariates Under Misspecification Prceedigs f the Wrld Cgress Egieerig ad Cmputer Sciece 2015 Vl II, Octber 21-23, 2015, Sa Fracisc, USA A Study Estimati f Lifetime Distributi with Cvariates Uder Misspecificati Masahir Ykyama, Member,

More information

Intermediate Division Solutions

Intermediate Division Solutions Itermediate Divisi Slutis 1. Cmpute the largest 4-digit umber f the frm ABBA which is exactly divisible by 7. Sluti ABBA 1000A + 100B +10B+A 1001A + 110B 1001 is divisible by 7 (1001 7 143), s 1001A is

More information

Solutions. Definitions pertaining to solutions

Solutions. Definitions pertaining to solutions Slutis Defiitis pertaiig t slutis Slute is the substace that is disslved. It is usually preset i the smaller amut. Slvet is the substace that des the disslvig. It is usually preset i the larger amut. Slubility

More information

BIO752: Advanced Methods in Biostatistics, II TERM 2, 2010 T. A. Louis. BIO 752: MIDTERM EXAMINATION: ANSWERS 30 November 2010

BIO752: Advanced Methods in Biostatistics, II TERM 2, 2010 T. A. Louis. BIO 752: MIDTERM EXAMINATION: ANSWERS 30 November 2010 BIO752: Advaced Methds i Bistatistics, II TERM 2, 2010 T. A. Luis BIO 752: MIDTERM EXAMINATION: ANSWERS 30 Nvember 2010 Questi #1 (15 pits): Let X ad Y be radm variables with a jit distributi ad assume

More information

Fourier Method for Solving Transportation. Problems with Mixed Constraints

Fourier Method for Solving Transportation. Problems with Mixed Constraints It. J. Ctemp. Math. Scieces, Vl. 5, 200,. 28, 385-395 Furier Methd fr Slvig Trasprtati Prblems with Mixed Cstraits P. Padia ad G. Nataraja Departmet f Mathematics, Schl f Advaced Scieces V I T Uiversity,

More information

Ch. 1 Introduction to Estimation 1/15

Ch. 1 Introduction to Estimation 1/15 Ch. Itrducti t stimati /5 ample stimati Prblem: DSB R S f M f s f f f ; f, φ m tcsπf t + φ t f lectrics dds ise wt usually white BPF & mp t s t + w t st. lg. f & φ X udi mp cs π f + φ t Oscillatr w/ f

More information

Design and Implementation of Cosine Transforms Employing a CORDIC Processor

Design and Implementation of Cosine Transforms Employing a CORDIC Processor C16 1 Desig ad Implemetati f Csie Trasfrms Emplyig a CORDIC Prcessr Sharaf El-Di El-Nahas, Ammar Mttie Al Hsaiy, Magdy M. Saeb Arab Academy fr Sciece ad Techlgy, Schl f Egieerig, Alexadria, EGYPT ABSTRACT

More information

D.S.G. POLLOCK: TOPICS IN TIME-SERIES ANALYSIS STATISTICAL FOURIER ANALYSIS

D.S.G. POLLOCK: TOPICS IN TIME-SERIES ANALYSIS STATISTICAL FOURIER ANALYSIS STATISTICAL FOURIER ANALYSIS The Furier Represetati f a Sequece Accrdig t the basic result f Furier aalysis, it is always pssible t apprximate a arbitrary aalytic fucti defied ver a fiite iterval f the

More information

Grade 3 Mathematics Course Syllabus Prince George s County Public Schools

Grade 3 Mathematics Course Syllabus Prince George s County Public Schools Ctet Grade 3 Mathematics Curse Syllabus Price Gerge s Cuty Public Schls Prerequisites: Ne Curse Descripti: I Grade 3, istructial time shuld fcus fur critical areas: (1) develpig uderstadig f multiplicati

More information

Comparative analysis of bayesian control chart estimation and conventional multivariate control chart

Comparative analysis of bayesian control chart estimation and conventional multivariate control chart America Jural f Theretical ad Applied Statistics 3; ( : 7- ublished lie Jauary, 3 (http://www.sciecepublishiggrup.cm//atas di:.648/.atas.3. Cmparative aalysis f bayesia ctrl chart estimati ad cvetial multivariate

More information

[1 & α(t & T 1. ' ρ 1

[1 & α(t & T 1. ' ρ 1 NAME 89.304 - IGNEOUS & METAMORPHIC PETROLOGY DENSITY & VISCOSITY OF MAGMAS I. Desity The desity (mass/vlume) f a magma is a imprtat parameter which plays a rle i a umber f aspects f magma behavir ad evluti.

More information

Axial Temperature Distribution in W-Tailored Optical Fibers

Axial Temperature Distribution in W-Tailored Optical Fibers Axial Temperature Distributi i W-Tailred Optical ibers Mhamed I. Shehata (m.ismail34@yah.cm), Mustafa H. Aly(drmsaly@gmail.cm) OSA Member, ad M. B. Saleh (Basheer@aast.edu) Arab Academy fr Sciece, Techlgy

More information

A New Method for Finding an Optimal Solution. of Fully Interval Integer Transportation Problems

A New Method for Finding an Optimal Solution. of Fully Interval Integer Transportation Problems Applied Matheatical Scieces, Vl. 4, 200,. 37, 89-830 A New Methd fr Fidig a Optial Sluti f Fully Iterval Iteger Trasprtati Prbles P. Padia ad G. Nataraja Departet f Matheatics, Schl f Advaced Scieces,

More information

The Excel FFT Function v1.1 P. T. Debevec February 12, The discrete Fourier transform may be used to identify periodic structures in time ht.

The Excel FFT Function v1.1 P. T. Debevec February 12, The discrete Fourier transform may be used to identify periodic structures in time ht. The Excel FFT Fucti v P T Debevec February 2, 26 The discrete Furier trasfrm may be used t idetify peridic structures i time ht series data Suppse that a physical prcess is represeted by the fucti f time,

More information

5.1 Two-Step Conditional Density Estimator

5.1 Two-Step Conditional Density Estimator 5.1 Tw-Step Cditial Desity Estimatr We ca write y = g(x) + e where g(x) is the cditial mea fucti ad e is the regressi errr. Let f e (e j x) be the cditial desity f e give X = x: The the cditial desity

More information

Mean residual life of coherent systems consisting of multiple types of dependent components

Mean residual life of coherent systems consisting of multiple types of dependent components Mea residual life f cheret systems csistig f multiple types f depedet cmpets Serka Eryilmaz, Frak P.A. Cle y ad Tahai Cle-Maturi z February 20, 208 Abstract Mea residual life is a useful dyamic characteristic

More information

Quantum Mechanics for Scientists and Engineers. David Miller

Quantum Mechanics for Scientists and Engineers. David Miller Quatum Mechaics fr Scietists ad Egieers David Miller Time-depedet perturbati thery Time-depedet perturbati thery Time-depedet perturbati basics Time-depedet perturbati thery Fr time-depedet prblems csider

More information

AP Statistics Notes Unit Eight: Introduction to Inference

AP Statistics Notes Unit Eight: Introduction to Inference AP Statistics Ntes Uit Eight: Itrducti t Iferece Syllabus Objectives: 4.1 The studet will estimate ppulati parameters ad margis f errrs fr meas. 4.2 The studet will discuss the prperties f pit estimatrs,

More information

NUROP CONGRESS PAPER CHINESE PINYIN TO CHINESE CHARACTER CONVERSION

NUROP CONGRESS PAPER CHINESE PINYIN TO CHINESE CHARACTER CONVERSION NUROP Chinese Pinyin T Chinese Character Cnversin NUROP CONGRESS PAPER CHINESE PINYIN TO CHINESE CHARACTER CONVERSION CHIA LI SHI 1 AND LUA KIM TENG 2 Schl f Cmputing, Natinal University f Singapre 3 Science

More information

Frequency-Domain Study of Lock Range of Injection-Locked Non- Harmonic Oscillators

Frequency-Domain Study of Lock Range of Injection-Locked Non- Harmonic Oscillators 0 teratial Cferece mage Visi ad Cmputig CVC 0 PCST vl. 50 0 0 ACST Press Sigapre DO: 0.776/PCST.0.V50.6 Frequecy-Dmai Study f Lck Rage f jecti-lcked N- armic Oscillatrs Yushi Zhu ad Fei Yua Departmet f

More information

ALE 26. Equilibria for Cell Reactions. What happens to the cell potential as the reaction proceeds over time?

ALE 26. Equilibria for Cell Reactions. What happens to the cell potential as the reaction proceeds over time? Name Chem 163 Secti: Team Number: AL 26. quilibria fr Cell Reactis (Referece: 21.4 Silberberg 5 th editi) What happes t the ptetial as the reacti prceeds ver time? The Mdel: Basis fr the Nerst quati Previusly,

More information

Partial-Sum Queries in OLAP Data Cubes Using Covering Codes

Partial-Sum Queries in OLAP Data Cubes Using Covering Codes 326 IEEE TRANSACTIONS ON COMPUTERS, VOL. 47, NO. 2, DECEMBER 998 Partial-Sum Queries i OLAP Data Cubes Usig Cverig Cdes Chig-Tie H, Member, IEEE, Jehshua Bruck, Seir Member, IEEE, ad Rakesh Agrawal, Seir

More information

Super-efficiency Models, Part II

Super-efficiency Models, Part II Super-efficiec Mdels, Part II Emilia Niskae The 4th f Nvember S steemiaalsi Ctets. Etesis t Variable Returs-t-Scale (0.4) S steemiaalsi Radial Super-efficiec Case Prblems with Radial Super-efficiec Case

More information

MATHEMATICS 9740/01 Paper 1 14 Sep hours

MATHEMATICS 9740/01 Paper 1 14 Sep hours Cadidate Name: Class: JC PRELIMINARY EXAM Higher MATHEMATICS 9740/0 Paper 4 Sep 06 3 hurs Additial Materials: Cver page Aswer papers List f Frmulae (MF5) READ THESE INSTRUCTIONS FIRST Write yur full ame

More information

Physical Chemistry Laboratory I CHEM 445 Experiment 2 Partial Molar Volume (Revised, 01/13/03)

Physical Chemistry Laboratory I CHEM 445 Experiment 2 Partial Molar Volume (Revised, 01/13/03) Physical Chemistry Labratry I CHEM 445 Experimet Partial Mlar lume (Revised, 0/3/03) lume is, t a gd apprximati, a additive prperty. Certaily this apprximati is used i preparig slutis whse ccetratis are

More information

K [f(t)] 2 [ (st) /2 K A GENERALIZED MEIJER TRANSFORMATION. Ku(z) ()x) t -)-I e. K(z) r( + ) () (t 2 I) -1/2 e -zt dt, G. L. N. RAO L.

K [f(t)] 2 [ (st) /2 K A GENERALIZED MEIJER TRANSFORMATION. Ku(z) ()x) t -)-I e. K(z) r( + ) () (t 2 I) -1/2 e -zt dt, G. L. N. RAO L. Iterat. J. Math. & Math. Scl. Vl. 8 N. 2 (1985) 359-365 359 A GENERALIZED MEIJER TRANSFORMATION G. L. N. RAO Departmet f Mathematics Jamshedpur C-perative Cllege f the Rachi Uiversity Jamshedpur, Idia

More information

Tactics-Based Remote Execution

Tactics-Based Remote Execution Tactics-Based Remte Executi Raesh Krisha Bala Caregie Mell Uiversity raesh@cs.cmu.edu 1 Itrducti Remte executi ca trasfrm the puiest mbile device it a cmputig giat. This wuld eable resurceitesive applicatis

More information

Copyright 1978, by the author(s). All rights reserved.

Copyright 1978, by the author(s). All rights reserved. Cpyright 1978, by the authr(s). All rights reserved. Permissi t make digital r hard cpies f all r part f this wrk fr persal r classrm use is grated withut fee prvided that cpies are t made r distributed

More information

Study of Energy Eigenvalues of Three Dimensional. Quantum Wires with Variable Cross Section

Study of Energy Eigenvalues of Three Dimensional. Quantum Wires with Variable Cross Section Adv. Studies Ther. Phys. Vl. 3 009. 5 3-0 Study f Eergy Eigevalues f Three Dimesial Quatum Wires with Variale Crss Secti M.. Sltai Erde Msa Departmet f physics Islamic Aad Uiversity Share-ey rach Ira alrevahidi@yah.cm

More information

Portfolio Performance Evaluation in a Modified Mean-Variance-Skewness Framework with Negative Data

Portfolio Performance Evaluation in a Modified Mean-Variance-Skewness Framework with Negative Data Available lie at http://idea.srbiau.ac.ir It. J. Data Evelpmet Aalysis (ISSN 345-458X) Vl., N.3, Year 04 Article ID IJDEA-003,3 pages Research Article Iteratial Jural f Data Evelpmet Aalysis Sciece ad

More information

MODIFIED LEAKY DELAYED LMS ALGORITHM FOR IMPERFECT ESTIMATE SYSTEM DELAY

MODIFIED LEAKY DELAYED LMS ALGORITHM FOR IMPERFECT ESTIMATE SYSTEM DELAY 5th Eurpea Sigal Prcessig Cferece (EUSIPCO 7), Pza, Plad, September 3-7, 7, cpyright by EURASIP MOIFIE LEAKY ELAYE LMS ALGORIHM FOR IMPERFEC ESIMAE SYSEM ELAY Jua R. V. López, Orlad J. bias, ad Rui Seara

More information

Preliminary Test Single Stage Shrinkage Estimator for the Scale Parameter of Gamma Distribution

Preliminary Test Single Stage Shrinkage Estimator for the Scale Parameter of Gamma Distribution America Jural f Mathematics ad Statistics, (3): 3-3 DOI:.593/j.ajms.3. Prelimiary Test Sigle Stage Shrikage Estimatr fr the Scale Parameter f Gamma Distributi Abbas Najim Salma,*, Aseel Hussei Ali, Mua

More information

Efficient Processing of Continuous Reverse k Nearest Neighbor on Moving Objects in Road Networks

Efficient Processing of Continuous Reverse k Nearest Neighbor on Moving Objects in Road Networks Iteratial Jural f Ge-Ifrmati Article Efficiet Prcessig f Ctiuus Reverse k Nearest Neighbr Mvig Objects i Rad Netwrks Muhammad Attique, Hyug-Ju Ch, Rize Ji ad Tae-Su Chug, * Departmet f Cmputer Egieerig,

More information

Thermodynamic study of CdCl 2 in 2-propanol (5 mass %) + water mixture using potentiometry

Thermodynamic study of CdCl 2 in 2-propanol (5 mass %) + water mixture using potentiometry Thermdyamic study f CdCl 2 i 2-prpal (5 mass %) + water mixture usig ptetimetry Reat Tmaš, Ađelka Vrdljak UDC: 544.632.4 Uiversity f Split, Faculty f Chemistry ad Techlgy, Teslia 10/V, HR-21000 Split,

More information

Literature Review of Spatio-Temporal Database Models

Literature Review of Spatio-Temporal Database Models Literature Review f Spati-Tempral Database Mdels Niks Pelekis 1,2,, Babis Thedulidis 1, Iais Kpaakis 1, Yais Thedridis 2 1 Ceter f Research i Ifrmati Maagemet (CRIM) Departmet f Cmputati, UMIST URL: http://www.crim.rg.uk

More information

How do scientists measure trees? What is DBH?

How do scientists measure trees? What is DBH? Hw d scientists measure trees? What is DBH? Purpse Students develp an understanding f tree size and hw scientists measure trees. Students bserve and measure tree ckies and explre the relatinship between

More information

, the random variable. and a sample size over the y-values 0:1:10.

, the random variable. and a sample size over the y-values 0:1:10. Lecture 3 (4//9) 000 HW PROBLEM 3(5pts) The estimatr i (c) f PROBLEM, p 000, where { } ~ iid bimial(,, is 000 e f the mst ppular statistics It is the estimatr f the ppulati prprti I PROBLEM we used simulatis

More information

Learning Similarity Measures in Non-orthogonal Space*

Learning Similarity Measures in Non-orthogonal Space* Learig Similarity Measures i N-rthgal Space* Nig Liu, Beyu Zhag, Ju Ya 3, Qiag Yag 4, Shuicheg Ya, Zheg Che, Fegsha Bai, Wei-Yig Ma Departmet Mathematical Sciece, sighua Uiversity, Beiig, 00084, PR Chia

More information

Lab 1 The Scientific Method

Lab 1 The Scientific Method INTRODUCTION The fllwing labratry exercise is designed t give yu, the student, an pprtunity t explre unknwn systems, r universes, and hypthesize pssible rules which may gvern the behavir within them. Scientific

More information

CAUSAL INFERENCE. Technical Track Session I. Phillippe Leite. The World Bank

CAUSAL INFERENCE. Technical Track Session I. Phillippe Leite. The World Bank CAUSAL INFERENCE Technical Track Sessin I Phillippe Leite The Wrld Bank These slides were develped by Christel Vermeersch and mdified by Phillippe Leite fr the purpse f this wrkshp Plicy questins are causal

More information

Unifying the Derivations for. the Akaike and Corrected Akaike. Information Criteria. from Statistics & Probability Letters,

Unifying the Derivations for. the Akaike and Corrected Akaike. Information Criteria. from Statistics & Probability Letters, Uifyig the Derivatis fr the Akaike ad Crrected Akaike Ifrmati Criteria frm Statistics & Prbability Letters, Vlume 33, 1997, pages 201{208. by Jseph E. Cavaaugh Departmet f Statistics, Uiversity f Missuri,

More information

Five Whys How To Do It Better

Five Whys How To Do It Better Five Whys Definitin. As explained in the previus article, we define rt cause as simply the uncvering f hw the current prblem came int being. Fr a simple causal chain, it is the entire chain. Fr a cmplex

More information

Internal vs. external validity. External validity. Internal validity

Internal vs. external validity. External validity. Internal validity Secti 7 Mdel Assessmet Iteral vs. exteral validity Iteral validity refers t whether the aalysis is valid fr the pplati ad sample beig stdied. Exteral validity refers t whether these reslts ca be geeralized

More information

UNIVERSITY OF TECHNOLOGY. Department of Mathematics PROBABILITY THEORY, STATISTICS AND OPERATIONS RESEARCH GROUP. Memorandum COSOR 76-10

UNIVERSITY OF TECHNOLOGY. Department of Mathematics PROBABILITY THEORY, STATISTICS AND OPERATIONS RESEARCH GROUP. Memorandum COSOR 76-10 EI~~HOVEN UNIVERSITY OF TECHNOLOGY Departmet f Mathematics PROBABILITY THEORY, STATISTICS AND OPERATIONS RESEARCH GROUP Memradum COSOR 76-10 O a class f embedded Markv prcesses ad recurrece by F.H. Sims

More information

Markov processes and the Kolmogorov equations

Markov processes and the Kolmogorov equations Chapter 6 Markv prcesses ad the Klmgrv equatis 6. Stchastic Differetial Equatis Csider the stchastic differetial equati: dx(t) =a(t X(t)) dt + (t X(t)) db(t): (SDE) Here a(t x) ad (t x) are give fuctis,

More information

5.80 Small-Molecule Spectroscopy and Dynamics

5.80 Small-Molecule Spectroscopy and Dynamics MIT OpeCurseWare http://cw.mit.edu 5.8 Small-Mlecule Spectrscpy ad Dyamics Fall 8 Fr ifrmati abut citig these materials r ur Terms f Use, visit: http://cw.mit.edu/terms. 5.8 Lecture #33 Fall, 8 Page f

More information

General Chemistry 1 (CHEM1141) Shawnee State University Fall 2016

General Chemistry 1 (CHEM1141) Shawnee State University Fall 2016 Geeral Chemistry 1 (CHEM1141) Shawee State Uiversity Fall 2016 September 23, 2016 Name E x a m # I C Please write yur full ame, ad the exam versi (IC) that yu have the scatr sheet! Please 0 check the bx

More information

are specified , are linearly independent Otherwise, they are linearly dependent, and one is expressed by a linear combination of the others

are specified , are linearly independent Otherwise, they are linearly dependent, and one is expressed by a linear combination of the others Chater 3. Higher Order Liear ODEs Kreyszig by YHLee;4; 3-3. Hmgeeus Liear ODEs The stadard frm f the th rder liear ODE ( ) ( ) = : hmgeeus if r( ) = y y y y r Hmgeeus Liear ODE: Suersiti Pricile, Geeral

More information

Review for cumulative test

Review for cumulative test Hrs Math 3 review prblems Jauary, 01 cumulative: Chapters 1- page 1 Review fr cumulative test O Mday, Jauary 7, Hrs Math 3 will have a curse-wide cumulative test cverig Chapters 1-. Yu ca expect the test

More information

Directional Duality Theory

Directional Duality Theory Suther Illiis Uiversity Carbdale OpeSIUC Discussi Papers Departmet f Ecmics 2004 Directial Duality Thery Daiel Primt Suther Illiis Uiversity Carbdale Rlf Fare Oreg State Uiversity Fllw this ad additial

More information

A unified brittle fracture criterion for structures with sharp V-notches under mixed mode loading

A unified brittle fracture criterion for structures with sharp V-notches under mixed mode loading Jural f Mechaical Sciece ad Techlgy Jural f Mechaical Sciece ad Techlgy 22 (2008) 269~278 www.sprigerlik.cm/ctet/738-494x A uified brittle fracture criteri fr structures with sharp V-tches uder mixed mde

More information

accuracy (%) number of equations used

accuracy (%) number of equations used Itegrati f Had-Crafted ad Statistical Resurces i Measurig Wrd Similarity Atsushi FUJII Tshihir HASEGAWA Takebu TOKUNAGA Hzumi TANAKA Departmet f Cmputer Sciece Tky Istitute f Techlgy ffujii,take,taakag@cs.titech.ac.jp

More information

MATH Midterm Examination Victor Matveev October 26, 2016

MATH Midterm Examination Victor Matveev October 26, 2016 MATH 33- Midterm Examiati Victr Matveev Octber 6, 6. (5pts, mi) Suppse f(x) equals si x the iterval < x < (=), ad is a eve peridic extesi f this fucti t the rest f the real lie. Fid the csie series fr

More information

SUPPLEMENTARY MATERIAL GaGa: a simple and flexible hierarchical model for microarray data analysis

SUPPLEMENTARY MATERIAL GaGa: a simple and flexible hierarchical model for microarray data analysis SUPPLEMENTARY MATERIAL GaGa: a simple and flexible hierarchical mdel fr micrarray data analysis David Rssell Department f Bistatistics M.D. Andersn Cancer Center, Hustn, TX 77030, USA rsselldavid@gmail.cm

More information

A Hartree-Fock Calculation of the Water Molecule

A Hartree-Fock Calculation of the Water Molecule Chemistry 460 Fall 2017 Dr. Jea M. Stadard Nvember 29, 2017 A Hartree-Fck Calculati f the Water Mlecule Itrducti A example Hartree-Fck calculati f the water mlecule will be preseted. I this case, the water

More information

Recovery of Third Order Tensors via Convex Optimization

Recovery of Third Order Tensors via Convex Optimization Recvery f Third Order Tesrs via Cvex Optimizati Hlger Rauhut RWTH Aache Uiversity Lehrstuhl C für Mathematik (Aalysis) Ptdriesch 10 5056 Aache Germay Email: rauhut@mathcrwth-aachede Željka Stjaac RWTH

More information

An Investigation of Stratified Jackknife Estimators Using Simulated Establishment Data Under an Unequal Probability Sample Design

An Investigation of Stratified Jackknife Estimators Using Simulated Establishment Data Under an Unequal Probability Sample Design Secti Survey Research Methds SM 9 A Ivestigati f Stratified ackkife Estimatrs Usig Simulated Establishmet Data Uder a Uequal Prbability Sample Desig Abstract Plip Steel, Victria McNerey, h Slata Csiderig

More information

Fast Botnet Detection From Streaming Logs Using Online Lanczos Method

Fast Botnet Detection From Streaming Logs Using Online Lanczos Method Fast Btet Detecti Frm Streamig Lgs Usig Olie Laczs Methd Zheg Che, Xili Yu 3, Chi Zhag 4, Ji Zhag 1, Cui Li 1, B Sg, Jialiag Ga, Xiahua Hu, Wei-Shih Yag 3, Erjia Ya 1 CA echlgies, Ic. Cllege f Cmputig

More information

x 2 x 3 x b 0, then a, b, c log x 1 log z log x log y 1 logb log a dy 4. dx As tangent is perpendicular to the x axis, slope

x 2 x 3 x b 0, then a, b, c log x 1 log z log x log y 1 logb log a dy 4. dx As tangent is perpendicular to the x axis, slope The agle betwee the tagets draw t the parabla y = frm the pit (-,) 5 9 6 Here give pit lies the directri, hece the agle betwee the tagets frm that pit right agle Ratig :EASY The umber f values f c such

More information

Information Sciences

Information Sciences Ifrmati Scieces 181 (2011) 5169 5179 Ctets lists available at ScieceDirect Ifrmati Scieces jural hmepage: www.elsevier.cm/lcate/is Parameterized attribute reducti with aussia kerel based fuzzy rugh sets

More information

Determining Optimum Path in Synthesis of Organic Compounds using Branch and Bound Algorithm

Determining Optimum Path in Synthesis of Organic Compounds using Branch and Bound Algorithm Determining Optimum Path in Synthesis f Organic Cmpunds using Branch and Bund Algrithm Diastuti Utami 13514071 Prgram Studi Teknik Infrmatika Seklah Teknik Elektr dan Infrmatika Institut Teknlgi Bandung,

More information

Sound Absorption Characteristics of Membrane- Based Sound Absorbers

Sound Absorption Characteristics of Membrane- Based Sound Absorbers Purdue e-pubs Publicatis f the Ray W. Schl f Mechaical Egieerig 8-28-2003 Sud Absrpti Characteristics f Membrae- Based Sud Absrbers J Stuart Blt, blt@purdue.edu Jih Sg Fllw this ad additial wrks at: http://dcs.lib.purdue.edu/herrick

More information

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and This article appeared i a jural published by Elsevier The attached cpy is furished t the authr fr iteral -cmmercial research ad educati use, icludig fr istructi at the authrs istituti ad sharig with clleagues

More information

Wavelet Video with Unequal Error Protection Codes in W-CDMA System and Fading Channels

Wavelet Video with Unequal Error Protection Codes in W-CDMA System and Fading Channels Wavelet Vide with Uequal Errr Prtecti Cdes i W-CDMA System ad Fadig Chaels MINH HUNG LE ad RANJITH LIYANA-PATHIRANA Schl f Egieerig ad Idustrial Desig Cllege f Sciece, Techlgy ad Evirmet Uiversity f Wester

More information

Matching a Distribution by Matching Quantiles Estimation

Matching a Distribution by Matching Quantiles Estimation Jural f the America Statistical Assciati ISSN: 0162-1459 (Prit) 1537-274X (Olie) Jural hmepage: http://www.tadflie.cm/li/uasa20 Matchig a Distributi by Matchig Quatiles Estimati Niklas Sgurpuls, Qiwei

More information

, which yields. where z1. and z2

, which yields. where z1. and z2 The Gaussian r Nrmal PDF, Page 1 The Gaussian r Nrmal Prbability Density Functin Authr: Jhn M Cimbala, Penn State University Latest revisin: 11 September 13 The Gaussian r Nrmal Prbability Density Functin

More information

Probabilistic linguistic TODIM approach for multiple attribute decision-making

Probabilistic linguistic TODIM approach for multiple attribute decision-making Graul. Cmput. (07) : 4 DOI 0.007/s4066-07-0047-4 ORIGINAL PAPER Prbabilistic liguistic TODIM apprach fr multiple attribute decisi-makig Peide Liu Xili Yu Received: 9 April 07 / Accepted: 5 July 07 / Published

More information

Frequentist Inference

Frequentist Inference Frequetist Iferece The topics of the ext three sectios are useful applicatios of the Cetral Limit Theorem. Without kowig aythig about the uderlyig distributio of a sequece of radom variables {X i }, for

More information

Christensen, Mads Græsbøll; Vera-Candeas, Pedro; Somasundaram, Samuel D.; Jakobsson, Andreas

Christensen, Mads Græsbøll; Vera-Candeas, Pedro; Somasundaram, Samuel D.; Jakobsson, Andreas Dwladed frm vb.aau.dk : April 12, 2019 Aalbrg Uiversitet Rbust Subspace-based Fudametal Frequecy Estimati Christese, Mads Græsbøll; Vera-Cadeas, Pedr; Smasudaram, Samuel D.; Jakbss, Adreas Published i:

More information

The Complexity of Translation Membership for Macro Tree Transducers

The Complexity of Translation Membership for Macro Tree Transducers The Cmplexity f Traslati Membership fr Macr Tree Trasducers Kazuhir Iaba The Uiversity f Tky kiaba@is.s.u-tky.ac.jp Sebastia Maeth NICTA ad Uiversity f New Suth Wales sebastia.maeth@icta.cm.au ABSTRACT

More information

LUKE 2 The Christmas Story in Song

LUKE 2 The Christmas Story in Song LUKE 2 The Christmas Stry i Sg Usig the text f the Evagelical Heritage Versi (EHV) Aar Michael Jese The purpse f this musical arragemet f Lue 2 (EHV) is t assist childre i the trasiti frm ather traslati

More information

Active redundancy allocation in systems. R. Romera; J. Valdés; R. Zequeira*

Active redundancy allocation in systems. R. Romera; J. Valdés; R. Zequeira* Wrkig Paper -6 (3) Statistics ad Ecmetrics Series March Departamet de Estadística y Ecmetría Uiversidad Carls III de Madrid Calle Madrid, 6 893 Getafe (Spai) Fax (34) 9 64-98-49 Active redudacy allcati

More information

Technical Bulletin. Generation Interconnection Procedures. Revisions to Cluster 4, Phase 1 Study Methodology

Technical Bulletin. Generation Interconnection Procedures. Revisions to Cluster 4, Phase 1 Study Methodology Technical Bulletin Generatin Intercnnectin Prcedures Revisins t Cluster 4, Phase 1 Study Methdlgy Release Date: Octber 20, 2011 (Finalizatin f the Draft Technical Bulletin released n September 19, 2011)

More information

Energy xxx (2011) 1e10. Contents lists available at ScienceDirect. Energy. journal homepage:

Energy xxx (2011) 1e10. Contents lists available at ScienceDirect. Energy. journal homepage: Eergy xxx (2011) 1e10 Ctets lists available at ScieceDirect Eergy jural hmepage: www.elsevier.cm/lcate/eergy Multi-bjective ptimizati f HVAC system with a evlutiary cmputati algrithm Adrew Kusiak *, Fa

More information

ESWW-2. Israeli semi-underground great plastic scintillation multidirectional muon telescope (ISRAMUTE) for space weather monitoring and forecasting

ESWW-2. Israeli semi-underground great plastic scintillation multidirectional muon telescope (ISRAMUTE) for space weather monitoring and forecasting ESWW-2 Israeli semi-udergrud great plastic scitillati multidirectial mu telescpe (ISRAMUTE) fr space weather mitrig ad frecastig L.I. Drma a,b, L.A. Pustil'ik a, A. Sterlieb a, I.G. Zukerma a (a) Israel

More information

The Molecular Diffusion of Heat and Mass from Two Spheres

The Molecular Diffusion of Heat and Mass from Two Spheres Iteratial Jural f Mder Studies i Mechaical Egieerig (IJMSME) Vlume 4, Issue 1, 018, PP 4-8 ISSN 454-9711 (Olie) DOI: http://dx.di.rg/10.0431/454-9711.0401004 www.arcjurals.rg The Mlecular Diffusi f Heat

More information

Every gas consists of a large number of small particles called molecules moving with very high velocities in all possible directions.

Every gas consists of a large number of small particles called molecules moving with very high velocities in all possible directions. Kietic thery f gases ( Kietic thery was develped by Berlli, Jle, Clasis, axwell ad Bltzma etc. ad represets dyamic particle r micrscpic mdel fr differet gases sice it thrws light the behir f the particles

More information

UN Committee of Experts on Environmental Accounting New York, June Peter Cosier Wentworth Group of Concerned Scientists.

UN Committee of Experts on Environmental Accounting New York, June Peter Cosier Wentworth Group of Concerned Scientists. UN Cmmittee f Experts n Envirnmental Accunting New Yrk, June 2011 Peter Csier Wentwrth Grup f Cncerned Scientists Speaking Ntes Peter Csier: Directr f the Wentwrth Grup Cncerned Scientists based in Sydney,

More information

Hypothesis Tests for One Population Mean

Hypothesis Tests for One Population Mean Hypthesis Tests fr One Ppulatin Mean Chapter 9 Ala Abdelbaki Objective Objective: T estimate the value f ne ppulatin mean Inferential statistics using statistics in rder t estimate parameters We will be

More information

Writing Guidelines. (Updated: November 25, 2009) Forwards

Writing Guidelines. (Updated: November 25, 2009) Forwards Writing Guidelines (Updated: Nvember 25, 2009) Frwards I have fund in my review f the manuscripts frm ur students and research assciates, as well as thse submitted t varius jurnals by thers that the majr

More information

Public Key Cryptography. Tim van der Horst & Kent Seamons

Public Key Cryptography. Tim van der Horst & Kent Seamons Public Key Cryptgraphy Tim van der Hrst & Kent Seamns Last Updated: Oct 5, 2017 Asymmetric Encryptin Why Public Key Crypt is Cl Has a linear slutin t the key distributin prblem Symmetric crypt has an expnential

More information

Weathering. Title: Chemical and Mechanical Weathering. Grade Level: Subject/Content: Earth and Space Science

Weathering. Title: Chemical and Mechanical Weathering. Grade Level: Subject/Content: Earth and Space Science Weathering Title: Chemical and Mechanical Weathering Grade Level: 9-12 Subject/Cntent: Earth and Space Science Summary f Lessn: Students will test hw chemical and mechanical weathering can affect a rck

More information

Interaction on Human-Centric Communication Platforms: Modelling and Analysis using Algebraic High-Level Nets and Processes

Interaction on Human-Centric Communication Platforms: Modelling and Analysis using Algebraic High-Level Nets and Processes Iteracti Huma-Cetric Cmmuicati Platfrms: Mdellig ad Aalysis usig Algebraic High-Level Nets ad Prcesses vrgelegt v Dipl.-Ifrm. Karste Gabriel aus Berli v der Fakultät IV Elektrtechik ud Ifrmatik der Techische

More information

Lecture 21: Signal Subspaces and Sparsity

Lecture 21: Signal Subspaces and Sparsity ECE 830 Fall 00 Statistical Sigal Prcessig istructr: R. Nwak Lecture : Sigal Subspaces ad Sparsity Sigal Subspaces ad Sparsity Recall the classical liear sigal mdel: X = H + w, w N(0, where S = H, is a

More information

Interference is when two (or more) sets of waves meet and combine to produce a new pattern.

Interference is when two (or more) sets of waves meet and combine to produce a new pattern. Interference Interference is when tw (r mre) sets f waves meet and cmbine t prduce a new pattern. This pattern can vary depending n the riginal wave directin, wavelength, amplitude, etc. The tw mst extreme

More information

Polynomials with Rational Roots that Differ by a Non-zero Constant. Generalities

Polynomials with Rational Roots that Differ by a Non-zero Constant. Generalities Polyomials with Ratioal Roots that Differ by a No-zero Costat Philip Gibbs The problem of fidig two polyomials P(x) ad Q(x) of a give degree i a sigle variable x that have all ratioal roots ad differ by

More information

Protocol Derivation System for the Needham Schroeder family

Protocol Derivation System for the Needham Schroeder family SECURITY AND COMMUNICATION NETWORKS Security Cmm. Netwrks 2015; 8:2687 2703 Published lie 25 Jauary 2012 i Wiley Olie Library (wileylielibrary.cm)..565 RESEARCH ARTICLE Prtcl Derivati System fr the Needham

More information

Admin. MDP Search Trees. Optimal Quantities. Reinforcement Learning

Admin. MDP Search Trees. Optimal Quantities. Reinforcement Learning Admin Reinfrcement Learning Cntent adapted frm Berkeley CS188 MDP Search Trees Each MDP state prjects an expectimax-like search tree Optimal Quantities The value (utility) f a state s: V*(s) = expected

More information

Study in Cylindrical Coordinates of the Heat Transfer Through a Tow Material-Thermal Impedance

Study in Cylindrical Coordinates of the Heat Transfer Through a Tow Material-Thermal Impedance Research ural f Applied Scieces, Egieerig ad echlgy (): 9-63, 3 ISSN: 4-749; e-issn: 4-7467 Maxwell Scietific Orgaiati, 3 Submitted: uly 4, Accepted: September 8, Published: May, 3 Study i Cylidrical Crdiates

More information

Department of Electrical Engineering, University of Waterloo. Introduction

Department of Electrical Engineering, University of Waterloo. Introduction Sectin 4: Sequential Circuits Majr Tpics Types f sequential circuits Flip-flps Analysis f clcked sequential circuits Mre and Mealy machines Design f clcked sequential circuits State transitin design methd

More information

Analysis of Experimental Measurements

Analysis of Experimental Measurements Aalysis of Experimetal Measuremets Thik carefully about the process of makig a measuremet. A measuremet is a compariso betwee some ukow physical quatity ad a stadard of that physical quatity. As a example,

More information

Dataflow Analysis and Abstract Interpretation

Dataflow Analysis and Abstract Interpretation Dataflw Analysis and Abstract Interpretatin Cmputer Science and Artificial Intelligence Labratry MIT Nvember 9, 2015 Recap Last time we develped frm first principles an algrithm t derive invariants. Key

More information

Cold mirror based on High-Low-High refractive index dielectric materials

Cold mirror based on High-Low-High refractive index dielectric materials Cld mirrr based High-Lw-High refractive idex dielectric materials V.V. Elyuti.A. Butt S.N. Khia Samara Natial Research Uiversity 34 skvske Shsse 443086 Samara Russia Image Prcessig Systems Istitute Brach

More information

Alternative Approaches to Default Logic. Fachgebiet Intellektik. Technische Hochschule Darmstadt. Alexanderstrae 10. W. Ken Jackson. Burnaby, B.C.

Alternative Approaches to Default Logic. Fachgebiet Intellektik. Technische Hochschule Darmstadt. Alexanderstrae 10. W. Ken Jackson. Burnaby, B.C. Alterative Appraches t Default Lgic James P. Delgrade Schl f Cmputig Sciece Sim Fraser Uiversity Buraby, B.C. Caada V5A 1S6 Trste Schaub Fachgebiet Itellektik Techische Hchschule Darmstadt Alexaderstrae

More information