Using session types as an effect system (slides)
|
|
- Lily Sanders
- 6 years ago
- Views:
Transcription
1 Using session types as an effect system (slides) Effects in a pi Dominic Ochad, Nobuko Yoshida dochad.co.uk PLACES Apil 18th 2015
2 Effect systems descibe side-effect behaviou λ-calculus as pototype (app) H Γ M : σ τ, F Γ N : σ, G Γ M N : τ, F G H e.g. Γ 2 := : unit, {ead R1, wite R2} Session types descibe communication behaviou π-calculus as pototype e.g. (ecv) Γ, x : τ; Δ, c : S P Γ; Δ, c :?[τ].s c?(x).p c :?[int].![int] c?(x).c!<x+1> Ae they elated?
3 λ-calculus + simple types + state + effect systems embedding this wok* π-calculus + sessions + session types T Expessive powe of session types! Session types genealise causal effect systems π-calculus with effect system fo fee! Concuent effect semantics via π- calculus! Compile into π-calculus P
4 Vaiable agent x Stoe c, x P get put Stoe c, x V c
5 Vaiable agent def Stoe(c, x) = c {get : c! x.stoe c, x, put : c?(y).stoe c, y, stop : 0} in Stoe c, i x Stoe c, V x P get put Stoe c, V V c
6 Vaiable agent def Stoe(c, x) = c {get : c! x.stoe c, x, put : c?(y).stoe c, y, stop : 0} in Stoe c, i Seve get (c)(x).p = (c get).c?(x).p put (c) V.P = (c put).c! V.P stop = (c stop).0 Client e.g. incement stoe def Stoe(c, x) = in (get(c)(x).put(c) x+1.stop Stoe c, i )
7 λ-calculus + simple types + state + effect systems embedding embedding π-calculus + sessions + session types
8 Γ M : τ, F Effect calculus abs Γ, x : σ M : τ, F F Γ λx.m : σ τ, Γ M : σ, F Γ, x : σ N : τ, G Γ let x = M in N : τ, F G app H Γ M : σ τ, F Γ M N : τ, F G H Γ N : σ, G va x : σ Γ Γ x : σ, monoid (F,, )
9 Effect calculus fo state Γ V : τ, [ ] Γ put V : (), [put τ] Γ get : τ, [get τ] (List {put t, get t t τ}, ++, [ ]) e.g. incement stoe Γ let x = get in put (x + 1) : int, [get int, put int]
10 Γ ; Δ P π-calculus with sessions ` ` h i (ecv),x: ;,c: S ` P ;,c:?[ ].S c?(x).p (send) ; ;`e : ;,c: S ` P ` ;,c:![ ].S` `hc!hei.p i (banch) ;,c: S i ` P i ;,c:&[ l : S] ` c { l : P } (select) ;,c: S ` P ;,c: [l : S] ` c l.p e.g. incement stoe get (c)(x).p = c get. c?(x).p put (c) V.P = c put. c! V.P c : [get :?[int]. [put :![int].end ]] get(c)(x).put(c) x+1.0 cf. effects [get int, put int]
11 Sessions as effects! Effect handle pocess [e.g., vaiable agent]! [cf. Baue, Petna Pogamming with algebaic effects and handles. ]! Effect channel [a session channel fo communicating with handle]!! whose session type is (encoding of) effect annotation! Theading effect channel though contol flow of encoding! [cf. state e, s e, s o monadic semantics a M b ]
12 State effect annotations as session types [] = end (get τ) : F = [get :? τ. F ] (get τ) : F = [put :! τ. F ]
13 Embedding (mid) Γ M : τ, F eff = Γ, :! τ, eff : F ei,eo νei, eo. ( Γ M : τ, F ei! eff.eo(c)) (top) Γ M : τ, F = Γ, :! τ νeff. ( Γ M : τ, F eff H(eff)) (low) ei,eo Γ M : τ, F = g. Γ, :! τ, ei :? F g, eo :! g eceive effect channel send effect channel
14 Embedding (zeoth-ode) Γ x : τ, ei,eo = ei?(c).! x.eo! c whee g. Γ ; :! τ, ei :? g, eo :! g ei?(c).! x.eo! c Γ let x = M in N : τ, F G ei,eo = ei, a q a, eo ν q, a. ( M q?(x). N ) whee h. h. ei, a q :! σ, ei :? F h, a :! h M q h G h x : σ ; :! τ, a :? G h, eo :! h N a, eo
15 Embedding (zeoth-ode) Γ x : τ, ei,eo = ei?(c).! x.eo! c whee g. Γ ; :! τ, ei :? g, eo :! g ei?(c).! x.eo! c Γ let x = M in N : τ, F G ei,eo = ei, a q a, eo ν q, a. ( M q?(x). N ) whee h. h. ei, a q :! σ, ei :? F G h, a :! G h M q h G h x : σ ; :! τ, a :? G h, eo :! h N a, eo
16 Embedding (highe-ode) Must embed latent effects F σ τ σ τ =![? σ ].![! τ ]. end F σ τ =![? σ ].![? F G ].![! G ].![! τ ]. end send channel which can eceive effect channel fo latent effects send channel which can send effect channel fo continuation
17 Embedding (highe-ode) Γ λx. M : σ τ, = F ei,eo a,b ν y. (ei?(c).eo! c.! y.*y?(p, a, b, q).p?(x). M ) q g, h. :![? σ,? F h,! h,! τ ], ei :? g, eo :! g ν y. (ei?. ) Γ M N : τ, F G H ei,eo = ei, a ν q,s,a,b,p. ( M N q?(y).s?(ag).y! p, b, eo,.p! ag ) q a, b s
18 Example Γ, :! int, eff : [get int, put int] Γ let x = get in put (x + 1) : int, [get int, put int] eff J K Γ let x = νeff. ( Γ let x Va(eff, 0)) eff Soundness ` M N :,F J K;( :!J K.end, e : JF K) ` JMK e JNK e
19 An application Effect-infomed optimisations, e.g. implicit paallelism if then Γ M : σ, and Γ N : t, F L let x M in (let y N in P ) M ei,eo = q, s, eb. (JMK q L N M ei,eb s q?(x).s?(y).l P M eb,eo ) Use this to give semantics of concuent effects! e.g., non-intefeence, atomicity via sessions
20 ! Conclusion Sessions and session types expessive enough to encode effects with a causal effect system! Pe effect notion [e.g., state, counting, I/O]:! effect mapping, handle, encoding opeations! Extended to case and fix Set-based effect systems ecoveed by tansfoming causal Thanks! Moe details in ou PLACES 15 pape; see dochad.co.uk
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 informationChapter 2: Introduction to Implicit Equations
Habeman MTH 11 Section V: Paametic and Implicit Equations Chapte : Intoduction to Implicit Equations When we descibe cuves on the coodinate plane with algebaic equations, we can define the elationship
More informationCurrent Balance Warm Up
PHYSICS EXPERIMENTS 133 Cuent Balance-1 Cuent Balance Wam Up 1. Foce between cuent-caying wies Wie 1 has a length L (whee L is "long") and caies a cuent I 0. What is the magnitude of the magnetic field
More informationPushdown 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 informationNew 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 informationOn the Meaning of Message Sequence Charts
On the Meaning of Message Sequence Chats Manfed Boy Institut fü Infomatik Technische Univesität München Topics: We discuss Message Sequence Chats (MSCs) as a technique to descibe pattens of the inteaction
More information5.8 Trigonometric Equations
5.8 Tigonometic Equations To calculate the angle at which a cuved section of highwa should be banked, an enginee uses the equation tan =, whee is the angle of the 224 000 bank and v is the speed limit
More informationA Simple Model of Communication APIs Application to Dynamic Partial-order Reduction
Simple Model of Communication PIs pplication to Dynamic Patial-ode Reduction Cistian Rosa Stephan Mez Matin Quinson VOCS 2010 22/09/2010 1 / 18 Motivation Distibuted lgoithms ae had to get ight: lack of
More information4/18/2005. Statistical Learning Theory
Statistical Leaning Theoy Statistical Leaning Theoy A model of supevised leaning consists of: a Envionment - Supplying a vecto x with a fixed but unknown pdf F x (x b Teache. It povides a desied esponse
More informationSesqui-pushout rewriting
Sesqui-pushout ewiting Andea Coadini Dipatimento di Infomatica, Pisa, Italy IFIP WG 1.3 - La Roche en Adennes, June 6, 2006. Joint wok with Tobias Heindel Fank Hemann Babaa König Univesität Stuttgat, Gemany
More informationApplication of homotopy perturbation method to the Navier-Stokes equations in cylindrical coordinates
Computational Ecology and Softwae 5 5(): 9-5 Aticle Application of homotopy petubation method to the Navie-Stokes equations in cylindical coodinates H. A. Wahab Anwa Jamal Saia Bhatti Muhammad Naeem Muhammad
More informationDonnishJournals
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 informationAs 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 information6 I R Relations and Posets 2 Model o Distibuted systems events beinnin o pocedue oo temination o ba send o a messae eceive o a messae temination o a p
Relations and Posets 1 Goals o the lectue Relations Posets A un o a distibuted computation Happened-beoe elation cvijay K. Ga Distibuted Systems Fall 94 6 I R Relations and Posets 2 Model o Distibuted
More informationLecture 2 - Thermodynamics Overview
2.625 - Electochemical Systems Fall 2013 Lectue 2 - Themodynamics Oveview D.Yang Shao-Hon Reading: Chapte 1 & 2 of Newman, Chapte 1 & 2 of Bad & Faulkne, Chaptes 9 & 10 of Physical Chemisty I. Lectue Topics:
More informationMultifrontal sparse QR factorization on the GPU
Multifontal spase QR factoization on the GPU Tim Davis, Sanjay Ranka, Shaanyan Chetlu, Nui Yealan Univesity of Floida Feb 2012 GPU-based Multifontal QR factoization why spase QR? multifontal spase QR in
More informationLinear 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 information15.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 informationGalilean 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 informationAP Physics C: Electricity and Magnetism 2001 Scoring Guidelines
AP Physics C: Electicity and Magnetism 1 Scoing Guidelines The mateials included in these files ae intended fo non-commecial use by AP teaches fo couse and exam pepaation; pemission fo any othe use must
More informationA 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 informationFluid flow in curved geometries: Mathematical Modeling and Applications
Fluid flow in cuved geometies: Mathematical Modeling and Applications D. Muhammad Sajid Theoetical Plasma Physics Division PINSTECH, P.O. Niloe, PAEC, Islamabad Mach 01-06, 010 Islamabad, Paistan Pesentation
More informationAP-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 informationThree-dimensional Quantum Cellular Neural Network and Its Application to Image Processing *
Thee-dimensional Quantum Cellula Neual Netwok and Its Application to Image Pocessing * Sen Wang, Li Cai, Huanqing Cui, Chaowen Feng, Xiaokuo Yang Science College, Ai Foce Engineeing Univesity Xi an 701,
More informationInformation 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 information1 Fundamental Solutions to the Wave Equation
1 Fundamental Solutions to the Wave Equation Physical insight in the sound geneation mechanism can be gained by consideing simple analytical solutions to the wave equation. One example is to conside acoustic
More informationA POWER IDENTITY FOR SECOND-ORDER RECURRENT SEQUENCES
A OWER IDENTITY FOR SECOND-ORDER RECURRENT SEQUENCES V. E. Hoggatt,., San ose State College, San ose, Calif. and D. A. Lind, Univesity of Viginia, Chalottesville, V a. 1. INTRODUCTION The following hold
More informationQualifying Examination Electricity and Magnetism Solutions January 12, 2006
1 Qualifying Examination Electicity and Magnetism Solutions Januay 12, 2006 PROBLEM EA. a. Fist, we conside a unit length of cylinde to find the elationship between the total chage pe unit length λ and
More informationRECTIFYING THE CIRCUMFERENCE WITH GEOGEBRA
ECTIFYING THE CICUMFEENCE WITH GEOGEBA A. Matín Dinnbie, G. Matín González and Anthony C.M. O 1 Intoducction The elation between the cicumfeence and the adius of a cicle is one of the most impotant concepts
More informationRevision of Lecture Eight
Revision of Lectue Eight Baseband equivalent system and equiements of optimal tansmit and eceive filteing: (1) achieve zeo ISI, and () maximise the eceive SNR Thee detection schemes: Theshold detection
More informationHua Xu 3 and Hiroaki Mukaidani 33. The University of Tsukuba, Otsuka. Hiroshima City University, 3-4-1, Ozuka-Higashi
he inea Quadatic Dynamic Game fo Discete-ime Descipto Systems Hua Xu 3 and Hioai Muaidani 33 3 Gaduate School of Systems Management he Univesity of suuba, 3-9- Otsua Bunyo-u, oyo -0, Japan xuhua@gssm.otsua.tsuuba.ac.jp
More informationSchool 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 informationPacket Scale Rate Guarantee
Packet Scale Rate Guaantee fo non-fifo Nodes J.-Y. Le Boudec (EPFL) oint wok with A. Chany (Cisco) 0 What is PSRG (Packet Scale Rate Guaantee)? Defines how a node compaes to Genealized Pocesso Shaing (GPS)
More informationIn statistical computations it is desirable to have a simplified system of notation to avoid complicated formulas describing mathematical operations.
Chapte 1 STATISTICAL NOTATION AND ORGANIZATION 11 Summation Notation fo a One-Way Classification In statistical computations it is desiable to have a simplified system of notation to avoid complicated
More informationSection 26 The Laws of Rotational Motion
Physics 24A Class Notes Section 26 The Laws of otational Motion What do objects do and why do they do it? They otate and we have established the quantities needed to descibe this motion. We now need to
More informationwhere a = x 10-3 for units of kcal/mol
Detemining the Enegy of Activation Paametes fom Dynamic MR Expeiments: -D. Rich Shoemake (Souce: Dynamic MR Spectoscopy by J. Sandstöm, and me) he esults contained in this document have been published:
More informationVectors, Vector Calculus, and Coordinate Systems
Apil 5, 997 A Quick Intoduction to Vectos, Vecto Calculus, and Coodinate Systems David A. Randall Depatment of Atmospheic Science Coloado State Univesity Fot Collins, Coloado 80523. Scalas and vectos Any
More informationJ. N. R E DDY ENERGY PRINCIPLES AND VARIATIONAL METHODS APPLIED MECHANICS
J. N. E DDY ENEGY PINCIPLES AND VAIATIONAL METHODS IN APPLIED MECHANICS T H I D E DI T IO N JN eddy - 1 MEEN 618: ENEGY AND VAIATIONAL METHODS A EVIEW OF VECTOS AND TENSOS ead: Chapte 2 CONTENTS Physical
More informationMerging 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 informationAlgebra-based Physics II
lgebabased Physics II Chapte 19 Electic potential enegy & The Electic potential Why enegy is stoed in an electic field? How to descibe an field fom enegetic point of view? Class Website: Natual way of
More information4. Kruskal Coordinates and Penrose Diagrams.
4. Kuskal Coodinates and Penose Diagams. 4.1. Removing a coodinate ingulaity at the chwazschild Radius. The chwazschild metic has a singulaity at = whee g 0 and g. Howeve, 00 we have aleady seen that a
More informationCurrent, Resistance and
Cuent, Resistance and Electomotive Foce Chapte 25 Octobe 2, 2012 Octobe 2, 2012 Physics 208 1 Leaning Goals The meaning of electic cuent, and how chages move in a conducto. What is meant by esistivity
More informationC/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 informationLab 10: Newton s Second Law in Rotation
Lab 10: Newton s Second Law in Rotation We can descibe the motion of objects that otate (i.e. spin on an axis, like a popelle o a doo) using the same definitions, adapted fo otational motion, that we have
More informationEasy. r p 2 f : r p 2i. r p 1i. r p 1 f. m blood g kg. P8.2 (a) The momentum is p = mv, so v = p/m and the kinetic energy is
Chapte 8 Homewok Solutions Easy P8. Assume the velocity of the blood is constant ove the 0.60 s. Then the patient s body and pallet will have a constant velocity of 6 0 5 m 3.75 0 4 m/ s 0.60 s in the
More informationInternational Journal of Mathematical Archive-3(12), 2012, Available online through ISSN
Intenational Jounal of Mathematical Achive-3(), 0, 480-4805 Available online though www.ijma.info ISSN 9 504 STATISTICAL QUALITY CONTROL OF MULTI-ITEM EOQ MOEL WITH VARYING LEAING TIME VIA LAGRANGE METHO
More informationImprovement in Accuracy for Design of Multidielectric Layers Microstrip Patch Antenna
498 Impovement in Accuacy fo Design of Multidielectic Layes Micostip Patch Antenna Sami Dev Gupta*, Anvesh Gag and Anuag P. Saan Jaypee Institute of Infomation Technology Univesity Noida, Utta Padesh,
More informationCOMP303 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 informationMULTILAYER 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 informationCentral limit theorem for functions of weakly dependent variables
Int. Statistical Inst.: Poc. 58th Wold Statistical Congess, 2011, Dublin (Session CPS058 p.5362 Cental liit theoe fo functions of weakly dependent vaiables Jensen, Jens Ledet Aahus Univesity, Depatent
More informationMAC 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 information10/04/18. P [P(x)] 1 negl(n).
Mastemath, Sping 208 Into to Lattice lgs & Cypto Lectue 0 0/04/8 Lectues: D. Dadush, L. Ducas Scibe: K. de Boe Intoduction In this lectue, we will teat two main pats. Duing the fist pat we continue the
More information2 x 8 2 x 2 SKILLS Determine whether the given value is a solution of the. equation. (a) x 2 (b) x 4. (a) x 2 (b) x 4 (a) x 4 (b) x 8
5 CHAPTER Fundamentals When solving equations that involve absolute values, we usually take cases. EXAMPLE An Absolute Value Equation Solve the equation 0 x 5 0 3. SOLUTION By the definition of absolute
More information1. Show that the volume of the solid shown can be represented by the polynomial 6x x.
7.3 Dividing Polynomials by Monomials Focus on Afte this lesson, you will be able to divide a polynomial by a monomial Mateials algeba tiles When you ae buying a fish tank, the size of the tank depends
More informationMotithang Higher Secondary School Thimphu Thromde Mid Term Examination 2016 Subject: Mathematics Full Marks: 100
Motithang Highe Seconday School Thimphu Thomde Mid Tem Examination 016 Subject: Mathematics Full Maks: 100 Class: IX Witing Time: 3 Hous Read the following instuctions caefully In this pape, thee ae thee
More informationClassification and Ordering of Portfolios and of New Insured Unities of Risks
Classification and Odeing of Potfolios and of New Insued Unities of Risks Augusto Feddi, Giulia Sagenti Univesity of Rome La Sapienza Depatment of Actuaial and Financial Sciences 36th Intenational ASTIN
More informationPhysics 161 Fall 2011 Extra Credit 2 Investigating Black Holes - Solutions The Following is Worth 50 Points!!!
Physics 161 Fall 011 Exta Cedit Investigating Black Holes - olutions The Following is Woth 50 Points!!! This exta cedit assignment will investigate vaious popeties of black holes that we didn t have time
More informationSplay 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 informationHOW 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 informationMarkscheme 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 informationRelated 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 informationThe evolution of the phase space density of particle beams in external fields
The evolution of the phase space density of paticle beams in extenal fields E.G.Bessonov Lebedev Phys. Inst. RAS, Moscow, Russia, COOL 09 Wokshop on Beam Cooling and Related Topics August 31 Septembe 4,
More information6.641 Electromagnetic Fields, Forces, and Motion Spring 2005
MIT OpenouseWae http://ocw.mit.edu 6.641 Electomagnetic Fields, Foces, and Motion Sping 2005 Fo infomation about citing these mateials o ou Tems of Use, visit: http://ocw.mit.edu/tems. 6.641 Electomagnetic
More information9.2 Reaction rate and rate equation
9.2.1 Expession of eaction ate The ate () of a chemical eaction is defined as the concentation change of a eactant o a poduct pe unit time. mean ate [A] c c = t t t 2 1 2 1 c c 1 instantaneous ate: Physical
More informationPartition Functions. Chris Clark July 18, 2006
Patition Functions Chis Clak July 18, 2006 1 Intoduction Patition functions ae useful because it is easy to deive expectation values of paametes of the system fom them. Below is a list of the mao examples.
More informationConventional Paper-I (a) Explain the concept of gradient. Determine the gradient of the given field: ( )
EE-Conventional Pape-I IES-013 www.gatefoum.com Conventional Pape-I-013 1. (a) Eplain the concept of gadient. Detemine the gadient of the given field: V ρzsin φ+ z cos φ+ρ What is polaization? In a dielectic
More informationA DETAILED STUDY OF THE HIGH ORDER SERIAL RESONANT INVERTER FOR INDUCTION HEATING
ELECTRONICS 005 1 3 Septembe, Sozopol, BULGARIA A DETAILED STUDY OF THE HIGH ORDER SERIAL RESONANT INVERTER FOR INDUCTION HEATING Evgeniy Ivanov Popov, Liliya Ivanova Pindeva, Elisaveta Histova Mileva,
More informationAnalytical Solutions for Confined Aquifers with non constant Pumping using Computer Algebra
Poceedings of the 006 IASME/SEAS Int. Conf. on ate Resouces, Hydaulics & Hydology, Chalkida, Geece, May -3, 006 (pp7-) Analytical Solutions fo Confined Aquifes with non constant Pumping using Compute Algeba
More informationH.W.GOULD West Virginia University, Morgan town, West Virginia 26506
A F I B O N A C C I F O R M U L A OF LUCAS A N D ITS SUBSEQUENT M A N I F E S T A T I O N S A N D R E D I S C O V E R I E S H.W.GOULD West Viginia Univesity, Mogan town, West Viginia 26506 Almost eveyone
More informationEVOLUTIONARY COMPUTING FOR METALS PROPERTIES MODELLING
EVOLUTIONARY COMPUTING FOR METALS PROPERTIES MODELLING M.F. Abbod*, M. Mahfouf, D.A. Linkens and Sellas, C.M. IMMPETUS Institute fo Micostuctue and Mechanical Popeties Engineeing, The Univesity of Sheffield
More informationPAPER 39 STOCHASTIC NETWORKS
MATHEMATICAL TRIPOS Pat III Tuesday, 2 June, 2015 1:30 pm to 4:30 pm PAPER 39 STOCHASTIC NETWORKS Attempt no moe than FOUR questions. Thee ae FIVE questions in total. The questions cay equal weight. STATIONERY
More informationLecture 04: HFK Propagation Physical Optics II (Optical Sciences 330) (Updated: Friday, April 29, 2005, 8:05 PM) W.J. Dallas
C:\Dallas\0_Couses\0_OpSci_330\0 Lectue Notes\04 HfkPopagation.doc: Page of 9 Lectue 04: HFK Popagation Physical Optics II (Optical Sciences 330) (Updated: Fiday, Apil 9, 005, 8:05 PM) W.J. Dallas The
More informationUsing Laplace Transform to Evaluate Improper Integrals Chii-Huei Yu
Available at https://edupediapublicationsog/jounals Volume 3 Issue 4 Febuay 216 Using Laplace Tansfom to Evaluate Impope Integals Chii-Huei Yu Depatment of Infomation Technology, Nan Jeon Univesity of
More informationLESSON 15: COMPOUND INTEREST
High School: Expoeial Fuctios LESSON 15: COMPOUND INTEREST 1. You have see this fomula fo compoud ieest. Paamete P is the picipal amou (the moey you stat with). Paamete is the ieest ate pe yea expessed
More informationCompactly 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 information2.5 The Quarter-Wave Transformer
/3/5 _5 The Quate Wave Tansfome /.5 The Quate-Wave Tansfome Reading Assignment: pp. 73-76 By now you ve noticed that a quate-wave length of tansmission line ( λ 4, β π ) appeas often in micowave engineeing
More informationFREE Download Study Package from website: &
.. Linea Combinations: (a) (b) (c) (d) Given a finite set of vectos a b c,,,... then the vecto xa + yb + zc +... is called a linea combination of a, b, c,... fo any x, y, z... R. We have the following
More informationPart V: Closed-form solutions to Loop Closure Equations
Pat V: Closed-fom solutions to Loop Closue Equations This section will eview the closed-fom solutions techniques fo loop closue equations. The following thee cases will be consideed. ) Two unknown angles
More informationAnalysis of Arithmetic. Analysis of Arithmetic. Analysis of Arithmetic Round-Off Errors. Analysis of Arithmetic. Analysis of Arithmetic
In the fixed-oint imlementation of a digital filte only the esult of the multilication oeation is quantied The eesentation of a actical multilie with the quantie at its outut is shown below u v Q ^v The
More information1 Spherical multipole moments
Jackson notes 9 Spheical multipole moments Suppose we have a chage distibution ρ (x) wheeallofthechageiscontained within a spheical egion of adius R, as shown in the diagam. Then thee is no chage in the
More informationLecture 2 Date:
Lectue 2 Date: 5.1.217 Definition of Some TL Paametes Examples of Tansmission Lines Tansmission Lines (contd.) Fo a lossless tansmission line the second ode diffeential equation fo phasos ae: LC 2 d I
More informationACCURATE 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 informationComputers and Mathematics with Applications
Computes and Mathematics with Applications 58 (009) 9 7 Contents lists available at ScienceDiect Computes and Mathematics with Applications jounal homepage: www.elsevie.com/locate/camwa Bi-citeia single
More informationCS 188: Artificial Intelligence Fall Announcements
C 188: Atificial Intelligence Fall 2006 Lectue 14: oaility 10/17/2006 Dan Klein UC Bekeley Announcements Gades: Check midtem, p1.1, and p1.2 gades in glookup Let us know if thee ae polems, so we can calculate
More informationRotational Motion. Lecture 6. Chapter 4. Physics I. Course website:
Lectue 6 Chapte 4 Physics I Rotational Motion Couse website: http://faculty.uml.edu/andiy_danylov/teaching/physicsi Today we ae going to discuss: Chapte 4: Unifom Cicula Motion: Section 4.4 Nonunifom Cicula
More informationNumerical solution of diffusion mass transfer model in adsorption systems. Prof. Nina Paula Gonçalves Salau, D.Sc.
Numeical solution of diffusion mass tansfe model in adsoption systems Pof., D.Sc. Agenda Mass Tansfe Mechanisms Diffusion Mass Tansfe Models Solving Diffusion Mass Tansfe Models Paamete Estimation 2 Mass
More informationA NEW VARIABLE STIFFNESS SPRING USING A PRESTRESSED MECHANISM
Poceedings of the ASME 2010 Intenational Design Engineeing Technical Confeences & Computes and Infomation in Engineeing Confeence IDETC/CIE 2010 August 15-18, 2010, Monteal, Quebec, Canada DETC2010-28496
More informationSuggested Solutions to Homework #4 Econ 511b (Part I), Spring 2004
Suggested Solutions to Homewok #4 Econ 5b (Pat I), Sping 2004. Conside a neoclassical gowth model with valued leisue. The (epesentative) consume values steams of consumption and leisue accoding to P t=0
More information-Δ u = λ u. u(x,y) = u 1. (x) u 2. (y) u(r,θ) = R(r) Θ(θ) Δu = 2 u + 2 u. r = x 2 + y 2. tan(θ) = y/x. r cos(θ) = cos(θ) r.
The Laplace opeato in pola coodinates We now conside the Laplace opeato with Diichlet bounday conditions on a cicula egion Ω {(x,y) x + y A }. Ou goal is to compute eigenvalues and eigenfunctions of the
More informationCheetah: Fast Graph Kernel Tracking on Dynamic Graphs
Cheetah: Fast Gaph Kenel Tacking on Dynamic Gaphs Pesente: Liangyue Li Joint wok with Hanghang Tong (ASU), Yanghua Xiao (Fudan), Wei Fan (Baidu) 1 Aizona State Univesity Gaphs ae Eveywhee Collaboation
More informationAutomatic Composition of e-services: The Roman way. Daniela Berardi Dipartimento di Informatica e Sistemistica Università di Roma La Sapienza
Automatic Composition of e-sevices: The Roman way Daniela Beadi Dipatimento di Infomatica e Sistemistica Univesità di Roma La Sapienza beadi@dis.unioma1.it http://www.dis.unioma1.it/~beadi/ Daniela Beadi
More informationSolution to Problem First, the firm minimizes the cost of the inputs: min wl + rk + sf
Econ 0A Poblem Set 4 Solutions ue in class on Tu 4 Novembe. No late Poblem Sets accepted, so! This Poblem set tests the knoledge that ou accumulated mainl in lectues 5 to 9. Some of the mateial ill onl
More informationApplications of radars: Sensing of clouds and precipitation.
Lectue 1 Applications of adas: Sensing of clouds and pecipitation. Ojectives: 1. aticle ackscatteing and ada equation.. Sensing of pecipitation and clouds with adas (weathe adas, space adas: TMM and CloudSat).
More informationAnnouncements. CS 188: Artificial Intelligence Fall Today. Uncertainty. Random Variables. Probabilities. Lecture 14: Probability 10/17/2006
C 188: Atificial Intelligence all 2006 Lectue 14: oaility 10/17/2006 Announcements Gades: Check midtem, p1.1, and p1.2 gades in glookup Let us know if thee ae polems, so we can calculate useful peliminay
More informationExploration 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 informationPHYS 301 HOMEWORK #10 (Optional HW)
PHYS 301 HOMEWORK #10 (Optional HW) 1. Conside the Legende diffeential equation : 1 - x 2 y'' - 2xy' + m m + 1 y = 0 Make the substitution x = cos q and show the Legende equation tansfoms into d 2 y 2
More informationChapter 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 informationPNEUMATIC LINEAR INCREMENTAL ACTUATOR
PNEUMATIC LINEA INCEMENTAL ACTUATO Constantin Bucșan 1, Mihai Avam 2 1,2 POLITEHNICA Univesit of Buchaest Spl. Independentei 313, Buchaest, omania constantin_bucsan@ahoo.com, mavam02@ahoo.com Abstact.
More informationFREE SPACE OPTICS - MEASUREMENT OF TRANSMISSION QUALITY LINK PARAMETERS
FREE SPACE OPTICS - MEASUREMENT OF TRANSMISSION QUALITY LINK PARAMETERS Pavel Hovořák, Otaka Wilfet Depatment of Radioelectonics, Bno Univesity of Technology, Faculty of Electical Engineeing and Communication,
More informationA Tutorial on Multiple Integrals (for Natural Sciences / Computer Sciences Tripos Part IA Maths)
A Tutoial on Multiple Integals (fo Natual Sciences / Compute Sciences Tipos Pat IA Maths) Coections to D Ian Rud (http://people.ds.cam.ac.uk/ia/contact.html) please. This tutoial gives some bief eamples
More information