Sesqui-pushout rewriting
|
|
- Marian Turner
- 6 years ago
- Views:
Transcription
1 Sesqui-pushout ewiting Andea Coadini Dipatimento di Infomatica, Pisa, Italy IFIP WG La Roche en Adennes, June 6, Joint wok with Tobias Heindel Fank Hemann Babaa König Univesität Stuttgat, Gemany Technisce Univesität Belin, Gemany Univesität Duisbug-Essen, Gemany IFIP WG La Roche en Adennes, June 6, p.1/25
2 Outline What and why? Some shallow motivations... Algebaic gaph ewiting: DPO and SPO Sesqui-pushout (SqPO) ewiting An example of SqPO ewiting at wok On the existence of pushback complements Relating SqPO with DPO and SPO Some deepe motivations and futue pespectives IFIP WG La Roche en Adennes, June 6, p.2/25
3 Some shallow motivations Sesqui-pushout ewiting is a new categoical definition of ewiting in an abitay categoy, simila to double-pushout o single-pushout ewiting The name (sesqui means one and a half in Latin) indicates that conceptually it lies between the SPO and the DPO Technically, it is defined as DPO ewiting, whee the left pushout is eplaced by a suitable pullback It looks moe adequate than DPO/SPO in some cases, and it enjoys seveal nice popeties that will be detailed late IFIP WG La Roche en Adennes, June 6, p.3/25
4 Double-pushout ewiting in C A ule is a span q = L α K β R A match is an aow m : L G Diect deivation A === m,q B if the following double-pushout diagam can be constucted: L α K β R m i c A γ Note: The left squae is built as a pushout complement, not chaacteized as a univesal constuction: geneal DPO is ambiguous D δ B IFIP WG La Roche en Adennes, June 6, p.4/25
5 Pushout complements in Gaph Example of ambiguity: IFIP WG La Roche en Adennes, June 6, p.5/25
6 Pushout complements in Gaph Example of ambiguity: fo injective top-aows, if the POC exists, it is unique; in this case, it exists iff the identification and dangling conditions ae satisfied. IFIP WG La Roche en Adennes, June 6, p.5/25
7 Quasi-adhesive categoies A quasi-adhesive categoy: has pullbacks, has pushouts along egula monos pushouts along egula monos ae Van Kampen squaes A m g C D f n B a A g A g C m f d D D m n C n c f B B b IFIP WG La Roche en Adennes, June 6, p.6/25
8 DPO theoy in quasi-adhesive cats Paallel and Sequential Independence Paallel Poductions and Deivations Local Chuch-Rosse and Paallelism Theoem Shift Equivalence and Canonical Deivations Concuency Theoem Embedding and extensions Citical pai lemma... IFIP WG La Roche en Adennes, June 6, p.7/25
9 POC in quasi-adhesive categoies Pushout complements along egula mono ae unique. Examples of quasi-adhesive categoies: Categoy of tem gaphs egula monos ae monos eflecting vaiables Categoy of simple gaphs egula monos ae monos eflecting edges If the top aow is mono but not egula, the POC might not be unique. IFIP WG La Roche en Adennes, June 6, p.8/25
10 Single-Pushout ewiting on gaphs Poductions ae patial mophisms Match: total mophism No dangling and identification conditions deletion in unknown context deletion stonge than pesevation m L dom(p) p R G H p q m n n* IFIP WG La Roche en Adennes, June 6, p.9/25
11 Defining sesqui-pushout ewiting A === m,q B if L α K β R the ight squae is a pushout m i c D, i, γ is a pushback complement of A m L α K that is, a final pullback complement of m: A γ D δ B the squae is a pullback fo each othe pullback (ove m) and fo each f : K K such that α f = α, thee exists a unique f : D D making eveything commute m L A α γ α γ K i D f bf K i D IFIP WG La Roche en Adennes, June 6, p.10/25
12 A few popeties of SqPO ewiting In any categoy C, pushback complements ae unique: SqPO ewiting is not ambiguous! even if L α K is not mono cloning even if C is quasi-adhesive, L α K is mono but not egula. If L α K is mono, then A γ D is mono, and D is the lagest subobject of A making the squae a pullback Pushback complement along monic, non-egula mophism in categoy of simple gaphs. IFIP WG La Roche en Adennes, June 6, p.11/25
13 An example: Access Contol Modeling basic opeations of simple Access Contol system fom [Haison, Ruzzo, Ullman, CACM 1976] Simple gaphs including nodes epesenting subjects ( ) and objects ( ), and labeled edges epesenting ights ( ). Aleady modeled by [Koch, Mancini, Paisi-Pesicce, ESORICS 00] using DPO on (multi-)gaphs, with Negative Application Conditions. Basic Opeations: ceate subject X s ceate object X o destoy subject X s destoy object X o ente i into(x s, X o ) delete i into(x s, X o ) IFIP WG La Roche en Adennes, June 6, p.12/25
14 Some ules and thei effect 1 1 α β m 1 1 w Application of destoy subject X s : deletion in unknown context as fo SPO IFIP WG La Roche en Adennes, June 6, p.13/25
15 Some ules and thei effect 1 1 α β m 1 1 w Application of destoy subject X s : deletion in unknown context as fo SPO w α β m cp staffnuse 1 mh 2 w cp staffnuse 1 mh 2 cp staffnuse 1 mh 2 Application of delete w into(x s, X o ): not ambiguous. IFIP WG La Roche en Adennes, June 6, p.13/25
16 A new ule: clone subject Non-left-injective ules model cloning 1 2 α β staffnuse 1 2 m cp w mh staffnuse 1 newnuse 2 cp w w mh staffnuse 1 newnuse 2 w cp w mh IFIP WG La Roche en Adennes, June 6, p.14/25
17 A new ule: clone subject Non-left-injective ules model cloning 1 2 α β staffnuse 1 2 m cp w mh staffnuse 1 newnuse 2 cp w w mh staffnuse 1 newnuse 2 In Gaph, the pushback complement might not be a POC. cp w w mh Pushout complements Pushback complement IFIP WG La Roche en Adennes, June 6, p.14/25
18 n the existence of pushback complement In categoies like Set, Gaph, gaph stuctues in geneal: IFIP WG La Roche en Adennes, June 6, p.15/25
19 n the existence of pushback complement In categoies like Set, Gaph, gaph stuctues in geneal: α fo injective L K the pushback complement exists iff the match is conflict-fee, i.e., m(l \ K) m(k) =. { 1, 2 } m { 1 } { 0 } X IFIP WG La Roche en Adennes, June 6, p.15/25
20 n the existence of pushback complement In categoies like Set, Gaph, gaph stuctues in geneal: α fo injective L K the pushback complement exists iff the match is conflict-fee, i.e., m(l \ K) m(k) =. { 1, 2 } m { 1 } { 0 } X fo abitay L α K and injective matches: see Constuction 6 in the pape... IFIP WG La Roche en Adennes, June 6, p.15/25
21 n the existence of pushback complement In categoies like Set, Gaph, gaph stuctues in geneal: α fo injective L K the pushback complement exists iff the match is conflict-fee, i.e., m(l \ K) m(k) =. { 1, 2 } m { 1 } { 0 } X fo abitay L α K and injective matches: see Constuction 6 in the pape... fo abitay L α K and abitay matches: IFIP WG La Roche en Adennes, June 6, p.15/25
22 n the existence of pushback complement In categoies like Set, Gaph, gaph stuctues in geneal: α fo injective L K the pushback complement exists iff the match is conflict-fee, i.e., m(l \ K) m(k) =. { 1, 2 } m { 1 } { 0 } X fo abitay L α K and injective matches: see Constuction 6 in the pape... fo abitay L α K and abitay matches: conditions... athe involved...;... beyond the scope of the pape...; the inteested eade is encouaged to specialize the concepts that ae availabe fo evey topos [Goldblatt] and the esults in next section...;... the pushback constuction cannot be pefomed IFIP WG La Roche en Adennes, June 6, p.15/25 componentwise...
23 Existence in an abitay categoy C Given L m A conside the pullback functo m : C A C L along m. If its ight adjoint Π m : C L C A exists patially at α, it povides a pullback complement iff the co-unit ε α is an iso. m L A α m (δ) ε α Π m (α) K f m ( ) bf m (D) This povides a constuction of pushback complements in categoies whee the pullback functos have ight adjoints (like locally catesian closed cats). δ D m ( b f) IFIP WG La Roche en Adennes, June 6, p.16/25
24 squi-pushout vs double-pushout ewitin In quasi-adhesive categoies, fo a left-egula ule q and a match m, if the POC exists, then it is a PshBC. Thus 1. If A === m,q DPO B then also A === m,q B. 2. If A === m,q B and a pushout complement exists, then also A === m,q DPO B. IFIP WG La Roche en Adennes, June 6, p.17/25
25 squi-pushout vs double-pushout ewitin In quasi-adhesive categoies, fo a left-egula ule q and a match m, if the POC exists, then it is a PshBC. Thus 1. If A === m,q DPO B then also A === m,q B. 2. If A === m,q B and a pushout complement exists, then also A === m,q DPO B. Fo left-monic but non-left-egula ules, in some examples the PshBC is a POC. It is open if this is a geneal popety. IFIP WG La Roche en Adennes, June 6, p.17/25
26 squi-pushout vs double-pushout ewitin In quasi-adhesive categoies, fo a left-egula ule q and a match m, if the POC exists, then it is a PshBC. Thus 1. If A === m,q DPO B then also A === m,q B. 2. If A === m,q B and a pushout complement exists, then also A === m,q DPO B. Fo left-monic but non-left-egula ules, in some examples the PshBC is a POC. It is open if this is a geneal popety. Fo non-left-monic ules, the PshBC is not a POC, in geneal. IFIP WG La Roche en Adennes, June 6, p.17/25
27 esqui-pushout vs single-pushout ewiting In categoies of gaph stuctues, given a patial mophism q (seen also as left-injective span) and a match m, 1. If A === m,q B then A === m,q SPO B. 2. If A === m,q SPO B and m is conflict-fee then A === m,q B. Note that usually non-conflict-fee matches ae uled out in pactical uses o theoetical developments of the SPO theoy, esticting to d-injective o even to injective matches. IFIP WG La Roche en Adennes, June 6, p.18/25
28 Theoy of paallelism Some fist esults of the DPO/SPO theoy have been ecast fo SqPO ewiting Paallel Independence β 1 R 1 K 1 n 1 k 1 v α 1 α 2 L1 L 2 K 2 m 1 m 2 u k 2 β 2 R 2 n 2 H 1 D 1 δ 1 γ 1 G D 2 γ 2 δ 2 H 2 Local Chuch-Rosse Theoem G m 1,p 1 m 2,p 2 Given paallel independent G m 1,p 1 ====== H 1 and H 1 H 2 G m 2,p 2 ====== H 2, thee ae an object G and diect deivations H 1 m 2,p 2 ====== G and H 2 m 1,p 1 ====== G. m 2,p 2 G m 1,p 1 IFIP WG La Roche en Adennes, June 6, p.19/25
29 Back to motivations... Semantics of concuency fo GTS Rewiting of gaphs is intinsically concuent Peti nets ae a efeence model fo concuency (Place/Tansition) Peti nets can be seen as a degeneate case of Gaph Tansfomation A obust semantics of concuency fo GT should specialize to known semantics fo nets IFIP WG La Roche en Adennes, June 6, p.20/25
30 Some contibutions to the field We defined genealizations to othe classes of nets and to DPO o SPO ewiting in Gaph of deteministic and non-deteministic pocesses unfolding and event stuctue semantics functoial (coeflective) semantics IFIP WG La Roche en Adennes, June 6, p.21/25
31 Winskel s style semantics fo GTS Safe Nets U Occuence Nets N E Pime Event Stuctues P L Domains IFIP WG La Roche en Adennes, June 6, p.22/25
32 Winskel s style semantics fo GTS Safe Nets U Occuence Nets N E Pime Event Stuctues P L Domains [Woks with Paolo Baldan, Ugo Montanai, Leila Ribeio] DPO Gaph Gammas DPO Occ. Gammas Inhibito Event Stuctues Domains IFIP WG La Roche en Adennes, June 6, p.22/25
33 Winskel s style semantics fo GTS Safe Nets U Occuence Nets N E Pime Event Stuctues P L Domains [Woks with Paolo Baldan, Ugo Montanai, Leila Ribeio] DPO Gaph Gammas DPO Occ. Gammas Inhibito Event Stuctues Domains SPO Gaph Gammas SPO Occ. Gammas Asymmetic Event Stuctues Domains IFIP WG La Roche en Adennes, June 6, p.22/25
34 The next steps, quite obviously......genealizing the semantics developed fo concete models to ewiting systems in adhesive categoies... IFIP WG La Roche en Adennes, June 6, p.23/25
35 The next steps, quite obviously......genealizing the semantics developed fo concete models to ewiting systems in adhesive categoies... Fist esults: genealization of pocesses [with Paolo Baldan, Tobias Heindel, Babaa König, FoSSaCS 06] IFIP WG La Roche en Adennes, June 6, p.23/25
36 The next steps, quite obviously......genealizing the semantics developed fo concete models to ewiting systems in adhesive categoies... Fist esults: genealization of pocesses [with Paolo Baldan, Tobias Heindel, Babaa König, FoSSaCS 06] Befoe moving to unfolding semantics, we noted that: fo DPO ewiting, a coeflective semantics is impossible; SPO ewiting moe appealing, but genealization to abitay categoies is quite involved; no consensus on the way conflicts ae esolved; thus, need fo a notion of ewiting simila to DPO, but without application conditions IFIP WG La Roche en Adennes, June 6, p.23/25
37 Conclusions... I pesented the definition and a few popeties of Sesqui-pushout ewiting, elating it to DPO and SPO ewiting It is not-ambiguous, allows to model cloning, and coincides with DPO and SPO unde suitable assumptions Some basic esults about paallelism have been lifted to SqPO ewiting: a lot has to be done, still. Seveal esults of DPO/SPO theoy should lift easily. IFIP WG La Roche en Adennes, June 6, p.24/25
38 ... and Futue Wok The expessiveness of the appoach should be compaed with that of DPO/SPO ewiting on pactical case studies Genealizing the coeflective semantics of SPO ewiting to that if SqPO ewiting in quasi-adhesive theoies IFIP WG La Roche en Adennes, June 6, p.25/25
Pushdown Automata (PDAs)
CHAPTER 2 Context-Fee Languages Contents Context-Fee Gammas definitions, examples, designing, ambiguity, Chomsky nomal fom Pushdown Automata definitions, examples, euivalence with context-fee gammas Non-Context-Fee
More informationConflict Detection and Resolution in Access Control Policy Specifications
Conflict Detection and Resolution in Access Contol Policy Specifications Manuel Koch 1, Luigi V. Mancini 2, and Fancesco Paisi-Pesicce 2,3 1 Feie Univesität Belin, Belin (DE) mkoch@inf.fu-belin.de 2 Univ.
More informationDuality between Statical and Kinematical Engineering Systems
Pape 00, Civil-Comp Ltd., Stiling, Scotland Poceedings of the Sixth Intenational Confeence on Computational Stuctues Technology, B.H.V. Topping and Z. Bittna (Editos), Civil-Comp Pess, Stiling, Scotland.
More informationSyntactical content of nite approximations of partial algebras 1 Wiktor Bartol Inst. Matematyki, Uniw. Warszawski, Warszawa (Poland)
Syntactical content of nite appoximations of patial algebas 1 Wikto Batol Inst. Matematyki, Uniw. Waszawski, 02-097 Waszawa (Poland) batol@mimuw.edu.pl Xavie Caicedo Dep. Matematicas, Univ. de los Andes,
More informationMaintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
Maintaining Consistency in Layeed Achitectues of Mobile Ad-Hoc Netwoks Julia Padbeg, Kathin Hoffmann, Hatmut Ehig, Tony Modica, Enico Biemann, and Claudia Emel Institute fo Softwae Technology and Theoetical
More informationVanishing lines in generalized Adams spectral sequences are generic
ISSN 364-0380 (on line) 465-3060 (pinted) 55 Geomety & Topology Volume 3 (999) 55 65 Published: 2 July 999 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT Vanishing lines in genealized Adams spectal
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 information( ) [ ] [ ] [ ] δf φ = F φ+δφ F. xdx.
9. LAGRANGIAN OF THE ELECTROMAGNETIC FIELD In the pevious section the Lagangian and Hamiltonian of an ensemble of point paticles was developed. This appoach is based on a qt. This discete fomulation can
More informationDo Managers Do Good With Other People s Money? Online Appendix
Do Manages Do Good With Othe People s Money? Online Appendix Ing-Haw Cheng Haison Hong Kelly Shue Abstact This is the Online Appendix fo Cheng, Hong and Shue 2013) containing details of the model. Datmouth
More informationA Relativistic Electron in a Coulomb Potential
A Relativistic Electon in a Coulomb Potential Alfed Whitehead Physics 518, Fall 009 The Poblem Solve the Diac Equation fo an electon in a Coulomb potential. Identify the conseved quantum numbes. Specify
More informationVECTOR MECHANICS FOR ENGINEERS: STATICS
4 Equilibium CHAPTER VECTOR MECHANICS FOR ENGINEERS: STATICS Fedinand P. Bee E. Russell Johnston, J. of Rigid Bodies Lectue Notes: J. Walt Ole Texas Tech Univesity Contents Intoduction Fee-Body Diagam
More informationWhen two numbers are written as the product of their prime factors, they are in factored form.
10 1 Study Guide Pages 420 425 Factos Because 3 4 12, we say that 3 and 4 ae factos of 12. In othe wods, factos ae the numbes you multiply to get a poduct. Since 2 6 12, 2 and 6 ae also factos of 12. The
More informationChapter 3: Theory of Modular Arithmetic 38
Chapte 3: Theoy of Modula Aithmetic 38 Section D Chinese Remainde Theoem By the end of this section you will be able to pove the Chinese Remainde Theoem apply this theoem to solve simultaneous linea conguences
More informationLecture 28: Convergence of Random Variables and Related Theorems
EE50: Pobability Foundations fo Electical Enginees July-Novembe 205 Lectue 28: Convegence of Random Vaiables and Related Theoems Lectue:. Kishna Jagannathan Scibe: Gopal, Sudhasan, Ajay, Swamy, Kolla An
More informationSPECTRAL SEQUENCES. im(er
SPECTRAL SEQUENCES MATTHEW GREENBERG. Intoduction Definition. Let a. An a-th stage spectal (cohomological) sequence consists of the following data: bigaded objects E = p,q Z Ep,q, a diffeentials d : E
More information9.1 The multiplicative group of a finite field. Theorem 9.1. The multiplicative group F of a finite field is cyclic.
Chapte 9 Pimitive Roots 9.1 The multiplicative goup of a finite fld Theoem 9.1. The multiplicative goup F of a finite fld is cyclic. Remak: In paticula, if p is a pime then (Z/p) is cyclic. In fact, this
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 informationA Crash Course in (2 2) Matrices
A Cash Couse in ( ) Matices Seveal weeks woth of matix algeba in an hou (Relax, we will only stuy the simplest case, that of matices) Review topics: What is a matix (pl matices)? A matix is a ectangula
More informationOn the integration of the equations of hydrodynamics
Uebe die Integation de hydodynamischen Gleichungen J f eine u angew Math 56 (859) -0 On the integation of the equations of hydodynamics (By A Clebsch at Calsuhe) Tanslated by D H Delphenich In a pevious
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 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 informationMath 2263 Solutions for Spring 2003 Final Exam
Math 6 Solutions fo Sping Final Exam ) A staightfowad appoach to finding the tangent plane to a suface at a point ( x, y, z ) would be to expess the cuve as an explicit function z = f ( x, y ), calculate
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 informationPhysics 2A Chapter 10 - Moment of Inertia Fall 2018
Physics Chapte 0 - oment of netia Fall 08 The moment of inetia of a otating object is a measue of its otational inetia in the same way that the mass of an object is a measue of its inetia fo linea motion.
More informationThe Strain Compatibility Equations in Polar Coordinates RAWB, Last Update 27/12/07
The Stain Compatibility Equations in Pola Coodinates RAWB Last Update 7//7 In D thee is just one compatibility equation. In D polas it is (Equ.) whee denotes the enineein shea (twice the tensoial shea)
More informationON THE TWO-BODY PROBLEM IN QUANTUM MECHANICS
ON THE TWO-BODY PROBLEM IN QUANTUM MECHANICS L. MICU Hoia Hulubei National Institute fo Physics and Nuclea Engineeing, P.O. Box MG-6, RO-0775 Buchaest-Maguele, Romania, E-mail: lmicu@theoy.nipne.o (Received
More informationSynthesis for Unbounded Bit-vector Arithmetic
Synthesis fo Unbounded Bit-vecto Aithmetic Andej Spielmann and Vikto Kuncak School of Compute and Communication Sciences (I&C) École Polytechnique Fédéale de Lausanne (EPFL), Switzeland Abstact. We popose
More informationPearson s Chi-Square Test Modifications for Comparison of Unweighted and Weighted Histograms and Two Weighted Histograms
Peason s Chi-Squae Test Modifications fo Compaison of Unweighted and Weighted Histogams and Two Weighted Histogams Univesity of Akueyi, Bogi, v/noduslód, IS-6 Akueyi, Iceland E-mail: nikolai@unak.is Two
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 informationarxiv:gr-qc/ v1 29 Jan 1998
Gavitational Analog of the Electomagnetic Poynting Vecto L.M. de Menezes 1 axiv:g-qc/9801095v1 29 Jan 1998 Dept. of Physics and Astonomy, Univesity of Victoia, Victoia, B.C. Canada V8W 3P6 Abstact The
More informationClassical Worm algorithms (WA)
Classical Wom algoithms (WA) WA was oiginally intoduced fo quantum statistical models by Pokof ev, Svistunov and Tupitsyn (997), and late genealized to classical models by Pokof ev and Svistunov (200).
More informationMATH 415, WEEK 3: Parameter-Dependence and Bifurcations
MATH 415, WEEK 3: Paamete-Dependence and Bifucations 1 A Note on Paamete Dependence We should pause to make a bief note about the ole played in the study of dynamical systems by the system s paametes.
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 informationQUANTUM ALGORITHMS IN ALGEBRAIC NUMBER THEORY
QUANTU ALGORITHS IN ALGEBRAIC NUBER THEORY SION RUBINSTEIN-SALZEDO Abstact. In this aticle, we discuss some quantum algoithms fo detemining the goup of units and the ideal class goup of a numbe field.
More informationPhysics 2B Chapter 22 Notes - Magnetic Field Spring 2018
Physics B Chapte Notes - Magnetic Field Sping 018 Magnetic Field fom a Long Staight Cuent-Caying Wie In Chapte 11 we looked at Isaac Newton s Law of Gavitation, which established that a gavitational field
More informationPhysics 2020, Spring 2005 Lab 5 page 1 of 8. Lab 5. Magnetism
Physics 2020, Sping 2005 Lab 5 page 1 of 8 Lab 5. Magnetism PART I: INTRODUCTION TO MAGNETS This week we will begin wok with magnets and the foces that they poduce. By now you ae an expet on setting up
More informationON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION. 1. Introduction. 1 r r. r k for every set E A, E \ {0},
ON INDEPENDENT SETS IN PURELY ATOMIC PROBABILITY SPACES WITH GEOMETRIC DISTRIBUTION E. J. IONASCU and A. A. STANCU Abstact. We ae inteested in constucting concete independent events in puely atomic pobability
More informationMath 301: The Erdős-Stone-Simonovitz Theorem and Extremal Numbers for Bipartite Graphs
Math 30: The Edős-Stone-Simonovitz Theoem and Extemal Numbes fo Bipatite Gaphs May Radcliffe The Edős-Stone-Simonovitz Theoem Recall, in class we poved Tuán s Gaph Theoem, namely Theoem Tuán s Theoem Let
More 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 informationON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS. D.A. Mojdeh and B. Samadi
Opuscula Math. 37, no. 3 (017), 447 456 http://dx.doi.og/10.7494/opmath.017.37.3.447 Opuscula Mathematica ON THE INVERSE SIGNED TOTAL DOMINATION NUMBER IN GRAPHS D.A. Mojdeh and B. Samadi Communicated
More informationEQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS
EQUI-PARTITIONING OF HIGHER-DIMENSIONAL HYPER-RECTANGULAR GRID GRAPHS ATHULA GUNAWARDENA AND ROBERT R MEYER Abstact A d-dimensional gid gaph G is the gaph on a finite subset in the intege lattice Z d in
More 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 informationRelating Branching Program Size and. Formula Size over the Full Binary Basis. FB Informatik, LS II, Univ. Dortmund, Dortmund, Germany
Relating Banching Pogam Size and omula Size ove the ull Binay Basis Matin Saueho y Ingo Wegene y Ralph Wechne z y B Infomatik, LS II, Univ. Dotmund, 44 Dotmund, Gemany z ankfut, Gemany sauehof/wegene@ls.cs.uni-dotmund.de
More informationThe Implementation of the Conditions for the Existence of the Most Specific Generalizations w.r.t. General EL-TBoxes
The Implementation of the Conditions fo the Existence of the Most Specific Genealizations w..t. Geneal EL-TBoxes Adian Nuadiansyah Technische Univesität Desden Supevised by: Anni-Yasmin Tuhan Febuay 12,
More informationConflict Exam Issue. Sorry, Can t do it. Please see Kevin Pitts if you have any additional questions or concerns about this. Office is 231 Loomis
Conflict Exam Issue. Soy, Can t do it I was told that: Students can only be excused fom the scheduled final fo illness, death in the family o eligious holiday. No exceptions. Please see Kevin Pitts if
More informationThe Congestion of n-cube Layout on a Rectangular Grid S.L. Bezrukov J.D. Chavez y L.H. Harper z M. Rottger U.-P. Schroeder Abstract We consider the pr
The Congestion of n-cube Layout on a Rectangula Gid S.L. Bezukov J.D. Chavez y L.H. Hape z M. Rottge U.-P. Schoede Abstact We conside the poblem of embedding the n-dimensional cube into a ectangula gid
More informationExploiting Equality Generating Dependencies in Checking Chase Termination
Exploiting Equality Geneating Dependencies in Checking Chase Temination Maco Calautti Univesity of Calabia 87036 Rende, Italy calautti@dimes.unical.it Segio Geco Univesity of Calabia 87036 Rende, Italy
More informationEuclidean Figures and Solids without Incircles or Inspheres
Foum Geometicoum Volume 16 (2016) 291 298. FOUM GEOM ISSN 1534-1178 Euclidean Figues and Solids without Incicles o Insphees Dimitis M. Chistodoulou bstact. ll classical convex plana Euclidean figues that
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 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 informationFractional Zero Forcing via Three-color Forcing Games
Factional Zeo Focing via Thee-colo Focing Games Leslie Hogben Kevin F. Palmowski David E. Robeson Michael Young May 13, 2015 Abstact An -fold analogue of the positive semidefinite zeo focing pocess that
More informationMath 124B February 02, 2012
Math 24B Febuay 02, 202 Vikto Gigoyan 8 Laplace s equation: popeties We have aleady encounteed Laplace s equation in the context of stationay heat conduction and wave phenomena. Recall that in two spatial
More informationAST 121S: The origin and evolution of the Universe. Introduction to Mathematical Handout 1
Please ead this fist... AST S: The oigin and evolution of the Univese Intoduction to Mathematical Handout This is an unusually long hand-out and one which uses in places mathematics that you may not be
More informationChem 453/544 Fall /08/03. Exam #1 Solutions
Chem 453/544 Fall 3 /8/3 Exam # Solutions. ( points) Use the genealized compessibility diagam povided on the last page to estimate ove what ange of pessues A at oom tempeatue confoms to the ideal gas law
More information2-Monoid of Observables on String G
2-Monoid of Obsevables on Sting G Scheibe Novembe 28, 2006 Abstact Given any 2-goupoid, we can associate to it a monoidal categoy which can be thought of as the 2-monoid of obsevables of the 2-paticle
More informationCOLLAPSING WALLS THEOREM
COLLAPSING WALLS THEOREM IGOR PAK AND ROM PINCHASI Abstact. Let P R 3 be a pyamid with the base a convex polygon Q. We show that when othe faces ae collapsed (otated aound the edges onto the plane spanned
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 informationThe second hope is that by tanslating between inteaction nets and tem ewiting systems we can chaacteise new classes of each fomalism with good popetie
Inteaction Nets and Tem Rewiting Systems Maibel Fenandez DMI - LIENS (CNRS URA 1327) Ecole Nomale Supeieue 45 Rue d'ulm, 75005 Pais, Fance maibeldmi.ens.f Ian Mackie LIX (CNRS URA 1439) Ecole Polytechnique
More informationCentral Coverage Bayes Prediction Intervals for the Generalized Pareto Distribution
Statistics Reseach Lettes Vol. Iss., Novembe Cental Coveage Bayes Pediction Intevals fo the Genealized Paeto Distibution Gyan Pakash Depatment of Community Medicine S. N. Medical College, Aga, U. P., India
More informationsinγ(h y > ) exp(iωt iqx)dωdq
Lectue 9/28/5 Can we ecove a ay pictue fom the above G fo a membane stip? Such a pictue would be complementay to the above expansion in a seies of integals along the many banches of the dispesion elation.
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 informationOn a quantity that is analogous to potential and a theorem that relates to it
Su une quantité analogue au potential et su un théoème y elatif C R Acad Sci 7 (87) 34-39 On a quantity that is analogous to potential and a theoem that elates to it By R CLAUSIUS Tanslated by D H Delphenich
More informationPhysics 235 Chapter 5. Chapter 5 Gravitation
Chapte 5 Gavitation In this Chapte we will eview the popeties of the gavitational foce. The gavitational foce has been discussed in geat detail in you intoductoy physics couses, and we will pimaily focus
More informationis the instantaneous position vector of any grid point or fluid
Absolute inetial, elative inetial and non-inetial coodinates fo a moving but non-defoming contol volume Tao Xing, Pablo Caica, and Fed Sten bjective Deive and coelate the govening equations of motion in
More informationMacro Theory B. The Permanent Income Hypothesis
Maco Theoy B The Pemanent Income Hypothesis Ofe Setty The Eitan Beglas School of Economics - Tel Aviv Univesity May 15, 2015 1 1 Motivation 1.1 An econometic check We want to build an empiical model with
More informationConspiracy and Information Flow in the Take-Grant Protection Model
Conspiacy and Infomation Flow in the Take-Gant Potection Model Matt Bishop Depatment of Compute Science Univesity of Califonia at Davis Davis, CA 95616-8562 ABSTRACT The Take Gant Potection Model is a
More informationMoment-free numerical approximation of highly oscillatory integrals with stationary points
Moment-fee numeical appoximation of highly oscillatoy integals with stationay points Sheehan Olve Abstact We pesent a method fo the numeical quadatue of highly oscillatoy integals with stationay points.
More informationQuestion 1: The dipole
Septembe, 08 Conell Univesity, Depatment of Physics PHYS 337, Advance E&M, HW #, due: 9/5/08, :5 AM Question : The dipole Conside a system as discussed in class and shown in Fig.. in Heald & Maion.. Wite
More information15 Solving the Laplace equation by Fourier method
5 Solving the Laplace equation by Fouie method I aleady intoduced two o thee dimensional heat equation, when I deived it, ecall that it taes the fom u t = α 2 u + F, (5.) whee u: [0, ) D R, D R is the
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Department Physics 8.07: Electromagnetism II September 15, 2012 Prof. Alan Guth PROBLEM SET 2
MASSACHUSETTS INSTITUTE OF TECHNOLOGY Physics Depatment Physics 8.07: Electomagnetism II Septembe 5, 202 Pof. Alan Guth PROBLEM SET 2 DUE DATE: Monday, Septembe 24, 202. Eithe hand it in at the lectue,
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 informationarxiv: v1 [physics.pop-ph] 3 Jun 2013
A note on the electostatic enegy of two point chages axiv:1306.0401v1 [physics.pop-ph] 3 Jun 013 A C Tot Instituto de Física Univesidade Fedeal do io de Janeio Caixa Postal 68.58; CEP 1941-97 io de Janeio,
More informationGeometry of the homogeneous and isotropic spaces
Geomety of the homogeneous and isotopic spaces H. Sonoda Septembe 2000; last evised Octobe 2009 Abstact We summaize the aspects of the geomety of the homogeneous and isotopic spaces which ae most elevant
More informationJENSEN S INEQUALITY FOR DISTRIBUTIONS POSSESSING HIGHER MOMENTS, WITH APPLICATION TO SHARP BOUNDS FOR LAPLACE-STIELTJES TRANSFORMS
J. Austal. Math. Soc. Se. B 40(1998), 80 85 JENSEN S INEQUALITY FO DISTIBUTIONS POSSESSING HIGHE MOMENTS, WITH APPLICATION TO SHAP BOUNDS FO LAPLACE-STIELTJES TANSFOMS B. GULJAŠ 1,C.E.M.PEACE 2 and J.
More informationImplementation of CTL Model Checker Update
Poceedings of the 11th WSEAS Intenational Confeence on COMPUTERS, Agios Nikolaos, Cete Island, Geece, July 26-28, 2007 432 Implementation of CTL Model Checke Update LAURA F. CACOVEAN, Depatment of Compute
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 informationMany Electron Theory: Particles and holes. Unitary transformations.
Many Electon Theoy: Paticles and holes. Unitay tansfomations. Continued notes fo a wokgoup Septembe-Octobe 00. Notes pepaed by Jan Lindebeg, Septembe 00 Heny Eying Cente fo Theoetical Chemisty Equivalencies
More informationSTABILITY AND PARAMETER SENSITIVITY ANALYSES OF AN INDUCTION MOTOR
HUNGARIAN JOURNAL OF INDUSTRY AND CHEMISTRY VESZPRÉM Vol. 42(2) pp. 109 113 (2014) STABILITY AND PARAMETER SENSITIVITY ANALYSES OF AN INDUCTION MOTOR ATTILA FODOR 1, ROLAND BÁLINT 1, ATTILA MAGYAR 1, AND
More informationCALCULUS II Vectors. Paul Dawkins
CALCULUS II Vectos Paul Dawkins Table of Contents Peface... ii Vectos... 3 Intoduction... 3 Vectos The Basics... 4 Vecto Aithmetic... 8 Dot Poduct... 13 Coss Poduct... 21 2007 Paul Dawkins i http://tutoial.math.lama.edu/tems.aspx
More informationChapter Sixteen: Electric Charge and Electric Fields
Chapte Sixteen: Electic Chage and Electic Fields Key Tems Chage Conducto The fundamental electical popety to which the mutual attactions o epulsions between electons and potons ae attibuted. Any mateial
More informationA Formal Account of the Open Provenance Model
Fomal ccount of the Open ovenance Model Natalia Kwasnikowska Hasselt Univesity and Tansnational Univesity of Limbug Belgium Luc Moeau Univesity of Southampton United Kingdom Jan Van den Bussche Hasselt
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 information2 Governing Equations
2 Govening Equations This chapte develops the govening equations of motion fo a homogeneous isotopic elastic solid, using the linea thee-dimensional theoy of elasticity in cylindical coodinates. At fist,
More information6 PROBABILITY GENERATING FUNCTIONS
6 PROBABILITY GENERATING FUNCTIONS Cetain deivations pesented in this couse have been somewhat heavy on algeba. Fo example, detemining the expectation of the Binomial distibution (page 5.1 tuned out to
More informationChapter 5 Force and Motion
Chapte 5 Foce and Motion In Chaptes 2 and 4 we have studied kinematics, i.e., we descibed the motion of objects using paametes such as the position vecto, velocity, and acceleation without any insights
More informationPsychometric Methods: Theory into Practice Larry R. Price
ERRATA Psychometic Methods: Theoy into Pactice Lay R. Pice Eos wee made in Equations 3.5a and 3.5b, Figue 3., equations and text on pages 76 80, and Table 9.1. Vesions of the elevant pages that include
More information7.2.1 Basic relations for Torsion of Circular Members
Section 7. 7. osion In this section, the geomety to be consideed is that of a long slende cicula ba and the load is one which twists the ba. Such poblems ae impotant in the analysis of twisting components,
More informationChapter 5 Force and Motion
Chapte 5 Foce and Motion In chaptes 2 and 4 we have studied kinematics i.e. descibed the motion of objects using paametes such as the position vecto, velocity and acceleation without any insights as to
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 informationHandout: IS/LM Model
Econ 32 - IS/L odel Notes Handout: IS/L odel IS Cuve Deivation Figue 4-4 in the textbook explains one deivation of the IS cuve. This deivation uses the Induced Savings Function fom Chapte 3. Hee, I descibe
More informationAnalytical time-optimal trajectories for an omni-directional vehicle
Analytical time-optimal tajectoies fo an omni-diectional vehicle Weifu Wang and Devin J. Balkcom Abstact We pesent the fist analytical solution method fo finding a time-optimal tajectoy between any given
More informationReview: Electrostatics and Magnetostatics
Review: Electostatics and Magnetostatics In the static egime, electomagnetic quantities do not vay as a function of time. We have two main cases: ELECTROSTATICS The electic chages do not change postion
More informationTo Feel a Force Chapter 7 Static equilibrium - torque and friction
To eel a oce Chapte 7 Chapte 7: Static fiction, toque and static equilibium A. Review of foce vectos Between the eath and a small mass, gavitational foces of equal magnitude and opposite diection act on
More informationOn the ratio of maximum and minimum degree in maximal intersecting families
On the atio of maximum and minimum degee in maximal intesecting families Zoltán Lóánt Nagy Lale Özkahya Balázs Patkós Máté Vize Septembe 5, 011 Abstact To study how balanced o unbalanced a maximal intesecting
More informationSurveillance Points in High Dimensional Spaces
Société de Calcul Mathématique SA Tools fo decision help since 995 Suveillance Points in High Dimensional Spaces by Benad Beauzamy Januay 06 Abstact Let us conside any compute softwae, elying upon a lage
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 informationStress Intensity Factor
S 47 Factue Mechanics http://imechanicaog/node/7448 Zhigang Suo Stess Intensity Facto We have modeled a body by using the linea elastic theoy We have modeled a cack in the body by a flat plane, and the
More informationTHERMAL PROPERTIES OF FRACTAL STRUCTURE MATERIALS
HERMAL PROPERIES OF FRACAL SRUCURE MAERIALS Oldřich Zmeškal, Mioslav Buchníček, Matin Nežádal Pavla Štefková, Radek Capoušek Institute of Physical and Applied Chemisty, Faculty of Chemisty, Bno Univesity
More informationA new approach in classical electrodynamics to protect principle of causality
A new appoach in classical electodynamics to potect pinciple of causality Biswaanjan Dikshit * Lase and Plasma Technology Division Bhabha Atomic Reseach Cente, Mumbai-400085 INDIA * Coesponding autho E-mail:
More informationThis aticle was oiginally published in a jounal published by Elsevie, the attached copy is povided by Elsevie fo the autho s benefit fo the benefit of the autho s institution, fo non-commecial eseach educational
More information