Exposing Photo Manipulation from Shading and Shadows

Size: px
Start display at page:

Download "Exposing Photo Manipulation from Shading and Shadows"

Transcription

1 Exposing Photo Mnipultion from Shing n Shows Eri Kee, Columi University Jmes F. O Brien, University of Cliforni, Berkeley n Hny Fri, Drtmouth College We esrie metho for eteting physil inonsistenies in lighting from the shing n shows in n imge. This metho imposes multitue of shing- n show-se onstrints on the projete lotion of istnt point light soure. The onsisteny of olletion of suh onstrints is pose s liner progrmming prolem. A fesile solution inites tht the omintion of shing n shows is physilly onsistent, while filure to fin solution provies eviene of photo tmpering. Ctegories n Sujet Desriptors: I.. [Artifiil Intelligene]: Vision n Sene Unerstning Sene Anlysis; I.. [Computer Grphis]: Methoology n Tehniques Imge Forensis; K..m [Computing Milieux]: Computers n Soiety Misellneous Aitionl Key Wors n Phrses: Imge forensis, photo mnipultion, imge mnipultion, forgery etetion, lighting, shows. INTRODUCTION Avnes in photo eiting softwre hve me it possile to rete visully ompelling photogrphi forgeries. The uiquity of these imges hs unermine our trust in photogrphy, n impts lw enforement, ntionl seurity, the mei, vertising, ommere, n more. The fiel of photo forensis hs emerge to help restore trust in photogrphy [Fri 9; Roh et l. ]. In the sene of n emee wtermrk or signture, forensi methos ssume tht imge mnipultion will isrupt sttistil, geometri, or physil properties in n imge. To the extent tht suh perturtions n e quntifie n etete, forgeries n e ojetively invlite. For exmple, formt-speifi nlyses This pper hs een epte to ACM TOG for pulition. This work ws supporte y NSF grnts IIS-9, IIS-, n CNS-9, Intel s Siene n Tehnology Center for Visul Computing, n y gifts from Aoe Systems, Mirosoft, NVIDIA, n Pixr. Authors emil resses: erikee@s.olumi.eu, jo@erkeley.eu, fri@s.rtmouth.eu Permission to mke igitl or hr opies of prt or ll of this work for personl or lssroom use is grnte without fee provie tht opies re not me or istriute for profit or ommeril vntge n tht opies show this notie on the first pge or initil sreen of isply long with the full ittion. Copyrights for omponents of this work owne y others thn ACM must e honore. Astrting with reit is permitte. To opy otherwise, to repulish, to post on servers, to reistriute to lists, or to use ny omponent of this work in other works requires prior speifi permission n/or fee. Permissions my e requeste from Pulitions Dept., ACM, In., Penn Plz, Suite, New York, NY - USA, fx + () 9-, or permissions@m.org. ACM -//-ARTXXX $. DOI./XXXXXXX.YYYYYYY Originl imge opyright Eri Shrmnn, Fig.. The projete lotion of the light soure is onstrine y shing long oluing ontours n y st shows. The intersetion of the shing onstrints (outline in lk) is inonsistent with the intersetion of the show onstrints (outline in white), reveling this imge to e fke (not surprisingly). ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

2 XXX : E. Kee, J. O Brien, H. Fri exploit rtifts tht re introue when JPEG imge is ompresse multiple times [Popesu n Fri ; Mhin n Si 9; Kee et l. ]. Pixel-se nlyses etet low-level orreltions tht re introue y loning [Fririh et l. ], re-sizing [Popesu n Fri ], or non-liner filtering [Lin et l. ]. Sensor-se nlyses n etet inonsistenies in hromti errtions [Johnson n Fri ], olor filter rry interpoltion [Popesu n Fri ; Kirhner ], or sensor noise [Chen et l. ; Fririh 9]. Aitionlly, physilly se nlysis n etet inonsistenies in refletions [O Brien n Fri ], lighting [Johnson n Fri ; Kee n Fri ; Johnson n Fri ], or shows [Kee et l. ]. Any one of these tehniques my e pplile to only suset of imges, n my even e vulnerle to ounter ttk. Working in onert, however, ll of these tehniques mke it inresingly iffiult n time onsuming ut never impossile for forger to rete ompelling fke. We propose new physilly se forensi metho tht simultneously nlyses shing n shows in photo. Suh methos re ttrtive euse shing n shows result from the -D intertion of lighting n geometry, n n therefore e iffiult to urtely moify using -D photo eiting softwre. In ition, these effets re often mesurle even in low resolution n low qulity imges. It hs een shown tht the humn visul system n e surprisingly t eteting even lrge physil inonsistenies in lighting n shows [Joson n Werner ; Ostrovsky et l. ; Fri n Brvo ]. As result, forger is likely to leve ehin inonsistent shing n shows, n visul inspetion y forensi nlyst is likely to e sujetive or unrelile. In ontrst our propose geometri nlysis n ojetively etet inonsistenies. It hs een well estlishe tht urtely estimting lighting from single imge is iffiult. This estimtion is me more iffiult when n imge is of low resolution n poor qulity, n me even more omplex when n imge is omposite of multiple photos tken uner vrying lighting. In forensi setting, however, our gol is not neessrily to estimte the lotion of the light, ut rther to etermine if the shing n shows in photo re onsistent with single light soure. To this en, we seek only to onstrin the projete lotion of the light soure in the imge plne. By omining multitue of potentilly wek onstrints, we n etermine if the shing n shows in photo re physilly onsistent. Shown in Fig. is n exmple of our shing n show nlysis pplie to flsifie photo. A olletion of shing n show onstrints restrit the projete lotion of the light soure. The shing onstrints re lele, n the show onstrints re lele. Mgnifie views of eh onstrint re shown in the ottom left. The intersetion of the four shing onstrints is outline in lk (ottom right pnel). The intersetion of the three show onstrints is outline in white (ottom right pnel). Beuse these regions o not interset, we n prove tht there oes not exist single istnt point light soure tht n explin the shing n shows in this imge. It n e ojetively rgue, therefore, tht the shing n shows in Fig. re physilly inonsistent, orretly reveling this photo to e fke.. RELATED WORK A lrge oy of work hs een estlishe for the estimtion of lighting from the shing on n ojet. Stnr tehniques often ssume, s we o, single istnt point light soure illuminting Lmertin surfe of onstnt refletne. Within the vision literture, methos inlue shpe-from-shing [Zheng n Chellpp 99; Hougen n Ahuj 99; Kim et l. 99], n inverse lighting in whih the -D geometry is ssume to e known [Mrshner n Greenerg 99; Zhng n Yng ; Hr et l. ; Zhou n Kmhmettu ]. Some methos tke vntge of oth shing n show ues, [Li et l. ; Wng n Smrs ], ut, unlike our pproh, require omplete -D geometri moels. Methos tht o not require known -D geometry hve use mnully-pproximte -D geometry [Krsh et l. ]. When -D moels re not ville or nnot e esily estimte, -D oluing ontours n e use to estimte -D suset of the -D light iretion [Nillius n Eklunh ]. In the forensis literture, shing n shows hve een iniviully exploite to etet photo tmpering [Johnson n Fri ; ; Zhng et l. 9; Kee n Fri ; Liu et l. ; Riess n Angelopoulou ]. The omintion of shing n show hs een onsiere for estimting -D light iretion [Johnson et l. ], n for estimting the lotion of light soures [Stork n Johnson ; ]. Their work, emonstrte in the nlysis of pintings, ssumes orthogrphi projetion whih n e n overly limiting ssumption in mny prtil situtions. Our pproh iffers in three funmentl wys from these previous methos. First, inste of expliitly estimting lighting, we seek only to onstrin the light soure. This llows us to nlyze wie vriety of imges, even those in whih there is insuffiient informtion to uniquely estimte lighting. Seon, we formulte the estimtion of lighting from shing uner moel of liner perspetive. In previous work [Johnson n Fri ; ; Johnson et l. ; Stork n Johnson ; ], orthogrphi projetion ws ssume to simplify estimtion of surfe normls long oluing ounries (y ssuming tht the z-omponent of the -D surfe norml is zero). This ssumption, however, les to errors in the estimte lighting when ojets re on opposing sies of n imge, n prtiulrly when the projete lotion of the light iffers signifintly etween the two moels. An thir, euse the nlysis of st shows [Kee et l. ] impliitly ssumes moel of perspetive projetion, our shing-se onstrints n e omine with show onstrints. In ontrst to [Kee et l. ], this omintion fores woul-e forger to onsier n potentilly orret oth the shing n shows, rther thn the shows lone. This mkes the retion of forgery more iffiult n time onsuming. Our forensi tehnique hs severl vntges in tht it mkes miniml ssumptions out the unerlying sene geometry, mkes reltively few ssumptions out the sene (single istnt point light soure illuminting Lmertin surfe of onstnt refletne), ssumes more plusile moel of perspetive projetion, omines oth shing n show ues within single unifie frmework, n, perhps most importntly, n e pplie to roer rnge of imges in whih it woul e iffiult or impossile to expliitly estimte lighting.. METHODS In this setion we formulte how the shing on n ojet onstrins the lotion of istnt point light soure in -D n in the projete -D imge. We show tht these -D shing onstrints n e omine with -D show onstrints within liner frmework to etermine if the shing n shows in n imge re physilly onsistent with single light soure. Throughout, the following nottionl onventions re use. Slr vlues re lowerse letters (), vetors re ol lowerse ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

3 Exposing Photo Mnipultion from Shing n Shows XXX : letters (v), n mtries re ol pitl letters (A). Itliize vetors enote quntities in the -D imge plne (v), while romn vetors enote quntities in the -D worl or higher imensions (v). Iniviul elements of vetors or olumns of mtries re referene y susripts: v k is the k th element of vetor v, n k is k th olumn of mtrix A. Vetors tht represent homogeneous quntities in the imge plne re enote s ṽ n their Crtesin equivlent is simply v.. Shing onstrints (-D) Uner n infinitely istnt point light soure, the rine r of n imge pth tht orrespons to surfe with onstnt Lmertin refletne n norml n = `n x n y n z T is given y r = n s +, () where s = `s x s y s z T speifies the iretion to the light soure, n the mgnitue of s is proportionl to the rightness of the light. The onstnt term is the so-lle mient term whih pproximtes iniret illumintion. Note tht this expression ssumes tht the ngle etween the surfe norml n light is less thn 9. The omponents of this lighting moel n e estimte from k pthes with known surfe normls. The equtions for eh surfe norml n orresponing rine re pke into the following liner system: n T n T «s C = r (). A n T k Ne = r, () where r is vetor of oserve rine for eh pth. The lighting prmeters e n e estimte using stnr lest squres: e = (N T N) N T r, () where e enotes the estimte prmeters, n its first three omponents speify the rightness-sle light iretion, s. The normlize light iretion, s / s, n e visulize s point on the surfe of the unit sphere, Fig. (). When the mtrix N is well onitione, this estimtion is strightforwr. In prtie, however, the mtrix N my e poorly onitione or rnk efiient ue to limite numer, or rnge, of known surfe normls. In suh situtions it is not possile to etermine n ext solution, e, of the lighting prmeters ut it is still possile to onstrin the solution to spe of possile solutions. Consier the singulr vlue eomposition (SVD) of the liner system in Eqution (): UΛV T e = r. () This eomposition projets the lighting prmeters e onto n orthonorml sis V: V = `v «w w v v v = w w () where w i re vetors n i re slr vlues. Note tht w i n i form sis for the rightness-sle light iretion s n mient omponent. After projetion onto vetors v i, e is sle y the igonl mtrix Λ of singulr vlues λ i, n then trnsforme into imge rine y the mtrix U. Using the onvention tht the singulr vlues, λ,...,λ, re sorte from lrgest to smllest, the well-onitione imensions of the solution spe re given y the olumns of Λ n V tht orrespon to singulr vlues λ i /λ. The lighting prmeters e n e estimte within the suspe spnne y the well-onitione vetors v i of the singulr vlue eomposition: e = N + r, () where N + enotes the pseuo-inverse. When one singulr vlue is egenerte, λ /λ, possile lighting solutions re given y e + αv, where e is the solution to the liner system in Eqution (), α is slr, n v is the fourth olumn of mtrix V. This onstrins the rightness-sle iretion of the light soure s to line in -D: s = s + αw, () where s is the first three omponents of e orresponing to the light iretion, n w is the first three omponents of singulr vetor v. This line psses through the point s n is prllel to w. The orresponing set of normlize light iretions, s/ s, forms semi-irulr r, whih is the projetion of the line onto the unit sphere, Fig. (). When two singulr vlues re egenerte, λ /λ n λ /λ, possile lighting solutions re given y e + αv + βv, where e is the solution to the liner system in Eqution (), n oth α n β re slrs. This onstrins the rightness-sle iretion of the light soure s to plne in -D: s = s + αw + βw, (9) whih psses through s n is prllel to oth w n w. The orresponing set of normlize light iretions forms hemispheril surfe, whih is the projetion of the plne onto the unit sphere, Fig. (). When three singulr vlues re egenerte, λ /λ, λ /λ, n λ /λ, the null spe of the liner system spns the full -D spe, thus proviing no onstrint on the light iretion s.. Shing onstrints (-D) In the previous setion we esrie how the shing on n ojet n onstrin the -D iretion of istnt point light. In this setion we evelop representtion of these onstrints tht n e omine with onstrints from shows [Kee et l. ] (etile in Setion.). Light iretions in -D n e trete s points t infinity n projete into the -D imge plne. Constrints on the -D lighting iretion n, therefore, e expresse s onstrints on the projete light lotion in the -D imge plne. For simpliity, ut without loss of generlity, let the surfe normls n n iretion of the light soure s e speifie in the mer oorinte system in whih the mer fes own the z xis. Uner n ielize perspetive mer with fol length f n imge enter, the light soure t infinity in iretion s projets to point in the imge plne: s f x f y A s () = Ks () where the imge point s is speifie in homogeneous oorintes, n K is the intrinsi mtrix of the mer. When the liner system, Eqution (), is fully onitione, the iretion of the light soure, s, n e unmiguously estimte, ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

4 XXX : E. Kee, J. O Brien, H. Fri () () () () (e) (f ) Fig.. Shing onstrints in -D (top) n -D (ottom): () when the liner system in Eqution () is fully onitione, the -D iretion of the light soure, s, n e uniquely etermine; (-) if the liner system is not fully onitione, then the -D iretion of the light soure is onstrine to semi-irulr r or hemisphere, epening on the rnk of the liner system (w n w re the vetors orresponing to the singulr vlues of the liner system). Shown in pnels ()-(f) is the projetion of these onstrints onto the imge plne, where the mer s enter of projetion is enote y. s = s, Fig. (). This onstrins the projete lotion, s, ofthe light soure s to single point in the imge: s = Ks. () Shown in Fig. () is the projetion, s,ofthe-d iretion, s, onto -D imge plne (the mer enter of projetion is enote y ). When one singulr vlue is egenerte, the rightness-sle light iretion is onstrine to line in -D, s = s + αw, whih orrespons to hlf-irle of iretions, Fig. (). These iretions projet to line in the imge plne: s = K(s + αw ). () Shown in Fig. (e) is the projetion of the -D onstrint ( hlfirle of iretions) onto -D imge plne. Note tht light iretions ehin the mer s enter of projetion (lue r) re projete into the lower prt of the line (lue line segment), while light iretions in front of the mer (re r) re projete into the upper prt of the line (re line segment). These two line segments meet t the imge of vetor w, Kw (enote y in the imge plne). This line n its segments n e esrie y position p n iretion in the imge: p = Kw () = sign(s z )(p s ), () where s is the projete lotion of the lest-squres solution of the light iretion, s, n s z is its z-omponent. Diretion ientifies the line segment onto whih light iretions in front of the mer projet (see Appenix A for erivtion). When two singulr vlues re egenerte, the rightnesssle light iretion is onstrine to plne in -D, s = s + αw + βw, whih orrespons to hlf-sphere of iretions, Fig. (). These iretions projet to plne in the imge: s = K(s + αw + βw ). () Although this plne enompsses the entire imge, it onsists of two hlf-plnes, Fig. (f): one for light iretions in front of the mer (re), n one for iretions ehin the mer (lue). These hlf-plnes re esrie y position p n iretion in the imge: p = Kw () = sign` h s ` h h T, () where h is the homogeneous line through the imge of w n w : h = Kw Kw. (9) Diretion ientifies the hlf-plne into whih light iretions in front of the mer projet (see Appenix A for erivtion). Finlly, s note previously, when three singulr vlues re egenerte, the light iretion is unonstrine in -D n thus provies no onstrint on the projete lotion of the light in the imge plne. ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

5 Exposing Photo Mnipultion from Shing n Shows XXX : () () () Fig.. Geometri onfigurtions tht le to point (), line (), n hlfplne () onstrints on the projete lotion of the light soure. Shown in eh pnel is the projetion of -D ojet (right) into the imge plne (the mer s enter of projetion is enote y ). A point onstrint n e speifie when full -D moel is ville. Surfe normls long n extene portion of n oluing ontour provie line onstrint, n normls long smll portion of the oluing ontour provie hlf-plne onstrint. (Note tht, euse the light is ehin the mer, its projete lotion (yellow ot) is inverte uner perspetive projetion.) Fig. illustrtes how ifferent onfigurtions of surfe normls n le to the point, line, n hlf-plne onstrints on the projete lotion of the light soure. Shown in pnel () is the se where full -D moel of the ojet is known, yieling full rnk mtrix N in Eqution () n point onstrint. Shown in pnel () is the se where only pproximtely oplnr normls long n extene portion of the ojet s oluing ounry re known. These oluing normls yiel one egenerte singulr vlue in N, prouing line onstrint. Lstly, shown in pnel () is se where only normls long smll portion of the ojet s oluing ounry re speifie, yieling two egenerte singulr vlues in N n hlf-plne onstrint.. Stisfiility of multiple onstrints In forensi setting, we woul like to etermine if the shing on ojets in photo re physilly onsistent with single light soure. We therefore omine the shing onstrints from multiple ojets in sene into single liner system to etermine if they re olletively stisfile. Consier first the se in whih the light soure is in front of the mer. When the light position n e onstrine to point in the imge, Eqution (), the following equlity onstrint (in homogeneous oorintes) is ple on the lotion of the light soure s: s = Ks. () When the light position n e onstrine to line, Eqution (), the following onstrint is ple on s (in rtesin oorintes): s = α + p () α, () where p n re given y Equtions ()-(). Lstly, when the light position is onstrine y hlf-plne, Eqution (), the following inequlity onstrint is ple on s: s p, () where p n re given y Equtions ()-(9). Eh of these onstrints re liner, n n therefore e omine into liner progrm to hek for mutul onsisteny. A vile solution to the liner progrm mens tht the shing in n imge is onsistent, while filure to fin vile solution mens tht one or more of the onstrints re inonsistent with single light soure. When the light soure is ehin the mer, its projetion into the imge is inverte y liner perspetive projetion. To onten with this possiility, seon liner progrm is onstrute in whih ll onstrint inequlities re reverse. The shing is etermine to e onsistent if either liner progrm is stisfile.. Show onstrints (-D) The previous setions hve esrie how the shing of n ojet n e use to onstrin the projete lotion of point light soure. In ition, st n tthe shows lso onstrin the projete lotion of point light soure [Kee et l. ]. These -D show onstrints tke the form of liner inequlities, n n therefore e omine with our shing onstrints to further onstrin the projete lotion of the light soure. We riefly summrize the onstrints provie y st n tthe shows. Cst shows. Consier ry tht onnets point in showe region to its orresponing point on the show-sting ojet, Fig. (soli line). In the -D sene, this ry intersets the light soure. In -D imge of the sene rete uner liner perspetive, the projetion of this ry remins stright line tht must onnet the imges of the show n ojet points, n must interset the projete lotion of the light soure. These onstrints hol regrless of the geometry of the ojet n the surfe onto whih the shows re st, n hol for either n infinitely istnt or lol light. Cst shows onstrin the projete lotion of the light soure s to line: s = α + p () α, () where p is point in show, n is vetor onneting p to the orresponing point on the ojet. Notie tht this onstrint hs ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

6 XXX : E. Kee, J. O Brien, H. Fri Fig.. A st n tthe show onstrint. The projete lotion of the light soure lies on line tht onnets point in the one s st show with its orresponing point on the one. An tthe show on the one onstrins the projete lotion of the light soure to e in hlf plne, speifie y the orienttion n polrity of the show termintor. the sme form s the line onstrint provie y shing, Equtions ()-(). As suh, these onstrints n e semlessly omine with the shing onstrints, Setion.. Atthe shows. Atthe shows our when ojets olue the light from themselves, leving portion of the ojet in show, Fig. (she line n rrow). Points re in show if the surfe norml mkes n ngle greter thn 9 egrees with the iretion towr the light. The surfe ontour tht ivies points in show from those reeiving light is known s the termintor. Surfe normls long this ontour form 9 egree ngle with the iretion to the light. Similr to st show, there is orresponene etween points in n out of show on either sie of the termintor. This orresponene, however, n only e speifie to within hlf-plne euse the light s elevtion is miguous to within egrees. Atthe shows therefore onstrin the projete lotion of the light soure s to hlf-plne: s p, () where p is point on termintor, n is vetor orthogonl to the termintor in the iretion of the illuminte sie of the tthe show. Notie tht this onstrint hs the sme form s the hlf-plne onstrint provie y shing, Eqution (). As suh, these onstrints n e semlessly omine with the shing onstrints, Setion.. As with the shing onstrints, when the light soure is ehin the mer, its projetion into the imge is inverte y liner perspetive projetion. To onten with this possiility, seon liner progrm is onstrute in whih ll onstrint inequlities re reverse (s with the shing onstrints). The shows re etermine to e onsistent if either liner progrm is stisfile [Kee et l. ].. Unertin shing onstrints To this point we hve ssume n iel system in whih the shing n show onstrints n e preisely n urtely speifie. However, errors will e introue into the estimte light iretion y luminne non-linerities, impreise normls (ue to limite pixel resolution), poor signl-to-noise rtio (ffete y surfe leo n exposure), n evitions from the ssumptions of Lmertin refletne n istnt point-soure. It is therefore importnt to inorporte moel of unertinty into the estimtion of lighting. In forensi setting, full -D moel of n ojet is not typilly ville, n we fous only on the more ommonly ourring sitution in whih the lighting n only e onstrine to line or hlf-plne. For simpliity, n euse it yiels liner onstrints, we ssume tht unertinty in the shing onstrints ffets only the onstrint iretion in Equtions () n () n tht p is not signifintly ffete. This orrespons to the ssumption tht the ominnt soure of unertinty is in the mesure imge rine, rther thn in the speifie surfe normls (this ssumption proves resonle for normls on oluing ontours). Shown in Fig. () n () re illustrtions in whih the estimte lighting onstrints (prmeterize y p n ) o not orretly onstrin the true projete lotion of the light soure, s. By introuing unertinty in the estimte iretion, these onstrints tke on wege-shpe s shown in Fig. () n (). In eh se, the wege-shpe region speifies rnge of plusile projete light positions, n ontens with unertinty in the initil estimte lighting onstrints. Convex weges, Fig. (), n e esrie y the intersetion of two hlf-plnes, eh of whih re liner. Conve weges, Fig. (), however, re not liner, n prelue liner solution to etermine the stisfiility of onstrints, Setion.. This prolem of onve onstrints n e overome y noting tht, lthough the line n hlf-plne onstrints re esrie in terms of egenery in the liner system, oth onstrints n e onstrute for prtiulr liner system. Tht is, inste of onstruting only one onstrint for eh ojet (either line or hlf-plne onstrint), we onstrut oth onstrints regrless of onitioning, n ngulr unertinty s itte y the orresponing singulr vlues of the liner system, Fig. (e). (More etils on this onstrution re given elow.) The onstrints re then intersete to proue omine onstrint, Fig. (f). If this omine onstrint speifies onvex wege, it n e inorporte into the liner progrm, Setion., otherwise, it n e omitte (thus proviing no onstrint). The unertinty of onstrints, hrterize s the with of the resulting wege-shpe region, speify onfiene intervl on the ngle etween the onstrint iretion n the vetor from p to the light soure (up to n inversion of ue to lights tht lie ehin the mer). In prt, this unertinty epens upon mesurle hrteristis of the liner system, whih inlues the singulr vlue ssoite with the onstrint, the rnge of surfe normls tht re ville, n the extent to whih the estimte lighting prmeters, e, n explin the vrition in the imge intensity. We therefore esrie the with of the wege-shpe region for line n hlf-plne onstrints s funtions Φ L ( ) n Φ H ( ) of three prmeters κ, θ, n ρ. The first prmeter, κ, is the onition of the line onstrint, κ L = λ /λ, or hlf-plne onstrint, κ H = λ /λ. The seon prmeter, θ, is the rnge of surfe normls, mesure to e inepenent of imge resolution y onstruting histogrm over the iretions of the normls n omputing the numer of egrees spnne y non-empty ins. Lstly, the extent to whih the lighting moel n explin the oserve imge intensity is mesure s the R-vlue, ρ, of the lest-squres solution, Eqution (). We use lrge-sle simultions to estimte the funtions Φ L ( ) n Φ H ( ), s etile in Appenix B. Rnom -D shpes re imge uner rnom point lights, n y mers with rnom fol lengths n imge enters. Common soures of unertinty re inlue: seonry point light is e to simulte inter-refletions n other effets, n the imges re sujete to noise, rnom gmm orretions, n quntiztion. Appenix C etils how the ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

7 Exposing Photo Mnipultion from Shing n Shows XXX : () () (e) () () (f ) Fig.. Shown in eh pnel is n oluing ontour long the top of n ojet. The projete lotion of the light soure is enote s s n the lest squres estimte of the light soure is enote s s. Shown re the following onstrints, prmeterize y position p n iretion : () line onstrint; () its orresponing onvex wege-shpe onstrint; () hlf-plne onstrint; () its orresponing onve wege-shpe onstrint; (e) the pir of wege-shpe onstrints superimpose; n (f) the intersetion of these two onstrints yieling single onvex onstrint. ojets re she. Rnom portions of the she ojets re selete to ompute the iretions of the line n hlf-plne onstrints, n their ngles φ to the light soure. This simultion is repete for mny suh smples φ, n eh is ssigne to its requisite quntize lotion in the omin of the funtions Φ L ( ) n Φ H ( ). Those funtions funtions speify the ngle elow whih mjority of the ngles φ t eh quntize lotion fll (e.g., 99.9%). To uil onstrint from n oluing ontour, the position, iretion, n with of the line n hlf-plne onstrints re estimte, n their intersetion ompute. This proues omine onstrint with hlf-with, Φ C, iretion, n position p = p. Convex weges (Φ C 9 ) n e esrie y pir of hlfplnes: s n C p C n C n s n C p C n C, () where s is the unknown lotion of the light soure. Vetors n i C re n C = H T R C n n C = HR T C, () where H is 9 rottion mtrix, n mtrix R speifies rottion of Φ C egrees. Lstly, onve weges (Φ C > 9 ) nnot e esrie y liner onstrints, n re omitte for simpliity.. Unertin show onstrints It my e iffiult to urtely speify st show onstrint ue to finite resolution, miguity in mthing st show to its orresponing ojet, or when the show is inistint. Unlike the shing onstrints, moeling unertinty in st show onstrints is more strightforwr. The line onstrint for st shows n e relxe to wegeshpe onstrint y llowing forensi nlyst to selet point on show n rnge of possile orresponing points on the ojet tht sfely enompss the orret ojet-show piring [Kee et l. ]. These relxe onstrints n e esrie y pir of hlfplnes: s n i p i n i n s n i p i n i, (9) where the norml vetors n i re efine suh tht points within the wege re on the positive sie of oth hlf-plne onstrints. These wege onstrints re liner, n the stisfiility of olletion of these, long with other liner shing-se onstrints, n e etermine y liner progrmming, Setion.. Note tht these onstrints re ientil to the wege-shpe shing onstrints, Eqution (). Lstly, n nlyst my sometimes prefer to inste selet point on n ojet n rnge of possile orresponing points in show (not vie vers). In this se the vetors n in Eqution (9) re simply reple y n. As note previously [Kee et l. ], we ssume tht n tthe show onstrint n e relily speifie ue to the reltive ese with whih the termintor on n tthe show n e speifie. This ssumption vois non-liner (onve) onstrints whih woul prelue liner solution, Setion... Forensis A photo my ontin vriety of she ojets long with st n tthe shows. Show onstrints re speifie mnully [Kee et l. ], while shing onstrints re speifie semiutomtilly. In prtie full -D geometri moels of sene ojets re rrely ville, n etermining surfe normls from single imge is generlly iffiult n error prone. We therefore restrit ourselves to using points long oluing ontours, for whih normls n e resonly estimte. The normls long oluing ontours will generlly not spn the full -D spe n therefore proue uner-onstrine systems orresponing to line n hlf-plne shing onstrints. ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

8 XXX : E. Kee, J. O Brien, H. Fri An nlyst speifies shing onstrint y first ientifying segment of n oluing ontour hving onstnt Lmertin refletne. The -D imge normls, n = `n x n y T, re ompute from this oluing ontour ( Bezier or other generl-purpose urve n e fit to this ontour, from whih the -D normls n e nlytilly estimte). Uner moel of liner perspetive projetion, the orresponing -D surfe norml is given y: n x n = n y, () n (x ) f where x is the -D imge lotion of eh orresponing -D norml, f is the mer s fol length, is the imge enter, n it is ssume tht n is susequently sle to unit length (see Appenix D for erivtion of this expression). These normls n the orresponing imge rine r long the oluing ontour re use to estimte the lighting prmeters e, Eqution (). This estimtion is strightforwr if the mer fol length, f, n imge enter,, re known, or n e estimte. As we will esrie elow, however, the mer prmeters nee not e known. The liner system use to estimte the lighting prmeters e, Eqution (), will typilly e egenerte ue to the limite rnge of normls provie y n oluing ontour. This system is therefore solve y omputing the pseuo-inverse, Eqution (). The SVD of the mtrix of surfe normls, N = UΛV T, is then ompute. Using the estimte lighting prmeters, e =(s ) T, n the mtrix V, the position n iretion of the line onstrint, p L n L, re given y Equtions ()-(), n the position n iretion of the hlf-plne onstrint, p H n H, re given y Equtions ()-(). Next, the line n hlf-plne onstrints of n oluing ontour re juste to onten with unertinty in the estimte lighting prmeters, Setion.. The line onstrint tkes on wege shpe with position p L, iretion L, n ngulr hlf-with Φ L (κ L,θ,ρ); the hlf-plne onstrint lso tkes on wege shpe with position p H, iretion H, n ngulr hlf-with Φ H (κ H,θ,ρ). These two onstrints re intersete to proue single wege-shpe region with position p C = p L = p H. Beuse oth onstituent weges my e onve, the iretion C, n ngulr hlf-with, Φ C,of the omine wege is ompute using simple se-se lgorithm. If the resulting wege is onve, n hene non-liner, no onstrint is speifie. Eh onvex onstrint (p,, Φ C ) is e to liner progrm y onstruting pir of hlf-plnes, Equtions ()-(). Similrly, eh show onstrint, speifie y the nlyst s either wege or hlf-plne onstrint is e to the liner progrm. A solution to the liner progrm mens tht the shing n shows in n imge re onsistent, while filure to fin vile solution mens tht one or more of the onstrints re inonsistent with single light soure. To onten with the sitution when the light soure is ehin the mer, eh onstrint is reverse to yiel seon liner progrm. Both of these systems re solve to etermine if vile light lotion exists tht stisfies ll onstrints. Lstly, rell tht the mer fol length f n imge enter must e known to estimte the -D surfe normls, Eqution (). Beuse it n e iffiult, or impossile, to estimte these prmeters from single imge, we forgo their estimtion, n inste serh for mer prmeters tht yiel vile solution to the speifie onstrints. Speifilly, we quntize the rnge of plusile fol lengths n imge enters into smll set of vlues. The funtions Φ L ( ) n Φ H ( ), whih ount for unertinty in the es- Fig.. A syntheti sene renere with the physilly se renerer Mitsu [Jko ]. This si sene ws use to test the reliility n speifiity of the shing onstrints. timte lighting prmeters, re juste to inlue the itionl unertinty tht is introue y this quntiztion. Eh quntize tuple of mer prmeters is use to onstrut the require -D surfe normls, n the stisfiility of the orresponing liner progrms is heke. This pproh is omputtionlly effiient ue to the simpliity of the liner formultion, n euse reltively orse quntiztion of the fol length n imge enter hs proven to e suffiient, Appenix B.. RESULTS We prtition our results into two min setions. In the first setion we report on set of lrge-sle simultions use to vlite the moel of unertinty employe y the shing-se onstrints, Setion.. In prtiulr, we report on the reliility n speifiity of the shing onstrints uner vriety of ssumptions tht re onsistent with, n tht violte, our imging ssumptions. In the seon setion we pply our forensi tehnique to uthenti n visully ompelling forgeries.. Simultions In the iel sitution, the wege-shpe shing onstrints will e just ro enough so s to lwys enompss the estimte light position, ut nrrow enough so s to relily etet ifferenes in lighting. We quntify these riteri in terms of the reliility n speifiity of the wege-shpe onstrints. The reliility is mesure s the proility tht onstrint orretly enompsses the true light soure. The speifiity is mesure s the proility tht rnom light position stisfies one or more onstrints... Reliility. Shown in Fig. is sene renere with the physilly se renerer Mitsu [Jko ]. This rok gren sene ws renere with either point light, n re light sutening, or physilly se ylight moel [Preethm et l. 999]. In eh se, one of these istnt light soures ws ple in one of 9 possile iretions, uniformly smple over hemisphere. The sene ws lso renere with the ojets hving ifferent mteril properties. Eh ojet s mteril ws of onstnt refletne n ws either Lmertin, rough iffuse mteril (moeling surfes suh s onrete n ly [Oren n Nyr 99]), rough plsti mteril (moele y the physilly-se Bek- ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

9 Exposing Photo Mnipultion from Shing n Shows XXX : 9 mnn mrofet istriution [Bekmnn 9]), or woven loth mteril [Irwn ]. The imge renering ws onfigure to yiel ojets with n verge resolution of (efult) or squre pixels, % (efult) or % itive noise, n gmm orretion in the rnge [.,.] (efult) or [.,.]. Shing onstrints were onstrute y iviing the illuminte portion of the oluing ontour on eh rok into segments, n seleting rnom suset of etween n segments. The orresponing -D oluing normls were estimte y seleting fol length n imge enter within the preision ssume y the unertinty funtions, Φ L n Φ H, Appenix B. A totl of, onstrints were speifie for eh of 9 types of senes ( lighting senrios, mterils, n renering onfigurtions). The onstrints uilt roun the line n hlf-plne were esigne to hve n verge reliility of 99.9%, Appenix B. These onstrints re intersete to proue omine onstrint whih therefore hs n verge reliility of.999 =99.%. We therefore expet tht this perentge of onstrints will enompss the projete lotion of the light soure. In the se of istnt point light soure, Lmertin refletne, squre pixel resolution, % itive noise, n gmm in the rnge [.,.], the projete lotion of the light soure ws enompsse y 99.% of the onstrints. An re light yiele the sme reliility, n ylight moel yiele higher reliility of 99.9%. Reliility improves uner the ylight moel euse it ontriutes stronger mient illumintion, whih ereses the signl-to-noise rtio. This erese proues wier onstrints, n improves reliility. In the se of non-lmertin surfes illuminte y istnt point light soure n the efult remining imging prmeters, rough iffuse ojets, rough plsti, n loth mteril yiele onstrints with reliility of 99.%, 9.%, n 99.% respetively. Rough plsti le to reution in reliility y severl perentge points euse the roughene speulr omponent ises the estimte light iretion, ut oes not yiel orresponing inrese in the onstrint with. Returning to istnt point light soure n Lmertin surfe, erese in resolution to squre pixels yiele reliility of 9.%. An inrese in the itive noise to % yiele reliility of 99.%. An inrese in gmm into the rnge [.,.] yiele reliility of 99.%. As expete, the reue resolution impts the reliility. The inrese gmm h little ffet on reliility, n interestingly n inrese level of noise improves reliility. This higher reliility is ue to reue signl-to-noise rtio, whih reues the R-vlue of the lest-squres solution n therefore yiels wier onstrint. To summrize, the overll reliility of the onstrints ws ompute y omining onstrints ross ll sene types (lights, refletne moels, n imge egrtions). This yiels men reliility of 99.%. This reliility oes not epen on onstrint with: the men reliility for onstrints of the sme with ws lso 99.% (with minimum if 9.%, n mximum of 99.%)... Speifiity. The with of eh onstrint etermines its speifiity, whih is efine s the likelihoo tht rnom light iretion is stisfie y one, or more, onstrints. We ompute the speifiity for vrile numer n rnge of oluing ontours from the senes esrie in the preeing setion, Fig.. proility (%) entire ontour / ontour / ontour mixe, rel imges numer of onstrints Fig.. The mein proility tht rnomly selete light iretion will stisfy etween one n eight shing onstrints. Eh urve orrespons to onstrints uilt from the entire illuminte portion of the oluing ontour (ottom), hlf of the ontours (mile), or qurter of the ontours (top). The error rs ientify the th n th quntile. Also shown (she gry) is this proility when using ontours of mixe sptil extent from the uthenti photos in Figs.,,, n (see Setion.). The speifiity of these rel-worl onstrints mthes losely with the renere imges. Rnom -D light iretions were rwn from hemisphere, exluing elevtions elow, n projete into the imge. When the entire illuminte portion of n oluing ontour ws use, the mein onstrint with ws, n ws stisfie y 9% of rnom light iretions. As onstrints were e, up to totl of, this proility erese to %, Fig.. When one hlf of the ontour ws selete, the mein onstrint with ws, n ws stisfie y % of rnom light iretions. This proility erese to % when ll ville onstrints were use, Fig.. When one qurter of the ontour ws selete, the mein onstrint with ws 9, n ws stisfie y % of rnom light iretions. This proility erese to % when ll onstrints were use. Overll, the speifiity is iretly proportionl to the numer n extent of onstrints. We lso mesure the erese in speifiity tht results when the mer intrinsi prmeters re unknown. Unknown mer prmeters le to only moest inrese in the with of the onstrints, n hene the speifiity: the perentge of rnom light iretions tht stisfie onstrints with unknown prmeters inrese y n verge of only.% over those with known prmeters. Lstly, rell tht we exlue onve onstrints s they nnot e inorporte into the liner progrm. In the ove simultions, n verge of only.% of the onstrints were onve... Shing vs. Shows. The ition of shing onstrints llows n nlyst to etermine the onsisteny of regions tht o not ontin shows, n lso to etet mutully inonsistent omintions of shing n shows. A forensi nlysis of n imge is therefore likely to onsist of omintion of shing This mesure of speifiity ws hosen to mth [Kee et l. ], to whih omprison is me in Setion... ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

10 XXX : E. Kee, J. O Brien, H. Fri proility (%) proility (%) () e shing onstrints () speifiity e show onstrints N N shows shows Fig.. The effiy of omining shing n show onstrints is shown in terms of speifiity. Pnel (): speifiity improves s shing onstrints re e to {,,,, } show onstrints. Pnel (): ing or fewer itionl show onstrints inste of shing onstrints yiels similr improvement in speifiity. Aing more thn show onstrints yiels greter speifiity. n show onstrints. To ssess the enefit ffore y this omintion, we next ompre n evlute the usefulness of shing n show onstrints in isoltion n in omintion. Shown in Fig. () is the proility tht rnom light soure will stisfy omintion of shing n show onstrints rwn from the istriution foun in the simulte senes of Fig., n [Kee et l. ]. Eh olore urve orrespons to fixe numer of show onstrints, n the horizontl xis orrespons to the numer of itionl shing onstrints. Shown in Fig. () is similr result in whih show onstrints re e, rther thn shing onstrints (horizontl xis). With smll numer of onstrints, these results show tht the shing onstrints re similr in speifiity to the show onstrints of [Kee et l. ]. For exmple, rnom light soure will stisfy shing onstrints with proility of %, n for show onstrints the proility is similr 9%. These results lso show, however, tht for lrger numer of onstrints (greter thn ), the show onstrints re more speifi thn the shing onstrints. In seon set of simultions, we mesure the proility tht inonsistent lighting will e etete s funtion of the ngulr istne etween two light soures, n s funtion of the numer of shing n show onstrints. Speifilly, we simulte the retion of mny forgeries, eh y rnomly seleting two light soures from mong 9 iretions, uniformly smple on hemisphere. A set of m onstrints ws rete to e onsistent with the first light soure, n seon set of n onstrints ws rete to e onsistent with the seon light soure, oring to the istriutions of onstrint withs foun in the simulte senes. These two sets of onstrints were then omine, n forgery ws etete when the omine onstrints were not stisfile. The proility tht these m + n onstrints were unstisfile ws mesure s funtion of the mein lighting ifferene, ompute s the mein ngle etween the projete iretions of the two light soures t eh onstrint. Shown in Fig. 9()-(f) re the results when using either m = or m =onstrints from the first light soure, n vrying numer of n onstrints from the seon light soure. In pnels ()-(), the m onstrints re from shing, n re omine with n shing onstrints; in pnels ()-(), the m onstrints re from shows, n re omine with n shing onstrints; n in pnels (e)-(f) the m onstrints re from shows, n re omine with n show onstrints. In generl, show onstrints re helpful for smll lighting errors, while the shing onstrints re slightly more effetive overll. For exmple, using m =show onstrints, pnel (), rther thn m =shing onstrints, pnel (), lighting errors elow egrees n e etete with slightly higher proility. In ontrst, using n =shing onstrints, pnels () n (), lighting inonsisteny of egrees n e etete with proility of %; using shows lone, pnel (e), this sme lighting inonsisteny is etetle with proility %. To summrize, the loliztion of light soure n the likelihoo of eteting lighting inonsisteny improves s more onstrints re e. Shing onstrints offer n vntge of equl or etter isrimintion ompre to show onstrints. In prt, this is euse the show onstrints onsist of oth st n tthe shows. While st shows n e highly seletive, tthe shows re less seletive. Nevertheless, it will generlly e vntgeous to s mny onstrints s possile to oth lolize the light soure n inrese the likelihoo of fining inonsistent shing or show. Comining onstrints from two istint types of imge informtion, shing n shows, lso offers the vntge tht forger hoping to voi etetion must now work to mke oth spets of the imge iniviully n mutully onsistent.. Rel worl Shown in the top left pnel of Fig. is n uthenti photo. This sene ws illuminte y single light soure lote ehin the mer n pproximtely m from the sene. Shown in the top right pnel re vriety of shing n show onstrints, n mgnifie views re shown eneth. Shing onstrints (lk ots) re ompute from segments long oluing ontours (outline in yellow). These inlue loth, ermi, n orgni mterils. Only the reverse onstrints re shown, orresponing to the se when the light is ehin the mer. These shing onstrints re physilly onsistent, s inite y their fesile region (outline in lk). Show onstrints re speifie y ientifying orresponenes etween shows n ojets (white squres). Note tht these onstrints my e speifie from show to ojet (lels,, e ), or from ojet to show (lels,, f ). As with the shing These 9 lights mth [Kee et l. ], ensuring tht the nlysis fithfully ompres the etetion proility to our prior show-se work. ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

11 Exposing Photo Mnipultion from Shing n Shows XXX : () shing + shing () show + shing (e) show + show proility (%) proility (%) () shing +N shing () shows +N shing (f) shows +N shows shing +N shing 9 lighting ifferene (egrees) shows +N shing 9 lighting ifferene (egrees) shows +N shows 9 lighting ifferene (egrees) Fig. 9. The effiy of omining shing n show onstrints is shown in terms of eteting forgery. Forgery is etete y omining m = {, } onstrints from first light soure, n n onstrints from seon light soure. Pnels ()-(), or shing onstrints re omine with n shing onstrints. Pnels ()-(), or show onstrints re omine with n shing onstrints. Pnels (e)-(f), or show onstrints re omine with n show onstrints. onstrints, only the reverse onstrints re shown. These show onstrints re physilly onsistent, s inite y their fesile region (outline in white). Beuse the iniviul fesile regions interset, the shing n show onstrints re mutully onsistent. This ommon intersetion of ll shing n show onstrints orretly suggests tht the lighting in this sene is onsistent with single light soure. Shown in the ottom left pnel of Fig. is omposite imge in whih three ojets (the sqush n the green n ornge shirts) hve een reple with versions photogrphe uner ifferent lighting. The sme set of shing n shows onstrints were use s in the originl version of this imge. As shown in the lower right pnel, however, the onstrints re no longer stisfile: the show onstrints lele n f hve ommon intersetion to the right, while the shing onstrints lele, 9, hve ommon intersetion to the left. For the uthenti photo in Fig., vile solution ws foun with fol length f =mm n imge enter =(, ). For the omposite photo, no omintion of fol length n imge enter yiels vile solution. Although the shing inonsistenies on the moifie ojets re iffiult to etet visully, our lgorithm proues rilly ifferent onstrints n esily ientifies the forgery. Shown in the top left pnel of Fig. is n uthenti photo of sene illuminte y the sun. Ojets tht proue istint, pointe, shows were ple in the sene to llow for preise loliztion of the light soure. Shown in the top right pnel re vriety of shing n show onstrints; only the reverse onstrints re shown. The ville shing onstrints re physilly onsistent, s inite y their fesile region outline in lk. The show onstrints re lso physilly onsistent s inite y their fesile region outline in white. Furthermore, the shing n show onstrints re mutully onsistent euse these two fesile regions interset. Shown in the ottom left pnel of Fig. is omposite imge in whih pink ll hs een e. The remining st shows were then moifie so s to e physilly onsistent with the inserte sphere. As seen in the lower right pnel, the shing onstrints re physilly onsistent. This is euse the pink ll ws photogrphe uner lighting tht ws similr to the originl sene. The show onstrints re lso physilly onsistent. Beuse these two fesile regions o not interset, however, the shing n show onstrints together re not mutully physilly onsistent. Shown in top left pnel of Fig. is n uthenti photo tht t first glne my pper unlikely. Segments of pproximtely on- Its uthentiity is orroorte y itionl photos on the soure wesite. ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month.

12 XXX : E. Kee, J. O Brien, H. Fri e f 9 e f 9 f 9 Imges opyright, Kee, OBrien, n Fri 9 Fig.. A omplete shing n show nlysis of n uthenti (top) n omposite (ottom) photo. Top: shing onstrints, enote y lk ots, re selete from vriety of oluing ontours eh outline in yellow. The outline lk region is the ommon intersetion of these onstrints, showing tht they re ll mutully onsistent. Show onstrints re enote y white squres. The outline white region is the ommon intersetion of these onstrints, showing tht the shows re mutully onsistent. Beuse the vile shing n show regions interset, the lighting in this photo is physilly onsistent. Bottom: in this omposite photo three ojets with ifferent lighting were inserte (the sqush n the green n ornge shirts). The five onstrints shown in the lower right re inonsistent, reveling this photo to e omposite. stnt refletne re selete long vriety of oluing ontours, lele. The outline lk region is the ommon intersetion of these onstrints. Show onstrints, lele h hve ommon intersetion outline in white. Beuse the vile ACM Trnstions on Grphis, Vol. VV, No. N, Artile XXX, Pulition te: Month. shing n show regions interset, the lighting in this photo is physilly onsistent. Shown in Fig. is nother photo tht my, t first glne, pper unlikely (there oes in ft exist putting green on the front lwn of

The art of Paperarchitecture (PA). MANUAL

The art of Paperarchitecture (PA). MANUAL The rt of Pperrhiteture (PA). MANUAL Introution Pperrhiteture (PA) is the rt of reting three-imensionl (3D) ojets out of plin piee of pper or ror. At first, esign is rwn (mnully or printe (using grphil

More information

Vectors Summary. Projection vector AC = ( Shortest distance from B to line A C D [OR = where m1. and m

Vectors Summary. Projection vector AC = ( Shortest distance from B to line A C D [OR = where m1. and m . Slr prout (ot prout): = osθ Vetors Summry Lws of ot prout: (i) = (ii) ( ) = = (iii) = (ngle etween two ientil vetors is egrees) (iv) = n re perpeniulr Applitions: (i) Projetion vetor: B Length of projetion

More information

1 Fractions from an advanced point of view

1 Fractions from an advanced point of view 1 Frtions from n vne point of view We re going to stuy frtions from the viewpoint of moern lger, or strt lger. Our gol is to evelop eeper unerstning of wht n men. One onsequene of our eeper unerstning

More information

Angles 2.1. Exercise 2.1... Find the size of the lettered angles. Give reasons for your answers. a) b) c) Example

Angles 2.1. Exercise 2.1... Find the size of the lettered angles. Give reasons for your answers. a) b) c) Example 2.1 Angles Reognise lternte n orresponing ngles Key wors prllel lternte orresponing vertilly opposite Rememer, prllel lines re stright lines whih never meet or ross. The rrows show tht the lines re prllel

More information

1. Definition, Basic concepts, Types 2. Addition and Subtraction of Matrices 3. Scalar Multiplication 4. Assignment and answer key 5.

1. Definition, Basic concepts, Types 2. Addition and Subtraction of Matrices 3. Scalar Multiplication 4. Assignment and answer key 5. . Definition, Bsi onepts, Types. Addition nd Sutrtion of Mtries. Slr Multiplition. Assignment nd nswer key. Mtrix Multiplition. Assignment nd nswer key. Determinnt x x (digonl, minors, properties) summry

More information

Maximum area of polygon

Maximum area of polygon Mimum re of polygon Suppose I give you n stiks. They might e of ifferent lengths, or the sme length, or some the sme s others, et. Now there re lots of polygons you n form with those stiks. Your jo is

More information

Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning

Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Fluent Merging: A Generl Tehnique to Improve Rehility Heuristis n Ftore Plnning Menkes vn en Briel Deprtment of Inustril Engineering Arizon Stte University Tempe AZ, 85287-8809 menkes@su.eu Suro Kmhmpti

More information

SECTION 7-2 Law of Cosines

SECTION 7-2 Law of Cosines 516 7 Additionl Topis in Trigonometry h d sin s () tn h h d 50. Surveying. The lyout in the figure t right is used to determine n inessile height h when seline d in plne perpendiulr to h n e estlished

More information

MATH PLACEMENT REVIEW GUIDE

MATH PLACEMENT REVIEW GUIDE MATH PLACEMENT REVIEW GUIDE This guie is intene s fous for your review efore tking the plement test. The questions presente here my not e on the plement test. Although si skills lultor is provie for your

More information

CHAPTER 31 CAPACITOR

CHAPTER 31 CAPACITOR . Given tht Numer of eletron HPTER PITOR Net hrge Q.6 9.6 7 The net potentil ifferene L..6 pitne v 7.6 8 F.. r 5 m. m 8.854 5.4 6.95 5 F... Let the rius of the is R re R D mm m 8.85 r r 8.85 4. 5 m.5 m

More information

On Equivalence Between Network Topologies

On Equivalence Between Network Topologies On Equivlene Between Network Topologies Tre Ho Deprtment of Eletril Engineering Cliforni Institute of Tehnolog tho@lteh.eu; Mihelle Effros Deprtments of Eletril Engineering Cliforni Institute of Tehnolog

More information

Interior and exterior angles add up to 180. Level 5 exterior angle

Interior and exterior angles add up to 180. Level 5 exterior angle 22 ngles n proof Ientify interior n exterior ngles in tringles n qurilterls lulte interior n exterior ngles of tringles n qurilterls Unerstn the ie of proof Reognise the ifferene etween onventions, efinitions

More information

Words Symbols Diagram. abcde. a + b + c + d + e

Words Symbols Diagram. abcde. a + b + c + d + e Logi Gtes nd Properties We will e using logil opertions to uild mhines tht n do rithmeti lultions. It s useful to think of these opertions s si omponents tht n e hooked together into omplex networks. To

More information

Word Wisdom Correlations to the Common Core State Standards, Grade 6

Word Wisdom Correlations to the Common Core State Standards, Grade 6 Reing Stnrs for Informtionl Text Key Ies n Detils 1 Cite textul eviene to support nlysis of wht the text sys expliitly s well s inferenes rwn from the text. 6, 7, 12, 13, 18, 19, 28, 29, 34, 35, 40, 41,

More information

Visualization of characteristics of the contact network between spheres in 3D assembly

Visualization of characteristics of the contact network between spheres in 3D assembly Int. Agrophys., 2013, 27, 275-281 oi: 10.2478/v10247-012-0095-6 INTERNATIONAL Agrophysis www.interntionl-grophysis.org Visuliztion of hrteristis of the ontt network etween spheres in 3D ssemly R. Koy³k*

More information

OxCORT v4 Quick Guide Revision Class Reports

OxCORT v4 Quick Guide Revision Class Reports OxCORT v4 Quik Guie Revision Clss Reports This quik guie is suitble for the following roles: Tutor This quik guie reltes to the following menu options: Crete Revision Clss Reports pg 1 Crete Revision Clss

More information

Forensic Engineering Techniques for VLSI CAD Tools

Forensic Engineering Techniques for VLSI CAD Tools Forensi Engineering Tehniques for VLSI CAD Tools Jennifer L. Wong, Drko Kirovski, Dvi Liu, Miorg Potkonjk UCLA Computer Siene Deprtment University of Cliforni, Los Angeles June 8, 2000 Computtionl Forensi

More information

Practice Test 2. a. 12 kn b. 17 kn c. 13 kn d. 5.0 kn e. 49 kn

Practice Test 2. a. 12 kn b. 17 kn c. 13 kn d. 5.0 kn e. 49 kn Prtie Test 2 1. A highwy urve hs rdius of 0.14 km nd is unnked. A r weighing 12 kn goes round the urve t speed of 24 m/s without slipping. Wht is the mgnitude of the horizontl fore of the rod on the r?

More information

Volumes by Cylindrical Shells: the Shell Method

Volumes by Cylindrical Shells: the Shell Method olumes Clinril Shells: the Shell Metho Another metho of fin the volumes of solis of revolution is the shell metho. It n usull fin volumes tht re otherwise iffiult to evlute using the Dis / Wsher metho.

More information

GENERAL OPERATING PRINCIPLES

GENERAL OPERATING PRINCIPLES KEYSECUREPC USER MANUAL N.B.: PRIOR TO READING THIS MANUAL, YOU ARE ADVISED TO READ THE FOLLOWING MANUAL: GENERAL OPERATING PRINCIPLES Der Customer, KeySeurePC is n innovtive prout tht uses ptente tehnology:

More information

On the Utilization of Spatial Structures for Cognitively Plausible and Efficient Reasoning

On the Utilization of Spatial Structures for Cognitively Plausible and Efficient Reasoning To pper in: Proeeings of the IEEE Interntionl Conferene on Systems, Mn, n Cyernetis. Chigo, 18-21 Otoer 1992. On the Utiliztion of Sptil Strutures for Cognitively Plusile n Effiient Resoning Christin Freks

More information

Calculating Principal Strains using a Rectangular Strain Gage Rosette

Calculating Principal Strains using a Rectangular Strain Gage Rosette Clulting Prinipl Strins using Retngulr Strin Gge Rosette Strin gge rosettes re used often in engineering prtie to determine strin sttes t speifi points on struture. Figure illustrtes three ommonly used

More information

Orthopoles and the Pappus Theorem

Orthopoles and the Pappus Theorem Forum Geometriorum Volume 4 (2004) 53 59. FORUM GEOM ISSN 1534-1178 Orthopoles n the Pppus Theorem tul Dixit n Drij Grinerg strt. If the verties of tringle re projete onto given line, the perpeniulrs from

More information

Reasoning to Solve Equations and Inequalities

Reasoning to Solve Equations and Inequalities Lesson4 Resoning to Solve Equtions nd Inequlities In erlier work in this unit, you modeled situtions with severl vriles nd equtions. For exmple, suppose you were given usiness plns for concert showing

More information

Further applications of area and volume

Further applications of area and volume 2 Further pplitions of re n volume 2A Are of prts of the irle 2B Are of omposite shpes 2C Simpson s rule 2D Surfe re of yliners n spheres 2E Volume of omposite solis 2F Error in mesurement Syllus referene

More information

Rotating DC Motors Part II

Rotating DC Motors Part II Rotting Motors rt II II.1 Motor Equivlent Circuit The next step in our consiertion of motors is to evelop n equivlent circuit which cn be use to better unerstn motor opertion. The rmtures in rel motors

More information

Lesson 2.1 Inductive Reasoning

Lesson 2.1 Inductive Reasoning Lesson.1 Inutive Resoning Nme Perio Dte For Eerises 1 7, use inutive resoning to fin the net two terms in eh sequene. 1. 4, 8, 1, 16,,. 400, 00, 100, 0,,,. 1 8, 7, 1, 4,, 4.,,, 1, 1, 0,,. 60, 180, 10,

More information

DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model

DiaGen: A Generator for Diagram Editors Based on a Hypergraph Model DiGen: A Genertor for Digrm Eitors Bse on Hypergrph Moel G. Viehstet M. Mins Lehrstuhl für Progrmmiersprhen Universität Erlngen-Nürnerg Mrtensstr. 3, 91058 Erlngen, Germny Emil: fviehste,minsg@informtik.uni-erlngen.e

More information

Radius of the Earth - Radii Used in Geodesy James R. Clynch Naval Postgraduate School, 2002

Radius of the Earth - Radii Used in Geodesy James R. Clynch Naval Postgraduate School, 2002 dius of the Erth - dii Used in Geodesy Jmes. Clynh vl Postgrdute Shool, 00 I. Three dii of Erth nd Their Use There re three rdii tht ome into use in geodesy. These re funtion of ltitude in the ellipsoidl

More information

1.2 The Integers and Rational Numbers

1.2 The Integers and Rational Numbers .2. THE INTEGERS AND RATIONAL NUMBERS.2 The Integers n Rtionl Numers The elements of the set of integers: consist of three types of numers: Z {..., 5, 4, 3, 2,, 0,, 2, 3, 4, 5,...} I. The (positive) nturl

More information

A.7.1 Trigonometric interpretation of dot product... 324. A.7.2 Geometric interpretation of dot product... 324

A.7.1 Trigonometric interpretation of dot product... 324. A.7.2 Geometric interpretation of dot product... 324 A P P E N D I X A Vectors CONTENTS A.1 Scling vector................................................ 321 A.2 Unit or Direction vectors...................................... 321 A.3 Vector ddition.................................................

More information

Chapter. Contents: A Constructing decimal numbers

Chapter. Contents: A Constructing decimal numbers Chpter 9 Deimls Contents: A Construting deiml numers B Representing deiml numers C Deiml urreny D Using numer line E Ordering deimls F Rounding deiml numers G Converting deimls to frtions H Converting

More information

The remaining two sides of the right triangle are called the legs of the right triangle.

The remaining two sides of the right triangle are called the legs of the right triangle. 10 MODULE 6. RADICAL EXPRESSIONS 6 Pythgoren Theorem The Pythgoren Theorem An ngle tht mesures 90 degrees is lled right ngle. If one of the ngles of tringle is right ngle, then the tringle is lled right

More information

Computing the 3D Voronoi Diagram Robustly: An Easy Explanation

Computing the 3D Voronoi Diagram Robustly: An Easy Explanation Computing the 3D Voronoi Digrm Roustly: An Esy Explntion Hugo Leoux Delft University of Tehnology (OTB setion GIS Tehnology) Jffln 9, 2628BX Delft, the Netherlns h.leoux@tuelft.nl Astrt Mny lgorithms exist

More information

Pentominoes. Pentominoes. Bruce Baguley Cascade Math Systems, LLC. The pentominoes are a simple-looking set of objects through which some powerful

Pentominoes. Pentominoes. Bruce Baguley Cascade Math Systems, LLC. The pentominoes are a simple-looking set of objects through which some powerful Pentominoes Bruce Bguley Cscde Mth Systems, LLC Astrct. Pentominoes nd their reltives the polyominoes, polycues, nd polyhypercues will e used to explore nd pply vrious importnt mthemticl concepts. In this

More information

EQUATIONS OF LINES AND PLANES

EQUATIONS OF LINES AND PLANES EQUATIONS OF LINES AND PLANES MATH 195, SECTION 59 (VIPUL NAIK) Corresponding mteril in the ook: Section 12.5. Wht students should definitely get: Prmetric eqution of line given in point-direction nd twopoint

More information

H SERIES. Area and Perimeter. Curriculum Ready. www.mathletics.com

H SERIES. Area and Perimeter. Curriculum Ready. www.mathletics.com Are n Perimeter Curriulum Rey www.mthletis.om Copyright 00 3P Lerning. All rights reserve. First eition printe 00 in Austrli. A tlogue reor for this ook is ville from 3P Lerning Lt. ISBN 78--86-30-7 Ownership

More information

Ratio and Proportion

Ratio and Proportion Rtio nd Proportion Rtio: The onept of rtio ours frequently nd in wide vriety of wys For exmple: A newspper reports tht the rtio of Repulins to Demorts on ertin Congressionl ommittee is 3 to The student/fulty

More information

Boğaziçi University Department of Economics Spring 2016 EC 102 PRINCIPLES of MACROECONOMICS Problem Set 5 Answer Key

Boğaziçi University Department of Economics Spring 2016 EC 102 PRINCIPLES of MACROECONOMICS Problem Set 5 Answer Key Boğziçi University Deprtment of Eonomis Spring 2016 EC 102 PRINCIPLES of MACROECONOMICS Prolem Set 5 Answer Key 1. One yer ountry hs negtive net exports. The next yer it still hs negtive net exports n

More information

Section 5-4 Trigonometric Functions

Section 5-4 Trigonometric Functions 5- Trigonometric Functions Section 5- Trigonometric Functions Definition of the Trigonometric Functions Clcultor Evlution of Trigonometric Functions Definition of the Trigonometric Functions Alternte Form

More information

Formal concept analysis-based class hierarchy design in object-oriented software development

Formal concept analysis-based class hierarchy design in object-oriented software development Forml onept nlysis-se lss hierrhy esign in ojet-oriente softwre evelopment Roert Goin 1, Petko Vlthev 2 1 Déprtement informtique, UQAM, C.P. 8888, su. Centre Ville, Montrél (Q), Cn, H3C 3P8 2 DIRO, Université

More information

UNCORRECTED SAMPLE PAGES

UNCORRECTED SAMPLE PAGES 6 Chpter Length, re, surfe re n volume Wht you will lern 6A Length n perimeter 6B Cirumferene of irles n perimeter of setors 6C Are of qurilterls n tringles 6D Are of irles 6E Perimeter n re of omposite

More information

SOLVING EQUATIONS BY FACTORING

SOLVING EQUATIONS BY FACTORING 316 (5-60) Chpter 5 Exponents nd Polynomils 5.9 SOLVING EQUATIONS BY FACTORING In this setion The Zero Ftor Property Applitions helpful hint Note tht the zero ftor property is our seond exmple of getting

More information

Lesson 1: Getting started

Lesson 1: Getting started Answer key 0 Lesson 1: Getting strte 1 List the three min wys you enter t in QuikBooks. Forms, lists, registers 2 List three wys to ess fetures in QuikBooks. Menu r, Ion Br, Centers, Home pge 3 Wht ookkeeping

More information

Bayesian Updating with Continuous Priors Class 13, 18.05, Spring 2014 Jeremy Orloff and Jonathan Bloom

Bayesian Updating with Continuous Priors Class 13, 18.05, Spring 2014 Jeremy Orloff and Jonathan Bloom Byesin Updting with Continuous Priors Clss 3, 8.05, Spring 04 Jeremy Orloff nd Jonthn Bloom Lerning Gols. Understnd prmeterized fmily of distriutions s representing continuous rnge of hypotheses for the

More information

MODAL VARIATIONS WITHIN GRANITIC OUTCROPS D. O. EruBnsoN, Department of Geology, Uni'ttersity of C alif ornia, Dattis, C ali'f orni,a'

MODAL VARIATIONS WITHIN GRANITIC OUTCROPS D. O. EruBnsoN, Department of Geology, Uni'ttersity of C alif ornia, Dattis, C ali'f orni,a' THE AMERICAN MINERALOGIST, VOL. 49, SEPTEMBER-OCTOBER' 1964 MODAL VARIATIONS WITHIN GRANITIC OUTCROPS D. O. EruBnsoN, Deprtment of Geology, Uni'ttersity of C lif orni, Dttis, C li'f orni,' Aestnr The soure

More information

c b 5.00 10 5 N/m 2 (0.120 m 3 0.200 m 3 ), = 4.00 10 4 J. W total = W a b + W b c 2.00

c b 5.00 10 5 N/m 2 (0.120 m 3 0.200 m 3 ), = 4.00 10 4 J. W total = W a b + W b c 2.00 Chter 19, exmle rolems: (19.06) A gs undergoes two roesses. First: onstnt volume @ 0.200 m 3, isohori. Pressure inreses from 2.00 10 5 P to 5.00 10 5 P. Seond: Constnt ressure @ 5.00 10 5 P, isori. olume

More information

Revised products from the Medicare Learning Network (MLN) ICD-10-CM/PCS Myths and Facts, Fact Sheet, ICN 902143, downloadable.

Revised products from the Medicare Learning Network (MLN) ICD-10-CM/PCS Myths and Facts, Fact Sheet, ICN 902143, downloadable. DEPARTMENT OF HEALTH AND HUMAN SERVICES Centers for Meire & Meii Servies Revise prouts from the Meire Lerning Network (MLN) ICD-10-CM/PCS Myths n Fts, Ft Sheet, ICN 902143, ownlole. MLN Mtters Numer: SE1325

More information

2. Use of Internet attacks in terrorist activities is termed as a. Internet-attack b. National attack c. Cyberterrorism d.

2. Use of Internet attacks in terrorist activities is termed as a. Internet-attack b. National attack c. Cyberterrorism d. Moule2.txt 1. Choose the right ourse of tion one you feel your mil ount is ompromise?. Delete the ount b. Logout n never open gin. Do nothing, sine no importnt messge is there. Chnge psswor immeitely n

More information

Unit 5 Section 1. Mortgage Payment Methods & Products (20%)

Unit 5 Section 1. Mortgage Payment Methods & Products (20%) Unit 5 Setion 1 Mortgge Pyment Methos & Prouts (20%) There re tully only 2 mortgge repyment methos ville CAPITAL REPAYMENT n INTEREST ONLY. Cpitl Repyment Mortgge Also lle Cpitl & Interest mortgge or repyment

More information

JCM TRAINING OVERVIEW Multi-Download Module 2

JCM TRAINING OVERVIEW Multi-Download Module 2 Multi-Downlo Moule 2 JCM Trining Overview Mrh, 2012 Mrh, 2012 CLOSING THE MDM2 APPLICATION To lose the MDM2 Applition proee s follows: 1. Mouse-lik on the 'File' pullown Menu (See Figure 35 ) on the MDM2

More information

- DAY 1 - Website Design and Project Planning

- DAY 1 - Website Design and Project Planning Wesite Design nd Projet Plnning Ojetive This module provides n overview of the onepts of wesite design nd liner workflow for produing wesite. Prtiipnts will outline the sope of wesite projet, inluding

More information

Experiment 6: Friction

Experiment 6: Friction Experiment 6: Friction In previous lbs we studied Newton s lws in n idel setting, tht is, one where friction nd ir resistnce were ignored. However, from our everydy experience with motion, we know tht

More information

Return of Organization Exempt From Income Tax

Return of Organization Exempt From Income Tax PUBLIC DISCLOSURE COPY Form 99 Return of Orgniztion Exempt From Inome Tx Uner setion 51, 527, or 4947(1) of the Internl Revenue Coe (exept privte fountions) OMB 1545-47 Do not enter Soil Seurity numers

More information

Equivalence Checking. Sean Weaver

Equivalence Checking. Sean Weaver Equivlene Cheking Sen Wever Equivlene Cheking Given two Boolen funtions, prove whether or not two they re funtionlly equivlent This tlk fouses speifilly on the mehnis of heking the equivlene of pirs of

More information

S-Scrum: a Secure Methodology for Agile Development of Web Services

S-Scrum: a Secure Methodology for Agile Development of Web Services Worl of Computer Siene n Informtion Tehnology Journl (WCSIT) ISSN: 2221-0741 Vol. 3, No. 1, 15-19, 2013 S-Srum: Seure Methoology for Agile Development of We Servies Dvou Mougouei, Nor Fzli Moh Sni, Mohmm

More information

Graphs on Logarithmic and Semilogarithmic Paper

Graphs on Logarithmic and Semilogarithmic Paper 0CH_PHClter_TMSETE_ 3//00 :3 PM Pge Grphs on Logrithmic nd Semilogrithmic Pper OBJECTIVES When ou hve completed this chpter, ou should be ble to: Mke grphs on logrithmic nd semilogrithmic pper. Grph empiricl

More information

Review. Scan Conversion. Rasterizing Polygons. Rasterizing Polygons. Triangularization. Convex Shapes. Utah School of Computing Spring 2013

Review. Scan Conversion. Rasterizing Polygons. Rasterizing Polygons. Triangularization. Convex Shapes. Utah School of Computing Spring 2013 Uth Shool of Computing Spring 2013 Review Leture Set 4 Sn Conversion CS5600 Computer Grphis Spring 2013 Line rsteriztion Bsi Inrementl Algorithm Digitl Differentil Anlzer Rther thn solve line eqution t

More information

Learn to Recognize Sptil Structure Through Compre Recognition

Learn to Recognize Sptil Structure Through Compre Recognition Stroke-Bse Performnce Metrics for Hnwritten Mthemticl Expressions Richr Znii rlz@cs.rit.eu Amit Pilly p2731@rit.eu eprtment of Computer Science Rochester Institute of Technology, NY, SA Hrol Mouchère hrol.mouchere@univ-nntes.fr

More information

Seeking Equilibrium: Demand and Supply

Seeking Equilibrium: Demand and Supply SECTION 1 Seeking Equilirium: Demnd nd Supply OBJECTIVES KEY TERMS TAKING NOTES In Setion 1, you will explore mrket equilirium nd see how it is rehed explin how demnd nd supply intert to determine equilirium

More information

4.11 Inner Product Spaces

4.11 Inner Product Spaces 314 CHAPTER 4 Vector Spces 9. A mtrix of the form 0 0 b c 0 d 0 0 e 0 f g 0 h 0 cnnot be invertible. 10. A mtrix of the form bc d e f ghi such tht e bd = 0 cnnot be invertible. 4.11 Inner Product Spces

More information

UNIVERSITY AND WORK-STUDY EMPLOYERS WEBSITE USER S GUIDE

UNIVERSITY AND WORK-STUDY EMPLOYERS WEBSITE USER S GUIDE UNIVERSITY AND WORK-STUDY EMPLOYERS WEBSITE USER S GUIDE Tble of Contents 1 Home Pge 1 2 Pge 2 3 Your Control Pnel 3 4 Add New Job (Three-Step Form) 4-6 5 Mnging Job Postings (Mnge Job Pge) 7-8 6 Additionl

More information

OUTLINE SYSTEM-ON-CHIP DESIGN. GETTING STARTED WITH VHDL August 31, 2015 GAJSKI S Y-CHART (1983) TOP-DOWN DESIGN (1)

OUTLINE SYSTEM-ON-CHIP DESIGN. GETTING STARTED WITH VHDL August 31, 2015 GAJSKI S Y-CHART (1983) TOP-DOWN DESIGN (1) August 31, 2015 GETTING STARTED WITH VHDL 2 Top-down design VHDL history Min elements of VHDL Entities nd rhitetures Signls nd proesses Dt types Configurtions Simultor sis The testenh onept OUTLINE 3 GAJSKI

More information

Vectors 2. 1. Recap of vectors

Vectors 2. 1. Recap of vectors Vectors 2. Recp of vectors Vectors re directed line segments - they cn be represented in component form or by direction nd mgnitude. We cn use trigonometry nd Pythgors theorem to switch between the forms

More information

Lecture 3: orientation. Computer Animation

Lecture 3: orientation. Computer Animation Leture 3: orienttion Computer Animtion Mop tutoril sessions Next Thursdy (Feb ) Tem distribution: : - :3 - Tems 7, 8, 9 :3 - : - Tems nd : - :3 - Tems 5 nd 6 :3 - : - Tems 3 nd 4 Pper ssignments Pper ssignment

More information

FAULT TREES AND RELIABILITY BLOCK DIAGRAMS. Harry G. Kwatny. Department of Mechanical Engineering & Mechanics Drexel University

FAULT TREES AND RELIABILITY BLOCK DIAGRAMS. Harry G. Kwatny. Department of Mechanical Engineering & Mechanics Drexel University SYSTEM FAULT AND Hrry G. Kwtny Deprtment of Mechnicl Engineering & Mechnics Drexel University OUTLINE SYSTEM RBD Definition RBDs nd Fult Trees System Structure Structure Functions Pths nd Cutsets Reliility

More information

1 GSW IPv4 Addressing

1 GSW IPv4 Addressing 1 For s long s I ve een working with the Internet protools, people hve een sying tht IPv6 will e repling IPv4 in ouple of yers time. While this remins true, it s worth knowing out IPv4 ddresses. Even when

More information

A sufficient statistic approach to disability insurance with application to the United States Social Security Disability Insurance program

A sufficient statistic approach to disability insurance with application to the United States Social Security Disability Insurance program Insurne Mrkets n Compnies: Anlyses n Aturil Computtions, Volume, Issue, 202 Henry R. Hytt (USA) A suffiient sttisti pproh to isility insurne with pplition to the Unite Sttes Soil Seurity Disility Insurne

More information

WHAT HAPPENS WHEN YOU MIX COMPLEX NUMBERS WITH PRIME NUMBERS?

WHAT HAPPENS WHEN YOU MIX COMPLEX NUMBERS WITH PRIME NUMBERS? WHAT HAPPES WHE YOU MIX COMPLEX UMBERS WITH PRIME UMBERS? There s n ol syng, you n t pples n ornges. Mthemtns hte n t; they love to throw pples n ornges nto foo proessor n see wht hppens. Sometmes they

More information

European Convention on Products Liability in regard to Personal Injury and Death

European Convention on Products Liability in regard to Personal Injury and Death Europen Trety Series - No. 91 Europen Convention on Produts Liility in regrd to Personl Injury nd Deth Strsourg, 27.I.1977 The memer Sttes of the Counil of Europe, signtory hereto, Considering tht the

More information

Return of Organization Exempt From Income Tax

Return of Organization Exempt From Income Tax Form 990 Deprtment of the Tresury Internl Revenue Servie Return of Orgniztion Exempt From Inome Tx Uner setion 501(), 527, or 4947()(1) of the Interni Revenue Coe (exept lk lung enefit trust or privte

More information

Overview of IEEE Standard 91-1984

Overview of IEEE Standard 91-1984 Overview of IEEE tnr 9-984 Explntion of Logi ymols emionutor Group DYZA IMPOTANT NOTICE Texs Instruments (TI) reserves the right to mke hnges to its prouts or to isontinue ny semionutor prout or servie

More information

Corrigendum-II Dated:19.05.2011

Corrigendum-II Dated:19.05.2011 10(21)/2010-NICSI NATIONAL INFORMATICS CENTRE SERVICES In. (NICSI) (A Government of Ini Enterprise uner NIC) Ministry of Communition & Informtion Tehnology Hll 2 & 3, 6 th Floor, NBCC Tower 15, Bhikiji

More information

Application Note Configuring Integrated Windows Authentication as a McAfee Firewall Enterprise Authenticator. Firewall Enterprise

Application Note Configuring Integrated Windows Authentication as a McAfee Firewall Enterprise Authenticator. Firewall Enterprise Applition Note Configuring Integrte Winows Authentition s MAfee Firewll Enterprise Authentitor MAfee version 7.x n 8.x Firewll Enterprise Use this Applition Note to implement trnsprent rowser uthentition

More information

addition, there are double entries for the symbols used to signify different parameters. These parameters are explained in this appendix.

addition, there are double entries for the symbols used to signify different parameters. These parameters are explained in this appendix. APPENDIX A: The ellipse August 15, 1997 Becuse of its importnce in both pproximting the erth s shpe nd describing stellite orbits, n informl discussion of the ellipse is presented in this ppendix. The

More information

If two triangles are perspective from a point, then they are also perspective from a line.

If two triangles are perspective from a point, then they are also perspective from a line. Mth 487 hter 4 Prtie Prolem Solutions 1. Give the definition of eh of the following terms: () omlete qudrngle omlete qudrngle is set of four oints, no three of whih re olliner, nd the six lines inident

More information

COMPONENTS: COMBINED LOADING

COMPONENTS: COMBINED LOADING LECTURE COMPONENTS: COMBINED LOADING Third Edition A. J. Clrk School of Engineering Deprtment of Civil nd Environmentl Engineering 24 Chpter 8.4 by Dr. Ibrhim A. Asskkf SPRING 2003 ENES 220 Mechnics of

More information

A System Context-Aware Approach for Battery Lifetime Prediction in Smart Phones

A System Context-Aware Approach for Battery Lifetime Prediction in Smart Phones A System Context-Awre Approh for Bttery Lifetime Predition in Smrt Phones Xi Zho, Yo Guo, Qing Feng, nd Xingqun Chen Key Lbortory of High Confidene Softwre Tehnologies (Ministry of Edution) Shool of Eletronis

More information

LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES

LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES DAVID WEBB CONTENTS Liner trnsformtions 2 The representing mtrix of liner trnsformtion 3 3 An ppliction: reflections in the plne 6 4 The lgebr of

More information

control policies to be declared over by associating security

control policies to be declared over by associating security Seure XML Querying with Seurity Views Wenfei Fn University of Edinurgh & Bell Lortories wenfei@infeduk Chee-Yong Chn Ntionl University of Singpore hny@ompnusedusg Minos Groflkis Bell Lortories minos@reserhell-lsom

More information

McAfee Network Security Platform

McAfee Network Security Platform XC-240 Lod Blner Appline Quik Strt Guide Revision D MAfee Network Seurity Pltform This quik strt guide explins how to quikly set up nd tivte your MAfee Network Seurity Pltform XC-240 Lod Blner. The SFP+

More information

Appendix D: Completing the Square and the Quadratic Formula. In Appendix A, two special cases of expanding brackets were considered:

Appendix D: Completing the Square and the Quadratic Formula. In Appendix A, two special cases of expanding brackets were considered: Appendi D: Completing the Squre nd the Qudrtic Formul Fctoring qudrtic epressions such s: + 6 + 8 ws one of the topics introduced in Appendi C. Fctoring qudrtic epressions is useful skill tht cn help you

More information

Use Geometry Expressions to create a more complex locus of points. Find evidence for equivalence using Geometry Expressions.

Use Geometry Expressions to create a more complex locus of points. Find evidence for equivalence using Geometry Expressions. Lerning Objectives Loci nd Conics Lesson 3: The Ellipse Level: Preclculus Time required: 120 minutes In this lesson, students will generlize their knowledge of the circle to the ellipse. The prmetric nd

More information

Theoretical and Computational Properties of Preference-based Argumentation

Theoretical and Computational Properties of Preference-based Argumentation Theoretil nd Computtionl Properties of Preferene-sed Argumenttion Ynnis Dimopoulos 1 nd Pvlos Moritis 2 nd Leil Amgoud 3 Astrt. During the lst yers, rgumenttion hs een gining inresing interest in modeling

More information

Or more simply put, when adding or subtracting quantities, their uncertainties add.

Or more simply put, when adding or subtracting quantities, their uncertainties add. Propgtion of Uncertint through Mthemticl Opertions Since the untit of interest in n eperiment is rrel otined mesuring tht untit directl, we must understnd how error propgtes when mthemticl opertions re

More information

Hydromagnetic Unsteady Mixed Convection Flow Past an Infinite Vertical Porous Plate

Hydromagnetic Unsteady Mixed Convection Flow Past an Infinite Vertical Porous Plate pplie Mthemtis. ; (): 39-45 DO:.593/j.m..5 Hyromgneti Unstey Mixe Convetion Flo Pst n nfinite ertil Porous Plte B.. Shrm T. Chn R. C. Chuhry Deprtment of Mthemtis Birl nstitute of Tehnology & Siene Pilni

More information

Module 5. Three-phase AC Circuits. Version 2 EE IIT, Kharagpur

Module 5. Three-phase AC Circuits. Version 2 EE IIT, Kharagpur Module 5 Three-hse A iruits Version EE IIT, Khrgur esson 8 Three-hse Blned Suly Version EE IIT, Khrgur In the module, ontining six lessons (-7), the study of iruits, onsisting of the liner elements resistne,

More information

Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning

Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning Cluse Trees: Tool for Understnding nd Implementing Resolution in Automted Resoning J. D. Horton nd Brue Spener University of New Brunswik, Frederiton, New Brunswik, Cnd E3B 5A3 emil : jdh@un. nd spener@un.

More information

Technical Appendix: Multi-Product Firms and Trade Liberalization (Not For Publication)

Technical Appendix: Multi-Product Firms and Trade Liberalization (Not For Publication) Technicl Appenix: Multi-Prouct Firms n Tre Liberlition (Not For Publiction) Anrew B. Bernr Tuck School of Business t Drtmouth, CEPR & NBER Stephen J. Reing Princeton University & CEPR Peter K. Schott Yle

More information

THE LONGITUDINAL FIELD IN THE GTEM 1750 AND THE NATURE OF THE TERMINATION.

THE LONGITUDINAL FIELD IN THE GTEM 1750 AND THE NATURE OF THE TERMINATION. THE LONGITUDINAL FIELD IN THE GTEM 175 AND THE NATURE OF THE TERMINATION. Benjmin Guy Loder Ntionl Physil Lbortory, Queens Rod, Teddington, Middlesex, Englnd. TW11 LW Mrtin Alexnder Ntionl Physil Lbortory,

More information

Polynomial Functions. Polynomial functions in one variable can be written in expanded form as ( )

Polynomial Functions. Polynomial functions in one variable can be written in expanded form as ( ) Polynomil Functions Polynomil functions in one vrible cn be written in expnded form s n n 1 n 2 2 f x = x + x + x + + x + x+ n n 1 n 2 2 1 0 Exmples of polynomils in expnded form re nd 3 8 7 4 = 5 4 +

More information

PROBLEMS 13 - APPLICATIONS OF DERIVATIVES Page 1

PROBLEMS 13 - APPLICATIONS OF DERIVATIVES Page 1 PROBLEMS - APPLICATIONS OF DERIVATIVES Pge ( ) Wter seeps out of conicl filter t the constnt rte of 5 cc / sec. When the height of wter level in the cone is 5 cm, find the rte t which the height decreses.

More information

INSTALLATION, OPERATION & MAINTENANCE

INSTALLATION, OPERATION & MAINTENANCE DIESEL PROTECTION SYSTEMS Exhust Temperture Vlves (Mehnil) INSTALLATION, OPERATION & MAINTENANCE Vlve Numer TSZ-135 TSZ-150 TSZ-200 TSZ-275 TSZ-392 DESCRIPTION Non-eletril temperture vlves mnuftured in

More information

DATABASDESIGN FÖR INGENJÖRER - 1056F

DATABASDESIGN FÖR INGENJÖRER - 1056F DATABASDESIGN FÖR INGENJÖRER - 06F Sommr 00 En introuktionskurs i tssystem http://user.it.uu.se/~ul/t-sommr0/ lt. http://www.it.uu.se/eu/course/homepge/esign/st0/ Kjell Orsorn (Rusln Fomkin) Uppsl Dtse

More information

50 MATHCOUNTS LECTURES (10) RATIOS, RATES, AND PROPORTIONS

50 MATHCOUNTS LECTURES (10) RATIOS, RATES, AND PROPORTIONS 0 MATHCOUNTS LECTURES (0) RATIOS, RATES, AND PROPORTIONS BASIC KNOWLEDGE () RATIOS: Rtios re use to ompre two or more numers For n two numers n ( 0), the rtio is written s : = / Emple : If 4 stuents in

More information

Arc-Consistency for Non-Binary Dynamic CSPs

Arc-Consistency for Non-Binary Dynamic CSPs Ar-Consisteny for Non-Binry Dynmi CSPs Christin Bessière LIRMM (UMR C 9928 CNRS / Université Montpellier II) 860, rue de Sint Priest 34090 Montpellier, Frne Emil: essiere@rim.fr Astrt. Constrint stisftion

More information

National Firefighter Ability Tests And the National Firefighter Questionnaire

National Firefighter Ability Tests And the National Firefighter Questionnaire Ntionl Firefighter Aility Tests An the Ntionl Firefighter Questionnire PREPARATION AND PRACTICE BOOKLET Setion One: Introution There re three tests n questionnire tht mke up the NFA Tests session, these

More information

SOLVING QUADRATIC EQUATIONS BY FACTORING

SOLVING QUADRATIC EQUATIONS BY FACTORING 6.6 Solving Qudrti Equtions y Ftoring (6 31) 307 In this setion The Zero Ftor Property Applitions 6.6 SOLVING QUADRATIC EQUATIONS BY FACTORING The tehniques of ftoring n e used to solve equtions involving

More information

Physics 43 Homework Set 9 Chapter 40 Key

Physics 43 Homework Set 9 Chapter 40 Key Physics 43 Homework Set 9 Chpter 4 Key. The wve function for n electron tht is confined to x nm is. Find the normliztion constnt. b. Wht is the probbility of finding the electron in. nm-wide region t x

More information

Student Access to Virtual Desktops from personally owned Windows computers

Student Access to Virtual Desktops from personally owned Windows computers Student Aess to Virtul Desktops from personlly owned Windows omputers Mdison College is plesed to nnoune the ility for students to ess nd use virtul desktops, vi Mdison College wireless, from personlly

More information