1/4/13. Outline. Markov Models. Frequency & profile model. A DNA profile (matrix) Markov chain model. Markov chains
|
|
- Mabel Cassandra Walsh
- 5 years ago
- Views:
Transcription
1 /4/3 I529: Mhne Lernng n onformts (Sprng 23 Mrkov Models Yuzhen Ye Shool of Informts nd omputng Indn Unversty, loomngton Sprng 23 Outlne Smple model (frequeny & profle revew Mrkov hn pg slnd queston Model omprson y log lkelhood rto test Mrkov hn vrnts Kth order Inhomogeneous Mrkov hns Interpolted Mrkov models (IMM ppltons Gene fndng (Genemrk & Glmmer Txonom ssgnment n metgenoms (Phymm N profle (mtrx Frequeny & profle model TT TTT TT TT TT TTT TT TG Sprse dt pseudo-ounts T G T G 2 Frequeny model: the order of nuleotdes n the trnng sequenes s gnored; Profle model: the trnng sequenes re lgned the order of nuleotdes n the trnng sequenes s fully preserved Mrkov hn model: orders re prtlly norported Mrkov hn model Sometmes we need to model dependenes etween djent postons n the sequene There re ertn regons n the genome, lke TT wthn the regultory re, upstrem gene. The pttern G s less ommon thn expeted for rndom smplng. Suh dependenes n e modeled y Mrkov hns. Mrkov hns Mrkov hn s sequene of rndom vrles wth Mrkov property,.e., gven the present stte, the future nd the pst re ndependent. fmous exmple of Mrkov hn s the drunkrd's wlk t eh step, the poston my hnge y + or wth equl prolty. Pr(5->4 = Pr(5->6 =.5, ll other trnston proltes from 5 re. these proltes re ndependent of whether the system ws prevously n step 4 or 6.
2 /4/3 st order Mrkov hn n nteger tme stohst proess, onsstng of set of m> sttes {s,,s m } nd. n m dmensonl ntl dstruton vetor ( p(s,.., p(s m 2. n m m trnston proltes mtrx M= ( s s j For exmple, for N sequene: the sttes re {,, T, G} (m=4 p( the prolty of to e the st letter G the prolty tht G follows n sequene. st order Mrkov hn X X 2 X n- X n For eh nteger n, Mrkov hn ssgns prolty to sequenes (x x n s follows: n = = = = p(( x, x2 xn p( X x p( X x X x,... = 2 n x x = 2 = px ( Mtrx representton The trnston proltes mtrx M =( st M s stohst mtrx: = t st The ntl dstruton vetor (u u m defnes the dstruton of X (p(x =s =u. grph (dreted grph representton Eh dreted edge s ssoted wth the postve trnston prolty from to. lssfton of Mrkov hn sttes Sttes of Mrkov hns re lssfed y the dgrph representton (omttng the tul prolty vlues nother exmple of reurrent nd trnsent sttes, nd re reurrent sttes: they re n strongly onneted omponents whh re snks n the grph. s not reurrent t s trnsent stte lterntve defntons: stte s s reurrent f t n e rehed from ny stte rehle from s; otherwse t s trnsent. nd re trnsent sttes, nd re reurrent sttes. One the proess moves from to, t wll never ome k. 2
3 /4/3 3-stte Mrkov model of the wether ssume the wether n e: rn or snow (stte, loudy (stte 2, or sunny (stte 3 ssume the wether of ny dy t s hrterzed y one of the three sttes = The trnston proltes etween the three sttes = { j} = Questons Gven the frst dy s sunny, wht s the prolty tht the wether for the followng 7 dys wll e sun-sun-rn-rn-sun-loudy-sun? The prolty of the wether styng n stte for d dys? Rner (989 pg slnd modelng In mmmln genomes, the dnuleotde G often trnsforms to (methyl-g whh often susequently muttes to TG. Hene G ppers less thn expeted from wht s expeted from the ndependent frequenes of nd G lone. ue to ologl resons, ths proess s sometmes suppressed n short strethes of genomes suh s n the upstrem regons of mny genes. These res re lled pg slnds. Questons out pg slnds We onsder two questons (nd some vrnts: Queston : Gven short streth of genom dt, does t ome from pg slnd? Queston 2: Gven long pee of genom dt, does t ontn pg slnds n t, where, nd how long? We solve the frst queston y modelng sequenes wth nd wthout pg slnds s Mrkov hns over the sme sttes {,,G,T} ut dfferent trnston proltes. Mrkov models for (non pg slnds The + model: Use trnston mtrx + = ( + st, + st = (the prolty tht t follows s n pg slnd postve smples The - model: Use trnston mtrx - = ( - st, - st = (the prolty tht t follows s n non pg slnd sequene negtve smples Wth these two models, to solve Queston we need to dede whether gven short sequene s more lkely to ome from the + model or from the model. Ths s done y usng the defntons of Mrkov hn, n whh the prmeters re determned y trnng dt. Mtres of the trnston proltes Model omprson + (pg slnds: p + (x x - (rows sum to X - - (non-pg slnds: X - X G T G T X G T G T Gven sequene x=(x.x L, now ompute the lkelhood rto p( x + model RTIO = = p( x model L + = L = p ( x p ( x + If RTIO>, pg slnd s more lkely. tully the log of ths rto s omputed. + x x Note: p + (x x s defned for onvenene s p + (x. p - (x x s defned for onvenene s p - (x. 3
4 /4/3 Log lkelhood rto test Tkng logrthm yelds p(x...x L + log Q = log = p(x...x L If logq >, then + s more lkely (pg slnd. If logq <, then - s more lkely (non-pg slnd. p+ (x x log p (x x toy exmple Sequene: GTGG P(GTGG + =? P(GTGG - =? Log lkelhood rto? Where do the prmeters (trnston proltes ome from? Lernng from trnng dt. Soure: olleton of sequenes from pg slnds, nd olleton of sequenes from non-pg slnds. Input: Tuples of the form (x,, x L, h, where h s + or - pg slnd: queston 2 Queston 2: Gven long pee of genom dt, does t ontn pg slnds n t, nd where? For ths, we need to dede whh prts of gven long sequene of letters s more lkely to ome from the + model, nd whh prts re more lkely to ome from the model. We wll defne Mrkov hn over 8 sttes. Output: Mxmum Lkelhood prmeters (MLE ount ll prs (X =, X - = wth lel +, nd wth lel -, sy the numers re N,+ nd N, G + T + - G - T - The prolem s tht we don t know the sequene of sttes (hdden whh re trversed, ut just the sequene of letters (oservton. Hdden Mrkov Model! Mrkov model vrtons kth order Mrkov hns (Mrkov hns wth memory Inhomogeneous Mrkov hns (vs homogeneous Mrkov hns Interpolted Mrkov hns kth order Mrkov hn ( Mrkov hn wth memory k kth Mrkov hn ssgns prolty to sequenes (x x n s follows: n p ( x... xn = p( X = x,..., X k = xk p( X = x X = x, X 2 = x 2,..., X k = x k Intl dstruton = k Trnston proltes 4
5 /4/3 Inhomogeneous Mrkov hn for gene fndng Inhomogeneous Mrkov hn: predton X X 2 X 3 X 4 X 5 X 6 X 7 X X 2 X 3 X 4 X 5 X 6 X 7 Redng frme Redng frme 2 gn, the prmeters (the trnston proltes,,, nd need to e lerned from trnng smples Redng frme 3 Gene fndng usng nhomogeneous Mrkov hn onsder sequene x x 2 x 3 x 4 x 5 x 6 x 7 x 8 x 9. where x s nuleotde let p = xx2 x2x3 x3x4 x4x5 x5x6 x6x7. p 2 = xx2 x2x3 x3x4 x4x5 x5x6 x6x7. p 3 = xx2 x2x3 x3x4 x4x5 x5x6 x6x7. then prolty tht th redng frme s the odng frme s: p P = p + p 2 + p 3 Genemrk (gene fnder for terl genomes Seletng the order of Mrkov hn For Mrkov models, wht order to hoose? Hgher order, more memory (hgher predtve vlue, ut mens more prmeters to lern The hgher the order, the less relle the prmeter estmtes. E.g., we hve N sequene of kp 2 nd order Mrkov hn, 4 3 =64 prmeters, 562 tmes on verge for eh hstory 5 th order, 4 6 =496 prmeters, 24 tmes on verge 8 th order, 4 9 =65536 prmeters,.5 tmes on verge Interpolted Mrkov models (IMMs IMMs re lled vrle-order Mrkov models IMM uses vrle numer of sttes to ompute the prolty of the next stte smple lner nterpolton P (x x n,, x = P (x+ P (x x + + np (x x n,, x generl lner nterpolton P (x x n,,x = P (x+ (xp (x x + + n(x n,,x P (x x n,,x GLIMMER Glmmer s system for fndng genes n mrol N, espelly the genomes of ter, rhe, nd vruses eukryot verson of Glmmer: GlmmerHMM Glmmer (Gene Lotor nd Interpolted Mrkov ModelER uses IMMs to dentfy the odng. Glmmer verson 3.2 s the urrent verson of the system ( glmmer/ Glmmer3 mkes severl lgorthm hnges to redue the numer of flse postve predtons nd to mprove the ury of strt-ste predtons 5
6 /4/3 IMM n GLIMMER lner omnton of 8 dfferent Mrkov hns, from st through 8th-order, weghtng eh model ordng to ts predtve power. Glmmer uses 3-perod nonhomogenous Mrkov models n ts IMMs. Sore of sequene s the produt of nterpolted proltes of ses n the sequene IMM trnng Longer ontext s lwys etter; only reson not to use t s undersmplng n trnng dt. If sequene ours frequently enough n trnng dt, use t,.e., λ = Otherwse, use frequeny nd χ 2 sgnfne to set λ. lusterng metgenom sequenes wth IMMs IMMs re used to lssfy metgenom sequenes sed on ptterns of N dstnt to lde ( spees, genus, or hgher-level phylogenet group. urng trnng, the IMM lgorthm onstruts prolty dstrutons representng oserved ptterns of nuleotdes tht hrterze eh spees. Nt Methods 29, 6(9:
I529: Machine Learning in Bioinformatics (Spring 2017) Markov Models
I529: Machne Learnng n Bonformatcs (Sprng 217) Markov Models Yuzhen Ye School of Informatcs and Computng Indana Unversty, Bloomngton Sprng 217 Outlne Smple model (frequency & profle) revew Markov chan
More information3/6/00. Reading Assignments. Outline. Hidden Markov Models: Explanation and Model Learning
3/6/ Hdden Mrkov Models: Explnton nd Model Lernng Brn C. Wllms 6.4/6.43 Sesson 2 9/3/ courtesy of JPL copyrght Brn Wllms, 2 Brn C. Wllms, copyrght 2 Redng Assgnments AIMA (Russell nd Norvg) Ch 5.-.3, 2.3
More informationPartially Observable Systems. 1 Partially Observable Markov Decision Process (POMDP) Formalism
CS294-40 Lernng for Rootcs nd Control Lecture 10-9/30/2008 Lecturer: Peter Aeel Prtlly Oservle Systems Scre: Dvd Nchum Lecture outlne POMDP formlsm Pont-sed vlue terton Glol methods: polytree, enumerton,
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationPrinciple Component Analysis
Prncple Component Anlyss Jng Go SUNY Bufflo Why Dmensonlty Reducton? We hve too mny dmensons o reson bout or obtn nsghts from o vsulze oo much nose n the dt Need to reduce them to smller set of fctors
More informationVECTORS VECTORS VECTORS VECTORS. 2. Vector Representation. 1. Definition. 3. Types of Vectors. 5. Vector Operations I. 4. Equal and Opposite Vectors
1. Defnton A vetor s n entt tht m represent phsl quntt tht hs mgntude nd dreton s opposed to slr tht ls dreton.. Vetor Representton A vetor n e represented grphll n rrow. The length of the rrow s the mgntude
More informationAbhilasha Classes Class- XII Date: SOLUTION (Chap - 9,10,12) MM 50 Mob no
hlsh Clsses Clss- XII Dte: 0- - SOLUTION Chp - 9,0, MM 50 Mo no-996 If nd re poston vets of nd B respetvel, fnd the poston vet of pont C n B produed suh tht C B vet r C B = where = hs length nd dreton
More informationRank One Update And the Google Matrix by Al Bernstein Signal Science, LLC
Introducton Rnk One Updte And the Google Mtrx y Al Bernsten Sgnl Scence, LLC www.sgnlscence.net here re two dfferent wys to perform mtrx multplctons. he frst uses dot product formulton nd the second uses
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 informationProject 6: Minigoals Towards Simplifying and Rewriting Expressions
MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy
More informationLearning Enhancement Team
Lernng Enhnement Tem Worsheet: The Cross Produt These re the model nswers for the worsheet tht hs questons on the ross produt etween vetors. The Cross Produt study gude. z x y. Loong t mge, you n see tht
More informationPythagoras Theorem. The area of the square on the hypotenuse is equal to the sum of the squares on the other two sides
Pythgors theorem nd trigonometry Pythgors Theorem The hypotenuse of right-ngled tringle is the longest side The hypotenuse is lwys opposite the right-ngle 2 = 2 + 2 or 2 = 2-2 or 2 = 2-2 The re of the
More informationNondeterministic Automata vs Deterministic Automata
Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n
More informationCIS587 - Artificial Intelligence. Uncertainty CIS587 - AI. KB for medical diagnosis. Example.
CIS587 - rtfcl Intellgence Uncertnty K for medcl dgnoss. Exmple. We wnt to uld K system for the dgnoss of pneumon. rolem descrpton: Dsese: pneumon tent symptoms fndngs, l tests: Fever, Cough, leness, WC
More informationChapter Newton-Raphson Method of Solving a Nonlinear Equation
Chpter.4 Newton-Rphson Method of Solvng Nonlner Equton After redng ths chpter, you should be ble to:. derve the Newton-Rphson method formul,. develop the lgorthm of the Newton-Rphson method,. use the Newton-Rphson
More informationTELCOM 2130 Time Varying Queues. David Tipper Associate Professor Graduate Telecommunications and Networking Program University of Pittsburgh Slides 7
TELOM 3 Tme Vryng Queues Dvd Tpper Assote Professor Grdute Teleommuntons nd Networkng Progrm Unversty of Pttsburgh ldes 7 Tme Vryng Behvor Teletrff typlly hs lrge tme of dy vrtons Men number of lls per
More informationLesson 2.1 Inductive Reasoning
Lesson 2.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, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,
More informationLecture Notes No. 10
2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite
More informationLeast squares. Václav Hlaváč. Czech Technical University in Prague
Lest squres Václv Hlváč Czech echncl Unversty n Prgue hlvc@fel.cvut.cz http://cmp.felk.cvut.cz/~hlvc Courtesy: Fred Pghn nd J.P. Lews, SIGGRAPH 2007 Course; Outlne 2 Lner regresson Geometry of lest-squres
More informationIn this Chapter. Chap. 3 Markov chains and hidden Markov models. Probabilistic Models. Example: CpG Islands
In ths Chpter Chp. 3 Mrov chns nd hdden Mrov models Bontellgence bortory School of Computer Sc. & Eng. Seoul Ntonl Unversty Seoul 5-74, Kore The probblstc model for sequence nlyss HMM (hdden Mrov model)
More informationLearning Partially Observable Markov Models from First Passage Times
Lerning Prtilly Oservle Mrkov s from First Pssge s Jérôme Cllut nd Pierre Dupont Europen Conferene on Mhine Lerning (ECML) 8 Septemer 7 Outline. FPT in models nd sequenes. Prtilly Oservle Mrkov s (POMMs).
More informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationComputing data with spreadsheets. Enter the following into the corresponding cells: A1: n B1: triangle C1: sqrt
Computing dt with spredsheets Exmple: Computing tringulr numers nd their squre roots. Rell, we showed 1 ` 2 ` `n npn ` 1q{2. Enter the following into the orresponding ells: A1: n B1: tringle C1: sqrt A2:
More informationDCDM BUSINESS SCHOOL NUMERICAL METHODS (COS 233-8) Solutions to Assignment 3. x f(x)
DCDM BUSINESS SCHOOL NUMEICAL METHODS (COS -8) Solutons to Assgnment Queston Consder the followng dt: 5 f() 8 7 5 () Set up dfference tble through fourth dfferences. (b) Wht s the mnmum degree tht n nterpoltng
More informationConcept of Activity. Concept of Activity. Thermodynamic Equilibrium Constants [ C] [ D] [ A] [ B]
Conept of Atvty Equlbrum onstnt s thermodynm property of n equlbrum system. For heml reton t equlbrum; Conept of Atvty Thermodynm Equlbrum Constnts A + bb = C + dd d [C] [D] [A] [B] b Conentrton equlbrum
More informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More informationTrigonometry. Trigonometry. Solutions. Curriculum Ready ACMMG: 223, 224, 245.
Trgonometry Trgonometry Solutons Currulum Redy CMMG:, 4, 4 www.mthlets.om Trgonometry Solutons Bss Pge questons. Identfy f the followng trngles re rght ngled or not. Trngles,, d, e re rght ngled ndted
More informationThe graphs of Rational Functions
Lecture 4 5A: The its of Rtionl Functions s x nd s x + The grphs of Rtionl Functions The grphs of rtionl functions hve severl differences compred to power functions. One of the differences is the behvior
More informationINTRODUCTION TO COMPLEX NUMBERS
INTRODUCTION TO COMPLEX NUMBERS The numers -4, -3, -, -1, 0, 1,, 3, 4 represent the negtve nd postve rel numers termed ntegers. As one frst lerns n mddle school they cn e thought of s unt dstnce spced
More informationPolynomials. Polynomials. Curriculum Ready ACMNA:
Polynomils Polynomils Curriulum Redy ACMNA: 66 www.mthletis.om Polynomils POLYNOMIALS A polynomil is mthemtil expression with one vrile whose powers re neither negtive nor frtions. The power in eh expression
More informationRemember: Project Proposals are due April 11.
Bonformtcs ecture Notes Announcements Remember: Project Proposls re due Aprl. Clss 22 Aprl 4, 2002 A. Hdden Mrov Models. Defntons Emple - Consder the emple we tled bout n clss lst tme wth the cons. However,
More informationGeneralization of 2-Corner Frequency Source Models Used in SMSIM
Generliztion o 2-Corner Frequeny Soure Models Used in SMSIM Dvid M. Boore 26 Mrh 213, orreted Figure 1 nd 2 legends on 5 April 213, dditionl smll orretions on 29 My 213 Mny o the soure spetr models ville
More informationAl-Zangana Iraqi Journal of Science, 2016, Vol. 57, No.2A, pp:
Results n Projetve Geometry PG( r,), r, Emd Bkr Al-Zngn* Deprtment of Mthemts, College of Sene, Al-Mustnsryh Unversty, Bghdd, Ir Abstrt In projetve plne over fnte feld F, on s the unue omplete ( ) r nd
More informationInterpolated Markov Models for Gene Finding
Interpolated Markov Models for Gene Fndng BMI/CS 776 www.bostat.wsc.edu/bm776/ Sprng 208 Anthony Gtter gtter@bostat.wsc.edu hese sldes, ecludng thrd-party materal, are lcensed under CC BY-NC 4.0 by Mark
More information5. Every rational number have either terminating or repeating (recurring) decimal representation.
CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd
More informationCS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)
CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts
More informationProof that if Voting is Perfect in One Dimension, then the First. Eigenvector Extracted from the Double-Centered Transformed
Proof tht f Votng s Perfect n One Dmenson, then the Frst Egenvector Extrcted from the Doule-Centered Trnsformed Agreement Score Mtrx hs the Sme Rn Orderng s the True Dt Keth T Poole Unversty of Houston
More informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More 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 informationDefinition of Tracking
Trckng Defnton of Trckng Trckng: Generte some conclusons bout the moton of the scene, objects, or the cmer, gven sequence of mges. Knowng ths moton, predct where thngs re gong to project n the net mge,
More informationSection 4.4. Green s Theorem
The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higher-dimensionl nlogues) with the definite integrls
More informationDennis Bricker, 2001 Dept of Industrial Engineering The University of Iowa. MDP: Taxi page 1
Denns Brcker, 2001 Dept of Industrl Engneerng The Unversty of Iow MDP: Tx pge 1 A tx serves three djcent towns: A, B, nd C. Ech tme the tx dschrges pssenger, the drver must choose from three possble ctons:
More informationChapter Newton-Raphson Method of Solving a Nonlinear Equation
Chpter 0.04 Newton-Rphson Method o Solvng Nonlner Equton Ater redng ths chpter, you should be ble to:. derve the Newton-Rphson method ormul,. develop the lgorthm o the Newton-Rphson method,. use the Newton-Rphson
More informationLesson 2.1 Inductive Reasoning
Lesson 2.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, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,
More informationApplied Statistics Qualifier Examination
Appled Sttstcs Qulfer Exmnton Qul_june_8 Fll 8 Instructons: () The exmnton contns 4 Questons. You re to nswer 3 out of 4 of them. () You my use ny books nd clss notes tht you mght fnd helpful n solvng
More information4. Eccentric axial loading, cross-section core
. Eccentrc xl lodng, cross-secton core Introducton We re strtng to consder more generl cse when the xl force nd bxl bendng ct smultneousl n the cross-secton of the br. B vrtue of Snt-Vennt s prncple we
More informationPAIR OF LINEAR EQUATIONS IN TWO VARIABLES
PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,
More informationTrigonometry Revision Sheet Q5 of Paper 2
Trigonometry Revision Sheet Q of Pper The Bsis - The Trigonometry setion is ll out tringles. We will normlly e given some of the sides or ngles of tringle nd we use formule nd rules to find the others.
More informationSTRAND J: TRANSFORMATIONS, VECTORS and MATRICES
Mthemtics SKE: STRN J STRN J: TRNSFORMTIONS, VETORS nd MTRIES J3 Vectors Text ontents Section J3.1 Vectors nd Sclrs * J3. Vectors nd Geometry Mthemtics SKE: STRN J J3 Vectors J3.1 Vectors nd Sclrs Vectors
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 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 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 informationPrefix-Free Regular-Expression Matching
Prefix-Free Regulr-Expression Mthing Yo-Su Hn, Yjun Wng nd Derik Wood Deprtment of Computer Siene HKUST Prefix-Free Regulr-Expression Mthing p.1/15 Pttern Mthing Given pttern P nd text T, find ll sustrings
More informationQUADRATIC EQUATION EXERCISE - 01 CHECK YOUR GRASP
QUADRATIC EQUATION EXERCISE - 0 CHECK YOUR GRASP. Sine sum of oeffiients 0. Hint : It's one root is nd other root is 8 nd 5 5. tn other root 9. q 4p 0 q p q p, q 4 p,,, 4 Hene 7 vlues of (p, q) 7 equtions
More informationLecture 7 Circuits Ch. 27
Leture 7 Cruts Ch. 7 Crtoon -Krhhoff's Lws Tops Dret Current Cruts Krhhoff's Two ules Anlyss of Cruts Exmples Ammeter nd voltmeter C ruts Demos Three uls n rut Power loss n trnsmsson lnes esstvty of penl
More informationTwo Coefficients of the Dyson Product
Two Coeffcents of the Dyson Product rxv:07.460v mth.co 7 Nov 007 Lun Lv, Guoce Xn, nd Yue Zhou 3,,3 Center for Combntorcs, LPMC TJKLC Nnk Unversty, Tnjn 30007, P.R. Chn lvlun@cfc.nnk.edu.cn gn@nnk.edu.cn
More informationLexical Analysis Finite Automate
Lexicl Anlysis Finite Automte CMPSC 470 Lecture 04 Topics: Deterministic Finite Automt (DFA) Nondeterministic Finite Automt (NFA) Regulr Expression NFA DFA A. Finite Automt (FA) FA re grph, like trnsition
More informationThe Schur-Cohn Algorithm
Modelng, Estmton nd Otml Flterng n Sgnl Processng Mohmed Njm Coyrght 8, ISTE Ltd. Aendx F The Schur-Cohn Algorthm In ths endx, our m s to resent the Schur-Cohn lgorthm [] whch s often used s crteron for
More information7.2 Volume. A cross section is the shape we get when cutting straight through an object.
7. Volume Let s revew the volume of smple sold, cylnder frst. Cylnder s volume=se re heght. As llustrted n Fgure (). Fgure ( nd (c) re specl cylnders. Fgure () s rght crculr cylnder. Fgure (c) s ox. A
More information5.4, 6.1, 6.2 Handout. As we ve discussed, the integral is in some way the opposite of taking a derivative. The exact relationship
5.4, 6.1, 6.2 Hnout As we ve iscusse, the integrl is in some wy the opposite of tking erivtive. The exct reltionship is given by the Funmentl Theorem of Clculus: The Funmentl Theorem of Clculus: If f is
More information378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.
378 Reltions 16.7 Solutions for Chpter 16 Section 16.1 Exercises 1. Let A = {0,1,2,3,4,5}. Write out the reltion R tht expresses > on A. Then illustrte it with digrm. 2 1 R = { (5,4),(5,3),(5,2),(5,1),(5,0),(4,3),(4,2),(4,1),
More informationVariable time amplitude amplification and quantum algorithms for linear algebra. Andris Ambainis University of Latvia
Vrble tme mpltude mplfcton nd quntum lgorthms for lner lgebr Andrs Ambns Unversty of Ltv Tlk outlne. ew verson of mpltude mplfcton;. Quntum lgorthm for testng f A s sngulr; 3. Quntum lgorthm for solvng
More informationMA123, Chapter 10: Formulas for integrals: integrals, antiderivatives, and the Fundamental Theorem of Calculus (pp.
MA123, Chpter 1: Formuls for integrls: integrls, ntiderivtives, nd the Fundmentl Theorem of Clculus (pp. 27-233, Gootmn) Chpter Gols: Assignments: Understnd the sttement of the Fundmentl Theorem of Clculus.
More informationPYTHAGORAS THEOREM WHAT S IN CHAPTER 1? IN THIS CHAPTER YOU WILL:
PYTHAGORAS THEOREM 1 WHAT S IN CHAPTER 1? 1 01 Squres, squre roots nd surds 1 02 Pythgors theorem 1 03 Finding the hypotenuse 1 04 Finding shorter side 1 05 Mixed prolems 1 06 Testing for right-ngled tringles
More informationMore Properties of the Riemann Integral
More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl
More informationSection 1.3 Triangles
Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior
More informationBases for Vector Spaces
Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything
More informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More information(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.
Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationSpecial Relativity solved examples using an Electrical Analog Circuit
1-1-15 Specil Reltivity solved exmples using n Electricl Anlog Circuit Mourici Shchter mourici@gmil.com mourici@wll.co.il ISRAE, HOON 54-54855 Introduction In this pper, I develop simple nlog electricl
More informationNew Algorithms: Linear, Nonlinear, and Integer Programming
New Algorthms: ner, Nonlner, nd Integer Progrmmng Dhnnjy P. ehendle Sr Prshurmhu College, Tl Rod, Pune-400, Ind dhnnjy.p.mehendle@gml.om Astrt In ths pper we propose new lgorthm for lner progrmmng. Ths
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationLecture 1 - Introduction and Basic Facts about PDEs
* 18.15 - Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1 - Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV
More informationa) Read over steps (1)- (4) below and sketch the path of the cycle on a P V plot on the graph below. Label all appropriate points.
Prole 3: Crnot Cyle of n Idel Gs In this prole, the strting pressure P nd volue of n idel gs in stte, re given he rtio R = / > of the volues of the sttes nd is given Finlly onstnt γ = 5/3 is given You
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 informationCISE 301: Numerical Methods Lecture 5, Topic 4 Least Squares, Curve Fitting
CISE 3: umercl Methods Lecture 5 Topc 4 Lest Squres Curve Fttng Dr. Amr Khouh Term Red Chpter 7 of the tetoo c Khouh CISE3_Topc4_Lest Squre Motvton Gven set of epermentl dt 3 5. 5.9 6.3 The reltonshp etween
More informationME 501A Seminar in Engineering Analysis Page 1
More oundr-vlue Prolems nd genvlue Prolems n Os ovemer 9, 7 More oundr-vlue Prolems nd genvlue Prolems n Os Lrr retto Menl ngneerng 5 Semnr n ngneerng nlss ovemer 9, 7 Outlne Revew oundr-vlue prolems Soot
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 information= x x 2 = 25 2
9.1 Wrm Up Solve the eqution. 1. 4 2 + 3 2 = x 2 2. 13 2 + x 2 = 25 2 3. 3 2 2 + x 2 = 5 2 2 4. 5 2 + x 2 = 12 2 Mrh 7, 2016 Geometry 9.1 The Pythgoren Theorem 1 Geometry 9.1 The Pythgoren Theorem 9.1
More informationApril 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.
pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm
More informationMCA-205: Mathematics II (Discrete Mathematical Structures)
MCA-05: Mthemts II (Dsrete Mthemtl Strutures) Lesson No: I Wrtten y Pnkj Kumr Lesson: Group theory - I Vette y Prof. Kulp Sngh STRUCTURE.0 OBJECTIVE. INTRODUCTION. SOME DEFINITIONS. GROUP.4 PERMUTATION
More informationSubstitution Matrices and Alignment Statistics. Substitution Matrices
Susttuton Mtrces nd Algnment Sttstcs BMI/CS 776 www.ostt.wsc.edu/~crven/776.html Mrk Crven crven@ostt.wsc.edu Ferur 2002 Susttuton Mtrces two oulr sets of mtrces for roten seuences PAM mtrces [Dhoff et
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 informationUNIVERSITY OF IOANNINA DEPARTMENT OF ECONOMICS. M.Sc. in Economics MICROECONOMIC THEORY I. Problem Set II
Mcroeconomc Theory I UNIVERSITY OF IOANNINA DEPARTMENT OF ECONOMICS MSc n Economcs MICROECONOMIC THEORY I Techng: A Lptns (Note: The number of ndctes exercse s dffculty level) ()True or flse? If V( y )
More informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More informationSpacetime and the Quantum World Questions Fall 2010
Spetime nd the Quntum World Questions Fll 2010 1. Cliker Questions from Clss: (1) In toss of two die, wht is the proility tht the sum of the outomes is 6? () P (x 1 + x 2 = 6) = 1 36 - out 3% () P (x 1
More information03. Early Greeks & Aristotle
03. Erly Greeks & Aristotle I. Erly Greeks Topis I. Erly Greeks II. The Method of Exhustion III. Aristotle. Anximnder (. 60 B.C.) to peiron - the unlimited, unounded - fundmentl sustne of relity - underlying
More informationLinear Systems with Constant Coefficients
Liner Systems with Constnt Coefficients 4-3-05 Here is system of n differentil equtions in n unknowns: x x + + n x n, x x + + n x n, x n n x + + nn x n This is constnt coefficient liner homogeneous system
More informationPart 4. Integration (with Proofs)
Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1
More informationMaintaining Mathematical Proficiency
Nme Dte hpter 9 Mintining Mthemtil Profiieny Simplify the epression. 1. 500. 189 3. 5 4. 4 3 5. 11 5 6. 8 Solve the proportion. 9 3 14 7. = 8. = 9. 1 7 5 4 = 4 10. 0 6 = 11. 7 4 10 = 1. 5 9 15 3 = 5 +
More informationAn Ising model on 2-D image
School o Coputer Scence Approte Inerence: Loopy Bele Propgton nd vrnts Prolstc Grphcl Models 0-708 Lecture 4, ov 7, 007 Receptor A Knse C Gene G Receptor B Knse D Knse E 3 4 5 TF F 6 Gene H 7 8 Hetunndn
More informationThe University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS
The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their
More information6.5 Improper integrals
Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =
More information18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106
8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly
More information12.4 Similarity in Right Triangles
Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right
More 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 informationLecture 4: Piecewise Cubic Interpolation
Lecture notes on Vrtonl nd Approxmte Methods n Appled Mthemtcs - A Perce UBC Lecture 4: Pecewse Cubc Interpolton Compled 6 August 7 In ths lecture we consder pecewse cubc nterpolton n whch cubc polynoml
More informationCHENG Chun Chor Litwin The Hong Kong Institute of Education
PE-hing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study- onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using
More information