CSU290 Lecture Notes Lecture 7 25 Sept Peter Dillinger. Functions on Lists/Conses
|
|
- Lydia Griffin
- 7 years ago
- Views:
Transcription
1 CSU290 Lecure Noes Lecure 7 25 Sep 2008 Funcions on Liss/Conses Peer Dillinger Do you recall wha a rue lis is? I is eiher or a sequence of conses in which he las cdr is. We can wrie a 211-syle daa definiion for rue liss like so: rue-lis: Cons all rue-lis Noe ha here is no buil-in predicae ALLP, bu we use "all" o refer o all objecs in he ACL2 universe. This daa definiion can guide us in wriing a recognizer for rue liss: ; TRUE-LISTP: all -> boolean ; Reurns boolean indicaing wheher he parameer is a rue lis. Here s a emplae we migh come up wih: ; Templae: (based on checking for rue-lis) ; (defun rue-lisp (x) ; (if ( x ) ; (if (and (consp x) ; (allp (car x))) (rue-lisp (cdr x))... ))) excep here is no buil-in ALLP. We could define i, (defun allp (x) (declare (ignore x)) ; ell ACL2 i am inenionally ignoring x ) bu i s jus as easy o assume everyhing belongs o he ype "all" and no even check: ; Templae: (based on checking for rue-lis) ; (defun rue-lisp (x) ; (if ( x ) ; (if (consp x) (rue-lisp (cdr x))... ))) Now, ; (See ess for examples.) (check (rue-lisp ) ) (check (rue-lisp (1)) ) (check (rue-lisp ("hi")) ) (check (rue-lisp (1. 2)) ) (check (rue-lisp 2 )) And now we can fill in he body of he funcion: (defun rue-lisp (x) (if ( x ) (if (consp x) (rue-lisp (cdr x)) )))
2 So if x is, i is a rue lis. If i is a cons, i is a rue lis if is cdr is a rue lis. If i is no and no a cons, which mus be he case if we reach he final "", i is no a rue lis. Finally, by he way, we canno make his definiion in ACL2 because rue-lisp is already defined. Bu his version is equivalen. (ACL2 jus proved so. We ll see how o do ha laer.) Le s wrie anoher funcion ha works on liss o ge a feel for how his should work in ACL2: ; MEM: all rue-lis -> boolean ; Reurns a boolean indicaing wheher he firs parameer appears as an ; elemen in he lis given by he second parameer. ; ("mem" is shor for "member") ; Templae (wihou considering oaliy): ; (defun mem (x l) ; (if ( l ) (mem... (cdr l))...)...) Examples: (check (mem 5 (4 5 6)) ) (check (mem 1 (4 5 6)) ) (check (mem 5 ) ) (check (mem (1) ((2) (1))) ) (check (mem (1) (2 1)) ) Now le us wrie he definiion wihou considering oaliy or uninended recursion: (defun mem (x l) (if ( l ) ; rivially, nohing belongs o he empy lis (if ( (car l) x) ; check if curren elemen is he one we re looking for (mem x (cdr l))))) ; see if same elemen is member of res of he lis This passes all hose ess, bu now le s consider oaliy. If we give i somehing ouside he inended domain, as in (mem 1 2) wha happens? Acually, i does erminae, bu here is exra recursion for aomic inpu ouside he conrac: (mem 1 2) { definiion of mem } (if ( 2 ) (if ( (car 2) 1) (mem 1 (cdr 2)))) { recall (car 2) } (mem 1 (cdr 2))
3 { (cdr 2) } (mem 1 ) { definiion of mem } (if ( )...) Anoher ineresing resul is ha (mem 2) Which is ineresing bu no inherenly problemaic, because 2 is no a rue lis and our conrac/descripion does no specify wha should be reurned in ha case. So MEM calls iself an exra ime before erminaing, and we wan o eliminae ha o keep he recursion as simple as possible. We shall make sure all aomic daa ouside he inended domain maps o a base case. To keep he number of IFs he same, we will le he funcion reurn any ime l is an aom. We could check (aom l), bu he sandard way o perform he same check on somehing ha we inend o be a lis is (endp l). (Recall ENDP is he same as ATOM.) Here is he new definiion: (defun mem (x l) (if (endp l) (if ( (car l) x) (mem x (cdr l))))) Now we have (check (mem 1 2) ) (check (mem 2) ) because any aom for l is reaed as he empy lis,. Wha abou (mem 2 (1 2. 3))? (1 2. 3) is, of course, no a rue lis. (mem 2 (1 2. 3)) (if (endp (1 2. 3)) (if ( (car (1 2. 3)) 2) (mem 2 (cdr (1 2. 3))))) (mem 2 (cdr (1 2. 3))) (mem 2 (2. 3)) (if (endp (2. 3)) (if ( (car (2. 3)) 2) (mem 2 (cdr (1 2. 3)))))
4 This case makes a recursive call even hough i is passed inpu ouside he inended domain. When we fill in he res of he design recipe for ACL2, we will see ha his is he behavior we wan. Basically, raher han checking ha he enire compound daa srucure (one buil wih cons pairs) mees he conrac before we do anyhing wih i, we proceed as if i does u we encouner par of i ha doesn mee he conrac. We will discuss his furher laer. Anoher way of viewing he way his definiion of MEM behaves is ha i reas any improper liss such as (1 2. 3) as if is las cdr were. Thus, (1 2. 3) is reaed as (1 2), (. ) as ( ), and 2 as. And now for somehing compleely differen... Boolean Logic Boolean logic is a sysem of reasoning wih wo values. These values could be 0 & 1 False & True & Non- In ACL2, generalized booleans are, of course, & Non-, bu righ now we are going o focus on he radiional mahemaical incepion of Boolean logic using he conceps of True and False. In boolean logic, we have some basic operaions on ruh values: Pronounciaion Mahemaical synax ACL2 synax Implies p -> q (implies p q) And p /\ q (and p q) Or p \/ q (or p q) If and only if p <-> q (iff p q) No p (no p) There are many ways for reasoning compleely abou boolean logic formulas. We will primarily focus on he easies mehod: ruh ables. We will also use hese o describe he meaning of hese operaions. Here s a ruh able describing he meaning of he binary operaions above: p q p/\q p\/q p->q p<->q T T T T T T T F F T F F F T F T T F F F F F T T Noice ha all possible combinaions of True (T) and False (F) for p and q are lised in he able. If we look a he p/\q, "p and q", column, we see ha if p is True and q is True, hen p /\ q is True. If p is True and q is False, hen p /\ q is False. If p is False and q is True, hen p /\ q is False. If p is False and q is False, hen p /\ q is False. And and Or behave as expeced. Implicaion is somewha unexpeced for some people. Le us le p be "Is i raining?" and q be "Is i cloudy?". p -> q would mean "Raining implies cloudy," or "If i is raining, hen i is cloudy." If i is raining and i is cloudy (firs row in he ruh able), hen he saemen is rue. If i is raining and i is no cloudy, he saemen is
5 false. (Here comes he ricky par.) If i is no raining, hen he saemen is rue no maer wheher i is cloudy (3rd and 4h rows). If he hypohesis of he implicaion, he firs argumen, is false, hen he saemen does no conradic anyhing, so even hough i does no really ell us much, i is rue. p <-> q is much like equaliy from a boolean sandpoin. Now a ruh able for boolean negaion: p p T F F T Tha was simple. Now le s consider consrucing a ruh able for p \/ q. If we wan o make i really easy, we can add a column for p: p q p p\/q T T F T T F F F F T T T F F T T The easy way o fill his in, afer filling in all possible combinaions of p and q values is o fill in he p column based on he p column and he ruh able for negaion. Then we can use he p and q columns and he ruh able for OR o fill in he values for p\/q. Noice anyhing abou hose values for p\/q? Look familiar? They re he same as p->q. So p->q is he same as p\/q. Is here an alernae form for p<->q, in erms of an AND or an OR and possible negaions? Noice ha when we negae one or boh inpus, he ruh able oupus are jus shifed around. In he case of OR, here are always hree rues and one false. In he case of AND, here are always hree falses and one rue. IFF has wo of each hough. If we allow more han one AND and/or OR, we can consruc IFF in erms of hose consrucs. In wha cases is IFF rue? Well, is rue if boh are rue or boh are no rue. In oher words, p<->q is he same as (p/\q) \/ ( p/\ q). Finally we have wo erms o learn: Tauology - a saemen ha is always rue. An example is p \/ p. Conradicion - a saemen ha is always false, such as p /\ p. Now you have learned enough boolean logic o play he boolean logic game in ACL2s and linked off he class web page.
The Roos of Lisp paul graham Draf, January 18, 2002. In 1960, John McCarhy published a remarkable paper in which he did for programming somehing like wha Euclid did for geomery. 1 He showed how, given
More informationcooking trajectory boiling water B (t) microwave 0 2 4 6 8 101214161820 time t (mins)
Alligaor egg wih calculus We have a large alligaor egg jus ou of he fridge (1 ) which we need o hea o 9. Now here are wo accepable mehods for heaing alligaor eggs, one is o immerse hem in boiling waer
More informationPermutations and Combinations
Permuaions and Combinaions Combinaorics Copyrigh Sandards 006, Tes - ANSWERS Barry Mabillard. 0 www.mah0s.com 1. Deermine he middle erm in he expansion of ( a b) To ge he k-value for he middle erm, divide
More informationThe Transport Equation
The Transpor Equaion Consider a fluid, flowing wih velociy, V, in a hin sraigh ube whose cross secion will be denoed by A. Suppose he fluid conains a conaminan whose concenraion a posiion a ime will be
More information17 Laplace transform. Solving linear ODE with piecewise continuous right hand sides
7 Laplace ransform. Solving linear ODE wih piecewise coninuous righ hand sides In his lecure I will show how o apply he Laplace ransform o he ODE Ly = f wih piecewise coninuous f. Definiion. A funcion
More informationIndividual Health Insurance April 30, 2008 Pages 167-170
Individual Healh Insurance April 30, 2008 Pages 167-170 We have received feedback ha his secion of he e is confusing because some of he defined noaion is inconsisen wih comparable life insurance reserve
More informationDifferential Equations. Solving for Impulse Response. Linear systems are often described using differential equations.
Differenial Equaions Linear sysems are ofen described using differenial equaions. For example: d 2 y d 2 + 5dy + 6y f() d where f() is he inpu o he sysem and y() is he oupu. We know how o solve for y given
More information9. Capacitor and Resistor Circuits
ElecronicsLab9.nb 1 9. Capacior and Resisor Circuis Inroducion hus far we have consider resisors in various combinaions wih a power supply or baery which provide a consan volage source or direc curren
More informationPROFIT TEST MODELLING IN LIFE ASSURANCE USING SPREADSHEETS PART ONE
Profi Tes Modelling in Life Assurance Using Spreadshees PROFIT TEST MODELLING IN LIFE ASSURANCE USING SPREADSHEETS PART ONE Erik Alm Peer Millingon 2004 Profi Tes Modelling in Life Assurance Using Spreadshees
More informationChapter 8: Regression with Lagged Explanatory Variables
Chaper 8: Regression wih Lagged Explanaory Variables Time series daa: Y for =1,..,T End goal: Regression model relaing a dependen variable o explanaory variables. Wih ime series new issues arise: 1. One
More informationChapter 7. Response of First-Order RL and RC Circuits
Chaper 7. esponse of Firs-Order L and C Circuis 7.1. The Naural esponse of an L Circui 7.2. The Naural esponse of an C Circui 7.3. The ep esponse of L and C Circuis 7.4. A General oluion for ep and Naural
More information4 Convolution. Recommended Problems. x2[n] 1 2[n]
4 Convoluion Recommended Problems P4.1 This problem is a simple example of he use of superposiion. Suppose ha a discree-ime linear sysem has oupus y[n] for he given inpus x[n] as shown in Figure P4.1-1.
More informationA Note on Using the Svensson procedure to estimate the risk free rate in corporate valuation
A Noe on Using he Svensson procedure o esimae he risk free rae in corporae valuaion By Sven Arnold, Alexander Lahmann and Bernhard Schwezler Ocober 2011 1. The risk free ineres rae in corporae valuaion
More informationC Fast-Dealing Property Trading Game C
If you are already an experienced MONOPOLY dealer and wan a faser game, ry he rules on he back page! AGES 8+ C Fas-Dealing Propery Trading Game C Y Original MONOPOLY Game Rules plus Special Rules for his
More informationUsefulness of the Forward Curve in Forecasting Oil Prices
Usefulness of he Forward Curve in Forecasing Oil Prices Akira Yanagisawa Leader Energy Demand, Supply and Forecas Analysis Group The Energy Daa and Modelling Cener Summary When people analyse oil prices,
More informationSignal Rectification
9/3/25 Signal Recificaion.doc / Signal Recificaion n imporan applicaion of juncion diodes is signal recificaion. here are wo ypes of signal recifiers, half-wae and fullwae. Le s firs consider he ideal
More informationCHARGE AND DISCHARGE OF A CAPACITOR
REFERENCES RC Circuis: Elecrical Insrumens: Mos Inroducory Physics exs (e.g. A. Halliday and Resnick, Physics ; M. Sernheim and J. Kane, General Physics.) This Laboraory Manual: Commonly Used Insrumens:
More informationChapter 4: Exponential and Logarithmic Functions
Chaper 4: Eponenial and Logarihmic Funcions Secion 4.1 Eponenial Funcions... 15 Secion 4. Graphs of Eponenial Funcions... 3 Secion 4.3 Logarihmic Funcions... 4 Secion 4.4 Logarihmic Properies... 53 Secion
More informationWHAT ARE OPTION CONTRACTS?
WHAT ARE OTION CONTRACTS? By rof. Ashok anekar An oion conrac is a derivaive which gives he righ o he holder of he conrac o do 'Somehing' bu wihou he obligaion o do ha 'Somehing'. The 'Somehing' can be
More informationC Fast-Dealing Property Trading Game C
AGES 8+ C Fas-Dealing Propery Trading Game C Y Collecor s Ediion Original MONOPOLY Game Rules plus Special Rules for his Ediion. CONTENTS Game board, 6 Collecible okens, 28 Tile Deed cards, 16 Wha he Deuce?
More informationMTH6121 Introduction to Mathematical Finance Lesson 5
26 MTH6121 Inroducion o Mahemaical Finance Lesson 5 Conens 2.3 Brownian moion wih drif........................... 27 2.4 Geomeric Brownian moion........................... 28 2.5 Convergence of random
More informationAppendix A: Area. 1 Find the radius of a circle that has circumference 12 inches.
Appendi A: Area worked-ou s o Odd-Numbered Eercises Do no read hese worked-ou s before aemping o do he eercises ourself. Oherwise ou ma mimic he echniques shown here wihou undersanding he ideas. Bes wa
More informationRandom Walk in 1-D. 3 possible paths x vs n. -5 For our random walk, we assume the probabilities p,q do not depend on time (n) - stationary
Random Walk in -D Random walks appear in many cones: diffusion is a random walk process undersanding buffering, waiing imes, queuing more generally he heory of sochasic processes gambling choosing he bes
More informationMathematics in Pharmacokinetics What and Why (A second attempt to make it clearer)
Mahemaics in Pharmacokineics Wha and Why (A second aemp o make i clearer) We have used equaions for concenraion () as a funcion of ime (). We will coninue o use hese equaions since he plasma concenraions
More informationDuration and Convexity ( ) 20 = Bond B has a maturity of 5 years and also has a required rate of return of 10%. Its price is $613.
Graduae School of Business Adminisraion Universiy of Virginia UVA-F-38 Duraion and Convexiy he price of a bond is a funcion of he promised paymens and he marke required rae of reurn. Since he promised
More informationOn the degrees of irreducible factors of higher order Bernoulli polynomials
ACTA ARITHMETICA LXII.4 (1992 On he degrees of irreducible facors of higher order Bernoulli polynomials by Arnold Adelberg (Grinnell, Ia. 1. Inroducion. In his paper, we generalize he curren resuls on
More informationCointegration: The Engle and Granger approach
Coinegraion: The Engle and Granger approach Inroducion Generally one would find mos of he economic variables o be non-saionary I(1) variables. Hence, any equilibrium heories ha involve hese variables require
More information4. International Parity Conditions
4. Inernaional ariy ondiions 4.1 urchasing ower ariy he urchasing ower ariy ( heory is one of he early heories of exchange rae deerminaion. his heory is based on he concep ha he demand for a counry's currency
More informationA Re-examination of the Joint Mortality Functions
Norh merican cuarial Journal Volume 6, Number 1, p.166-170 (2002) Re-eaminaion of he Join Morali Funcions bsrac. Heekung Youn, rkad Shemakin, Edwin Herman Universi of S. Thomas, Sain Paul, MN, US Morali
More informationChapter 2 Problems. 3600s = 25m / s d = s t = 25m / s 0.5s = 12.5m. Δx = x(4) x(0) =12m 0m =12m
Chaper 2 Problems 2.1 During a hard sneeze, your eyes migh shu for 0.5s. If you are driving a car a 90km/h during such a sneeze, how far does he car move during ha ime s = 90km 1000m h 1km 1h 3600s = 25m
More informationLecture Note on the Real Exchange Rate
Lecure Noe on he Real Exchange Rae Barry W. Ickes Fall 2004 0.1 Inroducion The real exchange rae is he criical variable (along wih he rae of ineres) in deermining he capial accoun. As we shall see, his
More information11/6/2013. Chapter 14: Dynamic AD-AS. Introduction. Introduction. Keeping track of time. The model s elements
Inroducion Chaper 14: Dynamic D-S dynamic model of aggregae and aggregae supply gives us more insigh ino how he economy works in he shor run. I is a simplified version of a DSGE model, used in cuing-edge
More informationINTRODUCTION TO EMAIL MARKETING PERSONALIZATION. How to increase your sales with personalized triggered emails
INTRODUCTION TO EMAIL MARKETING PERSONALIZATION How o increase your sales wih personalized riggered emails ECOMMERCE TRIGGERED EMAILS BEST PRACTICES Triggered emails are generaed in real ime based on each
More information1 HALF-LIFE EQUATIONS
R.L. Hanna Page HALF-LIFE EQUATIONS The basic equaion ; he saring poin ; : wrien for ime: x / where fracion of original maerial and / number of half-lives, and / log / o calculae he age (# ears): age (half-life)
More informationANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS
ANALYSIS AND COMPARISONS OF SOME SOLUTION CONCEPTS FOR STOCHASTIC PROGRAMMING PROBLEMS R. Caballero, E. Cerdá, M. M. Muñoz and L. Rey () Deparmen of Applied Economics (Mahemaics), Universiy of Málaga,
More informationChapter 6: Business Valuation (Income Approach)
Chaper 6: Business Valuaion (Income Approach) Cash flow deerminaion is one of he mos criical elemens o a business valuaion. Everyhing may be secondary. If cash flow is high, hen he value is high; if he
More informationSOLID MECHANICS TUTORIAL GEAR SYSTEMS. This work covers elements of the syllabus for the Edexcel module 21722P HNC/D Mechanical Principles OUTCOME 3.
SOLI MEHNIS TUTORIL GER SYSTEMS This work covers elemens of he syllabus for he Edexcel module 21722P HN/ Mechanical Principles OUTOME 3. On compleion of his shor uorial you should be able o do he following.
More informationPrincipal components of stock market dynamics. Methodology and applications in brief (to be updated ) Andrei Bouzaev, bouzaev@ya.
Principal componens of sock marke dynamics Mehodology and applicaions in brief o be updaed Andrei Bouzaev, bouzaev@ya.ru Why principal componens are needed Objecives undersand he evidence of more han one
More information2.5 Life tables, force of mortality and standard life insurance products
Soluions 5 BS4a Acuarial Science Oford MT 212 33 2.5 Life ables, force of moraliy and sandard life insurance producs 1. (i) n m q represens he probabiliy of deah of a life currenly aged beween ages + n
More informationThe Derivative of a Constant is Zero
Sme Simple Algrihms fr Calculaing Derivaives The Derivaive f a Cnsan is Zer Suppse we are l ha x x where x is a cnsan an x represens he psiin f an bjec n a sraigh line pah, in her wrs, he isance ha he
More informationChapter 9 Bond Prices and Yield
Chaper 9 Bond Prices and Yield Deb Classes: Paymen ype A securiy obligaing issuer o pay ineress and principal o he holder on specified daes, Coupon rae or ineres rae, e.g. 4%, 5 3/4%, ec. Face, par value
More informationForecasting Sales: A Model and Some Evidence from the Retail Industry. Russell Lundholm Sarah McVay Taylor Randall
Forecasing Sales: A odel and Some Evidence from he eail Indusry ussell Lundholm Sarah cvay aylor andall Why forecas financial saemens? Seems obvious, bu wo common criicisms: Who cares, can we can look
More informationFourier Series and Fourier Transform
Fourier Series and Fourier ransform Complex exponenials Complex version of Fourier Series ime Shifing, Magniude, Phase Fourier ransform Copyrigh 2007 by M.H. Perro All righs reserved. 6.082 Spring 2007
More informationRC (Resistor-Capacitor) Circuits. AP Physics C
(Resisor-Capacior Circuis AP Physics C Circui Iniial Condiions An circui is one where you have a capacior and resisor in he same circui. Suppose we have he following circui: Iniially, he capacior is UNCHARGED
More informationImagine a Source (S) of sound waves that emits waves having frequency f and therefore
heoreical Noes: he oppler Eec wih ound Imagine a ource () o sound waes ha emis waes haing requency and hereore period as measured in he res rame o he ource (). his means ha any eecor () ha is no moing
More informationFull-wave rectification, bulk capacitor calculations Chris Basso January 2009
ull-wave recificaion, bulk capacior calculaions Chris Basso January 9 This shor paper shows how o calculae he bulk capacior value based on ripple specificaions and evaluae he rms curren ha crosses i. oal
More informationVector Autoregressions (VARs): Operational Perspectives
Vecor Auoregressions (VARs): Operaional Perspecives Primary Source: Sock, James H., and Mark W. Wason, Vecor Auoregressions, Journal of Economic Perspecives, Vol. 15 No. 4 (Fall 2001), 101-115. Macroeconomericians
More informationAcceleration Lab Teacher s Guide
Acceleraion Lab Teacher s Guide Objecives:. Use graphs of disance vs. ime and velociy vs. ime o find acceleraion of a oy car.. Observe he relaionship beween he angle of an inclined plane and he acceleraion
More informationPulse-Width Modulation Inverters
SECTION 3.6 INVERTERS 189 Pulse-Widh Modulaion Inverers Pulse-widh modulaion is he process of modifying he widh of he pulses in a pulse rain in direc proporion o a small conrol signal; he greaer he conrol
More informationDifferential Equations and Linear Superposition
Differenial Equaions and Linear Superposiion Basic Idea: Provide soluion in closed form Like Inegraion, no general soluions in closed form Order of equaion: highes derivaive in equaion e.g. dy d dy 2 y
More informationLectures # 5 and 6: The Prime Number Theorem.
Lecures # 5 and 6: The Prime Number Theorem Noah Snyder July 8, 22 Riemann s Argumen Riemann used his analyically coninued ζ-funcion o skech an argumen which would give an acual formula for π( and sugges
More informationMaking a Faster Cryptanalytic Time-Memory Trade-Off
Making a Faser Crypanalyic Time-Memory Trade-Off Philippe Oechslin Laboraoire de Securié e de Crypographie (LASEC) Ecole Polyechnique Fédérale de Lausanne Faculé I&C, 1015 Lausanne, Swizerland philippe.oechslin@epfl.ch
More informationMorningstar Investor Return
Morningsar Invesor Reurn Morningsar Mehodology Paper Augus 31, 2010 2010 Morningsar, Inc. All righs reserved. The informaion in his documen is he propery of Morningsar, Inc. Reproducion or ranscripion
More informationCLASSIFICATION OF REINSURANCE IN LIFE INSURANCE
CLASSIFICATION OF REINSURANCE IN LIFE INSURANCE Kaarína Sakálová 1. Classificaions of reinsurance There are many differen ways in which reinsurance may be classified or disinguished. We will discuss briefly
More informationMotion Along a Straight Line
Moion Along a Sraigh Line On Sepember 6, 993, Dave Munday, a diesel mechanic by rade, wen over he Canadian edge of Niagara Falls for he second ime, freely falling 48 m o he waer (and rocks) below. On his
More informationMortality Variance of the Present Value (PV) of Future Annuity Payments
Morali Variance of he Presen Value (PV) of Fuure Annui Pamens Frank Y. Kang, Ph.D. Research Anals a Frank Russell Compan Absrac The variance of he presen value of fuure annui pamens plas an imporan role
More informationWhy Did the Demand for Cash Decrease Recently in Korea?
Why Did he Demand for Cash Decrease Recenly in Korea? Byoung Hark Yoo Bank of Korea 26. 5 Absrac We explores why cash demand have decreased recenly in Korea. The raio of cash o consumpion fell o 4.7% in
More informationModule 4. Single-phase AC circuits. Version 2 EE IIT, Kharagpur
Module 4 Single-phase A circuis ersion EE T, Kharagpur esson 5 Soluion of urren in A Series and Parallel ircuis ersion EE T, Kharagpur n he las lesson, wo poins were described:. How o solve for he impedance,
More informationACTUARIAL FUNCTIONS 1_05
ACTUARIAL FUNCTIONS _05 User Guide for MS Office 2007 or laer CONTENT Inroducion... 3 2 Insallaion procedure... 3 3 Demo Version and Acivaion... 5 4 Using formulas and synax... 7 5 Using he help... 6 Noaion...
More informationThe Application of Multi Shifts and Break Windows in Employees Scheduling
The Applicaion of Muli Shifs and Brea Windows in Employees Scheduling Evy Herowai Indusrial Engineering Deparmen, Universiy of Surabaya, Indonesia Absrac. One mehod for increasing company s performance
More informationDouble Entry System of Accounting
CHAPTER 2 Double Enry Sysem of Accouning Sysem of Accouning \ The following are he main sysem of accouning for recording he business ransacions: (a) Cash Sysem of Accouning. (b) Mercanile or Accrual Sysem
More informationSignal Processing and Linear Systems I
Sanford Universiy Summer 214-215 Signal Processing and Linear Sysems I Lecure 5: Time Domain Analysis of Coninuous Time Sysems June 3, 215 EE12A:Signal Processing and Linear Sysems I; Summer 14-15, Gibbons
More informationLEASING VERSUSBUYING
LEASNG VERSUSBUYNG Conribued by James D. Blum and LeRoy D. Brooks Assisan Professors of Business Adminisraion Deparmen of Business Adminisraion Universiy of Delaware Newark, Delaware The auhors discuss
More informationStability. Coefficients may change over time. Evolution of the economy Policy changes
Sabiliy Coefficiens may change over ime Evoluion of he economy Policy changes Time Varying Parameers y = α + x β + Coefficiens depend on he ime period If he coefficiens vary randomly and are unpredicable,
More informationUnstructured Experiments
Chaper 2 Unsrucured Experimens 2. Compleely randomized designs If here is no reason o group he plos ino blocks hen we say ha Ω is unsrucured. Suppose ha reamen i is applied o plos, in oher words ha i is
More informationC The Fast-Dealing Property Trading Game C
AGES 8+ C The Fas-Dealing Propery Trading Game C Y riginal MNPLY Game Rules plus Special Rules for his Ediion. CNTENTS Gameboard, 6 okens, 28 Tile Deed cards, 6 U.N.I.T Cards, 6 Gallifrey Cards, pack of
More informationINTEREST RATE FUTURES AND THEIR OPTIONS: SOME PRICING APPROACHES
INTEREST RATE FUTURES AND THEIR OPTIONS: SOME PRICING APPROACHES OPENGAMMA QUANTITATIVE RESEARCH Absrac. Exchange-raded ineres rae fuures and heir opions are described. The fuure opions include hose paying
More informationHedging with Forwards and Futures
Hedging wih orwards and uures Hedging in mos cases is sraighforward. You plan o buy 10,000 barrels of oil in six monhs and you wish o eliminae he price risk. If you ake he buy-side of a forward/fuures
More informationTSG-RAN Working Group 1 (Radio Layer 1) meeting #3 Nynashamn, Sweden 22 nd 26 th March 1999
TSG-RAN Working Group 1 (Radio Layer 1) meeing #3 Nynashamn, Sweden 22 nd 26 h March 1999 RAN TSGW1#3(99)196 Agenda Iem: 9.1 Source: Tile: Documen for: Moorola Macro-diversiy for he PRACH Discussion/Decision
More informationSteps for D.C Analysis of MOSFET Circuits
10/22/2004 Seps for DC Analysis of MOSFET Circuis.doc 1/7 Seps for D.C Analysis of MOSFET Circuis To analyze MOSFET circui wih D.C. sources, we mus follow hese five seps: 1. ASSUME an operaing mode 2.
More informationInductance and Transient Circuits
Chaper H Inducance and Transien Circuis Blinn College - Physics 2426 - Terry Honan As a consequence of Faraday's law a changing curren hrough one coil induces an EMF in anoher coil; his is known as muual
More informationSupplementary Appendix for Depression Babies: Do Macroeconomic Experiences Affect Risk-Taking?
Supplemenary Appendix for Depression Babies: Do Macroeconomic Experiences Affec Risk-Taking? Ulrike Malmendier UC Berkeley and NBER Sefan Nagel Sanford Universiy and NBER Sepember 2009 A. Deails on SCF
More informationPerformance Center Overview. Performance Center Overview 1
Performance Cener Overview Performance Cener Overview 1 ODJFS Performance Cener ce Cener New Performance Cener Model Performance Cener Projec Meeings Performance Cener Execuive Meeings Performance Cener
More informationMaking Use of Gate Charge Information in MOSFET and IGBT Data Sheets
Making Use of ae Charge Informaion in MOSFET and IBT Daa Shees Ralph McArhur Senior Applicaions Engineer Advanced Power Technology 405 S.W. Columbia Sree Bend, Oregon 97702 Power MOSFETs and IBTs have
More informationChapter 2 Kinematics in One Dimension
Chaper Kinemaics in One Dimension Chaper DESCRIBING MOTION:KINEMATICS IN ONE DIMENSION PREVIEW Kinemaics is he sudy of how hings moe how far (disance and displacemen), how fas (speed and elociy), and how
More informationAnalogue and Digital Signal Processing. First Term Third Year CS Engineering By Dr Mukhtiar Ali Unar
Analogue and Digial Signal Processing Firs Term Third Year CS Engineering By Dr Mukhiar Ali Unar Recommended Books Haykin S. and Van Veen B.; Signals and Sysems, John Wiley& Sons Inc. ISBN: 0-7-380-7 Ifeachor
More informationForecasting and Information Sharing in Supply Chains Under Quasi-ARMA Demand
Forecasing and Informaion Sharing in Supply Chains Under Quasi-ARMA Demand Avi Giloni, Clifford Hurvich, Sridhar Seshadri July 9, 2009 Absrac In his paper, we revisi he problem of demand propagaion in
More informationWorking Paper No. 482. Net Intergenerational Transfers from an Increase in Social Security Benefits
Working Paper No. 482 Ne Inergeneraional Transfers from an Increase in Social Securiy Benefis By Li Gan Texas A&M and NBER Guan Gong Shanghai Universiy of Finance and Economics Michael Hurd RAND Corporaion
More informationPremium Income of Indian Life Insurance Industry
Premium Income of Indian Life Insurance Indusry A Toal Facor Produciviy Approach Ram Praap Sinha* Subsequen o he passage of he Insurance Regulaory and Developmen Auhoriy (IRDA) Ac, 1999, he life insurance
More informationNewton s Laws of Motion
Newon s Laws of Moion MS4414 Theoreical Mechanics Firs Law velociy. In he absence of exernal forces, a body moves in a sraigh line wih consan F = 0 = v = cons. Khan Academy Newon I. Second Law body. The
More informationTechnical Appendix to Risk, Return, and Dividends
Technical Appendix o Risk, Reurn, and Dividends Andrew Ang Columbia Universiy and NBER Jun Liu UC San Diego This Version: 28 Augus, 2006 Columbia Business School, 3022 Broadway 805 Uris, New York NY 10027,
More informationLecture 2: Telegrapher Equations For Transmission Lines. Power Flow.
Whies, EE 481 Lecure 2 Page 1 of 13 Lecure 2: Telegraher Equaions For Transmission Lines. Power Flow. Microsri is one mehod for making elecrical connecions in a microwae circui. I is consruced wih a ground
More informationHow To Calculate A Person'S Income From A Life Insurance
How Much Life Insurance o You Need? Chris Robinson 1 and Vicoria Zaremba 2 Augus 14, 2012 Absrac We presen formal models of he differen mehods of esimaing a person s required life insurance coverage. The
More informationDopamine, dobutamine, digitalis, and diuretics during intraaortic balloon support
Dopamine, dobuamine, digialis, and diureics during inraaoric balloon suppor Sephen Slogoff, M.D. n his presenaion, should like o discuss some conceps of drug herapy for inraaoric balloon paiens. Figure
More informationThe Grantor Retained Annuity Trust (GRAT)
WEALTH ADVISORY Esae Planning Sraegies for closely-held, family businesses The Granor Reained Annuiy Trus (GRAT) An efficien wealh ransfer sraegy, paricularly in a low ineres rae environmen Family business
More informationOutline of Medicare Supplement Coverage
Underwrien by Serling Life Insurance Company Ouline of Medicare Supplemen Coverage Benefi Char of Medicare Supplemen Plans Sold wih Effecive Daes on or afer June 1, 2010 TX OC (09/11) Medicare Supplemen
More informationSuggested Reading. Signals and Systems 4-2
4 Convoluion In Lecure 3 we inroduced and defined a variey of sysem properies o which we will make frequen reference hroughou he course. Of paricular imporance are he properies of lineariy and ime invariance,
More informationSPECULATIVE DYNAMICS IN THE TERM STRUCTURE OF INTEREST RATES. Abstract
SPECULATIVE DYNAMICS IN THE TERM STRUCTURE OF INTEREST RATES KRISTOFFER P. NIMARK Absrac When long mauriy bonds are raded frequenly and raional raders have non-nesed informaion ses, speculaive behavior
More informationCredit Index Options: the no-armageddon pricing measure and the role of correlation after the subprime crisis
Second Conference on The Mahemaics of Credi Risk, Princeon May 23-24, 2008 Credi Index Opions: he no-armageddon pricing measure and he role of correlaion afer he subprime crisis Damiano Brigo - Join work
More informationProduct Operation and Setup Instructions
A9 Please read and save hese insrucions. Read carefully before aemping o assemble, insall, operae, or mainain he produc described. Proec yourself and ohers by observing all safey informaion. Failure o
More informationGoRA. For more information on genetics and on Rheumatoid Arthritis: Genetics of Rheumatoid Arthritis. Published work referred to in the results:
For more informaion on geneics and on Rheumaoid Arhriis: Published work referred o in he resuls: The geneics revoluion and he assaul on rheumaoid arhriis. A review by Michael Seldin, Crisopher Amos, Ryk
More informationForeign Exchange and Quantos
IEOR E4707: Financial Engineering: Coninuous-Time Models Fall 2010 c 2010 by Marin Haugh Foreign Exchange and Quanos These noes consider foreign exchange markes and he pricing of derivaive securiies in
More informationHow to calculate effect sizes from published research: A simplified methodology
WORK-LEARNING RESEARCH How o alulae effe sizes from published researh: A simplified mehodology Will Thalheimer Samanha Cook A Publiaion Copyrigh 2002 by Will Thalheimer All righs are reserved wih one exepion.
More informationChapter 1.6 Financial Management
Chaper 1.6 Financial Managemen Par I: Objecive ype quesions and answers 1. Simple pay back period is equal o: a) Raio of Firs cos/ne yearly savings b) Raio of Annual gross cash flow/capial cos n c) = (1
More informationA Probability Density Function for Google s stocks
A Probabiliy Densiy Funcion for Google s socks V.Dorobanu Physics Deparmen, Poliehnica Universiy of Timisoara, Romania Absrac. I is an approach o inroduce he Fokker Planck equaion as an ineresing naural
More informationOPERATION MANUAL. Indoor unit for air to water heat pump system and options EKHBRD011ABV1 EKHBRD014ABV1 EKHBRD016ABV1
OPERAION MANUAL Indoor uni for air o waer hea pump sysem and opions EKHBRD011ABV1 EKHBRD014ABV1 EKHBRD016ABV1 EKHBRD011ABY1 EKHBRD014ABY1 EKHBRD016ABY1 EKHBRD011ACV1 EKHBRD014ACV1 EKHBRD016ACV1 EKHBRD011ACY1
More informationAP Calculus BC 2010 Scoring Guidelines
AP Calculus BC Scoring Guidelines The College Board The College Board is a no-for-profi membership associaion whose mission is o connec sudens o college success and opporuniy. Founded in, he College Board
More informationKeldysh Formalism: Non-equilibrium Green s Function
Keldysh Formalism: Non-equilibrium Green s Funcion Jinshan Wu Deparmen of Physics & Asronomy, Universiy of Briish Columbia, Vancouver, B.C. Canada, V6T 1Z1 (Daed: November 28, 2005) A review of Non-equilibrium
More informationOne dictionary: Native language - English/English - native language or English - English
Faculy of Social Sciences School of Business Corporae Finance Examinaion December 03 English Dae: Monday 09 December, 03 Time: 4 hours/ 9:00-3:00 Toal number of pages including he cover page: 5 Toal number
More information