Stroke-Based Performance Metrics for Handwritten Mathematical Expressions
|
|
- Candice Morrison
- 6 years ago
- Views:
Transcription
1 2011 Interntionl Conference on ocument Anlysis n 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 Christin Vir-Guin christin.vir-guin@univ-nntes.fr LNAM, niversité e Nntes IRCCyN, Frnce orothe Blostein lostein@cs.queensu.c School of Computing, Queen s niversity, Cn Astrct Evluting mthemticl expression recognition involves complex interction of input primitives (e.g. pen/finger strokes), recognize symols, n recognize sptil structure. Existing performnce metrics simplify this prolem y seprting the ssessment of sptil structure from the ssessment of symol segmenttion n clssifiction. These metrics o not chrcterize the overll ccurcy of pense mthemtics recognition, mking it ifficult to compre mth recognition lgorithms, n preventing the use of mchine lerning lgorithms requiring criterion function chrcterizing overll system performnce. To ress this prolem, we introuce performnce metrics tht rige the gp from hnwritten strokes to sptil structure. Our metrics re compute using iprtite grphs tht represent clssifiction, segmenttion n sptil structure t the stroke level. Overll correctness of n expression is mesure y counting the numer of relelings of noes n eges neee to mke the iprtite grph for recognition result mtch the iprtite grph for groun truth. This metric my lso e use with other primitive types (e.g. imge pixels). Keywors-Performnce Evlution; Mth Recognition; Hnwriting Recognition; Grphics Recognition I. INTROCTION Evluting the performnce of ocument nlysis systems is n importnt n ifficult prolem. As recently summrize y Silv [1], much of the ifficulty stems from iversity in gols, input types, input omins, concepts, output grnulrity, evlution moments, n evlution metrics. Our work focuses on ressing performnce evlution issues tht rise ue to iversity in grnulrity. Performnce metrics re simpler to efine for computtions in which input n output items hve similr grnulrity. In the cse of mth recognition, the grnulrity iffers mrkely, with sptil rrngement of strokes or symols s input, n hierrchicl lyout escription (e.g. L A TEX, see Figure 1) n/or representtion of mening (e.g. Content MthML, OpenMth) s output. There is nee for stnr metrics tht permit meningful comprison of mth recognition results [2], [3], oth for compring systems, n for use with mchine lerning lgorithms tht optimize system performnce. Our primry contriution is iprtite grph-se representtion of expression structure t the level of primitives (e.g. strokes), tht cptures errors in oth recognize symols n lyout. We were motivte to use representtion t the primitive rther thn symol level, ecuse the istinction etween symol segmenttion n structure recognition is sometimes lurre. For exmple, the configurtion = cn e viewe either s single symol consisting of two sptilly seprte strokes, or s two symols (short horizontl lines) with one top nother. We consier isolte expressions in this pper, ut our metho my e pte in stright-forwr mnner for multiple expressions, flowchrts, tles, n even imges using pixel regions such s connecte components or imge ptches. The secon contriution of the pper is set of new error metrics se in our iprtite representtion. This inclues metrics tht chrcterize overll recognition ccurcy, proviing criterion function for expressions, se on strokes s primitives; existing criterion functions use symols s primitives, s iscusse in Section II. We ssume tht it is possile to efine groun truth interprettion for given set of strokes. This exclues unersegmente strokes, in which single stroke is use to prouce two items tht must e represente seprtely in \frc{}{ˆ} ) Input ) L A TEX c) Symol Lyout Tree (: up, : own, S: superscript) Figure 1. Hnwritten Expression Contining Five Strokes n Four Symols. A LATEX string () or equivlent Symol Lyout Tree (c) my e use to represent symol rrngement /11 $ IEEE OI /ICAR
2 the groun truth interprettion (e.g. for cursive x written using single stroke, ut contining two symols). For etile performnce nlysis, ifferent metrics re neee to chrcterize ccurcy for specific tsks: segmenttion, clssifiction, n prsing. However, in some situtions single vlue chrcterizing performnce is neee, such s when using mchine lerning lgorithms to optimize system performnce s whole. Thus, in this pper, we iscuss severl component metrics (section IV) n lso iscuss methos of comining these into single overll estimte of performnce (Section V). II. PREVIOS WORK IN EVALATING MATH RECOGNITION Mthemticl expression recognition is n ctive reserch fiel, oth for on-line n off-line t [4], [5], [6], Grounthruthe tset re now ville (e.g. [7] (off-line) n [8] (online)). As pointe out y oth Lpointe n Blostein [2] n Awl et l. [3], the mth recognition omin now nees stnr evlution metrics to support comprisons of existing n newly evelope systems. Most existing pproches to evluting mth recognition compute istnce etween the recognize expression n the groun truth, ccoring to ifferent spects. The expression recognition rte is common, ut glol n reltively uninformtive, s it counts only expressions tht precisely mtch groun truth. Symol recognition rte oes not consier symol lyout; Bseline recognition checks only if symols pper on the correct seline reltive to symol. Some metrics, such s the verge performnce inex [9] weight errors epening on the epth of nesting for selines in n expression. A ifficulty in efining n ccurcy metric for symol lyout in mth, is tht the tree-se representtion neee to represent symol lyout is unsuitle for use with clssicl metrics use for text recognition, such s the Levenstein eit istnce. One solution is to use tree-eit istnce, ut this is not use in prctice, ecuse of the NP complexity of the existing lgorithms to mtch oth tree eges n noes. An interesting solution y Grin et l. [10] proposes to trnsform the tree into token string which llows one to use eit istnce. The rwck of this pproch is tht it looses some of the eit opertions offere y tree eits (like swpping chilren of noe), leing them to incur high cost in the string-se representtion. Our min contriution is iprtite grph representtion of expression structure t the level of strokes, from which metrics se on Hmming istnces my e simply efine, with n intuitive interprettion. Given set of input primitives for test expression, our representtion prevents the nee to mtch iniviul strokes, so tht only stroke lels n lyout reltionships etween strokes nee to e mtche, s escrie in the next section. III. EXPRESSION REPRESENTATION In our pproch, the recognizer output n groun truth interprettions must first e converte into iprtite grphs. This is illustrte in Figures 2 n 3. The iprtite representtion is shown in Figure 3), where the noes of the grph represent ech stroke in the expression twice: s n unlele input stroke (t left), n with n ssigne symol lel n etecte reltionships (t right, with sptil reltionships shown s incoming eges). Note tht there re N(N 1) eges in this grph, where N is the numer of strokes, n we omit eges from strokes to themselves. For legiility, eges representing no reltionship re not rwn. This iprtite grph is constructe from symol lyout tree: strokes in symol noes re split into seprte stroke noes (see Figure 2), with ech stroke possessing the sptil reltionships of its ssocite symol. All stroke noes inherit the sptil reltionships of their ncestors in the lyout tree. In Figure 2, the two strokes corresponing to the inherit the own sptil reltionship of the singlestroke. Note tht this inheritnce pplies to ll sptil reltionships, incluing continment y squre roots, n horizontl jcency: for exmple, in k + m, m inherits the Right reltionship of the + reltive to the k. The informtion presente in the AG in Figure 2) cn then e converte irectly into iprtite grph, s shown in Figure 3). Note tht strokes with the sme set of incoming sptil reltionships in Figure 3 re symols, i.e. stroke reltionships inuce segmenttion of strokes into symols. It is esier to visulize ifferences in interprettions using the iprtite representtion (s noe positions in the grph my e fixe cross interprettions), ut it is esier to visulize interprete lyout from the AG representtion. To evlute symol segmenttion seprtely from lyout, we my use secon iprtite grph: see Figure 3). An unirecte ege is plce etween ll pirs of non-ienticl strokes elonging to symol. Thus symol compose of 3 strokes is represente y 6 eges; one isolte stroke corresponing to symol is not connecte. ) Stroke Lyout Tree ) Stroke Lyout AG Figure 2. Stroke-level Groun Truth Representtions for Expression in Figure 1). Strokes re lele using s<num>. In ), the stroke lyout tree is converte to AG y ing incoming sptil reltionships t noe to ll of its escenents. Sptil reltionships re represente y : up, : own, : superscript, Su: suscript, n R: right 335
3 Δ(E 1,E 1 ) = 0, n the tringle inequlity: Δ(E 1,E 3 ) Δ(E 1,E 2 )+Δ(E 2,E 3 ). Clssifiction (Δ C ): The numer of strokes with ifferent symol lels in the expression grphs E 1 n E 2 : Δ C (E 1,E 2 )= {s S l(s, E 1 ) l(s, E 2 )} (1) Lyout (Δ L ): Let L 1 n L 2 e the set of lelle eges in expression grphs E 1 n E 2. Lyout isgreement is the numer of isgreeing ege lels etween non-ienticl strokes: ) Stroke lels n lyout ) Segmenttion Figure 3. Biprtite Grphs Representing the Expression in Figure 1. Noes represent strokes, n lele eges represent sptil reltionships. In ), symol clsses re shown using noe lels, n sptil reltionships using ege lels. This grph represents the sme informtion s in Figure 2). In ) segmenttion grph is shown, in which strokes elonging to symol re connecte IV. METRICS FOR SPECIFIC ERROR TYPES Given two iprtite grphs representing recognizer output n groun truth for strokes in hnwritten mth expression, recognition errors my e foun irectly s isgreeing noe or ege lels. A numer of exmples re provie in Figure 4; incorrect lels n reltionships reltive to groun truth re shown in re. ) mislele stroke (1 error, Δ C ) ) misrecognize reltionships (2 errors, Δ L ) c) segmenttion error, where the hs een split into two symols. There re two mislele strokes (clssifiction errors), n spurious sptil reltionship etween n (3 errors) ) error similr to tht in c), ut with the stem of the misrecognize s eing ove the frction line; there is lso missing reltionship etween n (5 errors) These errors re summrize in Tle I. Aitionlly, one my count the numer of isgreeing stroke pirings in segmenttion grphs s illustrte in Figure 3) (Δ S ). In Figure 4c) n ), two segmenttion grph eges from groun truth re missing. For set of strokes S n two expressions efine on S represente y iprtite grphs E 1 n E 2, we efine the metrics elow for specific stroke properties. Let e the set of ll non-ienticl stroke pirs: = {(p, q) S S p q}, where = S S 1. Ech metric elow is Hmming istnce, specificlly the numer of isgreeing lels/reltionships. As such, ech stisfies the four requirements for metric [11]: non-negtivity, symmetry (Δ(E 1,E 2 ) = Δ(E 2,E 1 ), Δ L (E 1,E 2 )= L 1 L 2 (2) Segmenttion (Δ S ): This is efine similrly to lyout, ut using unirecte segmenttion iprtite grphs (see Figure 3) B 1 n B 2 constructe on the set of strokes for ech symol reltion tree. Δ S (E 1,E 2 )= B 1 B 2 (3) V. EXPRESSION-LEVEL ISTANCE METRICS We now comine our metrics for specific error types (clssifiction, segmenttion, n lyout) into Expression- Level istnce Metrics tht efine single istnce mesure for two interprettions of n expression. First consier the istnce metric Δ B [0, 1] efine s the numer of isgreeing stroke lels n sptil reltionships, such s shown in the thumnil imges of Figure 4. This is Hmming istnce, with S 2 elements in ech vector of noe/ege lels for grph. Δ B (E 1,E 2 )= Δ C +Δ L S 2 (4) This metric is unweighte, n s result will prouce less istnce for clssifiction errors thn errors in lyout n segmenttion (represente implicitly in the lyout reltionships). As n solute mesure of the ifference etween two iprtite grphs Δ B is sufficient, ut one my wnt to weight errors to mke clssifiction errors proportionl to segmenttion n lyout errors. In prticulr, when compring lgorithms for use in prctice, or when using mchine lerning to optimize the complete recognition system, one my wnt to weight the ifferent error types. We efine metric Δ E [0, 1] s the verge per-stroke clssifiction, segmenttion n lyout errors: Δ C (E 1,E 2 ) S + Δ S (E 1,E 2 ) + Δ L (E 1,E 2 ) Δ E(E 1,E 2)= 3 (5) We use the squre root of the segmenttion n sptil reltionship istnces in orer to mke them proportionl to S rther thn S 2 (one coul inste ivie Δ L n Δ S 336
4 6 R R ) Clssifiction Error ( 6) ) Lyout Error ( R) 0 R Su 1 0 c) Clssifiction n Segmenttion ( {0,1}) ) Clssifiction, Segmenttion n Lyout Figure 4. Exmple Recognition Errors for Expression in Figure 1. In the AGs errors re shown in re, n y fille noes n eges in the iprtite grphs. In the iprtite grph thumnils, noes correspon to strokes s shown in Figure 3. In prt ) there re five errors: the hs een seprte into two mis-clssifie strokes, with two spurious sptil reltionships ( n Su), n one missing reltionship (the superscript etween the n the verticl line in the ). Tle I ISTANCE BETWEEN EXPRESSIONS IN FIGRE 4 AN GRON-TRTH IN FIGRES 2B) AN 3A) Fig. 4 Δ C Δ S Δ L Δ B Δ E ) ) c) ) y S 1 for the sme reson). This prevents ifferences in segments n sptil reltionships from eing weighte less hevily thn ifferences in stroke (symol) clssifiction lels. As ech component istnce is in [0, 1], Δ E lso lies in the intervl [0, 1]. Δ B n Δ E re proper metrics. They re non-negtive, symmetric, n the istnce from lyout tree to itself is 0. As the squre root of non-negtive vlues is n orerpreserving monotonic function, the squre root of metric is lso metric. Given tht Δ C, Δ S n Δ L re proper metrics, their sum oeys the tringle inequlity y efinition. Similrly, using the verge of their sum oes not invlite the metric property. Both Δ B n Δ E require O( S 2 ) time to compute. In prctice, S tens to e reltively smll, n so the qurtic complexity is not significnt concern. Further, sent sptil reltionships nee never e explicitly compre: we cn simply count lels n reltionships present in t lest one of the two input grphs. In orer to illustrte n compre these metrics, Tle I shows these five istnces etween errors n its grountruth. Notice tht clssifiction errors re weighte more hevily, n tht in generl the compute istnce/error vlue is higher for Δ E thn Δ B. VI. GENERALIZATION: SEGMENTS AN PIXELS We hve ssume tht no stroke correspons to more thn one symol in the input (i.e. no stroke is uner-segmente). This ssumption my e remove if we use finer-grine primitives, such s line segments rther thn whole strokes. A single stroke contining the two symols x cn then e prtitione, n the resulting segmenttion evlute. ocument imges often hve some symols overlpping within single connecte component, such s in: y x, where the frction line n y my intersect. In this cse we cn econstruct connecte components into smller sucomponents tht correspon to smll contiguous regions, or s more extreme pproch, tking pixels to e the primitives. sing the smllest possile primitives (e.g. pixels) is ttrctive ecuse uner-segmenttion cnnot occur; however, efficiency my ecome prolem, s the iprtite grphs/ags woul e very lrge. Pixel-level groun truth is imprecise; however, this level of groun truthing is common in computer vision, where it is unerstoo tht the humn interprettion involve in constructing groun truth results in resiul errors for ecisions within miguous regions (e.g. 337
5 ientifying the specific split point etween two connecte symols rwn with single stroke (e.g. x)). With pproprite primitives, the metrics presente my e use s criterion functions for mchine lerning lgorithms. In most cses, losses for errors in stroke leling n reltionships will nee to e softene to vlues in [0, 1] rther thn {0, 1}, e.g. to voi iscontinuities in the error surfce when using lgorithms se on grient escent. These soft errors my e otine using itionl metrics for stroke lels n reltionships (e.g. proilities or fuzzy vlues). VII. CONCLSION We hve presente new metrics for compring the similrity of two interprettions of set of online strokes, with ppliction to pen-se mthemtics recognition. Our pproch is novel in tht it uses strokes rther thn symols s the sis for compring symol n structure recognition results. This hs the vntge of proviing roer chrcteriztion of system performnce, llowing expressionlevel performnce to e ssesse in terms of input primitives. Our metrics cn e efficiently compute, in time O(n 2 ), where n is the numer of strokes. Note tht hnwritten expressions typiclly consist of reltively smll numer of strokes. The pproch cn lso e esily pte other pen-se omins, such s recognition of flowchrts, n for use in imges. An open question is whether the metric cn e usefully pplie when one cnnot ssume tht the sets primitives for two recognition results eing compre mtch (e.g. for Mthemticl Informtion Retrievl (MIR) pplictions). A relte issue is efining metrics for evlution of mthemticl content (i.e. mthemticl syntx of recognize expression); the metho presente in this pper resses only evlution of lyout. As mthemticl content is normlly represente hierrchiclly y opertor trees, it my e possile to employ iprtite grph-se pproch to evlution there s well, gin using input primitives s the noes in the grph. [3] A.-M. Awl, H. Mouchere, n C. Vir-Guin, The prolem of hnwritten mthemticl expression recognition evlution, in Int l Conf. on Frontiers in Hnwriting Recognition, Kolkt, Ini, 2010, pp [4]. Blostein n A. Grvec, Recognition of mthemticl nottion, in Hnook of Chrcter Recognition n ocument Imge Anlysis. Worl Scientific Pulishing Compny, 1997, pp [5] K.-F. Chn n.-y. Yeung, Mthemticl expression recognition: survey, Interntionl Journl on ocument Anlysis n Recognition, vol. 3, pp. 3 15, Aug [6]. Grin n B. Chuhuri, OCR of Printe Mthemticl Expressions. Springer, 2007, pp [7] S. chi, A. Nomur, n M. Suzuki, Quntittive nlysis of mthemticl ocuments, Int l J. ocument Anlysis n Recognition, vol. 7, no. 4, pp , [8] S. McLen, G. Lhn, E. Lnk, M. Mrzouk, n. Tusky, Grmmr-se techniques for creting grountruthe sketch corpor, Int l. J. ocument Anlysis n Recognition, vol. 14, no. 1, pp , [9]. Grin n B. Chuhuri, A corpus for OCR reserch on mthemticl expressions, Int l J. ocument Anlysis n Recognition, vol. 7, no. 4, pp , [10] K. Sin, A. sgupt, n. Grin, Emers: tree mtching-se performnce evlution of mthemticl expression recognition systems, Int l J. ocument Anlysis n Recognition, no. 14, pp , [11] R. u, P. Hrt, n. Stork, Pttern Clssifiction, 2n e. Wiley, Acknowlegements: This mteril is se upon work supporte y the Ntionl Science Fountion uner Grnt No. IIS , the Nturl Sciences n Engineering Reserch Council of Cn, the Xerox Fountion, n the Center for Emerging n Innovtive Sciences (NYSTAR). REFERENCES [1] A. Sliv, Metrics for evluting performnce in ocument nlysis: ppliction to tles, Int l J. ocument Anlysis n Recognition, vol. 14, pp , [2] A. Lpointe n. Blostein, Issues in performnce evlution: A cse stuy of mth recognition. IEEE Computer Society, 2009, pp
APPENDIX. Precalculus Review D.1. Real Numbers and the Real Number Line
APPENDIX D Preclculus Review APPENDIX D.1 Rel Numers n the Rel Numer Line Rel Numers n the Rel Numer Line Orer n Inequlities Asolute Vlue n Distnce Rel Numers n the Rel Numer Line Rel numers cn e represente
More information4.5 THE FUNDAMENTAL THEOREM OF CALCULUS
4.5 The Funmentl Theorem of Clculus Contemporry Clculus 4.5 THE FUNDAMENTAL THEOREM OF CALCULUS This section contins the most importnt n most use theorem of clculus, THE Funmentl Theorem of Clculus. Discovere
More informationIf we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as
Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x
More informationGenetic Programming. Outline. Evolutionary Strategies. Evolutionary strategies Genetic programming Summary
Outline Genetic Progrmming Evolutionry strtegies Genetic progrmming Summry Bsed on the mteril provided y Professor Michel Negnevitsky Evolutionry Strtegies An pproch simulting nturl evolution ws proposed
More informationIntermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4
Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one
More informationVidyalankar S.E. Sem. III [CMPN] Discrete Structures Prelim Question Paper Solution
S.E. Sem. III [CMPN] Discrete Structures Prelim Question Pper Solution 1. () (i) Disjoint set wo sets re si to be isjoint if they hve no elements in common. Exmple : A = {0, 4, 7, 9} n B = {3, 17, 15}
More informationGNFA GNFA GNFA GNFA GNFA
DFA RE NFA DFA -NFA REX GNFA Definition GNFA A generlize noneterministic finite utomton (GNFA) is grph whose eges re lele y regulr expressions, with unique strt stte with in-egree, n unique finl stte with
More informationp-adic Egyptian Fractions
p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction
More informationSuppose we want to find the area under the parabola and above the x axis, between the lines x = 2 and x = -2.
Mth 43 Section 6. Section 6.: Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot
More informationBasic Derivative Properties
Bsic Derivtive Properties Let s strt this section by remining ourselves tht the erivtive is the slope of function Wht is the slope of constnt function? c FACT 2 Let f () =c, where c is constnt Then f 0
More informationConvert the NFA into DFA
Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:
More informationNecessary and sufficient conditions for some two variable orthogonal designs in order 44
University of Wollongong Reserch Online Fculty of Informtics - Ppers (Archive) Fculty of Engineering n Informtion Sciences 1998 Necessry n sufficient conitions for some two vrile orthogonl esigns in orer
More informationVII. The Integral. 50. Area under a Graph. y = f(x)
VII. The Integrl In this chpter we efine the integrl of function on some intervl [, b]. The most common interprettion of the integrl is in terms of the re uner the grph of the given function, so tht is
More information2.4 Linear Inequalities and Interval Notation
.4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or
More information1B40 Practical Skills
B40 Prcticl Skills Comining uncertinties from severl quntities error propgtion We usully encounter situtions where the result of n experiment is given in terms of two (or more) quntities. We then need
More informationSection 6.1 Definite Integral
Section 6.1 Definite Integrl Suppose we wnt to find the re of region tht is not so nicely shped. For exmple, consider the function shown elow. The re elow the curve nd ove the x xis cnnot e determined
More informationQUADRATURE is an old-fashioned word that refers to
World Acdemy of Science Engineering nd Technology Interntionl Journl of Mthemticl nd Computtionl Sciences Vol:5 No:7 011 A New Qudrture Rule Derived from Spline Interpoltion with Error Anlysis Hdi Tghvfrd
More information5.1 How do we Measure Distance Traveled given Velocity? Student Notes
. How do we Mesure Distnce Trveled given Velocity? Student Notes EX ) The tle contins velocities of moving cr in ft/sec for time t in seconds: time (sec) 3 velocity (ft/sec) 3 A) Lel the x-xis & y-xis
More informationUNIT 5 QUADRATIC FUNCTIONS Lesson 3: Creating Quadratic Equations in Two or More Variables Instruction
Lesson 3: Creting Qudrtic Equtions in Two or More Vriles Prerequisite Skills This lesson requires the use of the following skill: solving equtions with degree of Introduction 1 The formul for finding the
More informationSection 4: Integration ECO4112F 2011
Reding: Ching Chpter Section : Integrtion ECOF Note: These notes do not fully cover the mteril in Ching, ut re ment to supplement your reding in Ching. Thus fr the optimistion you hve covered hs een sttic
More informationReview of Calculus, cont d
Jim Lmbers MAT 460 Fll Semester 2009-10 Lecture 3 Notes These notes correspond to Section 1.1 in the text. Review of Clculus, cont d Riemnn Sums nd the Definite Integrl There re mny cses in which some
More informationMatching patterns of line segments by eigenvector decomposition
Title Mtching ptterns of line segments y eigenvector decomposition Author(s) Chn, BHB; Hung, YS Cittion The 5th IEEE Southwest Symposium on Imge Anlysis nd Interprettion Proceedings, Snte Fe, NM., 7-9
More informationLecture 6. Notes. Notes. Notes. Representations Z A B and A B R. BTE Electronics Fundamentals August Bern University of Applied Sciences
Lecture 6 epresenttions epresenttions TE52 - Electronics Fundmentls ugust 24 ern University of pplied ciences ev. c2d5c88 6. Integers () sign-nd-mgnitude representtion The set of integers contins the Nturl
More informationFarey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University
U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions
More informationList all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.
Mth Anlysis CP WS 4.X- Section 4.-4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether - is root of 0. Show
More informationI1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3
2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is
More informationSection 6: Area, Volume, and Average Value
Chpter The Integrl Applied Clculus Section 6: Are, Volume, nd Averge Vlue Are We hve lredy used integrls to find the re etween the grph of function nd the horizontl xis. Integrls cn lso e used to find
More informationSchool of Business. Blank Page
Integrl Clculus This unit is esigne to introuce the lerners to the sic concepts ssocite with Integrl Clculus. Integrl clculus cn e clssifie n iscusse into two thres. One is Inefinite Integrl n the other
More informationGoals: Determine how to calculate the area described by a function. Define the definite integral. Explore the relationship between the definite
Unit #8 : The Integrl Gols: Determine how to clculte the re described by function. Define the definite integrl. Eplore the reltionship between the definite integrl nd re. Eplore wys to estimte the definite
More informationHamiltonian Cycle in Complete Multipartite Graphs
Annls of Pure nd Applied Mthemtics Vol 13, No 2, 2017, 223-228 ISSN: 2279-087X (P), 2279-0888(online) Pulished on 18 April 2017 wwwreserchmthsciorg DOI: http://dxdoiorg/1022457/pmv13n28 Annls of Hmiltonin
More information1 ELEMENTARY ALGEBRA and GEOMETRY READINESS DIAGNOSTIC TEST PRACTICE
ELEMENTARY ALGEBRA nd GEOMETRY READINESS DIAGNOSTIC TEST PRACTICE Directions: Study the exmples, work the prolems, then check your nswers t the end of ech topic. If you don t get the nswer given, check
More informationLecture 3: Equivalence Relations
Mthcmp Crsh Course Instructor: Pdric Brtlett Lecture 3: Equivlence Reltions Week 1 Mthcmp 2014 In our lst three tlks of this clss, we shift the focus of our tlks from proof techniques to proof concepts
More informationAQA Further Pure 1. Complex Numbers. Section 1: Introduction to Complex Numbers. The number system
Complex Numbers Section 1: Introduction to Complex Numbers Notes nd Exmples These notes contin subsections on The number system Adding nd subtrcting complex numbers Multiplying complex numbers Complex
More informationMinimal DFA. minimal DFA for L starting from any other
Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA
More informationFinal Exam Review. Exam 1 Material
Lessons 2-4: Limits Limit Solving Strtegy for Finl Exm Review Exm 1 Mteril For piecewise functions, you lwys nee to look t the left n right its! If f(x) is not piecewise function, plug c into f(x), i.e.,
More informationParse trees, ambiguity, and Chomsky normal form
Prse trees, miguity, nd Chomsky norml form In this lecture we will discuss few importnt notions connected with contextfree grmmrs, including prse trees, miguity, nd specil form for context-free grmmrs
More information1 Online Learning and Regret Minimization
2.997 Decision-Mking in Lrge-Scle Systems My 10 MIT, Spring 2004 Hndout #29 Lecture Note 24 1 Online Lerning nd Regret Minimiztion In this lecture, we consider the problem of sequentil decision mking in
More informationModel Reduction of Finite State Machines by Contraction
Model Reduction of Finite Stte Mchines y Contrction Alessndro Giu Dip. di Ingegneri Elettric ed Elettronic, Università di Cgliri, Pizz d Armi, 09123 Cgliri, Itly Phone: +39-070-675-5892 Fx: +39-070-675-5900
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationDesigning finite automata II
Designing finite utomt II Prolem: Design DFA A such tht L(A) consists of ll strings of nd which re of length 3n, for n = 0, 1, 2, (1) Determine wht to rememer out the input string Assign stte to ech of
More informationReverse Engineering Gene Networks with Microarray Data
Reverse Engineering Gene Networks with Microrry Dt Roert M Mllery Avisors: Dr Steve Cox n Dr Mrk Emree August 25, 2003 Astrct We consier the question of how to solve inverse prolems of the form e At x(0)
More informationCalculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.
Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite
More informationAnswers and Solutions to (Some Even Numbered) Suggested Exercises in Chapter 11 of Grimaldi s Discrete and Combinatorial Mathematics
Answers n Solutions to (Some Even Numere) Suggeste Exercises in Chpter 11 o Grimli s Discrete n Comintoril Mthemtics Section 11.1 11.1.4. κ(g) = 2. Let V e = {v : v hs even numer o 1 s} n V o = {v : v
More informationFormal languages, automata, and theory of computation
Mälrdlen University TEN1 DVA337 2015 School of Innovtion, Design nd Engineering Forml lnguges, utomt, nd theory of computtion Thursdy, Novemer 5, 14:10-18:30 Techer: Dniel Hedin, phone 021-107052 The exm
More informationNumbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point
GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply
More informationFast Frequent Free Tree Mining in Graph Databases
The Chinese University of Hong Kong Fst Frequent Free Tree Mining in Grph Dtses Peixing Zho Jeffrey Xu Yu The Chinese University of Hong Kong Decemer 18 th, 2006 ICDM Workshop MCD06 Synopsis Introduction
More information10. AREAS BETWEEN CURVES
. AREAS BETWEEN CURVES.. Ares etween curves So res ove the x-xis re positive nd res elow re negtive, right? Wrong! We lied! Well, when you first lern out integrtion it s convenient fiction tht s true in
More informationx dx does exist, what does the answer look like? What does the answer to
Review Guie or MAT Finl Em Prt II. Mony Decemer th 8:.m. 9:5.m. (or the 8:3.m. clss) :.m. :5.m. (or the :3.m. clss) Prt is worth 5% o your Finl Em gre. NO CALCULATORS re llowe on this portion o the Finl
More informationNumerical Analysis: Trapezoidal and Simpson s Rule
nd Simpson s Mthemticl question we re interested in numericlly nswering How to we evlute I = f (x) dx? Clculus tells us tht if F(x) is the ntiderivtive of function f (x) on the intervl [, b], then I =
More informationAT100 - Introductory Algebra. Section 2.7: Inequalities. x a. x a. x < a
Section 2.7: Inequlities In this section, we will Determine if given vlue is solution to n inequlity Solve given inequlity or compound inequlity; give the solution in intervl nottion nd the solution 2.7
More information5.7 Improper Integrals
458 pplictions of definite integrls 5.7 Improper Integrls In Section 5.4, we computed the work required to lift pylod of mss m from the surfce of moon of mss nd rdius R to height H bove the surfce of the
More informationAN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS. I. Fedotov and S. S. Dragomir
RGMIA Reserch Report Collection, Vol., No., 999 http://sci.vu.edu.u/ rgmi AN INEQUALITY OF OSTROWSKI TYPE AND ITS APPLICATIONS FOR SIMPSON S RULE AND SPECIAL MEANS I. Fedotov nd S. S. Drgomir Astrct. An
More information8. Complex Numbers. We can combine the real numbers with this new imaginary number to form the complex numbers.
8. Complex Numers The rel numer system is dequte for solving mny mthemticl prolems. But it is necessry to extend the rel numer system to solve numer of importnt prolems. Complex numers do not chnge the
More informationConservation Law. Chapter Goal. 6.2 Theory
Chpter 6 Conservtion Lw 6.1 Gol Our long term gol is to unerstn how mthemticl moels re erive. Here, we will stuy how certin quntity chnges with time in given region (sptil omin). We then first erive the
More informationCS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University
CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted
More informationSUPPLEMENTARY NOTES ON THE CONNECTION FORMULAE FOR THE SEMICLASSICAL APPROXIMATION
Physics 8.06 Apr, 2008 SUPPLEMENTARY NOTES ON THE CONNECTION FORMULAE FOR THE SEMICLASSICAL APPROXIMATION c R. L. Jffe 2002 The WKB connection formuls llow one to continue semiclssicl solutions from n
More informationSurface maps into free groups
Surfce mps into free groups lden Wlker Novemer 10, 2014 Free groups wedge X of two circles: Set F = π 1 (X ) =,. We write cpitl letters for inverse, so = 1. e.g. () 1 = Commuttors Let x nd y e loops. The
More informationTorsion in Groups of Integral Triangles
Advnces in Pure Mthemtics, 01,, 116-10 http://dxdoiorg/1046/pm011015 Pulished Online Jnury 01 (http://wwwscirporg/journl/pm) Torsion in Groups of Integrl Tringles Will Murry Deprtment of Mthemtics nd Sttistics,
More informationRecitation 3: More Applications of the Derivative
Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech
More informationCS 330 Formal Methods and Models
CS 330 Forml Methods nd Models Dn Richrds, George Mson University, Spring 2017 Quiz Solutions Quiz 1, Propositionl Logic Dte: Ferury 2 1. Prove ((( p q) q) p) is tutology () (3pts) y truth tle. p q p q
More informationLecture 3. Introduction digital logic. Notes. Notes. Notes. Representations. February Bern University of Applied Sciences.
Lecture 3 Ferury 6 ern University of pplied ciences ev. f57fc 3. We hve seen tht circuit cn hve multiple (n) inputs, e.g.,, C, We hve lso seen tht circuit cn hve multiple (m) outputs, e.g. X, Y,, ; or
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationLecture 2 : Propositions DRAFT
CS/Mth 240: Introduction to Discrete Mthemtics 1/20/2010 Lecture 2 : Propositions Instructor: Dieter vn Melkeeek Scrie: Dlior Zelený DRAFT Lst time we nlyzed vrious mze solving lgorithms in order to illustrte
More informationCS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS
CS 310 (sec 20) - Winter 2003 - Finl Exm (solutions) SOLUTIONS 1. (Logic) Use truth tles to prove the following logicl equivlences: () p q (p p) (q q) () p q (p q) (p q) () p q p q p p q q (q q) (p p)
More informationLecture 3. In this lecture, we will discuss algorithms for solving systems of linear equations.
Lecture 3 3 Solving liner equtions In this lecture we will discuss lgorithms for solving systems of liner equtions Multiplictive identity Let us restrict ourselves to considering squre mtrices since one
More information8Similarity UNCORRECTED PAGE PROOFS. 8.1 Kick off with CAS 8.2 Similar objects 8.3 Linear scale factors. 8.4 Area and volume scale factors 8.
8.1 Kick off with S 8. Similr ojects 8. Liner scle fctors 8Similrity 8. re nd volume scle fctors 8. Review U N O R R E TE D P G E PR O O FS 8.1 Kick off with S Plese refer to the Resources t in the Prelims
More informationPhysics Lecture 14: MON 29 SEP
Physics 2113 Physics 2113 Lecture 14: MON 29 SEP CH25: Cpcitnce Von Kleist ws le to store electricity in the jr. Unknowingly, he h ctully invente novel evice to store potentil ifference. The wter in the
More informationThe area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O
1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the
More informationFirst Midterm Examination
24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet
More informationSituation Calculus. Situation Calculus Building Blocks. Sheila McIlraith, CSC384, University of Toronto, Winter Situations Fluents Actions
Plnning gent: single gent or multi-gent Stte: complete or Incomplete (logicl/probbilistic) stte of the worl n/or gent s stte of knowlege ctions: worl-ltering n/or knowlege-ltering (e.g. sensing) eterministic
More information8Similarity ONLINE PAGE PROOFS. 8.1 Kick off with CAS 8.2 Similar objects 8.3 Linear scale factors. 8.4 Area and volume scale factors 8.
8.1 Kick off with S 8. Similr ojects 8. Liner scle fctors 8Similrity 8.4 re nd volume scle fctors 8. Review Plese refer to the Resources t in the Prelims section of your eookplus for comprehensive step-y-step
More informationDesigning Information Devices and Systems I Spring 2018 Homework 7
EECS 16A Designing Informtion Devices nd Systems I Spring 2018 omework 7 This homework is due Mrch 12, 2018, t 23:59. Self-grdes re due Mrch 15, 2018, t 23:59. Sumission Formt Your homework sumission should
More information2 b. , a. area is S= 2π xds. Again, understand where these formulas came from (pages ).
AP Clculus BC Review Chpter 8 Prt nd Chpter 9 Things to Know nd Be Ale to Do Know everything from the first prt of Chpter 8 Given n integrnd figure out how to ntidifferentite it using ny of the following
More informationMain topics for the First Midterm
Min topics for the First Midterm The Midterm will cover Section 1.8, Chpters 2-3, Sections 4.1-4.8, nd Sections 5.1-5.3 (essentilly ll of the mteril covered in clss). Be sure to know the results of the
More informationINTEGRALS. Chapter Introduction
INTEGRALS 87 hpter 7 INTEGRALS Just s mountineer clims mountin ecuse it is there, so goo mthemtics stuent stuies new mteril ecuse it is there. JAMES B. BRISTOL 7. Introuction Differentil lculus is centre
More information4.4 Areas, Integrals and Antiderivatives
. res, integrls nd ntiderivtives 333. Ares, Integrls nd Antiderivtives This section explores properties of functions defined s res nd exmines some connections mong res, integrls nd ntiderivtives. In order
More informationContinuous Random Variables Class 5, Jeremy Orloff and Jonathan Bloom
Lerning Gols Continuous Rndom Vriles Clss 5, 8.05 Jeremy Orloff nd Jonthn Bloom. Know the definition of continuous rndom vrile. 2. Know the definition of the proility density function (pdf) nd cumultive
More informationSection 6.3 The Fundamental Theorem, Part I
Section 6.3 The Funmentl Theorem, Prt I (3//8) Overview: The Funmentl Theorem of Clculus shows tht ifferentition n integrtion re, in sense, inverse opertions. It is presente in two prts. We previewe Prt
More informationDate Lesson Text TOPIC Homework. Solving for Obtuse Angles QUIZ ( ) More Trig Word Problems QUIZ ( )
UNIT 5 TRIGONOMETRI RTIOS Dte Lesson Text TOPI Homework pr. 4 5.1 (48) Trigonometry Review WS 5.1 # 3 5, 9 11, (1, 13)doso pr. 6 5. (49) Relted ngles omplete lesson shell & WS 5. pr. 30 5.3 (50) 5.3 5.4
More informationParsing and Pattern Recognition
Topics in IT Prsing nd Pttern Recognition Week Context-Free Prsing College of Informtion Science nd Engineering Ritsumeikn University this week miguity in nturl lnguge in mchine lnguges top-down, redth-first
More informationLecture 3: Curves in Calculus. Table of contents
Mth 348 Fll 7 Lecture 3: Curves in Clculus Disclimer. As we hve textook, this lecture note is for guidnce nd supplement only. It should not e relied on when prepring for exms. In this lecture we set up
More information1 Nondeterministic Finite Automata
1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER LANGUAGES AND COMPUTATION ANSWERS
The University of Nottinghm SCHOOL OF COMPUTER SCIENCE LEVEL 2 MODULE, SPRING SEMESTER 2016 2017 LNGUGES ND COMPUTTION NSWERS Time llowed TWO hours Cndidtes my complete the front cover of their nswer ook
More informationChapter 9 Definite Integrals
Chpter 9 Definite Integrls In the previous chpter we found how to tke n ntiderivtive nd investigted the indefinite integrl. In this chpter the connection etween ntiderivtives nd definite integrls is estlished
More informationLecture 6: Coding theory
Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those
More informationCMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014
CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA
More informationThe Regulated and Riemann Integrals
Chpter 1 The Regulted nd Riemnn Integrls 1.1 Introduction We will consider severl different pproches to defining the definite integrl f(x) dx of function f(x). These definitions will ll ssign the sme vlue
More informationMathematics Number: Logarithms
plce of mind F A C U L T Y O F E D U C A T I O N Deprtment of Curriculum nd Pedgogy Mthemtics Numer: Logrithms Science nd Mthemtics Eduction Reserch Group Supported y UBC Teching nd Lerning Enhncement
More informationAP Calculus AB First Semester Final Review
P Clculus B This review is esigne to give the stuent BSIC outline of wht nees to e reviewe for the P Clculus B First Semester Finl m. It is up to the iniviul stuent to etermine how much etr work is require
More informationDiscrete Mathematics and Probability Theory Summer 2014 James Cook Note 17
CS 70 Discrete Mthemtics nd Proility Theory Summer 2014 Jmes Cook Note 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion, y tking
More informationDiscrete Mathematics and Probability Theory Spring 2013 Anant Sahai Lecture 17
EECS 70 Discrete Mthemtics nd Proility Theory Spring 2013 Annt Shi Lecture 17 I.I.D. Rndom Vriles Estimting the is of coin Question: We wnt to estimte the proportion p of Democrts in the US popultion,
More informationD. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming 8, 1987, pp
Sttechrts y Kenr ooper ontents Introuction Stte igrms epth (hierrchy) Orthogonlity (concurrency) rocst ommuniction Exmple Prolems Introuction Sttechrts were introuce y vi Hrel in 1987. Hrel, Sttechrts:
More information5: The Definite Integral
5: The Definite Integrl 5.: Estimting with Finite Sums Consider moving oject its velocity (meters per second) t ny time (seconds) is given y v t = t+. Cn we use this informtion to determine the distnce
More informationFormal Languages and Automata
Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt Chun-Ming Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University
More informationMass Creation from Extra Dimensions
Journl of oern Physics, 04, 5, 477-48 Publishe Online April 04 in SciRes. http://www.scirp.org/journl/jmp http://x.oi.org/0.436/jmp.04.56058 ss Cretion from Extr Dimensions Do Vong Duc, Nguyen ong Gio
More informationHarvard University Computer Science 121 Midterm October 23, 2012
Hrvrd University Computer Science 121 Midterm Octoer 23, 2012 This is closed-ook exmintion. You my use ny result from lecture, Sipser, prolem sets, or section, s long s you quote it clerly. The lphet is
More informationMath& 152 Section Integration by Parts
Mth& 5 Section 7. - Integrtion by Prts Integrtion by prts is rule tht trnsforms the integrl of the product of two functions into other (idelly simpler) integrls. Recll from Clculus I tht given two differentible
More informationCS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata
CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or
More informationSOME INTEGRAL INEQUALITIES OF GRÜSS TYPE
RGMIA Reserch Report Collection, Vol., No., 998 http://sci.vut.edu.u/ rgmi SOME INTEGRAL INEQUALITIES OF GRÜSS TYPE S.S. DRAGOMIR Astrct. Some clssicl nd new integrl inequlities of Grüss type re presented.
More information0.1 THE REAL NUMBER LINE AND ORDER
6000_000.qd //0 :6 AM Pge 0-0- CHAPTER 0 A Preclculus Review 0. THE REAL NUMBER LINE AND ORDER Represent, clssify, nd order rel numers. Use inequlities to represent sets of rel numers. Solve inequlities.
More information