Multifrontal sparse QR factorization on the GPU

Size: px
Start display at page:

Download "Multifrontal sparse QR factorization on the GPU"

Transcription

1 Multifontal spase QR factoization on the GPU Tim Davis, Sanjay Ranka, Shaanyan Chetlu, Nui Yealan Univesity of Floida Feb 2012

2 GPU-based Multifontal QR factoization why spase QR? multifontal spase QR in a nutshell multi-theaded spase QR spase multifontal QR on the GPU ou stategy wok in pogess

3 Why multifontal spase QR factoization? wide applicability of QR numeically stable bette paallelism independent poblems decoupled, unlike LU o Cholesky Communication-Avoiding QR (CAQR) othogonal methods have highe flops pe memoy efeence QR assembly step is GPU-fiendly elated to othe diect methods (LU, Cholesky, LDL T )

4 Multifontal spase QR factoization in a nutshell ows can be opeated on in any ode goup togethe ows with left-most nonzeos in the same column factoize each block of ows independently each block of ows takes on the same nonzeo patten (a fontal mati) mege of fontal matices: copy, not add (unlike LU, Cholesky) epeat until the mati becomes uppe tiangula

5 X X X X X X X X X X X The dots: union of the nonzeo pattens of all ows in each block

6 Householde Spase QR Sot the ows of A by column of leftmost nonzeo, and annihilate X X X X X X X X X X X Can do the othe blocks at the same time X X X X X X X X

7 Householde Spase QR Key obsevation: each block of ows to annihilate has the same nonzeo patten So place them in a dense submati and use dense mati kenels Fo column 1: X X X X X X X X X X X use this: X X X

8 Multifontal QR factoization in a nutshell Goup ows of A with nonzeo in same leftmost column Apply Householde to educe each goup to uppe tiangula, one ow becomes a ow of R Append emainde to the goup fo the net nonzeo column net: a tee of columns (the column elimination tee) Lump adjacent columns togethe if thei ows of R have the same nonzeo patten (supenodes)

9 the mati A the QR facto R the column elimination tee 5

10 QR factoization of a leaf fontal mati h h h h c c c c c c h h h h h h h h factoized font 1 ows of A fo font 1

11 QR fo a non-leaf fontal mati child font c1 c1 c1 c1 c1 c 1 child c c2 c2 c2 c 8 2 c c c2 c2 c 2 child c3 c3 c3 c3 14 c3 c3 c3 15 c3 c

12 Non-leaf fontal mati: childen to assemble child font c1 c1 c1 c1 c1 c 1 child c c2 c2 c2 c 8 2 c c c2 c2 c 2 child c3 c3 c3 c3 14 c3 c3 c3 15 c3 c ows of A fo font Assembly: shuffle the above data into a single mati (net slide)

13 Fontal mati assembly: no ead-modify-wite child c3 c 3 c 3 c3 14 c3 c 3 c3 15 c3 c3 child font c1 c 1 c 1 c1 c 1 c assembled font c 3 c 3 c 3 c 3 c 1 c 1 c 1 c2 c 2 c 2 c2 c 2 c 2 c 2 c3 c3 c3 c1 c1 c 2 c 2 c3 c 3 c 1 c 2 ows of A fo font child c c 2 c 2 c2 c c 2 c2 c c2 2 c 2

14 Fontal mati: afte factoization factoized font h h h h h h c c c c h h h c c c h h h h c c h h h h h c h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h h R facto c: contibution to paent h: Householde vectos (Q)

15 Multifontal QR: assembly step is GPU-fiendly Assembly fo multifontal LU, Cholesky equies data shuffling and addition in paallel: two thead blocks would need to synchonize the summation (ead-modify-wite) fo multifontal QR equies just data shuffling; no addition in paallel: no ead-modify-wite

16 Fontal mati QR factoization on the GPU Kenel 1: suppose one thead block can factoize one stipe with a fied maimum numbe of ows If stipe has too many columns, slice it and apply Q afte computed

17 Fontal mati QR factoization on the GPU Kenel 2: take two stipes; annihilate below diagonal Befoe: afte: numeically stable because of othogonal opeations

18 Fontal mati QR factoization on the GPU Combine with moe stipes:

19 Fontal mati QR factoization on the GPU Rinse and epeat, always woking on pais of stipes at a time, whee two pais fit in shaed memoy:

20 Fontal mati QR factoization on the GPU Kenel dependencies fo a fontal mati of 4 stipes and 6 blocks of columns:

21 Fontal mati QR factoization on the GPU Futhe pipelining fo additional paallelism

22 Algoithm outline symbolic analysis: on the CPU numeic factoization: on the GPU

23 Symbolic analysis: on the CPU Fill-educing odeing (typically O( A ) time) Symbolic analysis (nealy O( A ), without foming A T A find the column etee ow counts of R find elaed supenodes sot ows of A task assignment (subtees = paallel subtasks) total time: about O( A )

24 Numeical factoization: on the GPU numeical factoization of subtees: fontal mati assembly fontal mati factoization contibution block stacked fo paent the challenge of heteogeneous computations within a subtee some factoize while othes assemble fonts vay wildly in size fom tiny to huge tee diven by mati; not simple balanced binay tee staging: factoize one subtee while tansfeing anothe CPU GPU multi-gpu: each GPU handles independent subtees if font is huge, teat like multi-gpu dense QR factoization with blocking/stiping

25 Pefomance esults: pe-gpu method Least squaes poblem: 2 million by 110 thousand Method odeing pocs time =A\b COLMMD 1? =A\b AMD 1 11 days MA49 AMD 1 35 hous SuiteSpaseQR AMD 1 15 hous SuiteSpaseQR METIS 1 45 minutes SuiteSpaseQR METIS minutes Algoithmic speedup vs =A\b: 375 Paallel speedup: 575 on 16 coes Total: 2,155 (14 Gflops on 70 Gflops machine) Single coe: 25 Gflop peak, same as LAPACK QR

26 Gflop vs LAPACK (single coe) 4 3 n=100 n=1000 n= GFlops SuiteSpaseQR Dense QR (DGEQRF) Flop count / memoy usage in bytes

27 Multifontal QR on the GPU Tesla C2050 double-pecision fontal mati QR (65 GFlops) fonts emain on the GPU fontal mati assembly in-pogess: stip-mining scheduling nodes of tee = one fontal mati split each font into a subtee paallel assembly of some fonts while othes ae factoized

28 Multifontal QR on the GPU: stip-mining

29 Multifontal QR on the GPU: stip-mining etc 4a 4b 4c 4d A A 5th A A A 8c 4th 2 3e 8a 8b 3d A 3c 3d A A 2nd 1 3a 3b A 1st kenel launch

30 Multifontal Spase QR on the GPU: Summay Fast symbolic analysis and fill-educing odeing ( O( A )) Dense mati kenels to eploit tightly-coupled egula paallelism within the GPU Elimination tee fo loosely-coupled iegula paallelism High pefomance in pe-gpu vesion peak Gflop ate same as LAPACK ample paallel speedup Appeas as the built-in =A\b and q in MATLAB R2009a If A is all nonzeo, =spase(a)\b can be faste than =A\b GPU method in pogess dense QR fo fontal matices: Shaanyan Chetlu assembly: by the GPU Regula memoy taffic to/fom global memoy; all iegula taffic in shaed memoy within each thead block: Nui Yealan stip-mining scheduling of the epanded fontal mati tee staging subtees to handle lage poblems (> 6 GB)

31 Acknowledgements

32 Postscipt Please send me you matices!

ASTR415: Problem Set #6

ASTR415: Problem Set #6 ASTR45: Poblem Set #6 Cuan D. Muhlbege Univesity of Mayland (Dated: May 7, 27) Using existing implementations of the leapfog and Runge-Kutta methods fo solving coupled odinay diffeential equations, seveal

More information

COMP Parallel Computing SMM (3) OpenMP Case Study: The Barnes-Hut N-body Algorithm

COMP Parallel Computing SMM (3) OpenMP Case Study: The Barnes-Hut N-body Algorithm COMP 633 - Paallel Computing Lectue 8 Septembe 14, 2017 SMM (3) OpenMP Case Study: The Banes-Hut N-body Algoithm Topics Case study: the Banes-Hut algoithm Study an impotant algoithm in scientific computing»

More information

A Bijective Approach to the Permutational Power of a Priority Queue

A Bijective Approach to the Permutational Power of a Priority Queue A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation

More information

15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II

15.081J/6.251J Introduction to Mathematical Programming. Lecture 6: The Simplex Method II 15081J/6251J Intoduction to Mathematical Pogamming ectue 6: The Simplex Method II 1 Outline Revised Simplex method Slide 1 The full tableau implementation Anticycling 2 Revised Simplex Initial data: A,

More information

Conjugate Gradient Methods. Michael Bader. Summer term 2012

Conjugate Gradient Methods. Michael Bader. Summer term 2012 Gadient Methods Outlines Pat I: Quadatic Foms and Steepest Descent Pat II: Gadients Pat III: Summe tem 2012 Pat I: Quadatic Foms and Steepest Descent Outlines Pat I: Quadatic Foms and Steepest Descent

More information

Scientific Computing II

Scientific Computing II Scientific Computing II Conjugate Gadient Methods Michael Bade Summe 2014 Conjugate Gadient Methods, Summe 2014 1 Families of Iteative Solves elaxation methods: Jacobi-, Gauss-Seidel-Relaxation,... Ove-Relaxation-Methods

More information

A Deep Convolutional Neural Network Based on Nested Residue Number System

A Deep Convolutional Neural Network Based on Nested Residue Number System A Deep Convolutional Neual Netwok Based on Nested Residue Numbe System Hioki Nakahaa Ehime Univesity, Japan Tsutomu Sasao Meiji Univesity, Japan Abstact A pe-tained deep convolutional neual netwok (DCNN)

More information

Universal Gravitation

Universal Gravitation Chapte 1 Univesal Gavitation Pactice Poblem Solutions Student Textbook page 580 1. Conceptualize the Poblem - The law of univesal gavitation applies to this poblem. The gavitational foce, F g, between

More information

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2.

OLYMON. Produced by the Canadian Mathematical Society and the Department of Mathematics of the University of Toronto. Issue 9:2. OLYMON Poduced by the Canadian Mathematical Society and the Depatment of Mathematics of the Univesity of Toonto Please send you solution to Pofesso EJ Babeau Depatment of Mathematics Univesity of Toonto

More information

Splay Trees Handout. Last time we discussed amortized analysis of data structures

Splay Trees Handout. Last time we discussed amortized analysis of data structures Spla Tees Handout Amotied Analsis Last time we discussed amotied analsis of data stuctues A wa of epessing that even though the wost-case pefomance of an opeation can be bad, the total pefomance of a sequence

More information

Pushdown Automata (PDAs)

Pushdown Automata (PDAs) CHAPTER 2 Context-Fee Languages Contents Context-Fee Gammas definitions, examples, designing, ambiguity, Chomsky nomal fom Pushdown Automata definitions, examples, euivalence with context-fee gammas Non-Context-Fee

More information

ITI Introduction to Computing II

ITI Introduction to Computing II ITI 1121. Intoduction to Computing II Macel Tucotte School of Electical Engineeing and Compute Science Abstact data type: Stack Stack-based algoithms Vesion of Febuay 2, 2013 Abstact These lectue notes

More information

Particle Systems. University of Texas at Austin CS384G - Computer Graphics Fall 2010 Don Fussell

Particle Systems. University of Texas at Austin CS384G - Computer Graphics Fall 2010 Don Fussell Paticle Systems Univesity of Texas at Austin CS384G - Compute Gaphics Fall 2010 Don Fussell Reading Requied: Witkin, Paticle System Dynamics, SIGGRAPH 97 couse notes on Physically Based Modeling. Witkin

More information

MULTILAYER PERCEPTRONS

MULTILAYER PERCEPTRONS Last updated: Nov 26, 2012 MULTILAYER PERCEPTRONS Outline 2 Combining Linea Classifies Leaning Paametes Outline 3 Combining Linea Classifies Leaning Paametes Implementing Logical Relations 4 AND and OR

More information

The Substring Search Problem

The Substring Search Problem The Substing Seach Poblem One algoithm which is used in a vaiety of applications is the family of substing seach algoithms. These algoithms allow a use to detemine if, given two chaacte stings, one is

More information

Chapter 3: Theory of Modular Arithmetic 38

Chapter 3: Theory of Modular Arithmetic 38 Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences

More information

School of Electrical and Computer Engineering, Cornell University. ECE 303: Electromagnetic Fields and Waves. Fall 2007

School of Electrical and Computer Engineering, Cornell University. ECE 303: Electromagnetic Fields and Waves. Fall 2007 School of Electical and Compute Engineeing, Conell Univesity ECE 303: Electomagnetic Fields and Waves Fall 007 Homewok 8 Due on Oct. 19, 007 by 5:00 PM Reading Assignments: i) Review the lectue notes.

More information

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22

C/CS/Phys C191 Shor s order (period) finding algorithm and factoring 11/12/14 Fall 2014 Lecture 22 C/CS/Phys C9 Sho s ode (peiod) finding algoithm and factoing /2/4 Fall 204 Lectue 22 With a fast algoithm fo the uantum Fouie Tansfom in hand, it is clea that many useful applications should be possible.

More information

gr0 GRAPHS Hanan Samet

gr0 GRAPHS Hanan Samet g0 GRPHS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 074 e-mail: hjs@umiacs.umd.edu opyight 1997 Hanan

More information

A Crash Course in (2 2) Matrices

A Crash Course in (2 2) Matrices A Cash Couse in ( ) Matices Seveal weeks woth of matix algeba in an hou (Relax, we will only stuy the simplest case, that of matices) Review topics: What is a matix (pl matices)? A matix is a ectangula

More information

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012

Stanford University CS259Q: Quantum Computing Handout 8 Luca Trevisan October 18, 2012 Stanfod Univesity CS59Q: Quantum Computing Handout 8 Luca Tevisan Octobe 8, 0 Lectue 8 In which we use the quantum Fouie tansfom to solve the peiod-finding poblem. The Peiod Finding Poblem Let f : {0,...,

More information

Physics 121 Hour Exam #5 Solution

Physics 121 Hour Exam #5 Solution Physics 2 Hou xam # Solution This exam consists of a five poblems on five pages. Point values ae given with each poblem. They add up to 99 points; you will get fee point to make a total of. In any given

More information

Permutations and Combinations

Permutations and Combinations Pemutations and Combinations Mach 11, 2005 1 Two Counting Pinciples Addition Pinciple Let S 1, S 2,, S m be subsets of a finite set S If S S 1 S 2 S m, then S S 1 + S 2 + + S m Multiplication Pinciple

More information

MAC Module 12 Eigenvalues and Eigenvectors

MAC Module 12 Eigenvalues and Eigenvectors MAC 23 Module 2 Eigenvalues and Eigenvectos Leaning Objectives Upon completing this module, you should be able to:. Solve the eigenvalue poblem by finding the eigenvalues and the coesponding eigenvectos

More information

6 Matrix Concentration Bounds

6 Matrix Concentration Bounds 6 Matix Concentation Bounds Concentation bounds ae inequalities that bound pobabilities of deviations by a andom vaiable fom some value, often its mean. Infomally, they show the pobability that a andom

More information

A Relativistic Electron in a Coulomb Potential

A Relativistic Electron in a Coulomb Potential A Relativistic Electon in a Coulomb Potential Alfed Whitehead Physics 518, Fall 009 The Poblem Solve the Diac Equation fo an electon in a Coulomb potential. Identify the conseved quantum numbes. Specify

More information

DonnishJournals

DonnishJournals DonnishJounals 041-1189 Donnish Jounal of Educational Reseach and Reviews. Vol 1(1) pp. 01-017 Novembe, 014. http:///dje Copyight 014 Donnish Jounals Oiginal Reseach Pape Vecto Analysis Using MAXIMA Savaş

More information

Markscheme May 2017 Calculus Higher level Paper 3

Markscheme May 2017 Calculus Higher level Paper 3 M7/5/MATHL/HP3/ENG/TZ0/SE/M Makscheme May 07 Calculus Highe level Pape 3 pages M7/5/MATHL/HP3/ENG/TZ0/SE/M This makscheme is the popety of the Intenational Baccalaueate and must not be epoduced o distibuted

More information

HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS?

HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? 6th INTERNATIONAL MULTIDISCIPLINARY CONFERENCE HOW TO TEACH THE FUNDAMENTALS OF INFORMATION SCIENCE, CODING, DECODING AND NUMBER SYSTEMS? Cecília Sitkuné Göömbei College of Nyíegyháza Hungay Abstact: The

More information

COMP303 Computer Architecture Lecture 11. An Overview of Pipelining

COMP303 Computer Architecture Lecture 11. An Overview of Pipelining COMP303 Compute Achitectue Lectue 11 An Oveview of Pipelining Pipelining Pipelining povides a method fo executing multiple instuctions at the same time. Laundy Example: Ann, Bian, Cathy, Dave each have

More information

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies Supplementay infomation Efficient Enumeation of Monocyclic Chemical Gaphs with Given Path Fequencies Masaki Suzuki, Hioshi Nagamochi Gaduate School of Infomatics, Kyoto Univesity {m suzuki,nag}@amp.i.kyoto-u.ac.jp

More information

Topic 4a Introduction to Root Finding & Bracketing Methods

Topic 4a Introduction to Root Finding & Bracketing Methods /8/18 Couse Instucto D. Raymond C. Rumpf Office: A 337 Phone: (915) 747 6958 E Mail: cumpf@utep.edu Topic 4a Intoduction to Root Finding & Backeting Methods EE 4386/531 Computational Methods in EE Outline

More information

Fractional Zero Forcing via Three-color Forcing Games

Fractional Zero Forcing via Three-color Forcing Games Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that

More information

MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form

MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE. We consider second order constant coefficient scalar linear PDEs on R n. These have the form MATH 220: SECOND ORDER CONSTANT COEFFICIENT PDE ANDRAS VASY We conside second ode constant coefficient scala linea PDEs on R n. These have the fom Lu = f L = a ij xi xj + b i xi + c i whee a ij b i and

More information

Determining solar characteristics using planetary data

Determining solar characteristics using planetary data Detemining sola chaacteistics using planetay data Intoduction The Sun is a G-type main sequence sta at the cente of the Sola System aound which the planets, including ou Eath, obit. In this investigation

More information

New problems in universal algebraic geometry illustrated by boolean equations

New problems in universal algebraic geometry illustrated by boolean equations New poblems in univesal algebaic geomety illustated by boolean equations axiv:1611.00152v2 [math.ra] 25 Nov 2016 Atem N. Shevlyakov Novembe 28, 2016 Abstact We discuss new poblems in univesal algebaic

More information

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013

AQI: Advanced Quantum Information Lecture 2 (Module 4): Order finding and factoring algorithms February 20, 2013 AQI: Advanced Quantum Infomation Lectue 2 (Module 4): Ode finding and factoing algoithms Febuay 20, 203 Lectue: D. Mak Tame (email: m.tame@impeial.ac.uk) Intoduction In the last lectue we looked at the

More information

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS

EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in

More information

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Chapte 7-8 Review Math 1316 Name SHORT ANSWER. Wite the wod o phase that best completes each statement o answes the question. Solve the tiangle. 1) B = 34.4 C = 114.2 b = 29.0 1) Solve the poblem. 2) Two

More information

When two numbers are written as the product of their prime factors, they are in factored form.

When two numbers are written as the product of their prime factors, they are in factored form. 10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The

More information

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs

Math 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let

More information

Probablistically Checkable Proofs

Probablistically Checkable Proofs Lectue 12 Pobablistically Checkable Poofs May 13, 2004 Lectue: Paul Beame Notes: Chis Re 12.1 Pobablisitically Checkable Poofs Oveview We know that IP = PSPACE. This means thee is an inteactive potocol

More information

Extra notes for circular motion: Circular motion : v keeps changing, maybe both speed and

Extra notes for circular motion: Circular motion : v keeps changing, maybe both speed and Exta notes fo cicula motion: Cicula motion : v keeps changing, maybe both speed and diection ae changing. At least v diection is changing. Hence a 0. Acceleation NEEDED to stay on cicula obit: a cp v /,

More information

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany

Relating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de

More information

7.2. Coulomb s Law. The Electric Force

7.2. Coulomb s Law. The Electric Force Coulomb s aw Recall that chaged objects attact some objects and epel othes at a distance, without making any contact with those objects Electic foce,, o the foce acting between two chaged objects, is somewhat

More information

Chapter 5 Linear Equations: Basic Theory and Practice

Chapter 5 Linear Equations: Basic Theory and Practice Chapte 5 inea Equations: Basic Theoy and actice In this chapte and the next, we ae inteested in the linea algebaic equation AX = b, (5-1) whee A is an m n matix, X is an n 1 vecto to be solved fo, and

More information

Merging Uncertain Multi-Version XML Documents

Merging Uncertain Multi-Version XML Documents Meging Uncetain Multi-Vesion XML Documents M. Lamine BA, Talel Abdessalem & Piee Senellat ACM DocEng 2013-1st Intenational Wokshop on Document Changes (Floence, Italy) Septembe 10 th, 2013 M. L. Ba, T.

More information

Exploration of the three-person duel

Exploration of the three-person duel Exploation of the thee-peson duel Andy Paish 15 August 2006 1 The duel Pictue a duel: two shootes facing one anothe, taking tuns fiing at one anothe, each with a fixed pobability of hitting his opponent.

More information

Lecture 8 - Gauss s Law

Lecture 8 - Gauss s Law Lectue 8 - Gauss s Law A Puzzle... Example Calculate the potential enegy, pe ion, fo an infinite 1D ionic cystal with sepaation a; that is, a ow of equally spaced chages of magnitude e and altenating sign.

More information

Complex Eigenvalues. Prepared by Vince Zaccone For Campus Learning Assistance Services at UCSB

Complex Eigenvalues. Prepared by Vince Zaccone For Campus Learning Assistance Services at UCSB Pepaed by Vince Zaccone Fo ampus Leaning ssistance Sevices at USB omplex Numbes When solving fo the oots of a quadatic equation, eal solutions can not be found when the disciminant is negative. In these

More information

THE CONE THEOREM JOEL A. TROPP. Abstract. We prove a fixed point theorem for functions which are positive with respect to a cone in a Banach space.

THE CONE THEOREM JOEL A. TROPP. Abstract. We prove a fixed point theorem for functions which are positive with respect to a cone in a Banach space. THE ONE THEOEM JOEL A. TOPP Abstact. We pove a fixed point theoem fo functions which ae positive with espect to a cone in a Banach space. 1. Definitions Definition 1. Let X be a eal Banach space. A subset

More information

arxiv: v1 [math.co] 4 May 2017

arxiv: v1 [math.co] 4 May 2017 On The Numbe Of Unlabeled Bipatite Gaphs Abdullah Atmaca and A Yavuz Ouç axiv:7050800v [mathco] 4 May 207 Abstact This pape solves a poblem that was stated by M A Haison in 973 [] This poblem, that has

More information

Section 8.2 Polar Coordinates

Section 8.2 Polar Coordinates Section 8. Pola Coodinates 467 Section 8. Pola Coodinates The coodinate system we ae most familia with is called the Catesian coodinate system, a ectangula plane divided into fou quadants by the hoizontal

More information

ELECTROSTATICS::BHSEC MCQ 1. A. B. C. D.

ELECTROSTATICS::BHSEC MCQ 1. A. B. C. D. ELETROSTATIS::BHSE 9-4 MQ. A moving electic chage poduces A. electic field only. B. magnetic field only.. both electic field and magnetic field. D. neithe of these two fields.. both electic field and magnetic

More information

8 Separation of Variables in Other Coordinate Systems

8 Separation of Variables in Other Coordinate Systems 8 Sepaation of Vaiables in Othe Coodinate Systems Fo the method of sepaation of vaiables to succeed you need to be able to expess the poblem at hand in a coodinate system in which the physical boundaies

More information

CS-184: Computer Graphics. Today. Lecture #5: 3D Transformations and Rotations. Wednesday, September 7, 11. Transformations in 3D Rotations

CS-184: Computer Graphics. Today. Lecture #5: 3D Transformations and Rotations. Wednesday, September 7, 11. Transformations in 3D Rotations CS-184: Compute Gaphics Lectue #5: D Tansfomations and Rotations Pof. James O Bien Univesity of Califonia, Bekeley V011-F-05-1.0 Today Tansfomations in D Rotations Matices Eule angles Eponential maps Quatenions

More information

Rydberg-Rydberg Interactions

Rydberg-Rydberg Interactions Rydbeg-Rydbeg Inteactions F. Robicheaux Aubun Univesity Rydbeg gas goes to plasma Dipole blockade Coheent pocesses in fozen Rydbeg gases (expts) Theoetical investigation of an excitation hopping though

More information

Matrix Colorings of P 4 -sparse Graphs

Matrix Colorings of P 4 -sparse Graphs Diplomabeit Matix Coloings of P 4 -spase Gaphs Chistoph Hannnebaue Januay 23, 2010 Beteue: Pof. D. Winfied Hochstättle FenUnivesität in Hagen Fakultät fü Mathematik und Infomatik Contents Intoduction iii

More information

PHYS Summer Professor Caillault Homework Solutions. Chapter 5

PHYS Summer Professor Caillault Homework Solutions. Chapter 5 PHYS 1111 - Summe 2007 - Pofesso Caillault Homewok Solutions Chapte 5 7. Pictue the Poblem: The ball is acceleated hoizontally fom est to 98 mi/h ove a distance of 1.7 m. Stategy: Use equation 2-12 to

More information

ACCURATE FLOATING-POINT SUMMATION IN CUB

ACCURATE FLOATING-POINT SUMMATION IN CUB ACCURATE FLOATING-POINT SUMMATION IN CUB URI VERNER Summe inten OUTLINE Who need accuate floating-point ummation?! Round-off eo: ouce and ecovey A new method fo accuate FP ummation on a GPU Added a a function

More information

270 Int'l Conf. Par. and Dist. Proc. Tech. and Appl. PDPTA'17

270 Int'l Conf. Par. and Dist. Proc. Tech. and Appl. PDPTA'17 270 Int'l Conf. Pa. and Dist. Poc. Tech. and Appl. PDPTA'17 Pefomance Evaluation of a Combination of the Paallel Bisection Method and the Block Invese Iteation Method with Reothogonalization fo Eigenvalue

More information

Upward order-preserving 8-grid-drawings of binary trees

Upward order-preserving 8-grid-drawings of binary trees CCCG 207, Ottawa, Ontaio, July 26 28, 207 Upwad ode-peseving 8-gid-dawings of binay tees Theese Biedl Abstact This pape concens upwad ode-peseving staightline dawings of binay tees with the additional

More information

18.06 Problem Set 4 Solution

18.06 Problem Set 4 Solution 8.6 Poblem Set 4 Solution Total: points Section 3.5. Poblem 2: (Recommended) Find the lagest possible numbe of independent vectos among ) ) ) v = v 4 = v 5 = v 6 = v 2 = v 3 =. Solution (4 points): Since

More information

Analysis of high speed machining center spindle dynamic unit structure performance Yuan guowei

Analysis of high speed machining center spindle dynamic unit structure performance Yuan guowei Intenational Confeence on Intelligent Systems Reseach and Mechatonics Engineeing (ISRME 0) Analysis of high speed machining cente spindle dynamic unit stuctue pefomance Yuan guowei Liaoning jidian polytechnic,dan

More information

Uniform Circular Motion

Uniform Circular Motion Unifom Cicula Motion Intoduction Ealie we defined acceleation as being the change in velocity with time: a = v t Until now we have only talked about changes in the magnitude of the acceleation: the speeding

More information

Method for Approximating Irrational Numbers

Method for Approximating Irrational Numbers Method fo Appoximating Iational Numbes Eic Reichwein Depatment of Physics Univesity of Califonia, Santa Cuz June 6, 0 Abstact I will put foth an algoithm fo poducing inceasingly accuate ational appoximations

More information

arxiv: v2 [cs.ai] 14 Aug 2014

arxiv: v2 [cs.ai] 14 Aug 2014 A Paallel Algoithm fo Exact Bayesian Stuctue Discovey in Bayesian Netwoks axiv:1408.1664v2 [cs.ai] 14 Aug 2014 Yetian Chen Jin Tian Depatment of Compute Science Iowa State Univesity Ames, IA 50011, USA

More information

Non-Linear Dynamics Homework Solutions Week 2

Non-Linear Dynamics Homework Solutions Week 2 Non-Linea Dynamics Homewok Solutions Week Chis Small Mach, 7 Please email me at smach9@evegeen.edu with any questions o concens eguading these solutions. Fo the ececises fom section., we sketch all qualitatively

More information

Appendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk

Appendix A. Appendices. A.1 ɛ ijk and cross products. Vector Operations: δ ij and ɛ ijk Appendix A Appendices A1 ɛ and coss poducts A11 Vecto Opeations: δ ij and ɛ These ae some notes on the use of the antisymmetic symbol ɛ fo expessing coss poducts This is an extemely poweful tool fo manipulating

More information

Bayesian Congestion Control over a Markovian Network Bandwidth Process

Bayesian Congestion Control over a Markovian Network Bandwidth Process Bayesian Congestion Contol ove a Makovian Netwok Bandwidth Pocess Paisa Mansouifad,, Bhaska Kishnamachai, Taa Javidi Ming Hsieh Depatment of Electical Engineeing, Univesity of Southen Califonia, Los Angeles,

More information

Chapter 4. Newton s Laws of Motion

Chapter 4. Newton s Laws of Motion Chapte 4 Newton s Laws of Motion 4.1 Foces and Inteactions A foce is a push o a pull. It is that which causes an object to acceleate. The unit of foce in the metic system is the Newton. Foce is a vecto

More information

Engineering Physics-I Crystal Physics- Atomic rad., Coord. No.,APF for SC and BCC

Engineering Physics-I Crystal Physics- Atomic rad., Coord. No.,APF for SC and BCC Intoduction Most of the mateials in solid state ae cystalline. Among these many ae in the polycystalline state. To obtain single cystal one has to employ a suitable cystal gowth method. This may vay fom

More information

Quantum Fourier Transform

Quantum Fourier Transform Chapte 5 Quantum Fouie Tansfom Many poblems in physics and mathematics ae solved by tansfoming a poblem into some othe poblem with a known solution. Some notable examples ae Laplace tansfom, Legende tansfom,

More information

Algebra. Substitution in algebra. 3 Find the value of the following expressions if u = 4, k = 7 and t = 9.

Algebra. Substitution in algebra. 3 Find the value of the following expressions if u = 4, k = 7 and t = 9. lgeba Substitution in algeba Remembe... In an algebaic expession, lettes ae used as substitutes fo numbes. Example Find the value of the following expessions if s =. a) s + + = = s + + = = Example Find

More information

Information Retrieval Advanced IR models. Luca Bondi

Information Retrieval Advanced IR models. Luca Bondi Advanced IR models Luca Bondi Advanced IR models 2 (LSI) Pobabilistic Latent Semantic Analysis (plsa) Vecto Space Model 3 Stating point: Vecto Space Model Documents and queies epesented as vectos in the

More information

A Converse to Low-Rank Matrix Completion

A Converse to Low-Rank Matrix Completion A Convese to Low-Rank Matix Completion Daniel L. Pimentel-Alacón, Robet D. Nowak Univesity of Wisconsin-Madison Abstact In many pactical applications, one is given a subset Ω of the enties in a d N data

More information

Galilean Transformation vs E&M y. Historical Perspective. Chapter 2 Lecture 2 PHYS Special Relativity. Sep. 1, y K K O.

Galilean Transformation vs E&M y. Historical Perspective. Chapter 2 Lecture 2 PHYS Special Relativity. Sep. 1, y K K O. PHYS-2402 Chapte 2 Lectue 2 Special Relativity 1. Basic Ideas Sep. 1, 2016 Galilean Tansfomation vs E&M y K O z z y K In 1873, Maxwell fomulated Equations of Electomagnetism. v Maxwell s equations descibe

More information

titrrvers:rtt t>1 NO~~H CAROLINA

titrrvers:rtt t>1 NO~~H CAROLINA titvers:tt t>1 NO~~H CAROLINA Depatment of statistics Chapel Hill, N. C. ON A BOUN.D USEFUL IN THE THEORY OF FACTORIAL DESIGNS AND ERROR CORRECTING CODES by R. C. Bose and J. N. Sivastava Apil 1963 Gant

More information

CALCULUS II Vectors. Paul Dawkins

CALCULUS II Vectors. Paul Dawkins CALCULUS II Vectos Paul Dawkins Table of Contents Peface... ii Vectos... 3 Intoduction... 3 Vectos The Basics... 4 Vecto Aithmetic... 8 Dot Poduct... 13 Coss Poduct... 21 2007 Paul Dawkins i http://tutoial.math.lama.edu/tems.aspx

More information

FUSE Fusion Utility Sequence Estimator

FUSE Fusion Utility Sequence Estimator FUSE Fusion Utility Sequence Estimato Belu V. Dasaathy Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500 belu.d@dynetics.com Sean D. Townsend Dynetics, Inc. P. O. Box 5500 Huntsville, AL 3584-5500

More information

AP-C WEP. h. Students should be able to recognize and solve problems that call for application both of conservation of energy and Newton s Laws.

AP-C WEP. h. Students should be able to recognize and solve problems that call for application both of conservation of energy and Newton s Laws. AP-C WEP 1. Wok a. Calculate the wok done by a specified constant foce on an object that undegoes a specified displacement. b. Relate the wok done by a foce to the aea unde a gaph of foce as a function

More information

As is natural, our Aerospace Structures will be described in a Euclidean three-dimensional space R 3.

As is natural, our Aerospace Structures will be described in a Euclidean three-dimensional space R 3. Appendix A Vecto Algeba As is natual, ou Aeospace Stuctues will be descibed in a Euclidean thee-dimensional space R 3. A.1 Vectos A vecto is used to epesent quantities that have both magnitude and diection.

More information

Physics 11 Chapter 4: Forces and Newton s Laws of Motion. Problem Solving

Physics 11 Chapter 4: Forces and Newton s Laws of Motion. Problem Solving Physics 11 Chapte 4: Foces and Newton s Laws of Motion Thee is nothing eithe good o bad, but thinking makes it so. William Shakespeae It s not what happens to you that detemines how fa you will go in life;

More information

No. 39. R.E. Woodrow. This issue we give another example of a team competition with the problems

No. 39. R.E. Woodrow. This issue we give another example of a team competition with the problems 282 THE SKOLIAD CORNER No. 39 R.E. Woodow This issue we give anothe example of a team competition with the poblems of the 998 Floida Mathematics Olympiad, witten May 4, 998. The contest was oganized by

More information

EE 5337 Computational Electromagnetics

EE 5337 Computational Electromagnetics Instucto D. Ramond Rumpf (95) 747 6958 cumpf@utep.edu EE 5337 Computational Electomagnetics Lectue # WEM Etas Lectue These notes ma contain copighted mateial obtained unde fai use ules. Distibution of

More information

Having Fun with PageRank and MapReduce. Hadoop User Group (HUG) UK 14 th April Paolo Castagna HP Labs, Bristol, UK

Having Fun with PageRank and MapReduce. Hadoop User Group (HUG) UK 14 th April Paolo Castagna HP Labs, Bristol, UK Having Fun with PageRank and MaReduce Hadoo Use Gou (HUG) UK 4 th Ail 29 htt://huguk.og/ Paolo Castagna HP Labs, Bistol, UK PageRank 2 3 2 /3 3 /2 3 2? 2 3 2 PageRank i B i ecusive definition B i backwad

More information

Compactly Supported Radial Basis Functions

Compactly Supported Radial Basis Functions Chapte 4 Compactly Suppoted Radial Basis Functions As we saw ealie, compactly suppoted functions Φ that ae tuly stictly conditionally positive definite of ode m > do not exist The compact suppot automatically

More information

The Millikan Experiment: Determining the Elementary Charge

The Millikan Experiment: Determining the Elementary Charge LAB EXERCISE 7.5.1 7.5 The Elementay Chage (p. 374) Can you think of a method that could be used to suggest that an elementay chage exists? Figue 1 Robet Millikan (1868 1953) m + q V b The Millikan Expeiment:

More information

Related Rates - the Basics

Related Rates - the Basics Related Rates - the Basics In this section we exploe the way we can use deivatives to find the velocity at which things ae changing ove time. Up to now we have been finding the deivative to compae the

More information

Physics 111 Lecture 5 (Walker: 3.3-6) Vectors & Vector Math Motion Vectors Sept. 11, 2009

Physics 111 Lecture 5 (Walker: 3.3-6) Vectors & Vector Math Motion Vectors Sept. 11, 2009 Physics 111 Lectue 5 (Walke: 3.3-6) Vectos & Vecto Math Motion Vectos Sept. 11, 2009 Quiz Monday - Chap. 2 1 Resolving a vecto into x-component & y- component: Pola Coodinates Catesian Coodinates x y =

More information

CS-184: Computer Graphics. Today. Lecture #5: 3D Transformations and Rotations. 05-3DTransformations.key - September 21, 2016

CS-184: Computer Graphics. Today. Lecture #5: 3D Transformations and Rotations. 05-3DTransformations.key - September 21, 2016 1 CS-184: Compute Gaphics Lectue #5: D Tansfomations and Rotations Pof. James O Bien Univesity of Califonia, Bekeley V016-S-05-1.0 Today Tansfomations in D Rotations Matices Eule angles Eponential maps

More information

Merging to ordered sequences. Efficient (Parallel) Sorting. Merging (cont.)

Merging to ordered sequences. Efficient (Parallel) Sorting. Merging (cont.) Efficient (Paae) Soting One of the most fequent opeations pefomed by computes is oganising (soting) data The access to soted data is moe convenient/faste Thee is a constant need fo good soting agoithms

More information

Reading Assignment. Problem Description for Homework #9. Read Chapters 29 and 30.

Reading Assignment. Problem Description for Homework #9. Read Chapters 29 and 30. Reading Assignment Read Chaptes 29 and 30. Poblem Desciption fo Homewok #9 In this homewok, you will solve the inhomogeneous Laplace s equation to calculate the electic scala potential that exists between

More information

Chapter Eight Notes N P U1C8S4-6

Chapter Eight Notes N P U1C8S4-6 Chapte Eight Notes N P UC8S-6 Name Peiod Section 8.: Tigonometic Identities An identit is, b definition, an equation that is alwas tue thoughout its domain. B tue thoughout its domain, that is to sa that

More information

Transfer Matrix Method

Transfer Matrix Method 9/6/17 Instucto D. Ramond Rumpf (915) 747 6958 cumpf@utep.edu 5337 Computational lectomagnetics Lectue #4 Tansfe Mati Method Lectue 4These notes ma contain copighted mateial obtained unde fai use ules.

More information

Phys-272 Lecture 17. Motional Electromotive Force (emf) Induced Electric Fields Displacement Currents Maxwell s Equations

Phys-272 Lecture 17. Motional Electromotive Force (emf) Induced Electric Fields Displacement Currents Maxwell s Equations Phys-7 Lectue 17 Motional Electomotive Foce (emf) Induced Electic Fields Displacement Cuents Maxwell s Equations Fom Faaday's Law to Displacement Cuent AC geneato Magnetic Levitation Tain Review of Souces

More information

The CENTRE for EDUCATION in MATHEMATICS and COMPUTING cemc.uwaterloo.ca Galois Contest. Wednesday, April 12, 2017

The CENTRE for EDUCATION in MATHEMATICS and COMPUTING cemc.uwaterloo.ca Galois Contest. Wednesday, April 12, 2017 The ENTRE fo EDUATIN in MATHEMATIS and MPUTING cemc.uwateloo.ca 2017 Galois ontest Wednesday, Apil 12, 2017 (in Noth Ameica and South Ameica) Thusday, Apil 13, 2017 (outside of Noth Ameica and South Ameica)

More information

2. Electrostatics. Dr. Rakhesh Singh Kshetrimayum 8/11/ Electromagnetic Field Theory by R. S. Kshetrimayum

2. Electrostatics. Dr. Rakhesh Singh Kshetrimayum 8/11/ Electromagnetic Field Theory by R. S. Kshetrimayum 2. Electostatics D. Rakhesh Singh Kshetimayum 1 2.1 Intoduction In this chapte, we will study how to find the electostatic fields fo vaious cases? fo symmetic known chage distibution fo un-symmetic known

More information

Calculus I Section 4.7. Optimization Equation. Math 151 November 29, 2008

Calculus I Section 4.7. Optimization Equation. Math 151 November 29, 2008 Calculus I Section 4.7 Optimization Solutions Math 151 Novembe 9, 008 The following poblems ae maimum/minimum optimization poblems. They illustate one of the most impotant applications of the fist deivative.

More information

Linear Algebra Math 221

Linear Algebra Math 221 Linea Algeba Math Open Book Eam Open Notes Sept Calculatos Pemitted Sho all ok (ecept #). ( pts) Gien the sstem of equations a) ( pts) Epess this sstem as an augmented mati. b) ( pts) Bing this mati to

More information