Linear Equations in Two Variables

Save this PDF as:

Size: px
Start display at page:

Transcription

1 Liner Equtions in Two Vribles In this chpter, we ll use the geometry of lines to help us solve equtions. Liner equtions in two vribles If, b, ndr re rel numbers (nd if nd b re not both equl to 0) then x + by = r is clled liner eqution in two vribles. (The two vribles re the x nd the y.) The numbers nd b re clled the coe cients of the eqution x+by = r. The number r is clled the constnt of the eqution x + by = r. Exmples. 10x 3y = nd 2x 4y = 7 re liner equtions in two vribles. Solutions of equtions A solution of liner eqution in two vribles x+by = r is specific point in R 2 such tht when when the x-coordinte of the point is multiplied by, nd the y-coordinte of the point is multiplied by b, nd those two numbers re dded together, the nswer equls r. (There re lwys infinitely mny solutions to liner eqution in two vribles.) Exmple. Let s look t the eqution 2x 3y =7. Notice tht x =ndy =1ispointinR 2 tht is solution of this eqution becuse we cn let x =ndy =1intheeqution2x 3y =7 nd then we d hve 2() 3(1) = 10 3=7. The point x =8ndy =3islsosolutionoftheeqution2x 3y =7 since 2(8) 3(3) = 16 9=7. The point x =4ndy =6isnot solutionoftheeqution2x 3y =7 becuse 2(4) 3(6) = 8 18 = 10, nd 10 6= 7. To get geometric interprettion for wht the set of solutions of 2x 3y =7 looks like, we cn dd 3y, subtrct 7, nd divide by 3 to rewrite 2x 3y =7 s 2 3 x 7 3 = y. This is the eqution of line tht hs slope 2 3 nd y-intercept 7 of 3. In prticulr, the set of solutions to 2x 3y =7isstrightline. (This is why it s clled liner eqution.) 244

2 .. Liner Liner equtions equtions nd lines. nd lines. If b =0,thenthelinerequtionx If b + by = + r by is = the r sme is the s sme x = s r. x = r. Dividing Dividing by gives by x gives = x = r of r, the solutions to this eqution consist, so the solutions to this eqution consist of the of the points on points the verticl on the verticl line whose line x-coordintes whose x-coordintes equl r. equl r. ~xtr (b* If b = 6= 0, If then b = 6= the 0, then sme the ides sme from ides the from 2x the 3y 2x =7exmplethtwelooked 3y t previously t previously shows tht shows x tht + by x = di erent r+ is by the = r sme is the eqution sme eqution s, just s, written just written in in di erent form from, form from, b x + r b = y. This is the eqution of stright line whose slope is b nd b x + r b = y. This is the eqution of stright line whose slope is whose y-intercept b nd whose y-intercept is r b. is r b. ~xtr (b*o) U 0 -o oj 0 -o H

3 Systems of liner equtions Rther thn sking for the set of solutions of single liner eqution in two vribles, we could tke two di erent liner equtions in two vribles nd sk for ll those points tht re solutions to both of the liner equtions. For exmple, the point x =4ndy =1issolutionofbothoftheequtions x + y =ndx y =3. If you hve more thn one liner eqution, it s clled system of liner equtions, so tht x + y = x y =3 is n exmple of system of two liner equtions in two vribles. There re two equtions, nd ech eqution hs the sme two vribles: x nd y. A solution of system of equtions is point tht is solution of ech of the equtions in the system. Exmple. The point x =3ndy =2issolutionofthesystemoftwo liner equtions in two vribles 8x +7y =38 3x y = 1 becuse x =3ndy =2issolutionof3x y = 1 nd it is solution of 8x +7y =38. Unique solutions Geometriclly, finding solution of system of two liner equtions in two vribles is the sme problem s finding point in R 2 tht lies on ech of the stright lines corresponding to the two liner equtions. Almost ll of the time, two di erent lines will intersect in single point, so in these cses, there will only be one point tht is solution to both equtions. Such point is clled the unique solution of the system of liner equtions. Exmple. Let s tke second look t the system of equtions 8x +7y =38 3x y = 1 246

4 The first eqution in this system, 8x +7y =38,correspondstolinetht The first8 eqution in this system, 8x +7y =38,correspondstolinetht hs slope 7 8. The second eqution in this system, 3x y =3,isrepresented hs slope by line tht hs slope 3 7. The second eqution 3 in this system, 3x y =3,isrepresented. Since the two slopes re not equl, the by line tht hs slope lines hve to intersect in exctly 3 = 3 one. Since the two slopes re not equl, the point. Tht one point will be the unique lines hve to intersect in exctly one point. Tht one point will be the unique solution. As we ve seen before, x =3ndy =2issolutionofthissystem. solution. As we ve seen before tht x =3ndy =2issolutiontothis It is the unique solution. system, it must be the unique solution. Ii ii ~ Exmple. The system Exmple. The system x +2y =4 S x +2y =4 2x =11 2x + y =11 hs unique solution. It s 2ndy =7. hs unique solution. It s x = 2ndy =7. It s strightforwrd to check tht 2ndy =7issolutionofthe It s strightforwrd to 3 check tht x = 2ndy =7issolutiontothe system. Tht it s the only solution follows from the fct tht the slope of the system. Tht it s the only solution follows from the fct tht the slope of the line x +2y =4isdi erent from slope of the line 2x =11. Thosetwo line x +2y =4isdi erent from slope of the line 2x + y =11. Thosetwo slopes re 2 nd 2 respectively. slopes re 2 nd 2 11 respectively. No No solutions solutions. If you rech into ht nd pull out S two di erent liner equtions in two If you rech into ht nd pull out two di erent liner equtions in two vribles, it s highly unlikely tht the two corresponding lines would hve vribles, it s highly unlikely tht the two corresponding lines would hve exctly the sme slope. But if they did hve the sme slope, then there exctly the sme slope. But if they did hve the sme slope, then there

5 Ii. would of of no wouldnot notbe be solution solutionto the system of two liner equtions since no point in R 2 3of to the system of two liner equtions since no point in R 2 would wouldlie lieon onboth bothof ofthe theprllel prllellines. lines. 2. Exmple. Exmple. The Thesystem x 2y = x 2y = 44 3x +6y =0 does not hve solution. ii 3x +6y ~ =0 Tht s becuse ech of of the two lines hs the sme does not slope, 1 hve solution. Tht s becuse ech of the two lines hs the sme slope, 2, 1 so the lines don t intersect. 2, so the lines don t intersect. S It 3 S * * * * * * * * * * * * * * * * * * * * * * * * * *

6 Exercises 1.) Wht re the coe cients of the eqution 2x y = 23? 2.) Wht is the constnt of the eqution 2x y = 23? 3.) Is x = 4ndy =3solutionoftheeqution2x y = 23? 4.) Wht re the coe cients of the eqution 7x +6y =1?.) Wht is the constnt of the eqution 7x +6y =1? 6.) Is x =3ndy = 10 solution of the eqution 7x +6y =1? 7.) Is x =1ndy =0solutionofthesystem x + y =1 2x +3y =3 8.) Is x = 1ndy =3solutionofthesystem 7x +2y = 1 x 3 y = 14 9.) Wht s the slope of the line 30x 6y =3? 10.) Wht s the slope of the line 10x +y =4? 11.) Is there unique solution to the system 30x 6y =3 10x +y =4 12.) Wht s the slope of the line 6x +2y =4? 13.) Wht s the slope of the line 1x +y = 7? 249

7 14.) Is there unique solution to the system 6x +2y =4 1x +y = 7 For #1-17, find the roots of the given qudrtic polynomils. 1.) 9x 2 12x ) 2x 2 3x ) 4x 2 +2x 3 20

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

Polynomil Functions Polynomil functions in one vrible cn be written in expnded form s n n 1 n 2 2 f x = x + x + x + + x + x+ n n 1 n 2 2 1 0 Exmples of polynomils in expnded form re nd 3 8 7 4 = 5 4 +

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

Appendi D: Completing the Squre nd the Qudrtic Formul Fctoring qudrtic epressions such s: + 6 + 8 ws one of the topics introduced in Appendi C. Fctoring qudrtic epressions is useful skill tht cn help you

Factoring Polynomials

Fctoring Polynomils Some definitions (not necessrily ll for secondry school mthemtics): A polynomil is the sum of one or more terms, in which ech term consists of product of constnt nd one or more vribles

Reasoning to Solve Equations and Inequalities

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

LINEAR TRANSFORMATIONS AND THEIR REPRESENTING MATRICES

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

5.2. LINE INTEGRALS 265. Let us quickly review the kind of integrals we have studied so far before we introduce a new one.

5.2. LINE INTEGRALS 265 5.2 Line Integrls 5.2.1 Introduction Let us quickly review the kind of integrls we hve studied so fr before we introduce new one. 1. Definite integrl. Given continuous rel-vlued

Section 7-4 Translation of Axes

62 7 ADDITIONAL TOPICS IN ANALYTIC GEOMETRY Section 7-4 Trnsltion of Aes Trnsltion of Aes Stndrd Equtions of Trnslted Conics Grphing Equtions of the Form A 2 C 2 D E F 0 Finding Equtions of Conics In the

MATH 150 HOMEWORK 4 SOLUTIONS

MATH 150 HOMEWORK 4 SOLUTIONS Section 1.8 Show tht the product of two of the numbers 65 1000 8 2001 + 3 177, 79 1212 9 2399 + 2 2001, nd 24 4493 5 8192 + 7 1777 is nonnegtive. Is your proof constructive

Math 314, Homework Assignment 1. 1. Prove that two nonvertical lines are perpendicular if and only if the product of their slopes is 1.

Mth 4, Homework Assignment. Prove tht two nonverticl lines re perpendiculr if nd only if the product of their slopes is. Proof. Let l nd l e nonverticl lines in R of slopes m nd m, respectively. Suppose

Mathematics. Vectors. hsn.uk.net. Higher. Contents. Vectors 128 HSN23100

hsn.uk.net Higher Mthemtics UNIT 3 OUTCOME 1 Vectors Contents Vectors 18 1 Vectors nd Sclrs 18 Components 18 3 Mgnitude 130 4 Equl Vectors 131 5 Addition nd Subtrction of Vectors 13 6 Multipliction by

P.3 Polynomials and Factoring. P.3 an 1. Polynomial STUDY TIP. Example 1 Writing Polynomials in Standard Form. What you should learn

33337_0P03.qp 2/27/06 24 9:3 AM Chpter P Pge 24 Prerequisites P.3 Polynomils nd Fctoring Wht you should lern Polynomils An lgeric epression is collection of vriles nd rel numers. The most common type of

Vectors 2. 1. Recap of vectors

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

Treatment Spring Late Summer Fall 0.10 5.56 3.85 0.61 6.97 3.01 1.91 3.01 2.13 2.99 5.33 2.50 1.06 3.53 6.10 Mean = 1.33 Mean = 4.88 Mean = 3.

The nlysis of vrince (ANOVA) Although the t-test is one of the most commonly used sttisticl hypothesis tests, it hs limittions. The mjor limittion is tht the t-test cn be used to compre the mens of only

EQUATIONS OF LINES AND PLANES

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

9.3. The Scalar Product. Introduction. Prerequisites. Learning Outcomes

The Sclr Product 9.3 Introduction There re two kinds of multipliction involving vectors. The first is known s the sclr product or dot product. This is so-clled becuse when the sclr product of two vectors

SPECIAL PRODUCTS AND FACTORIZATION

MODULE - Specil Products nd Fctoriztion 4 SPECIAL PRODUCTS AND FACTORIZATION In n erlier lesson you hve lernt multipliction of lgebric epressions, prticulrly polynomils. In the study of lgebr, we come

Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology

Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology

Integration. 148 Chapter 7 Integration

48 Chpter 7 Integrtion 7 Integrtion t ech, by supposing tht during ech tenth of second the object is going t constnt speed Since the object initilly hs speed, we gin suppose it mintins this speed, but

Helicopter Theme and Variations

Helicopter Theme nd Vritions Or, Some Experimentl Designs Employing Pper Helicopters Some possible explntory vribles re: Who drops the helicopter The length of the rotor bldes The height from which the

Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

. At first sight a! b seems an unwieldy formula but use of the following mnemonic will possibly help. a 1 a 2 a 3 a 1 a 2

7 CHAPTER THREE. Cross Product Given two vectors = (,, nd = (,, in R, the cross product of nd written! is defined to e: " = (!,!,! Note! clled cross is VECTOR (unlike which is sclr. Exmple (,, " (4,5,6

Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

AREA OF A SURFACE OF REVOLUTION

AREA OF A SURFACE OF REVOLUTION h cut r πr h A surfce of revolution is formed when curve is rotted bout line. Such surfce is the lterl boundr of solid of revolution of the tpe discussed in Sections 7.

Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

g(y(a), y(b)) = o, B a y(a)+b b y(b)=c, Boundary Value Problems Lecture Notes to Accompany

Lecture Notes to Accompny Scientific Computing An Introductory Survey Second Edition by Michel T Heth Boundry Vlue Problems Side conditions prescribing solution or derivtive vlues t specified points required

Applications to Physics and Engineering

Section 7.5 Applictions to Physics nd Engineering Applictions to Physics nd Engineering Work The term work is used in everydy lnguge to men the totl mount of effort required to perform tsk. In physics

AP STATISTICS SUMMER MATH PACKET

AP STATISTICS SUMMER MATH PACKET This pcket is review of Algebr I, Algebr II, nd bsic probbility/counting. The problems re designed to help you review topics tht re importnt to your success in the clss.

The Velocity Factor of an Insulated Two-Wire Transmission Line

The Velocity Fctor of n Insulted Two-Wire Trnsmission Line Problem Kirk T. McDonld Joseph Henry Lbortories, Princeton University, Princeton, NJ 08544 Mrch 7, 008 Estimte the velocity fctor F = v/c nd the

Answer, Key Homework 10 David McIntyre 1

Answer, Key Homework 10 Dvid McIntyre 1 This print-out should hve 22 questions, check tht it is complete. Multiple-choice questions my continue on the next column or pge: find ll choices efore mking your

Pure C4. Revision Notes

Pure C4 Revision Notes Mrch 0 Contents Core 4 Alger Prtil frctions Coordinte Geometry 5 Prmetric equtions 5 Conversion from prmetric to Crtesin form 6 Are under curve given prmetriclly 7 Sequences nd

Warm-up for Differential Calculus

Summer Assignment Wrm-up for Differentil Clculus Who should complete this pcket? Students who hve completed Functions or Honors Functions nd will be tking Differentil Clculus in the fll of 015. Due Dte:

Week 11 - Inductance

Week - Inductnce November 6, 202 Exercise.: Discussion Questions ) A trnsformer consists bsiclly of two coils in close proximity but not in electricl contct. A current in one coil mgneticlly induces n

Euler Euler Everywhere Using the Euler-Lagrange Equation to Solve Calculus of Variation Problems

Euler Euler Everywhere Using the Euler-Lgrnge Eqution to Solve Clculus of Vrition Problems Jenine Smllwood Principles of Anlysis Professor Flschk My 12, 1998 1 1. Introduction Clculus of vritions is brnch

Quick Reference Guide: One-time Account Update

Quick Reference Guide: One-time Account Updte How to complete The Quick Reference Guide shows wht existing SingPss users need to do when logging in to the enhnced SingPss service for the first time. 1)

SINCLAIR COMMUNITY COLLEGE DAYTON, OHIO DEPARTMENT SYLLABUS FOR COURSE IN MAT 1470 - COLLEGE ALGEBRA (4 SEMESTER HOURS)

SINCLAIR COMMUNITY COLLEGE DAYTON, OHIO DEPARTMENT SYLLABUS FOR COURSE IN MAT 470 - COLLEGE ALGEBRA (4 SEMESTER HOURS). COURSE DESCRIPTION: Polynomil, rdicl, rtionl, exponentil, nd logrithmic functions

All pay auctions with certain and uncertain prizes a comment

CENTER FOR RESEARC IN ECONOMICS AND MANAGEMENT CREAM Publiction No. 1-2015 All py uctions with certin nd uncertin prizes comment Christin Riis All py uctions with certin nd uncertin prizes comment Christin

Orbits and Kepler s Laws

Obits nd Keple s Lws This web pge intoduces some of the bsic ides of obitl dynmics. It stts by descibing the bsic foce due to gvity, then consides the ntue nd shpe of obits. The next section consides how

Econ 4721 Money and Banking Problem Set 2 Answer Key

Econ 472 Money nd Bnking Problem Set 2 Answer Key Problem (35 points) Consider n overlpping genertions model in which consumers live for two periods. The number of people born in ech genertion grows in

15.6. The mean value and the root-mean-square value of a function. Introduction. Prerequisites. Learning Outcomes. Learning Style

The men vlue nd the root-men-squre vlue of function 5.6 Introduction Currents nd voltges often vry with time nd engineers my wish to know the verge vlue of such current or voltge over some prticulr time

Introduction to Integration Part 2: The Definite Integral

Mthemtics Lerning Centre Introduction to Integrtion Prt : The Definite Integrl Mr Brnes c 999 Universit of Sdne Contents Introduction. Objectives...... Finding Ares 3 Ares Under Curves 4 3. Wht is the

Redistributing the Gains from Trade through Non-linear. Lump-sum Transfers

Redistributing the Gins from Trde through Non-liner Lump-sum Trnsfers Ysukzu Ichino Fculty of Economics, Konn University April 21, 214 Abstrct I exmine lump-sum trnsfer rules to redistribute the gins from

MATH PLACEMENT REVIEW GUIDE

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

CURVES ANDRÉ NEVES. that is, the curve α has finite length. v = p q p q. a i.e., the curve of smallest length connecting p to q is a straight line.

CURVES ANDRÉ NEVES 1. Problems (1) (Ex 1 of 1.3 of Do Crmo) Show tht the tngent line to the curve α(t) (3t, 3t 2, 2t 3 ) mkes constnt ngle with the line z x, y. (2) (Ex 6 of 1.3 of Do Crmo) Let α(t) (e

Vectors. The magnitude of a vector is its length, which can be determined by Pythagoras Theorem. The magnitude of a is written as a.

Vectors mesurement which onl descries the mgnitude (i.e. size) of the oject is clled sclr quntit, e.g. Glsgow is 11 miles from irdrie. vector is quntit with mgnitude nd direction, e.g. Glsgow is 11 miles

Version 001 Summer Review #03 tubman (IBII20142015) 1

Version 001 Summer Reiew #03 tubmn (IBII20142015) 1 This print-out should he 35 questions. Multiple-choice questions my continue on the next column or pge find ll choices before nswering. Concept 20 P03

2 DIODE CLIPPING and CLAMPING CIRCUITS

2 DIODE CLIPPING nd CLAMPING CIRCUITS 2.1 Ojectives Understnding the operting principle of diode clipping circuit Understnding the operting principle of clmping circuit Understnding the wveform chnge of

Why Network is n Essentil Productivity Tool for Any Smll Business TechAdvisory.org SME Reports sponsored by Effective technology is essentil for smll businesses looking to increse their productivity. Computer

c. Values in statements are broken down by fiscal years; many projects are

Lecture 18: Finncil Mngement (Continued)/Csh Flow CEE 498 Construction Project Mngement L Schedules A. Schedule.of Contrcts Completed See Attchment # 1 ll. 1. Revenues Erned 2. Cost of Revenues 3. Gross

On the Robustness of Most Probable Explanations

On the Robustness of Most Probble Explntions Hei Chn School of Electricl Engineering nd Computer Science Oregon Stte University Corvllis, OR 97330 chnhe@eecs.oregonstte.edu Adnn Drwiche Computer Science

baby on the way, quit today

for mums-to-be bby on the wy, quit tody WHAT YOU NEED TO KNOW bout smoking nd pregnncy uitting smoking is the best thing you cn do for your bby We know tht it cn be difficult to quit smoking. But we lso

Virtual Machine. Part II: Program Control. Building a Modern Computer From First Principles. www.nand2tetris.org

Virtul Mchine Prt II: Progrm Control Building Modern Computer From First Principles www.nnd2tetris.org Elements of Computing Systems, Nisn & Schocken, MIT Press, www.nnd2tetris.org, Chpter 8: Virtul Mchine,

Vector differentiation. Chapters 6, 7

Chpter 2 Vectors Courtesy NASA/JPL-Cltech Summry (see exmples in Hw 1, 2, 3) Circ 1900 A.D., J. Willird Gis invented useful comintion of mgnitude nd direction clled vectors nd their higher-dimensionl counterprts

Module 2. Analysis of Statically Indeterminate Structures by the Matrix Force Method. Version 2 CE IIT, Kharagpur

Module Anlysis of Stticlly Indeterminte Structures by the Mtrix Force Method Version CE IIT, Khrgpur esson 9 The Force Method of Anlysis: Bems (Continued) Version CE IIT, Khrgpur Instructionl Objectives

4. DC MOTORS. Understand the basic principles of operation of a DC motor. Understand the operation and basic characteristics of simple DC motors.

4. DC MOTORS Almost every mechnicl movement tht we see round us is ccomplished by n electric motor. Electric mchines re mens o converting energy. Motors tke electricl energy nd produce mechnicl energy.

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

Logi Gtes nd Properties We will e using logil opertions to uild mhines tht n do rithmeti lultions. It s useful to think of these opertions s si omponents tht n e hooked together into omplex networks. To

Vectors and dyadics. Chapter 2. Summary. 2.1 Examples of scalars, vectors, and dyadics

Chpter 2 Vectors nd dydics Summry Circ 1900 A.D., J. Willird Gis proposed the ide of vectors nd their higher-dimensionl counterprts dydics, tridics, ndpolydics. Vectors descrie three-dimensionl spce nd

SPH simulation of fluid-structure interaction problems

Diprtimento di ingegneri idrulic e mientle SPH simultion of fluid-structure interction prolems C. Antoci, M. Gllti, S. Siill Reserch project Prolem: deformtion of plte due to the ction of fluid (lrge displcement

Vectors and dyadics. Chapter 2. Summary. 2.1 Examples of scalars, vectors, and dyadics

Chpter 2 Vectors nd dydics Summry Circ 1900 A.D., J. Willird Gis proposed the ide of vectors nd their higher-dimensionl counterprts dydics, tridics, ndpolydics. Vectors descrie three-dimensionl spce nd

Second-Degree Equations as Object of Learning

Pper presented t the EARLI SIG 9 Biennil Workshop on Phenomenogrphy nd Vrition Theory, Kristinstd, Sweden, My 22 24, 2008. Abstrct Second-Degree Equtions s Object of Lerning Constnt Oltenu, Ingemr Holgersson,

PHY 140A: Solid State Physics. Solution to Homework #2

PHY 140A: Solid Stte Physics Solution to Homework # TA: Xun Ji 1 October 14, 006 1 Emil: jixun@physics.ucl.edu Problem #1 Prove tht the reciprocl lttice for the reciprocl lttice is the originl lttice.

On decidability of LTL model checking for process rewrite systems

Act Informtic (2009) 46:1 28 DOI 10.1007/s00236-008-0082-3 ORIGINAL ARTICLE On decidbility of LTL model checking for process rewrite systems Lur Bozzelli Mojmír Křetínský Vojtěch Řehák Jn Strejček Received:

Smll Business Cloud Services Summry. We re thick in the midst of historic se-chnge in computing. Like the emergence of personl computers, grphicl user interfces, nd mobile devices, the cloud is lredy profoundly

Solving BAMO Problems

Solving BAMO Problems Tom Dvis tomrdvis@erthlink.net http://www.geometer.org/mthcircles Februry 20, 2000 Abstrct Strtegies for solving problems in the BAMO contest (the By Are Mthemticl Olympid). Only

5 a LAN 6 a gateway 7 a modem

STARTER With the help of this digrm, try to descrie the function of these components of typicl network system: 1 file server 2 ridge 3 router 4 ckone 5 LAN 6 gtewy 7 modem Another Novell LAN Router Internet

I calculate the unemployment rate as (In Labor Force Employed)/In Labor Force

Introduction to the Prctice of Sttistics Fifth Edition Moore, McCbe Section 4.5 Homework Answers to 98, 99, 100,102, 103,105, 107, 109,110, 111, 112, 113 Working. In the lnguge of government sttistics,

Quick Reference Guide: Reset Pssword How to reset pssword This Quick Reference Guide shows you how to reset your pssword if you hve forgotten it. There re three wys to reset your SingPss pssword: 1) Online

trademark and symbol guidelines FOR CORPORATE STATIONARY APPLICATIONS reviewed 01.02.2007

trdemrk nd symbol guidelines trdemrk guidelines The trdemrk Cn be plced in either of the two usul configurtions but horizontl usge is preferble. Wherever possible the trdemrk should be plced on blck bckground.

Summary: Vectors. This theorem is used to find any points (or position vectors) on a given line (direction vector). Two ways RT can be applied:

Summ: Vectos ) Rtio Theoem (RT) This theoem is used to find n points (o position vectos) on given line (diection vecto). Two ws RT cn e pplied: Cse : If the point lies BETWEEN two known position vectos

#A12 INTEGERS 13 (2013) THE DISTRIBUTION OF SOLUTIONS TO XY = N (MOD A) WITH AN APPLICATION TO FACTORING INTEGERS

#A1 INTEGERS 13 (013) THE DISTRIBUTION OF SOLUTIONS TO XY = N (MOD A) WITH AN APPLICATION TO FACTORING INTEGERS Michel O. Rubinstein 1 Pure Mthemtics, University of Wterloo, Wterloo, Ontrio, Cnd mrubinst@uwterloo.c

SOLVING EQUATIONS BY FACTORING

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

Data replication in mobile computing

Technicl Report, My 2010 Dt repliction in mobile computing Bchelor s Thesis in Electricl Engineering Rodrigo Christovm Pmplon HALMSTAD UNIVERSITY, IDE SCHOOL OF INFORMATION SCIENCE, COMPUTER AND ELECTRICAL

Antibody Screening. Antibody Screening in Pre-transfusion Testing and Antenatal Screening

Antiody Screening in Pre-trnsfusion Testing nd Antentl Screening Antiody Screening in Pre-trnsfusion Testing nd Antentl Screening Q. Wht re nturlly occurring or expected ntiodies? Q. Wht re typicl or unexpected

Haus, Hermann A., and James R. Melcher. Electromagnetic Fields and Energy. Englewood Cliffs, NJ: Prentice-Hall, 1989. ISBN: 9780132490207.

MIT OpenCourseWre http://ocw.mit.edu Hus, Hermnn A., nd Jmes R. Melcher. Electromgnetic Fields nd Energy. Englewood Cliffs, NJ: Prentice-Hll, 1989. ISBN: 9780132490207. Plese use the following cittion

AAPT UNITED STATES PHYSICS TEAM AIP 2010

2010 F = m Exm 1 AAPT UNITED STATES PHYSICS TEAM AIP 2010 Enti non multiplicnd sunt preter necessittem 2010 F = m Contest 25 QUESTIONS - 75 MINUTES INSTRUCTIONS DO NOT OPEN THIS TEST UNTIL YOU ARE TOLD

4.5 Signal Flow Graphs

3/9/009 4_5 ignl Flow Grphs.doc / 4.5 ignl Flow Grphs Reding Assignment: pp. 89-97 Q: Using individul device scttering prmeters to nlze comple microwve network results in lot of mess mth! Isn t there n

The Principle of No Punishment Without a Law for It LEARNING OBJECTIVES: CRLA.GAAN:15.01.07-01.07

True / Flse 1. An ex post fcto lw is lw which hs retroctive effect.. True b. Flse True 2. An lcoholic cnnot be convicte for the offense of being runk in public plce bse upon the Eighth n Fourteenth Amenments..

Space Vector Pulse Width Modulation Based Induction Motor with V/F Control

Interntionl Journl of Science nd Reserch (IJSR) Spce Vector Pulse Width Modultion Bsed Induction Motor with V/F Control Vikrmrjn Jmbulingm Electricl nd Electronics Engineering, VIT University, Indi Abstrct:

BUSINESS MATHEMATICS HIGHER SECONDARY - SECOND YEAR olume- Untouchbility is sin Untouchbility is crime Untouchbility is inhumn TAMILNADU TEXTBOOK CORORATION College Rod, Chenni - 6 6. Government of Tmilndu

Project 6 Aircraft static stability and control

Project 6 Aircrft sttic stbility nd control The min objective of the project No. 6 is to compute the chrcteristics of the ircrft sttic stbility nd control chrcteristics in the pitch nd roll chnnel. The

Solving the String Statistics Problem in Time O(n log n)

Solving the String Sttistics Prolem in Time O(n log n) Gerth Stølting Brodl 1,,, Rune B. Lyngsø 3, Ann Östlin1,, nd Christin N. S. Pedersen 1,2, 1 BRICS, Deprtment of Computer Science, University of Arhus,

Online Multicommodity Routing with Time Windows

Konrd-Zuse-Zentrum für Informtionstechnik Berlin Tkustrße 7 D-14195 Berlin-Dhlem Germny TOBIAS HARKS 1 STEFAN HEINZ MARC E. PFETSCH TJARK VREDEVELD 2 Online Multicommodity Routing with Time Windows 1 Institute

INTERCHANGING TWO LIMITS. Zoran Kadelburg and Milosav M. Marjanović

THE TEACHING OF MATHEMATICS 2005, Vol. VIII, 1, pp. 15 29 INTERCHANGING TWO LIMITS Zorn Kdelburg nd Milosv M. Mrjnović This pper is dedicted to the memory of our illustrious professor of nlysis Slobodn

STATUS OF LAND-BASED WIND ENERGY DEVELOPMENT IN GERMANY

Yer STATUS OF LAND-BASED WIND ENERGY Deutsche WindGurd GmbH - Oldenburger Strße 65-26316 Vrel - Germny +49 (4451)/9515 - info@windgurd.de - www.windgurd.com Annul Added Cpcity [MW] Cumultive Cpcity [MW]

Optimal Control of Serial, Multi-Echelon Inventory/Production Systems with Periodic Batching

Optiml Control of Seril, Multi-Echelon Inventory/Production Systems with Periodic Btching Geert-Jn vn Houtum Deprtment of Technology Mngement, Technische Universiteit Eindhoven, P.O. Box 513, 56 MB, Eindhoven,

Hillsborough Township Public Schools Mathematics Department Computer Programming 1

Essentil Unit 1 Introduction to Progrmming Pcing: 15 dys Common Unit Test Wht re the ethicl implictions for ming in tody s world? There re ethicl responsibilities to consider when writing computer s. Citizenship,

SCHOOL OF INFORMATION TECHNOLOGY & ELECTRICAL ENGINEERING THE UNIVERSITY OF QUEENSLAND Brisbane Queensland 4072 Australia. Technical Report No.

SCHOOL OF INFORMATION TECHNOLOGY & ELECTRICAL ENGINEERING THE UNIVERSITY OF QUEENSLAND Brisbne Queenslnd 407 Austrli Phone: +6 7 3365 009 Fx: +6 7 3365 4999 Emil: trici@itee.uq.edu.u Technicl Report No.

Reducing your telecommunictions costs VoIP (Voice over Internet Protocol) offers low cost lterntive to expensive trditionl phone services nd is rpidly becoming the communictions system of choice for smll

COMPARISON OF SOME METHODS TO FIT A MULTIPLICATIVE TARIFF STRUCTURE TO OBSERVED RISK DATA BY B. AJNE. Skandza, Stockholm ABSTRACT

COMPARISON OF SOME METHODS TO FIT A MULTIPLICATIVE TARIFF STRUCTURE TO OBSERVED RISK DATA BY B. AJNE Skndz, Stockholm ABSTRACT Three methods for fitting multiplictive models to observed, cross-clssified

Numerical Methods of Approximating Definite Integrals

6 C H A P T E R Numericl Methods o Approimting Deinite Integrls 6. APPROXIMATING SUMS: L n, R n, T n, AND M n Introduction Not only cn we dierentite ll the bsic unctions we ve encountered, polynomils,

C-crcs Cognitive - Counselling Research & Conference Services (eissn: 2301-2358)

C-crcs Cognitive - Counselling Reserch & Conference Services (eissn: 2301-2358) Volume I Effects of Music Composition Intervention on Elementry School Children b M. Hogenes, B. Vn Oers, R. F. W. Diekstr,

Java CUP. Java CUP Specifications. User Code Additions You may define Java code to be included within the generated parser:

Jv CUP Jv CUP is prser-genertion tool, similr to Ycc. CUP uilds Jv prser for LALR(1) grmmrs from production rules nd ssocited Jv code frgments. When prticulr production is recognized, its ssocited code

Section 5.2, Commands for Configuring ISDN Protocols. Section 5.3, Configuring ISDN Signaling. Section 5.4, Configuring ISDN LAPD and Call Control

Chpter 5 Configurtion of ISDN Protocols This chpter provides instructions for configuring the ISDN protocols in the SP201 for signling conversion. Use the sections tht reflect the softwre you re configuring.

Lower Bound for Envy-Free and Truthful Makespan Approximation on Related Machines

Lower Bound for Envy-Free nd Truthful Mespn Approximtion on Relted Mchines Lis Fleischer Zhenghui Wng July 14, 211 Abstrct We study problems of scheduling jobs on relted mchines so s to minimize the mespn

The Impact of Oligopolistic Competition in Networks

OPERATIONS RESEARCH Vol. 57, No. 6, November December 2009, pp. 1421 1437 issn 0030-364X eissn 1526-5463 09 5706 1421 informs doi 10.1287/opre.1080.0653 2009 INFORMS The Impct of Oligopolistic Competition

Health insurance marketplace What to expect in 2014

Helth insurnce mrketplce Wht to expect in 2014 33096VAEENBVA 06/13 The bsics of the mrketplce As prt of the Affordble Cre Act (ACA or helth cre reform lw), strting in 2014 ALL Americns must hve minimum

UNIVERSITY OF NOTTINGHAM. Discussion Papers in Economics STRATEGIC SECOND SOURCING IN A VERTICAL STRUCTURE

UNVERSTY OF NOTTNGHAM Discussion Ppers in Economics Discussion Pper No. 04/15 STRATEGC SECOND SOURCNG N A VERTCAL STRUCTURE By Arijit Mukherjee September 004 DP 04/15 SSN 10-438 UNVERSTY OF NOTTNGHAM Discussion