15.12 Applications of Suffix Trees

Size: px
Start display at page:

Download "15.12 Applications of Suffix Trees"

Transcription

1 248 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, Appliations of Suffix Trees 1. Searhing for exat patterns 2. Minimal unique substrings 3. Maximum unique mathes 4. Maximum repeats 5. Approximate repeats Searhing for exat patterns To determine whether a string q ours in a string t, follow the path from the root of the suffix tree ST (t) as direted by the haraters of q. If at some point you annot proeed, then q does not our in t, otherwise it does. b a b Example: Text abab. a b b a 5 The query abb is not ontained in abab (Navigating into the tree and mathing the first two letters ab, we arrive at the node ab, however there is no b-edge leaving from there.) The query aba is ontained in abab. Determining whether q ours in t requires O( q ) time Finding all ourrenes To find all positions where the query q is ontained in t, annotate eah leaf s i of the suffix tree with the position i at whih the suffix i starts in t. Then, after mathing q to a path in the tree, visit all nodes below the path and return the annotated values. This works beause any ourrene of q in t is the prefix of one of these suffixes. The number of nodes below the path is at most twie the number of hits and thus finding and olleting all hits takes time O( q + k), where k is the number of ourrenes. (Note that in the disussed lazy suffix tree implementation we do not use this leaf annotation but rather ompute the positions from the lp values, to save spae...) Minimal Unique Substrings Definition Given a sequene s Σ, and a number L > 0. The minimal unique substrings problem onsists of enumerating all substrings u Σ of s satisfying the following properties: u ours exatly one in s, u L, and all proper prefixes of u our at least twie in s.

2 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, Example: Let s = abab and L = 2. Then the minimal unique substrings are aba and ba. Note, that bab is not a minimal unique substring, sine the proper prefix ba of bab is already unique, i.e. the minimality ondition does not hold. Question: How an suffix trees be used to solve the minimal unique substring problem? Appliations of this in primer design Appliation: Maximum Unique Mathes Modern sequening and omputational tehnologies and advanes in bioinformatis has made whole genome sequening possible. One resulting hallenge is the fast alignment of whole genomes. Dynami programming is too slow for aligning two large genomes. Heuristis suh as BLAST or FASTA are not designed to perform pairwise alignments of two very long sequenes. One very suessful approah is based on identifying maximum unique mathes, whih is based on the assumption that one expets to substrings ourring in two similar genomes. Maximum unique mathes (MUMs) are almost surely part of a good alignment of the two sequenes and so the alignment problem an be redued to aligning the sequene in the gaps between the MUMs. Definition Given two sequenes s, t Σ, and a number L > 0. mathes problem (MUM-problem) is to find all sequenes u Σ with: The maximum unique u L, u ours exatly one in s and one in t, and for any harater a Σ neither ua nor au ours both in s and t. In other words, a MUM is a sequene m that ours preisely one in s and one in t, and is both right maximum and left maximum with this property (meaning that ma and am both do not have the uniqueness property, for any letter a). For example: if s =mostbeautifulandwildorsia t =greenleanandnulearfree, then there is only one MUM of length 3, namely This problem an be solved in O( s + t ) time using a so-alled generalized suffix tree: and To find all MUMs, generate the generalized suffix tree T for s%t, where % is a separator with % / s and % / t. Any path in T from the root to some node u that has preisely two hildren, one in s and one in t, orresponds to a right maximum unique math. To determine whether u is left maximum, too, simply hek whether both preeding letters in s and t differ. Example For s =agga and t =agagga, onstrut the suffix tree for s%t:

3 250 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, 2007 The node ga has preisely two leaves as hildern, one representing a suffix that starts in s and the other one that starts in t. Thus, the word ga ours preisely one in both s and t, and is right maximum. The word is also left-maximum as the preeding haraters in s (=g) and t (=) differ. Note, however, that the string ag is not a MUM, sine the node ag has three hildren. MUMs are apparent in dotplots: Example

4 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, Example Appliations Appliations of MUMs in sequene analysis: Detetion of large-sale inversions in baterial genomes Detetion of whole-genome dupliations, for example in the genome of Arabidopsis thaliana. Comparison of different assemblies of the same genome at different stages of sequening and finishing. Comparison of assemblies of the same data using different assembly algorithms Deteting Repeats A puzzling observation in the early days of moleular biology was that genome size does not orrelate well with organismal omplexity. For example, Homo sapiens has a genome that is 200 times as large as that of the yeast S. erevisiae, but 100 times as small as that of Amoeba dubia. This so-alled C-value paradox was largely resolved with the reognition that many genomes onsist of a large amount of repetitive sequene.

5 252 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, 2007 Repeats in human (Nature, vol. 409, pg. 880, 15. Feb 2000) Repeats A PubMed query for (repeat OR repetitive) AND (protein OR nuleotide sequene) on May 13, 2006 produed the following results: hits without limits to speifi fields hits when restriting to title/abstrat 1170 hits when restriting to title Keywords assoiated with the hits: imprinting / RNA editing / diseases / repair / genome organization / viruses / protein families One an distinguish between loal, small-sale repeats with known funtion or origin, simple repeats, loal and interspersed, with less known funtion, and omplex interspersed repeats with unknown funtion. Examples of loal repeats are: palindromi sequenes (regulation of DNA transription), eg. sequenes, restrition enzyme reognition inverted repeats flanking transposons (orientation), repeats in viruses,

6 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, non-oding RNAs suh as rrnas and trnas (must be produed in large opy numbers), protein family members (eg. globins), lustered genes (eg. histones), and motifs and domains of proteins. Examples of simple repeats are: often seen as tandem repeats: eg. hromosome, TTAGGG up to several opies at the end of every human simple tandem repeats of length 3 nuleotides are linked to ertain diseases (Huntington, et.), and satellite DNA (forensi appliations). Examples of interspersed repeats are: SINEs - Short Interspersed Nulear sequenes (Alu repeats, MIRs), LINEs, and LTR elements Maximum Repeats Definition Given a sequene t = t 1 t 2... t n. Let a substring t[i, j] := t i... t j be represented by the pair (i, j). A pair R = (l, r) of different substrings l = (i, j) and r = (i, j ) of t is alled a repeat, if i < i and t i... t j = t i... t j. We all l and r the left and right instane of the repeat R, respetively. t i j i j t... t j i = t... t i j Definition A repeat R = ((i, j), (i, j )) is alled left maximum, if i = 1 or t i 1 t i 1, and right maximum, if j = n or t j+1 t j +1, and maximum, if it is both left and right maximum. t i j i j = at... t i j b t i... tj d Note that the definition allows for overlapping repeats. maximum a and b d Example The string g a g t g a g ontains the following repeats of length 2: ((1, 4), (7, 10)) gag maximum ((1, 3), (7, 9)) gag left maximum ((2, 4), (8, 10)) ag right maximum ((1, 2), (7, 8)) ga left maximum ((2, 3), (8, 9)) ag ((3, 4), (9, 10)) g right maximum

7 254 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, 2007 Computing all Maximum Repeats We will disuss how to ompute all maximum repeats for a string t of length n. Generally we also want to permit a prefix or a suffix of t to be part of a maximum repeat. To model this we simply add a harater to the start of t and one to the last of t that do no our elsewhere in t, e.g.: t = x g g g y g g z Let ST (t) be the suffix tree for t. A onnetion between suffix trees and maximum repeats is stated in the following Lemma Let ST (t) be a suffix tree for string t. If a string r is a maximum repeat in t, then r is the label of an internal node r in ST (t). The following is maybe a bit surprising Theorem There are at most n maximum repeats in any string of length n. Proof: Sine ST (t) has n leaves, it has at most n internal nodes. Thus the theorem follows immediately from the preeding lemma. Thus beause of the theorem above we will need only to look at internal nodes, but whih speifi internal nodes orrespond to maximum repeats? The following algorithm will answer this question. From now on we an ignore all leaf edges from the root (why?). The algorithm proeeds in two phases: In the first phase, every leaf node v of ST (t) is annotated by (a, i), where i denotes the position of the suffix v = t i... t n assoiated with v and a = t i 1 is the letter that ours immediately before the suffix. Example: Partial suffix tree for t = x g g g y g g z : g z g ygg ggygg ygg ygg g ygg

8 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, With leaf annotations: g 12 z g 11 ygg g g 6 ggygg ygg ygg g g 9 g ygg y 8 g 3 x 2 Note that a substring r an only be a maximum repeat iff its branhing node r has at least two leaves with different letters in their annotations. Thus in order to find and print those we need to ombine the leaf annotations appropriately. For every leaf node v and Σ we set: { {i}, if = ti 1, and A(v, ) =, else, where i is the start position of the orresponding suffix v. In the seond phase of the algorithm, we extend this annotation to all branhing nodes, bottom-up: Let w be a branhing node with hildren v 1,..., v h and assume we have omputed A(v j, ) for all j {1,..., h} and all Σ. For eah letter Σ set: A(w, ) := h A(v j, ). j=1 Note that this is a disjoint union and A(w, ) is the set of all start positions of w in t for whih t i 1 =. 12 z g 11 g ygg g g 6 ggygg ygg ygg g g 9 g ygg y 8 g 3 x 2 ((8,9),(10,11)) ((3,4),(10,11) ((5,6),(8,9)) ((3,4),(5,6)) g 3 5,10 y 8 g ygg g 5 10 ygg y 8 g 3 g 3 5,10 x 2 y 8 ggygg g 3 y 8 x 2 ((3,6),(8,11)) Reporting All Maximum Repeats In a bottom-up traversal, for eah branhing node w we first determine A(w, ) for all Σ and then report all maximum repeats of the substring w that have length L: Let q be the depth of node w, i.e., q is equal to the length of w. Then there is a maximum repeat for w, if w has a pair of hildren v f and v g suh that there is a letter and a letter d, with d and A(v f, ) and A(v g, d). In this ase we output R((i, i + q 1), (j, j + q 1)) for all i that are in A(v f, ) and j that are in A(v g, d). The result of the algorithm for maximum repeats of length L 2 for the example is:

Sequence Analysis, WS 14/15, D. Huson & R. Neher (this part by D. Huson & J. Fischer) January 21,

Sequence Analysis, WS 14/15, D. Huson & R. Neher (this part by D. Huson & J. Fischer) January 21, Sequene Analysis, WS 14/15, D. Huson & R. Neher (this part by D. Huson & J. Fisher) January 21, 201511 9 Suffix Trees and Suffix Arrays This leture is based on the following soures, whih are all reommended

More information

Searching All Approximate Covers and Their Distance using Finite Automata

Searching All Approximate Covers and Their Distance using Finite Automata Searhing All Approximate Covers and Their Distane using Finite Automata Ondřej Guth, Bořivoj Melihar, and Miroslav Balík České vysoké učení tehniké v Praze, Praha, CZ, {gutho1,melihar,alikm}@fel.vut.z

More information

CMSC 451: Lecture 9 Greedy Approximation: Set Cover Thursday, Sep 28, 2017

CMSC 451: Lecture 9 Greedy Approximation: Set Cover Thursday, Sep 28, 2017 CMSC 451: Leture 9 Greedy Approximation: Set Cover Thursday, Sep 28, 2017 Reading: Chapt 11 of KT and Set 54 of DPV Set Cover: An important lass of optimization problems involves overing a ertain domain,

More information

Flexible Word Design and Graph Labeling

Flexible Word Design and Graph Labeling Flexible Word Design and Graph Labeling Ming-Yang Kao Manan Sanghi Robert Shweller Abstrat Motivated by emerging appliations for DNA ode word design, we onsider a generalization of the ode word design

More information

State Diagrams. Margaret M. Fleck. 14 November 2011

State Diagrams. Margaret M. Fleck. 14 November 2011 State Diagrams Margaret M. Flek 14 November 2011 These notes over state diagrams. 1 Introdution State diagrams are a type of direted graph, in whih the graph nodes represent states and labels on the graph

More information

McCreight s Suffix Tree Construction Algorithm. Milko Izamski B.Sc. Informatics Instructor: Barbara König

McCreight s Suffix Tree Construction Algorithm. Milko Izamski B.Sc. Informatics Instructor: Barbara König 1. Introution MCreight s Suffix Tree Constrution Algorithm Milko Izamski B.S. Informatis Instrutor: Barbara König The main goal of MCreight s algorithm is to buil a suffix tree in linear time. This is

More information

Nonreversibility of Multiple Unicast Networks

Nonreversibility of Multiple Unicast Networks Nonreversibility of Multiple Uniast Networks Randall Dougherty and Kenneth Zeger September 27, 2005 Abstrat We prove that for any finite direted ayli network, there exists a orresponding multiple uniast

More information

Q2. [40 points] Bishop-Hill Model: Calculation of Taylor Factors for Multiple Slip

Q2. [40 points] Bishop-Hill Model: Calculation of Taylor Factors for Multiple Slip 27-750, A.D. Rollett Due: 20 th Ot., 2011. Homework 5, Volume Frations, Single and Multiple Slip Crystal Plastiity Note the 2 extra redit questions (at the end). Q1. [40 points] Single Slip: Calulating

More information

Complexity of Regularization RBF Networks

Complexity of Regularization RBF Networks Complexity of Regularization RBF Networks Mark A Kon Department of Mathematis and Statistis Boston University Boston, MA 02215 mkon@buedu Leszek Plaskota Institute of Applied Mathematis University of Warsaw

More information

Hankel Optimal Model Order Reduction 1

Hankel Optimal Model Order Reduction 1 Massahusetts Institute of Tehnology Department of Eletrial Engineering and Computer Siene 6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski Hankel Optimal Model Order Redution 1 This leture overs both

More information

Packing Plane Spanning Trees into a Point Set

Packing Plane Spanning Trees into a Point Set Paking Plane Spanning Trees into a Point Set Ahmad Biniaz Alfredo Garía Abstrat Let P be a set of n points in the plane in general position. We show that at least n/3 plane spanning trees an be paked into

More information

Chapter 3 Church-Turing Thesis. CS 341: Foundations of CS II

Chapter 3 Church-Turing Thesis. CS 341: Foundations of CS II CS 341: Foundations of CS II Marvin K. Nakayama Computer Siene Department New Jersey Institute of Tehnology Newark, NJ 07102 CS 341: Chapter 3 3-2 Contents Turing Mahines Turing-reognizable Turing-deidable

More information

Overview. Regular Expressions and Finite-State. Motivation. Regular expressions. RE syntax Additional functions. Regular languages Properties

Overview. Regular Expressions and Finite-State. Motivation. Regular expressions. RE syntax Additional functions. Regular languages Properties Overview L445/L545/B659 Dept. of Linguistis, Indiana University Spring 2016 languages Finite-state tehnology is: Fast and effiient Useful for a variety of language tasks Three main topis we ll disuss:

More information

A Characterization of Wavelet Convergence in Sobolev Spaces

A Characterization of Wavelet Convergence in Sobolev Spaces A Charaterization of Wavelet Convergene in Sobolev Spaes Mark A. Kon 1 oston University Louise Arakelian Raphael Howard University Dediated to Prof. Robert Carroll on the oasion of his 70th birthday. Abstrat

More information

max min z i i=1 x j k s.t. j=1 x j j:i T j

max min z i i=1 x j k s.t. j=1 x j j:i T j AM 221: Advaned Optimization Spring 2016 Prof. Yaron Singer Leture 22 April 18th 1 Overview In this leture, we will study the pipage rounding tehnique whih is a deterministi rounding proedure that an be

More information

arxiv: v1 [cs.cc] 27 Jul 2014

arxiv: v1 [cs.cc] 27 Jul 2014 DMVP: Foremost Waypoint Coverage of Time-Varying Graphs Eri Aaron 1, Danny Krizan 2, and Elliot Meyerson 2 arxiv:1407.7279v1 [s.cc] 27 Jul 2014 1 Computer Siene Department, Vassar College, Poughkeepsie,

More information

Discrete Bessel functions and partial difference equations

Discrete Bessel functions and partial difference equations Disrete Bessel funtions and partial differene equations Antonín Slavík Charles University, Faulty of Mathematis and Physis, Sokolovská 83, 186 75 Praha 8, Czeh Republi E-mail: slavik@karlin.mff.uni.z Abstrat

More information

Counting Arbitrary Subgraphs in Data Streams

Counting Arbitrary Subgraphs in Data Streams Counting Arbitrary Subgraphs in Data Streams Daniel M. Kane 1, Kurt Mehlhorn, Thomas Sauerwald, and He Sun 1 Department of Mathematis, Stanford University, USA Max Plank Institute for Informatis, Germany

More information

Methods of evaluating tests

Methods of evaluating tests Methods of evaluating tests Let X,, 1 Xn be i.i.d. Bernoulli( p ). Then 5 j= 1 j ( 5, ) T = X Binomial p. We test 1 H : p vs. 1 1 H : p>. We saw that a LRT is 1 if t k* φ ( x ) =. otherwise (t is the observed

More information

The Effectiveness of the Linear Hull Effect

The Effectiveness of the Linear Hull Effect The Effetiveness of the Linear Hull Effet S. Murphy Tehnial Report RHUL MA 009 9 6 Otober 009 Department of Mathematis Royal Holloway, University of London Egham, Surrey TW0 0EX, England http://www.rhul.a.uk/mathematis/tehreports

More information

Where as discussed previously we interpret solutions to this partial differential equation in the weak sense: b

Where as discussed previously we interpret solutions to this partial differential equation in the weak sense: b Consider the pure initial value problem for a homogeneous system of onservation laws with no soure terms in one spae dimension: Where as disussed previously we interpret solutions to this partial differential

More information

Chapter 2. Conditional Probability

Chapter 2. Conditional Probability Chapter. Conditional Probability The probabilities assigned to various events depend on what is known about the experimental situation when the assignment is made. For a partiular event A, we have used

More information

Aharonov-Bohm effect. Dan Solomon.

Aharonov-Bohm effect. Dan Solomon. Aharonov-Bohm effet. Dan Solomon. In the figure the magneti field is onfined to a solenoid of radius r 0 and is direted in the z- diretion, out of the paper. The solenoid is surrounded by a barrier that

More information

Lightpath routing for maximum reliability in optical mesh networks

Lightpath routing for maximum reliability in optical mesh networks Vol. 7, No. 5 / May 2008 / JOURNAL OF OPTICAL NETWORKING 449 Lightpath routing for maximum reliability in optial mesh networks Shengli Yuan, 1, * Saket Varma, 2 and Jason P. Jue 2 1 Department of Computer

More information

Average Rate Speed Scaling

Average Rate Speed Scaling Average Rate Speed Saling Nikhil Bansal David P. Bunde Ho-Leung Chan Kirk Pruhs May 2, 2008 Abstrat Speed saling is a power management tehnique that involves dynamially hanging the speed of a proessor.

More information

Stochastic Combinatorial Optimization with Risk Evdokia Nikolova

Stochastic Combinatorial Optimization with Risk Evdokia Nikolova Computer Siene and Artifiial Intelligene Laboratory Tehnial Report MIT-CSAIL-TR-2008-055 September 13, 2008 Stohasti Combinatorial Optimization with Risk Evdokia Nikolova massahusetts institute of tehnology,

More information

Relative Maxima and Minima sections 4.3

Relative Maxima and Minima sections 4.3 Relative Maxima and Minima setions 4.3 Definition. By a ritial point of a funtion f we mean a point x 0 in the domain at whih either the derivative is zero or it does not exists. So, geometrially, one

More information

arxiv:cond-mat/ v1 [cond-mat.stat-mech] 16 Aug 2004

arxiv:cond-mat/ v1 [cond-mat.stat-mech] 16 Aug 2004 Computational omplexity and fundamental limitations to fermioni quantum Monte Carlo simulations arxiv:ond-mat/0408370v1 [ond-mat.stat-meh] 16 Aug 2004 Matthias Troyer, 1 Uwe-Jens Wiese 2 1 Theoretishe

More information

Millennium Relativity Acceleration Composition. The Relativistic Relationship between Acceleration and Uniform Motion

Millennium Relativity Acceleration Composition. The Relativistic Relationship between Acceleration and Uniform Motion Millennium Relativity Aeleration Composition he Relativisti Relationship between Aeleration and niform Motion Copyright 003 Joseph A. Rybzyk Abstrat he relativisti priniples developed throughout the six

More information

Probabilistic Graphical Models

Probabilistic Graphical Models Probabilisti Graphial Models David Sontag New York University Leture 12, April 19, 2012 Aknowledgement: Partially based on slides by Eri Xing at CMU and Andrew MCallum at UMass Amherst David Sontag (NYU)

More information

Convergence of reinforcement learning with general function approximators

Convergence of reinforcement learning with general function approximators Convergene of reinforement learning with general funtion approximators assilis A. Papavassiliou and Stuart Russell Computer Siene Division, U. of California, Berkeley, CA 94720-1776 fvassilis,russellg@s.berkeley.edu

More information

Product Policy in Markets with Word-of-Mouth Communication. Technical Appendix

Product Policy in Markets with Word-of-Mouth Communication. Technical Appendix rodut oliy in Markets with Word-of-Mouth Communiation Tehnial Appendix August 05 Miro-Model for Inreasing Awareness In the paper, we make the assumption that awareness is inreasing in ustomer type. I.e.,

More information

Anomaly cancellation and modularity, II: The E 8 E 8 case

Anomaly cancellation and modularity, II: The E 8 E 8 case SCIENCE CHINA Mathematis. ARTICLES. June 07 Vol. 60 No. 6: 985 994 doi: 0.007/s45-06-9034- Anomaly anellation and modularity, II: The E 8 E 8 ase In memory of Professor LU QiKeng 97 05 HAN Fei, LIU KeFeng,3

More information

Advanced Computational Fluid Dynamics AA215A Lecture 4

Advanced Computational Fluid Dynamics AA215A Lecture 4 Advaned Computational Fluid Dynamis AA5A Leture 4 Antony Jameson Winter Quarter,, Stanford, CA Abstrat Leture 4 overs analysis of the equations of gas dynamis Contents Analysis of the equations of gas

More information

Application of the Dyson-type boson mapping for low-lying electron excited states in molecules

Application of the Dyson-type boson mapping for low-lying electron excited states in molecules Prog. Theor. Exp. Phys. 05, 063I0 ( pages DOI: 0.093/ptep/ptv068 Appliation of the Dyson-type boson mapping for low-lying eletron exited states in moleules adao Ohkido, and Makoto Takahashi Teaher-training

More information

Singular Event Detection

Singular Event Detection Singular Event Detetion Rafael S. Garía Eletrial Engineering University of Puerto Rio at Mayagüez Rafael.Garia@ee.uprm.edu Faulty Mentor: S. Shankar Sastry Researh Supervisor: Jonathan Sprinkle Graduate

More information

Sufficient Conditions for a Flexible Manufacturing System to be Deadlocked

Sufficient Conditions for a Flexible Manufacturing System to be Deadlocked Paper 0, INT 0 Suffiient Conditions for a Flexile Manufaturing System to e Deadloked Paul E Deering, PhD Department of Engineering Tehnology and Management Ohio University deering@ohioedu Astrat In reent

More information

Modal Horn Logics Have Interpolation

Modal Horn Logics Have Interpolation Modal Horn Logis Have Interpolation Marus Kraht Department of Linguistis, UCLA PO Box 951543 405 Hilgard Avenue Los Angeles, CA 90095-1543 USA kraht@humnet.ula.de Abstrat We shall show that the polymodal

More information

Non-Abelian quantum Hall states and their quasiparticles: From the pattern of zeros to vertex algebra

Non-Abelian quantum Hall states and their quasiparticles: From the pattern of zeros to vertex algebra Non-Abelian quantum Hall states and their quasipartiles: From the pattern of zeros to vertex algebra Yuan-Ming Lu, 1 Xiao-Gang Wen,, Zhenghan Wang, 4 and Ziqiang Wang 1 1 Department of Physis, Boston College,

More information

Bäcklund Transformations: Some Old and New Perspectives

Bäcklund Transformations: Some Old and New Perspectives Bäklund Transformations: Some Old and New Perspetives C. J. Papahristou *, A. N. Magoulas ** * Department of Physial Sienes, Helleni Naval Aademy, Piraeus 18539, Greee E-mail: papahristou@snd.edu.gr **

More information

Lecture 7: Sampling/Projections for Least-squares Approximation, Cont. 7 Sampling/Projections for Least-squares Approximation, Cont.

Lecture 7: Sampling/Projections for Least-squares Approximation, Cont. 7 Sampling/Projections for Least-squares Approximation, Cont. Stat60/CS94: Randomized Algorithms for Matries and Data Leture 7-09/5/013 Leture 7: Sampling/Projetions for Least-squares Approximation, Cont. Leturer: Mihael Mahoney Sribe: Mihael Mahoney Warning: these

More information

NPTEL STRUCTURAL RELIABILITY

NPTEL STRUCTURAL RELIABILITY NTEL Course On STRUCTURL RELIBILITY Module # 02 Leture 2 Course Format: Web Instrutor: Dr. runasis Chakraborty Department of Civil Engineering Indian Institute of Tehnology Guwahati 2. Leture 02: Theory

More information

Supplementary Materials

Supplementary Materials Supplementary Materials Neural population partitioning and a onurrent brain-mahine interfae for sequential motor funtion Maryam M. Shanehi, Rollin C. Hu, Marissa Powers, Gregory W. Wornell, Emery N. Brown

More information

arxiv: v2 [math.pr] 9 Dec 2016

arxiv: v2 [math.pr] 9 Dec 2016 Omnithermal Perfet Simulation for Multi-server Queues Stephen B. Connor 3th Deember 206 arxiv:60.0602v2 [math.pr] 9 De 206 Abstrat A number of perfet simulation algorithms for multi-server First Come First

More information

Bi-clustering of Gene Expression Data Using Conditional Entropy

Bi-clustering of Gene Expression Data Using Conditional Entropy Bi-lustering of Gene Expression Data Using Conditional Entropy Afolabi Olomola and Sumeet Dua, Data Mining Researh Laboratory (DMRL), Department of Computer Siene Louisiana Teh University, Ruston, LA,

More information

Chapter 8 Hypothesis Testing

Chapter 8 Hypothesis Testing Leture 5 for BST 63: Statistial Theory II Kui Zhang, Spring Chapter 8 Hypothesis Testing Setion 8 Introdution Definition 8 A hypothesis is a statement about a population parameter Definition 8 The two

More information

Indian Institute of Technology Bombay. Department of Electrical Engineering. EE 325 Probability and Random Processes Lecture Notes 3 July 28, 2014

Indian Institute of Technology Bombay. Department of Electrical Engineering. EE 325 Probability and Random Processes Lecture Notes 3 July 28, 2014 Indian Institute of Tehnology Bombay Department of Eletrial Engineering Handout 5 EE 325 Probability and Random Proesses Leture Notes 3 July 28, 2014 1 Axiomati Probability We have learned some paradoxes

More information

Determination of the reaction order

Determination of the reaction order 5/7/07 A quote of the wee (or amel of the wee): Apply yourself. Get all the eduation you an, but then... do something. Don't just stand there, mae it happen. Lee Iaoa Physial Chemistry GTM/5 reation order

More information

Tight bounds for selfish and greedy load balancing

Tight bounds for selfish and greedy load balancing Tight bounds for selfish and greedy load balaning Ioannis Caragiannis Mihele Flammini Christos Kaklamanis Panagiotis Kanellopoulos Lua Mosardelli Deember, 009 Abstrat We study the load balaning problem

More information

NEW MEANS OF CYBERNETICS, INFORMATICS, COMPUTER ENGINEERING, AND SYSTEMS ANALYSIS

NEW MEANS OF CYBERNETICS, INFORMATICS, COMPUTER ENGINEERING, AND SYSTEMS ANALYSIS Cybernetis and Systems Analysis, Vol. 43, No. 5, 007 NEW MEANS OF CYBERNETICS, INFORMATICS, COMPUTER ENGINEERING, AND SYSTEMS ANALYSIS ARCHITECTURAL OPTIMIZATION OF A DIGITAL OPTICAL MULTIPLIER A. V. Anisimov

More information

Danielle Maddix AA238 Final Project December 9, 2016

Danielle Maddix AA238 Final Project December 9, 2016 Struture and Parameter Learning in Bayesian Networks with Appliations to Prediting Breast Caner Tumor Malignany in a Lower Dimension Feature Spae Danielle Maddix AA238 Final Projet Deember 9, 2016 Abstrat

More information

Viewing the Rings of a Tree: Minimum Distortion Embeddings into Trees

Viewing the Rings of a Tree: Minimum Distortion Embeddings into Trees Viewing the Rings of a Tree: Minimum Distortion Embeddings into Trees Amir Nayyeri Benjamin Raihel Abstrat We desribe a 1+ε) approximation algorithm for finding the minimum distortion embedding of an n-point

More information

A model for measurement of the states in a coupled-dot qubit

A model for measurement of the states in a coupled-dot qubit A model for measurement of the states in a oupled-dot qubit H B Sun and H M Wiseman Centre for Quantum Computer Tehnology Centre for Quantum Dynamis Griffith University Brisbane 4 QLD Australia E-mail:

More information

On Component Order Edge Reliability and the Existence of Uniformly Most Reliable Unicycles

On Component Order Edge Reliability and the Existence of Uniformly Most Reliable Unicycles Daniel Gross, Lakshmi Iswara, L. William Kazmierzak, Kristi Luttrell, John T. Saoman, Charles Suffel On Component Order Edge Reliability and the Existene of Uniformly Most Reliable Uniyles DANIEL GROSS

More information

(c) Calculate the tensile yield stress based on a critical resolved shear stress that we will (arbitrarily) set at 100 MPa. (c) MPa.

(c) Calculate the tensile yield stress based on a critical resolved shear stress that we will (arbitrarily) set at 100 MPa. (c) MPa. 27-750, A.D. Rollett Due: 20 th Ot., 2011. Homework 5, Volume Frations, Single and Multiple Slip Crystal Plastiity Note the 2 extra redit questions (at the end). Q1. [40 points] Single Slip: Calulating

More information

Pushdown Specifications

Pushdown Specifications Orna Kupferman Hebrew University Pushdown Speifiations Nir Piterman Weizmann Institute of Siene une 9, 2002 Moshe Y Vardi Rie University Abstrat Traditionally, model heking is applied to finite-state systems

More information

Concerning the Numbers 22p + 1, p Prime

Concerning the Numbers 22p + 1, p Prime Conerning the Numbers 22p + 1, p Prime By John Brillhart 1. Introdution. In a reent investigation [7] the problem of fatoring numbers of the form 22p + 1, p a, was enountered. Sine 22p + 1 = (2P - 2*

More information

Computer Science 786S - Statistical Methods in Natural Language Processing and Data Analysis Page 1

Computer Science 786S - Statistical Methods in Natural Language Processing and Data Analysis Page 1 Computer Siene 786S - Statistial Methods in Natural Language Proessing and Data Analysis Page 1 Hypothesis Testing A statistial hypothesis is a statement about the nature of the distribution of a random

More information

V. Interacting Particles

V. Interacting Particles V. Interating Partiles V.A The Cumulant Expansion The examples studied in the previous setion involve non-interating partiles. It is preisely the lak of interations that renders these problems exatly solvable.

More information

FORMAL METHODS LECTURE VI BINARY DECISION DIAGRAMS (BDD S)

FORMAL METHODS LECTURE VI BINARY DECISION DIAGRAMS (BDD S) Alessandro Artale (FM First Semester 2009/2010) p. 1/38 FORMAL METHODS LECTURE VI BINARY DECISION DIAGRAMS (BDD S) Alessandro Artale Faulty of Computer Siene Free University of Bolzano artale@inf.unibz.it

More information

An Adaptive Optimization Approach to Active Cancellation of Repeated Transient Vibration Disturbances

An Adaptive Optimization Approach to Active Cancellation of Repeated Transient Vibration Disturbances An aptive Optimization Approah to Ative Canellation of Repeated Transient Vibration Disturbanes David L. Bowen RH Lyon Corp / Aenteh, 33 Moulton St., Cambridge, MA 138, U.S.A., owen@lyonorp.om J. Gregory

More information

Solutions to Problem Set 1

Solutions to Problem Set 1 Eon602: Maro Theory Eonomis, HKU Instrutor: Dr. Yulei Luo September 208 Solutions to Problem Set. [0 points] Consider the following lifetime optimal onsumption-saving problem: v (a 0 ) max f;a t+ g t t

More information

Supporting Information

Supporting Information Supporting Information Olsman and Goentoro 10.1073/pnas.1601791113 SI Materials Analysis of the Sensitivity and Error Funtions. We now define the sensitivity funtion Sð, «0 Þ, whih summarizes the steepness

More information

Integration of the Finite Toda Lattice with Complex-Valued Initial Data

Integration of the Finite Toda Lattice with Complex-Valued Initial Data Integration of the Finite Toda Lattie with Complex-Valued Initial Data Aydin Huseynov* and Gusein Sh Guseinov** *Institute of Mathematis and Mehanis, Azerbaijan National Aademy of Sienes, AZ4 Baku, Azerbaijan

More information

Branch and Price for Multi-Agent Plan Recognition

Branch and Price for Multi-Agent Plan Recognition Proeedings of the Twenty-Fifth AAAI Conferene on Artifiial Intelligene Branh and Prie for Multi-Agent Plan Reognition Bikramjit Banerjee and Landon Kraemer Shool of Computing University of Southern Mississippi

More information

4.3 Singular Value Decomposition and Analysis

4.3 Singular Value Decomposition and Analysis 4.3 Singular Value Deomposition and Analysis A. Purpose Any M N matrix, A, has a Singular Value Deomposition (SVD) of the form A = USV t where U is an M M orthogonal matrix, V is an N N orthogonal matrix,

More information

EE 321 Project Spring 2018

EE 321 Project Spring 2018 EE 21 Projet Spring 2018 This ourse projet is intended to be an individual effort projet. The student is required to omplete the work individually, without help from anyone else. (The student may, however,

More information

A Spatiotemporal Approach to Passive Sound Source Localization

A Spatiotemporal Approach to Passive Sound Source Localization A Spatiotemporal Approah Passive Sound Soure Loalization Pasi Pertilä, Mikko Parviainen, Teemu Korhonen and Ari Visa Institute of Signal Proessing Tampere University of Tehnology, P.O.Box 553, FIN-330,

More information

Error Bounds for Context Reduction and Feature Omission

Error Bounds for Context Reduction and Feature Omission Error Bounds for Context Redution and Feature Omission Eugen Bek, Ralf Shlüter, Hermann Ney,2 Human Language Tehnology and Pattern Reognition, Computer Siene Department RWTH Aahen University, Ahornstr.

More information

The Concept of Mass as Interfering Photons, and the Originating Mechanism of Gravitation D.T. Froedge

The Concept of Mass as Interfering Photons, and the Originating Mechanism of Gravitation D.T. Froedge The Conept of Mass as Interfering Photons, and the Originating Mehanism of Gravitation D.T. Froedge V04 Formerly Auburn University Phys-dtfroedge@glasgow-ky.om Abstrat For most purposes in physis the onept

More information

arxiv:cond-mat/ v1 [cond-mat.str-el] 3 Aug 2006

arxiv:cond-mat/ v1 [cond-mat.str-el] 3 Aug 2006 arxiv:ond-mat/0608083v1 [ond-mat.str-el] 3 Aug 006 Raman sattering for triangular latties spin- 1 Heisenberg antiferromagnets 1. Introdution F. Vernay 1,, T. P. Devereaux 1, and M. J. P. Gingras 1,3 1

More information

Directional Coupler. 4-port Network

Directional Coupler. 4-port Network Diretional Coupler 4-port Network 3 4 A diretional oupler is a 4-port network exhibiting: All ports mathed on the referene load (i.e. S =S =S 33 =S 44 =0) Two pair of ports unoupled (i.e. the orresponding

More information

Lecture 3 - Lorentz Transformations

Lecture 3 - Lorentz Transformations Leture - Lorentz Transformations A Puzzle... Example A ruler is positioned perpendiular to a wall. A stik of length L flies by at speed v. It travels in front of the ruler, so that it obsures part of the

More information

Control Theory association of mathematics and engineering

Control Theory association of mathematics and engineering Control Theory assoiation of mathematis and engineering Wojieh Mitkowski Krzysztof Oprzedkiewiz Department of Automatis AGH Univ. of Siene & Tehnology, Craow, Poland, Abstrat In this paper a methodology

More information

On the Bit Error Probability of Noisy Channel Networks With Intermediate Node Encoding I. INTRODUCTION

On the Bit Error Probability of Noisy Channel Networks With Intermediate Node Encoding I. INTRODUCTION 5188 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 54, NO. 11, NOVEMBER 2008 [8] A. P. Dempster, N. M. Laird, and D. B. Rubin, Maximum likelihood estimation from inomplete data via the EM algorithm, J.

More information

Optimization of replica exchange molecular dynamics by fast mimicking

Optimization of replica exchange molecular dynamics by fast mimicking THE JOURNAL OF CHEMICAL PHYSICS 127, 204104 2007 Optimization of replia exhange moleular dynamis by fast mimiking Jozef Hritz and Chris Oostenbrink a Leiden Amsterdam Center for Drug Researh (LACDR), Division

More information

A NETWORK SIMPLEX ALGORITHM FOR THE MINIMUM COST-BENEFIT NETWORK FLOW PROBLEM

A NETWORK SIMPLEX ALGORITHM FOR THE MINIMUM COST-BENEFIT NETWORK FLOW PROBLEM NETWORK SIMPLEX LGORITHM FOR THE MINIMUM COST-BENEFIT NETWORK FLOW PROBLEM Cen Çalışan, Utah Valley University, 800 W. University Parway, Orem, UT 84058, 801-863-6487, en.alisan@uvu.edu BSTRCT The minimum

More information

SOA/CAS MAY 2003 COURSE 1 EXAM SOLUTIONS

SOA/CAS MAY 2003 COURSE 1 EXAM SOLUTIONS SOA/CAS MAY 2003 COURSE 1 EXAM SOLUTIONS Prepared by S. Broverman e-mail 2brove@rogers.om website http://members.rogers.om/2brove 1. We identify the following events:. - wathed gymnastis, ) - wathed baseball,

More information

A variant of Coppersmith s Algorithm with Improved Complexity and Efficient Exhaustive Search

A variant of Coppersmith s Algorithm with Improved Complexity and Efficient Exhaustive Search A variant of Coppersmith s Algorithm with Improved Complexity and Effiient Exhaustive Searh Jean-Sébastien Coron 1, Jean-Charles Faugère 2, Guénaël Renault 2, and Rina Zeitoun 2,3 1 University of Luxembourg

More information

7 Max-Flow Problems. Business Computing and Operations Research 608

7 Max-Flow Problems. Business Computing and Operations Research 608 7 Max-Flow Problems Business Computing and Operations Researh 68 7. Max-Flow Problems In what follows, we onsider a somewhat modified problem onstellation Instead of osts of transmission, vetor now indiates

More information

Assessing the Performance of a BCI: A Task-Oriented Approach

Assessing the Performance of a BCI: A Task-Oriented Approach Assessing the Performane of a BCI: A Task-Oriented Approah B. Dal Seno, L. Mainardi 2, M. Matteui Department of Eletronis and Information, IIT-Unit, Politenio di Milano, Italy 2 Department of Bioengineering,

More information

Array Design for Superresolution Direction-Finding Algorithms

Array Design for Superresolution Direction-Finding Algorithms Array Design for Superresolution Diretion-Finding Algorithms Naushad Hussein Dowlut BEng, ACGI, AMIEE Athanassios Manikas PhD, DIC, AMIEE, MIEEE Department of Eletrial Eletroni Engineering Imperial College

More information

NUMERICALLY SATISFACTORY SOLUTIONS OF HYPERGEOMETRIC RECURSIONS

NUMERICALLY SATISFACTORY SOLUTIONS OF HYPERGEOMETRIC RECURSIONS MATHEMATICS OF COMPUTATION Volume 76, Number 259, July 2007, Pages 1449 1468 S 0025-5718(07)01918-7 Artile eletronially published on January 31, 2007 NUMERICALLY SATISFACTORY SOLUTIONS OF HYPERGEOMETRIC

More information

Understanding Elementary Landscapes

Understanding Elementary Landscapes Understanding Elementary Landsapes L. Darrell Whitley Andrew M. Sutton Adele E. Howe Department of Computer Siene Colorado State University Fort Collins, CO 853 {whitley,sutton,howe}@s.olostate.edu ABSTRACT

More information

A simple expression for radial distribution functions of pure fluids and mixtures

A simple expression for radial distribution functions of pure fluids and mixtures A simple expression for radial distribution funtions of pure fluids and mixtures Enrio Matteoli a) Istituto di Chimia Quantistia ed Energetia Moleolare, CNR, Via Risorgimento, 35, 56126 Pisa, Italy G.

More information

18.05 Problem Set 6, Spring 2014 Solutions

18.05 Problem Set 6, Spring 2014 Solutions 8.5 Problem Set 6, Spring 4 Solutions Problem. pts.) a) Throughout this problem we will let x be the data of 4 heads out of 5 tosses. We have 4/5 =.56. Computing the likelihoods: 5 5 px H )=.5) 5 px H

More information

Variation Based Online Travel Time Prediction Using Clustered Neural Networks

Variation Based Online Travel Time Prediction Using Clustered Neural Networks Variation Based Online Travel Time Predition Using lustered Neural Networks Jie Yu, Gang-Len hang, H.W. Ho and Yue Liu Abstrat-This paper proposes a variation-based online travel time predition approah

More information

Measuring & Inducing Neural Activity Using Extracellular Fields I: Inverse systems approach

Measuring & Inducing Neural Activity Using Extracellular Fields I: Inverse systems approach Measuring & Induing Neural Ativity Using Extraellular Fields I: Inverse systems approah Keith Dillon Department of Eletrial and Computer Engineering University of California San Diego 9500 Gilman Dr. La

More information

A Small Footprint i-vector Extractor

A Small Footprint i-vector Extractor A Small Footprint i-vetor Extrator Patrik Kenny Centre de reherhe informatique de Montréal (CRIM) Patrik.Kenny@rim.a Abstrat Both the memory and omputational requirements of algorithms traditionally used

More information

Structural Reconfiguration of Systems under Behavioral Adaptation

Structural Reconfiguration of Systems under Behavioral Adaptation Strutural Reonfiguration of Systems under Behavioral Adaptation Carlos Canal a, Javier Cámara b, Gwen Salaün a Department of Computer Siene, University of Málaga, Spain b Department of Informatis Engineering,

More information

arxiv:math/ v1 [math.ca] 27 Nov 2003

arxiv:math/ v1 [math.ca] 27 Nov 2003 arxiv:math/011510v1 [math.ca] 27 Nov 200 Counting Integral Lamé Equations by Means of Dessins d Enfants Sander Dahmen November 27, 200 Abstrat We obtain an expliit formula for the number of Lamé equations

More information

c-perfect Hashing Schemes for Binary Trees, with Applications to Parallel Memories

c-perfect Hashing Schemes for Binary Trees, with Applications to Parallel Memories -Perfet Hashing Shemes for Binary Trees, with Appliations to Parallel Memories (Extended Abstrat Gennaro Cordaso 1, Alberto Negro 1, Vittorio Sarano 1, and Arnold L.Rosenberg 2 1 Dipartimento di Informatia

More information

estimated pulse sequene we produe estimates of the delay time struture of ripple-red events. Formulation of the Problem We model the k th seismi trae

estimated pulse sequene we produe estimates of the delay time struture of ripple-red events. Formulation of the Problem We model the k th seismi trae Bayesian Deonvolution of Seismi Array Data Using the Gibbs Sampler Eri A. Suess Robert Shumway, University of California, Davis Rong Chen, Texas A&M University Contat: Eri A. Suess, Division of Statistis,

More information

Fault Tolerant Variable Block Carry Skip Logic (VBCSL) using Parity Preserving Reversible Gates

Fault Tolerant Variable Block Carry Skip Logic (VBCSL) using Parity Preserving Reversible Gates Fault Tolerant Variable lok Carry Skip Logi (VCSL) using Parity Preserving Reversible Gates Md. Saiful Islam, M. M. Rahman*, Zerina egum, and M. Z. Hafiz Institute of Information Tehnology, University

More information

FINITE WORD LENGTH EFFECTS IN DSP

FINITE WORD LENGTH EFFECTS IN DSP FINITE WORD LENGTH EFFECTS IN DSP PREPARED BY GUIDED BY Snehal Gor Dr. Srianth T. ABSTRACT We now that omputers store numbers not with infinite preision but rather in some approximation that an be paed

More information

20 Doppler shift and Doppler radars

20 Doppler shift and Doppler radars 20 Doppler shift and Doppler radars Doppler radars make a use of the Doppler shift phenomenon to detet the motion of EM wave refletors of interest e.g., a polie Doppler radar aims to identify the speed

More information

the following action R of T on T n+1 : for each θ T, R θ : T n+1 T n+1 is defined by stated, we assume that all the curves in this paper are defined

the following action R of T on T n+1 : for each θ T, R θ : T n+1 T n+1 is defined by stated, we assume that all the curves in this paper are defined How should a snake turn on ie: A ase study of the asymptoti isoholonomi problem Jianghai Hu, Slobodan N. Simić, and Shankar Sastry Department of Eletrial Engineering and Computer Sienes University of California

More information

Indexing and Efficient Instance-based Retrieval of Process Models Using Untanglings

Indexing and Efficient Instance-based Retrieval of Process Models Using Untanglings Indexing and Effiient Instane-based Retrieval of Proess Models Using Untanglings Artem Polyvyanyy 1, Marello La Rosa 1,2, and Arthur H.M. ter Hofstede 1,3 1 Queensland University of Tehnology, Brisbane,

More information

Parallel disrete-event simulation is an attempt to speed-up the simulation proess through the use of multiple proessors. In some sense parallel disret

Parallel disrete-event simulation is an attempt to speed-up the simulation proess through the use of multiple proessors. In some sense parallel disret Exploiting intra-objet dependenies in parallel simulation Franeso Quaglia a;1 Roberto Baldoni a;2 a Dipartimento di Informatia e Sistemistia Universita \La Sapienza" Via Salaria 113, 198 Roma, Italy Abstrat

More information

An I-Vector Backend for Speaker Verification

An I-Vector Backend for Speaker Verification An I-Vetor Bakend for Speaker Verifiation Patrik Kenny, 1 Themos Stafylakis, 1 Jahangir Alam, 1 and Marel Kokmann 2 1 CRIM, Canada, {patrik.kenny, themos.stafylakis, jahangir.alam}@rim.a 2 VoieTrust, Canada,

More information