From Graph Transformation to Algebraic Specification and Back Again
|
|
- Michael O’Brien’
- 6 years ago
- Views:
Transcription
1 From Grph Trnsformtion to Algebric Specifiction nd Bck Agin Dedicted to 60th Birthdy of HJK Bremen, Hus der Wissenschften, September 2009 Hrtmut Ehrig, TU Berlin Ehrig HJK-Birthdy-Colloquium Sept
2 Wht Cme First? L K R m (1) (2) dt string(dt) G D H nt string(nt) Double Pushout or Prmeter Pssing GRA-GRA or ALG-SPEC? Ehrig HJK-Birthdy-Colloquium Sept
3 Neither GRA-GRA Nor ALG-SPEC S I + l + O M I + [ I +,O ] I + evl CAT AUT Cme First! Ehrig HJK-Birthdy-Colloquium Sept
4 We re in yers fter student movement ginst estblishment t universities ORDINARIEN-UNIVERSITÄT Ehrig HJK-Birthdy-Colloquium Sept
5 We re in 1970 t Mth Dept Seminr Ktegorien und Automten 20 Students 2 Assis No Profs Min Questions Wht is Ctegory? Wht is n Automton? Wht is the Ctegory of Automt? Students Assis Tech HJK HE Ehrig HJK-Birthdy-Colloquium Sept
6 Scientific Opinion in 1970 Optimistic View Ctegory Theory is Hert of Mthemtics Automt Theory is Soul of Computer Science Pessimistic View Ctegory Theory is Abstrct Nonsense Automt Theory is Ded (Hrtmnis) CAT AUT? P = NP? Ehrig HJK-Birthdy-Colloquium Sept
7 Wht is the Outcome in the 70ies? Students receive Seminr Certifictes Students nd Assis become Book Authors Ktegorien und Automten,de Gruyter 1971 Universl Theory of Automt,Teubner 1974 Student HJK receives Dipl. Mth. Degree Theorie von Automten in pseudobgeschlossenen Ktegorien Ehrig HJK-Birthdy-Colloquium Sept
8 We re in 1978 t CS Dept of TUB HJK submits his PhD thesis Mnipultionen von Grphmnipultionen Very strnge title! Wht does it men? Is it Mthemtics or Computer Science? Keywords : Locl Church-Rosser for Grph Trnsformtion Shift Equivlence of Prllel Deriv.Sequences Cnonicl Derivtion Sequences Ehrig HJK-Birthdy-Colloquium Sept
9 Wht does it men? Locl Church-Rosser & Prllelism Prllel nd Sequentil Independence Switch & Shift Equivlence Existence & Uniqueness of Cnonicl Prllel Derivtion Sequences p1 G2 p2 p1 + p2 * * G0 G! G3 G4 p2 G2 p1 Ehrig HJK-Birthdy-Colloquium Sept
10 We re still in 1978 Problem: Cn HJK- PhD-thesis be ccepted? Pper on Locl CR ws rejected by ICALP Referee comment : Result obvious, proof only complicted by use of strnge notion of pushouts Solution: Serch for new referees Result: Acceptnce of pper for MFCS & TCS & Acceptnce of HJK-PhD-thesis t TUB B A PO D E C Ehrig HJK-Birthdy-Colloquium Sept
11 We re in 1982 ACT-project of HE & HJK ccepted by DFG Prm.Spec in Initil Algebr Approch (ADJ et l.) Prmeter Pssing inspired by GRA-GRA (HDEhr) dt string(dt) PO nt string(nt) Alterntives Finl Algebr Approch (Guttg et l.) Loose Semntics with Constrints (Reichel et l.) Ehrig HJK-Birthdy-Colloquium Sept
12 Algebric Spec Lnguges in 1984 CLEAR [BG 77, Sn 81 ] OBJ / OBJ 2 [GT 79, FGJM 85 ] CIP / CIP L [CIP 81, CIP 85 ] ACT ONE / ACT TWO [ACT 83, EM 85,EW 86] ASL [SW 83, Wir 86 ] LARCH [GH 83 ] PLUSS [Gu 84 ] Ehrig HJK-Birthdy-Colloquium Sept
13 Algebric Specifiction Community Since 1974 in USA [Zi 74,Gut 75, ADJ 76 ] Since 1976 in Europe [GGM 76 ] MFCS 76 Since 1978 in Germny [EKW 78] VLDB 78 [EL 79] GRA-GRA 78, [Rei80] MFCS 80, [BW80] CAAP 80 Problem: ACT ONE rejected by ACTA INFORMATICA Referee : ACT ONE cuses hedche becuse of 2 levels of semntics Solution: ACT ONE published in EATCS Monogrphs [EM 85] HJK receives Professorship t Uni Bremen Ehrig HJK-Birthdy-Colloquium Sept
14 10 25 Yers Lter? CAT-AUT UnivTheory of Automt? GRA-GRA Locl CR & Prllelism?? ALG-SPEC ACT-Approch? Ehrig HJK-Birthdy-Colloquium Sept
15 10 25 Yers Lter! CAT-AUT UnivTheory of Automt GRA-GRA Locl CR & Prllelism ALG-SPEC ACT-Approch CAT ALG-SPEC Institutions CAT GRA-TRA Adhesive HLR System GRA-GRA Extensions Constrints & Control GRA-GRA & ALG-SPEC Typed Attributed Gr-Tr Ehrig HJK-Birthdy-Colloquium Sept
16 CAT ALG-SPEC Aim : Institution Independence of Approch Institutions [BG 84] Specifiction Frmes [EM 90] Mod : SPEC op CtCt Model Functor Mod(SPEC) = Ctegory of Algebrs/Models Mod(f) = V f = Forgetful Functor Liberl Institution : Existence of Free Functor F f Amlgmtion & Extension Lemm bsed on POs Min New ALG-SPEC Lnguges MAUDE, SPECTRUM, CASL Ehrig HJK-Birthdy-Colloquium Sept
17 CAT GRA-TRA High-Level Replcement Systems [EHKP91] DPO-Approch bsed on HLR-Conditions Grphs, Hypergrphs, Typed Attributed Grphs Low & High-Level Petri Nets Locl CR, Prllelism, Concurency & Confluence Adhesive Ctegories [LS04] Comptibility of POs & PBs in VK-cube Adhesive HLR Systems [EHPP04] Ctegoricl Theory of GRA-TRA Ehrig HJK-Birthdy-Colloquium Sept
18 GRA-GRA EXTENSIONS Appliction Conditions [EH86] Grph Constrints & Appliction Cond [LKW 95] Control by Trnsformtion Units [KK96] GRA-TRA with Clone & Grph Vribles [Hof06] GRA-TRA with NACs [HW95, Lm08/09 ] GRA-TRA with Nested Appliction Cond [HP05] FOL with Grph Vribles Prllelism & Concurrency for Rules with Nested Appliction Conditions [EHL09, HJK-Festschrift] Ehrig HJK-Birthdy-Colloquium Sept
19 Nested Appliction Conditions List of Exmples: Ehrig HJK-Birthdy-Colloquium Sept
20 GRA-GRA & ALG-SPEC Attributed Grphs [LKW93, HKT02] Attributed Grph AG = (G, D) G = E-Grph with Grph & Dt Nodes D = DSIG-Algebr with D-dt = Dt Nodes Typed Attr.Grphs = Adhesive HLR [EPT 04] DPO-Approch for Typed Attr.Grphs [EEPT06] Applictions Visul Modelling Model Trnsformtion Ehrig HJK-Birthdy-Colloquium Sept
21 Model Trnsformtion bsed on Grph Trnsformtion Attributed grph trnsformtion system AGTS=(ATG,Prod) ATG: ttributed type grph Prod: set of trnsformtion productions Typing for model trnsformtions Ehrig HJK-Birthdy-Colloquium Sept
22 ModTrfo Typegrph `Sttechrts to Petri Nets Ehrig HJK-Birthdy-Colloquium Sept
23 Alterntives for DPO-Approch L K R m (1) (2) G D H NLC, Hyperedge, SPO, Logicl, 2-Struct, Progr. Gr-Gr Hndbook of GRA-GRA [Roz 97] DPO, DPB, DPO-BC, SqPO, MPOC (1) DELETE & (2) ADD Wht bout (1) ADD & (2) DELETE? Ehrig HJK-Birthdy-Colloquium Sept
24 Cospn-DPO Rules & Trfos L K R G m (1) (2) D H Cospn-DPO Trfo G > H vi (p,m) Rules re Cospns p = ( L K R) DPO (1) = ADD & DPO (2) = DELETE Appliction : Reconfigurble Petri Nets Problem : G > H vi (p,m) s Cospn-DPO Trfo? G H vi (p,m) s DPO Trfo Ehrig HJK-Birthdy-Colloquium Sept
25 Proof of Equivlence L K K R G D D H Top PO & PB by Reltionship of p & p Bottom PO & PB by Reltionship of D & D G > H vi (p,m) Front Left & Right PO Bck Left & Right PO G H vi (p,m) Ehrig HJK-Birthdy-Colloquium Sept
26 CONCLUSION : From GRA-GRA to ALG-SPEC & Bck Agin CAT AUT UnivTheory of Automt GRA-GRA Locl CR & Prllelism ALG-SPEC ACT-Approch CAT ALG-SPEC Institutions CAT GRA-TRA Adhesive HLR System GRA-GRA Extensions Constrints & Control GRA-GRA & ALG-SPEC Typed Attr.Gr-Tr Ehrig HJK-Birthdy-Colloquium Sept
27 Joint History of HJK & HE HJK Mth Stud t TU Berlin HJK Ass / AssProf t CS-Dept TUB HJK Prof U Bremen ACT-Project TUB / UB Since 1990 Joint Europen Projects COMPASS COMPUGRAPH GETGRATS APPLIGRAPH SEGRAVIS Ehrig HJK-Birthdy-Colloquium Sept
Working Paper: Reversal Patterns
Remember to welcome ll ides in trding. AND remember to reserve your opinion until you hve independently vlidted the ide! Working Pper: Reversl Ptterns Working Pper In this pper I wnt to review nd (hopefully)
More informationThe Discussion of this exercise covers the following points: The open-loop Ziegler-Nichols method. The open-loop Ziegler-Nichols method
Exercise 6-3 Level Process Control EXERCISE OBJECTIVE In this exercise, you will perform PID control of level process. You will use the open-loop step response method to tune the controller. DISCUSSION
More informationAnnouncements. CS 188: Artificial Intelligence Spring Today. P4: Ghostbusters. Exact Inference in DBNs. Dynamic Bayes Nets (DBNs)
CS 188: Artificil Intelligence Spring 2010 Lecture 21: DBNs, Viteri, Speech Recognition 4/8/2010 Written 6 due tonight Project 4 up! Due 4/15 strt erly! Announcements Course contest updte Plnning to post
More informationGrade 6. Mathematics. Student Booklet SPRING 2011 RELEASED ASSESSMENT QUESTIONS. Record your answers on the Multiple-Choice Answer Sheet.
Grde 6 Assessment of Reding, Writing nd Mthemtics, Junior Division Student Booklet Mthemtics SPRING 211 RELEASED ASSESSMENT QUESTIONS Record your nswers on the Multiple-Choice Answer Sheet. Plese note:
More informationTHERMOFLO FLUID PUMPS& SYSTEMS THERMOFLO FOR HEATING, COOLING AND WATER SUPPLY APPLICATIONS TO BS7074 SEALED SYSTEMS EXPANSION VESSELS PRESSURIZERS
THERMOFLO S E A L E D S Y S T E M S THERMOFLO SEALED SYSTEMS FOR HEATING, COOLING AND WATER SUPPLY APPLICATIONS TO BS7074 EXPANSION VESSELS PRESSURIZERS PUMPS& SYSTEMS WALL OR BASE MOUNTING PRESSURIZERS
More informationThe Light of Christmas Morn. Verses 1 4: Norval Clyne ( ), adapt. Verses 5 6: Sarah Hart. œ œ œ. j œ. j œ. œ œ œ. and.
Morn Verses 4: Norvl Clyne (87 888), dpt Srh Hrt Verses 5 6: Srh Hrt Pino cc by Rick Modl % % INTRO (q = c 04) 4 3 4 3 VERSES,, 4, 6 4 yer, ly, her, pece; Tws 4 Those And wds when shep o er chill poor,
More informationSAFE DESIGN OF RURAL ROADS BY NORMALIZED ROAD CHARACTERISTICS
SAFE DESIGN OF RURAL ROADS BY NORMALIZED ROAD CHARACTERISTICS Thomas Richter, Prof. Dr.-Ing. Technische Universität Berlin, Department road planning and operation Benedikt Zierke, Dipl.-Ing. Technische
More information3PO MECHANICS. There is one game, three referees, but still only one officiating team.
1 3PO BASIC Part 1 2 3PO MECHANICS There is one game, three referees, but still only one officiating team. 3 modules R3.0 Introduction R3.1 Court Positions R3.2 Jump Ball & Start of Period 4 TERMINOLOGY
More informationUSER PROGRAMMABLE CONTROL SCRIPTS
USER PROGRAMMABLE CONTROL SCRIPTS PRACTICAL EXAMPLES OF UPC S IN INFOWORKS WS JUNE 2013 CONTENTS USER PROGRAMMABLE CONTROL SCRIPTS... 1 PRACTICAL EXAMPLES OF UPC S IN INFOWORKS WS... 1 JUNE 2013... 1 1.
More informationPCT MINIMUM DOCUMENTATION
Ref.: PCT Minimum Documenttion pge: 4.1.1 PCT MINIMUM TION INVENTORY S CCORDING TO PCT RULE 34.1 (PERIOD FROM 1920 TO 2000) Explntory Notes 1. On the following pges is given the inventory of ptent documents,
More informationAPPLICATION OF POLISH CALCIUM SORBENTS IN CARBONATE LOOPING
Physicochem. Probl. Miner. Process. 49(), 203, 20 www.minproc.pwr.wroc.pl/journl/ Physicochemicl Problems of Minerl Processing ISSN 643-049 (print) ISSN 2084-4735 (online) Received April 3, 202; reviewed;
More informationRight Triangle Trigonometry
ONDENSED LESSON 1.1 Right Tringle Trigonometr In this lesson ou will lern out the trigonometri rtios ssoited with right tringle use trigonometri rtios to find unknown side lengths in right tringle use
More informationVirginia - Mathematics Standards of Learning (2009): 4.3 b, 4.3 c,
1 Lesson Plan Round Decimals Age group: 5 t h Grade Virginia - Mathematics Standards of Learning (2009): 4.3 b, 4.3 c, 5.1 Virginia - Mathematics Standards of Learning (2016): 4.3.b, 5.1 Fairfax County
More informationComputación y Sistemas ISSN: Instituto Politécnico Nacional México
Computción y Sistems ISSN: 1405-5546 computcion-y-sistems@cic.ipn.mx Instituto Politécnico Ncionl México Btyrshin, Ildr Z.; Kubyshev, Nily; Solovyev, Vlery; Vill-Vrgs, Luis A. Visuliztion of Similrity
More informationContents TRIGONOMETRIC METHODS PROBABILITY DISTRIBUTIONS
ontents UNIT 7 TRIGONOMETRI METHODS Lesson 1 Trigonometric Functions................... 462 1 onnecting ngle Mesures nd Liner Mesures.............. 463 2 Mesuring Without Mesuring.........................
More informationsample page THERE IS A LIGHT DA IST EIN LICHT Oh So Oh Oh hem. hem. - - heil' -ges light! light! hem. hem. a a Oh So Oh Oh Oh Oh Oh So hem. hem.
4 1 Po Helblg Verlg RUM/INNSBRUK ustri ESSLINGEN Germny horl prt hoir STB, lo, Po horteil hor STB, lo, Klvier reely Intro emil: fice@helblg.co.t emil: service@helblg.com THERE IS LIGHT D IST EIN LIHT B
More informationNick Willis Discipline: Middle distance running Specialist events: 800m and 1500m
Olympic Eduction Discipline: Middle distnce running Specilist events: 800m nd 1500m ws born in Lower Hutt (ner Wellington) in 1983.Running tlent obviously runs in the Willis fmily, s Nick nd his brother
More informationThe Pythagorean Theorem and Its Converse Is That Right?
The Pythgoren Theorem nd Its Converse Is Tht Right? SUGGESTED LEARNING STRATEGIES: Activting Prior Knowledge, Mrking the Text, Shred Reding, Summrize/Prphrse/Retell ACTIVITY 3.6 How did Pythgors get theorem
More informationNOTIFICATION OF ADDENDUM ADDENDUM NO. 2 DATED 10/05/2005
TIFICATION OF ADDENDUM ADDENDUM. 2 DATED 10/05/2005 Control Project Highway County 0049-09-064, ETC. CPM 49-9-64, ETC. BS 6-R, ETC. BRAZOS, ETC. Ladies/Gentlemen: Attached please find an addendum on the
More informationHealthy Buildings 2017 Europe July 2-5, 2017, Lublin, Poland
Healthy Buildings 2017 Europe July 2-5, 2017, Lublin, Poland Paper ID 0081 ISBN: 978-83-7947-232-1 Effectiveness of an integrated air flow unit for an instrument table in an operating theatre Frank Behnke,
More informationBicycle wheel and swivel chair
Aim: To show conservtion of ngulr momentum. To clrify the vector chrcteristics of ngulr momentum. (In this demonstrtion especilly the direction of ngulr momentum is importnt.) Subjects: Digrm: 1Q40 (Conservtion
More informationDynamic Criteria 3rd June 2005
Dynamic Intact Stability Criteria Scope. General The aim of this report is to introduce dynamic criteria for the intact stability of ships which cover the phenomena of parametric roll and pure loss of
More informationAn Indian Journal FULL PAPER ABSTRACT KEYWORDS. Trade Science Inc. The tennis serve technology based on the AHP evaluation of consistency check
[Type text] [Type text] [Type text] ISSN : 097-7 Volume 0 Issue 0 BioTechnology 0 An Indin Journl FULL PAPER BTAIJ, 0(0), 0 [-7] The tennis serve technology bsed on the AHP evlution of consistency check
More informationOpen Access Regression Analysis-based Chinese Olympic Games Competitive Sports Strength Evaluation Model Research
Send Orders for Reprints to reprints@benthmscience.e The Open Cybernetics & Systemics Journl, 05, 9, 79-735 79 Open Access Regression Anlysis-bsed Chinese Olympic Gmes Competitive Sports Strength Evlution
More informationEasyStart Guide Works with FitnessBoxingOnline.com and other Boxout Video & Mp3 workouts
Box Trg System EyStrt Guide Wks FnessBoxgOnle.com Box Video Mp3 wks igl Auntic Trg System lets wk 3 wys EVEN IF YOU NEVER READ INSTRUCTIONS, JUST READ THIS BIT! If re COMPLETELY NEW TO BOXING OUT OF SHAPE
More informationExchange Part# 2018 List Price CALL FOR PRICING
List 21830-12-10PK 10 PACK-FUSE-TYPE 3AB-12A-SLO BLO $15 N/A N/A 21824-5-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-5A $15 N/A N/A N/A 21824-8-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-8A $15 N/A N/A N/A
More informationAHP-based tennis service technical evaluation consistency test
Avilble online.jocpr.com Journl of Chemicl nd Phrmceuticl Reserch, 0, ():7-79 Reserch Article ISSN : 097-78 CODEN(USA) : JCPRC AHP-bsed tennis service technicl evlution consistency test Mio Zhng Deprtment
More informationLightweight Roof Tiles Designed for Life. unique high performance shingles. Product Guide & Price List
Lightweight Roof Tiles Designed for Life unique high performance shingles Product Guide & Price List Introducing the ExtraLight roof tiling system, a new and unique high performance textured tile. The
More informationPOWER COMBICON feed-through plugs mm pitch DFK-PC 16/...-ST(F)-10,16
feed-through plugs 0.6 mm pitch DFK-PC 6/...-ST(F)-0,6 If 6 mm conductor is used, the new feed-through plug connector offers the possibility to trnsfer current of 76 A from inside the device to outside
More informationA Universal Zombie RPG Add-On
A Universl Zombie RPG Add-On Brk Blckburn Assuming you re plying gme tht uses dice for tsk resolution, the Zombie Die cn be semlessly integrted into your gme. Zombies! Thnks to George Romero, Zombies re
More informationBiomechanical Analysis of Pressure Redistribution
Biomechnicl Anlysis Redistribution Dul PegAssist Conur Bllet-Style Sports (neutrl shoe) Dul Chrcteristics Dul + Generl PegAssist + Conur All mpping results re bsed upon following prmeters: Test Person
More informationThe European Research Council (ERC) is the first pan-european funding body supporting the best frontier research in Europe 1.
The European Research Council (ERC) is the first pan-european funding body supporting the best frontier research in Europe 1. The ERC was created by the European Commission in February 2007. It is the
More informationSWD Update. Elizabeth H. Beers Tree Fruit Research & Extension Center 1100 N. Western Ave. Wenatchee, Washington
SWD Updte Northwest Wholesle Orgnic Grower Meeting Cmpbell s Resort, Cheln, WA 5 Februry 213 9:3-1: m Elizbeth H. Beers Tree Fruit Reserch & Extension Center 11 N. Western Ave. Wentchee, Wshington US SWD
More informationExchange Part# 2018 List Price CALL FOR PRICING
List 21824-1-10PK 10 PK -FUSE-3AG-TIME DELAY-.25x1.25L-1A $15 N/A N/A N/A 21824-5-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-5A $15 N/A N/A N/A 21824-8-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-8A $15 N/A
More informationbark bark bat bat Multiple Meaning Words: Kindergarten to Grade 2 More Teaching Tools at harsh sound made by a dog
the brk the brk bt bt hrsh sound mde by dog Mx, stop brking! outside cover of the trunks, brnches, nd roots of woody plnts The brk of this tree is very rough. club of wood or metl used to hit the bll in
More informationA AAA A A. BreakAway Speed Sports Training. Soccer Coaching Clinic. 2l Warm Up: 1) General Practice Tips:
Breakway Speed Sprts Training Sccer Caching Clinic Prfessinal Sccer lnstructr, Heather Williams 1) General Practice Tips: t0-15 n tn H\ aøi,!.j a) Practice time shuld nt exceed L hur l-5 mins fr ages U5-U10.
More informationIncremental Dependency Parsing
Inrementl Dependeny Prsing Mihel Fell 9 June 2011 1 Overview - Inrementl Dependeny Prsing - two lgorithms - evlution - enerl ritiism on present pprohes - possile improvements - ummry 2 Dependeny Prsing
More informationDaytime Habitat Selection by Resident Golden Eagles in Southern Idaho, USA
Dytime Hbitt Selection by Resident Golden Egles in Southern Idho, USA Environmentl & Sttisticl Consultnts Chd LeBeu 1-04-14 Ryn Nielson, Eric Hllingstd, nd Dve Young cwlebeu@west-inc.com Introduction Risk
More information2014 WHEAT PROTEIN RESPONSE TO NITROGEN
2014 WHEAT PROTEIN RESPONSE TO NITROGEN Aron Wlters, Coopertor Ryford Schulze, Coopertor Dniel Hthcot, Extension Progrm Specilist Dr. Clrk Neely, Extension Stte Smll Grins Specilist Ryn Collett, Extension
More information2018 List Price. Exchange Part#
21824-1-10PK 10 PK -FUSE-3AG-TIME DELAY-.25x1.25L-1A $15 N/A N/A N/A 21824-5-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-5A $15 N/A N/A N/A 21824-8-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-8A $15 N/A N/A
More informationProgramme of Events 2018
Programme of Events 2018 Date Event Venue April 5-13 XXI Commonwealth Games Broadbeach BC, Queensland, Australia Sat 5 May Women s Johns Trophy Trial Men v Royal County of Berkshire (H) Cove BC GU14 8RW
More informationInverted POWER COMBICON feed-through plugs mm pitch DFK-IPC 16/...-ST(F)-10,16
.6 mm pitch DFK-IPC 6/...-ST(F)-,6 In the inverted versions of the DFK-IPC 6 feed-through connectors, the screw connection on the device side is designed with femle insted of mle contcts.this gives touch-proof
More informationCommunity Forum El Gouna 2030
Community Forum El Gouna 2030 - Short Introduction - Prof. Dr. Rudolf Schäfer TU Berlin Campus El Gouna History The Community Forum El Gouna 2030 was established in September 2012 as result of the Future
More informationFD-C810. Technical Service Instructions. Front derailleur (with computer unit) General Safety Information SI-5HD0B WARNING
Technical Service Instructions Front derailleur (with computer unit) SI-5HD0B t General Safety Information WARNING Use neutral detergent to clean the chain. Do not use alkali-based or acid based detergent
More informationBord Dyghtyans Management Board
Bord Dyghtyns Mngement Bord Kovnotynsow n kuntelles synsys: dy Gwener 7 mis Gwynngl 2018 Drft Minutes of the meeting held: Fridy 7 September 2018 Attendees: In ttendnce: M Pierce, J Edmondson, K George,
More informationA Step, Stride and Heading Determination for the Pedestrian Navigation System
Journl of Globl Positioning Systems (2004) Vol. 3,. 1-2: 273-279 A Step, Stride nd Heding Determintion for the Pedestrin Nvigtion System Jeong Won Kim GNSS Technology Reserch Center, Chungnm Ntionl University,
More informationName Class Date SAMPLE. Complete the missing numbers in the sequences below. 753, ,982. The area of the shape is approximately cm 2
End of term: TEST A You will need penil. Yer 5 Nme Clss Dte 1 2 Complete the missing numers in the sequenes elow. 200 3926 4926 400 500 700 7926 753,982 553,982 Estimte the re of the shpe elow. The re
More informationMTH 112: Elementary Functions
1/14 MTH 112: Elementry Functions Section 8.1: Lw of Sines Lern out olique tringles. Derive the Lw os Sines. Solve tringles. Solve the miguous cse. 8.1:Lw of Sines. 2/14 Solving olique tringles Solving
More informationPCT MINIMUM DOCUMENTATION
Ref.: PCT inimum Documenttion pge: 4.1.1 PCT INIU TION INVENTY S CCDING TO PCT RULE 34.1 (PERIOD FRO 1920 TO 1996) Explntory Notes 1. On the following pges is given the inventory of ptent documents, covering
More informationA Measurement Framework for National Key Performance Measures
MINISTERIAL COUNCIL ON EDUCATION, EMPLOYMENT, TRAINING AND YOUTH AFFAIRS Performnce Mesurement nd Reporting Tskforce Working for qulity eduction outcomes A Mesurement Frmework for Ntionl Key Performnce
More informationA SEMI-PRESSURE-DRIVEN APPROACH TO RELIABILITY ASSESSMENT OF WATER DISTRIBUTION NETWORKS
A SEMI-PRESSURE-DRIVEN APPROACH TO RELIABILITY ASSESSMENT OF WATER DISTRIBUTION NETWORKS S. S. OZGER PhD Student, Dept. of Civil and Envir. Engrg., Arizona State Univ., 85287, Tempe, AZ, US Phone: +1-480-965-3589
More informationRIGHT ANGLE BOTTOM ENTRY TOP ENTRY 1 OF * KK 156 HOUSING PCB SERIES PRODUCT CUSTOMER DRAWING MM/IN NTS SAMIEC 1987/01/ SEE CHART
9 8 7 6 5 4 3 2 1 RIGHT ANGLE E E D BOTTOM ENTRY +0.97-0.00 +.038 -.000 (7.9).31 REF (1.91).075 OPTIONAL VOIDED CIRCUIT SEE CHART FOR LOCATION D C B A TOP ENTRY (1.47)REF..058 RELEASE STATUS FORMAT: Eng-lega-master-tb-prod-B
More informationBypass Compensator Cartridge, Size 16
Bypss Compenstor Crtridge, Size 6 Q mx = 5 l/min, p mx = 42 br Direct cting, djustble compenstor spring Description These direct-cting bypss pressure-compenstor (hydrostt) crtridges, series DWDP-2B -6,
More informationDesign and Calibration of Submerged Open Channel Flow Measurement Structures: Part 3 - Cutthroat Flumes
Uth Stte University DigitlCommons@USU Reports Uth Wter Reserch Lbortory Jnury 1967 Design nd Clibrtion of Submerged Open Chnnel Flow Mesurement Structures: Prt 3 - Cutthrot Flumes Gylord V. Skogerboe M.
More informationINVESTIGATION OF POWER OUTPUT ON A NOVEL BICYCLE DRIVE IN COMPARISON WITH THE COMMON BICYCLE DRIVE
117 Biomechanics Symposia 2001 / University of San Francisco INVESTIGATION OF POWER OUTPUT ON A NOVEL BICYCLE DRIVE IN COMPARISON WITH THE COMMON BICYCLE DRIVE T. Angeli and R. Pawlik Institute for Machine
More informationAERODROME CHART MINSK MAZOWIECKI (EPMM) PANS-OPS AERODROME CHART MINSK MAZOWIECKI (EPMM) ELEV ' 21 39' 5 E (2010) 52 12' 52 12'
27 PNS-OPS ERODROME CHRT 21 38' 21 39' 21 40' 21 41' 52 12' 52 12' LOC 111.3 09 PRON D E PRON B 8202 x 262 D F PRON F C GP/DME 332.2/CH50X TWR IS PRON B PRON C G PRON E 52 11' 52 11' CHNGE: NEW PCN 21
More informationK8 TRAK K4/ProtoTRAK EDGE Control Covering Models: TRAK K4 mill with EDGE control. Exchange. List Price. Part Number
K8 TRAK K4/ProtoTRAK EDGE Control 01.01.10 Covering Models: TRAK K4 mill with EDGE control Part Number Description List Price Exchange Part Number Exchange Price 22581-1 AIR GUN ASSY ONLY -TORQUE RITE
More informationAcoustic measurements of bubbles in the wake of ship model in tank
Acoustic mesurements of bubbles in the wke of ship model in tnk A. Sutin,b, A. Benilov, H.-S. Roh nd Y.I. Nh c Stevens Institute of Technology, Cstle Point on Hudson, Hoboken, NJ 07030, USA b Artnn Lbortories,
More informationPILOT PROGRAM FOR THE EVALUATION OF NANOFILTRATION MEMBRANES PREPARED BY: WILMINGTON, MA ON UF PERMEATE
PILOT PROGRAM FOR THE EVALUATION OF NANOFILTRATION MEMBRANES ON UF PERMEATE PREPARED BY: KOCH MEMBRANE SYSTEMS, INC. 850 MAIN STREET WILMINGTON, MA 01887 NANOPILT. D157 INTRODUCTION This progrm will outline
More informationAn Analysis of the Visual Demands Associated with Aviation Maintenance Inspectors. The Ohio State University College of Optometry, Columbus, OH 2
An Anlysis of the Visul Demnds Associted with Avition Mintennce Inspectors Gregory W. Good 1, Json J. Nichols 1, Mnoj V. Subbrm 1, Vn B. Nkgwr 2, Ronld W. Montgomery 2 1 The Ohio Stte University College
More informationBasketball Rules. YMCA MISSION: To put Judeo-Christian principles into practice through programs that build healthy spirit, mind and body for all.
Basketball Rules YMCA MISSION: To put Judeo-Christian principles into practice through programs that build healthy spirit, mind and body for all. Team Duties: The visiting team will be listed first on
More information2018 List Price. Exchange Part#
21824-10-10PK OBSOLETE SEE 21830-10-10PK $15 N/A N/A N/A 21824-8-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-8A $15 N/A N/A N/A 20924 220/440V CONVERSION OPTION - K2/K3 N/A N/A N/A K2/K3 CC051 ADAPTER-RAM
More informationIndian Game: Women s Kabbadi. Asian Kabaddi Championship (Place- Gorgan) By Prof. Vinod Chaudhari
Indian Game: Women s Kabbadi Asian Kabaddi Championship 2017. (Place- Gorgan) History kabaddi is primarily an Indian game, not much is known about the origin of this game. There is, however, concrete evidence,
More information6. INTERNAL RECONSTRUCTION_ I
6. INTERNAL RECONSTRUCTION_ I SOLUTIONS TO ASSIGNMENT PROBLEMS PROBLEM NO.1 In the books of Rebuilt Ltd. Journl Entries Prticulrs Debit (Rs.) Credit (Rs.) 1 Equity shre cpitl A/c (Rs.50) To Equity shre
More informationActivity Guide for Daisies, Brownies, and Juniors
ctivity for Dies, Brownies, Juniors World Thinking Dy I n Girl Scouts, you re prt specil group girls tht stretches cross world. On Februry 22 ech yer, Girl Scouts Girl s from 150 countries celebrte World
More informationA chartered bus allocation problem
A chartered bus allocation problem Woo-Je Kim Department of Industrial Engineering, Daejin University, San11-1 Sundanri, Pochun, Kyungkido 487-711, Korea phone:+82-31-539-2001; fax:+82-31-539-2000; wjkim@road.daejin.ac.kr
More informationFirearm Safety. Links to Topics below XAVIER BECERRA THE SIX BASIC GUN SAFETY RULES. Attorney Genera] The. Six Basic Gun Safety Rules
firerm Sfety Stte of Cliforni - Deprtment of Justice - Office of the Attorney Generl Pge 1 of 14 Stte of Cliforni Deprtment of]ustice XAVIER BECERRA Attorney Gener] Serch Trnslte Website Trducir Sitio
More informationLecture 04 ( ) Hazard Analysis. Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016
Systeme hoher Qualität und Sicherheit Universität Bremen WS 2015/2016 Lecture 04 (02.11.2015) Hazard Analysis Christoph Lüth Jan Peleska Dieter Hutter Where are we? 01: Concepts of Quality 02: Legal Requirements:
More informationModeling of the Safety and the Performance of Railway Operation via Stochastic Petri Nets
Modeling of the Safety and the Performance of Railway Operation via Stochastic Petri Nets Robert Nicolae 1 Florin Moldoveanu 1 Mihai Cernat 1 Roman Slovák 2 Eckehart Schnieder 2 1 Transilvania University
More informationWhy? DF = 1_ EF = _ AC
Similr Tringles Then You solved proportions. (Lesson 2-) Now 1Determine whether two tringles re similr. 2Find the unknown mesures of sides of two similr tringles. Why? Simon needs to mesure the height
More informationPrimeTime Sports Winter 5v5 Rules
PrimeTime Sports Winter 5v5 Rules Revised 3.7.2016 General Rules For all ages, there are 4 field players and a Goalkeeper (GK), 5v5. The minimum number of players required to start or continue a match
More informationin Pennsylvania and from there they migrated down to North Carolina.
This is Ben Bull, July 7, 1987, interviewing Sellrs 1 -be discussing Sellrs fmily Everett Jordn, her first cousin. She is dughter of Benjmin Riney Sellrs, son of Dr. >: B. A. Sellrs. s spelled Brwley:
More informationSkills Practice Skills Practice for Lesson 4.1
Skills Prctice Skills Prctice for Lesson.1 Nme Dte Interior nd Exterior Angles of Tringle Tringle Sum, Exterior Angle, nd Exterior Angle Inequlity Theorems Vocbulry Write the term tht best completes ech
More informationIndex Table. Model 794. Installation, Operating and Maintenance Instructions
CLOCKWISE MANUAL MAKING INTO CCW TABLE Index Table Model 794 Installation, Operating and Maintenance Instructions Black & Webster Products Division 545 Hupp Ave. P.O. Box 831, Jackson, Michigan 49204 2009
More informationSyngenta Soybean Insecticide Screening Study Beaumont, TX 2017
I II III IV N Syngent Soyben Insecticide Screening Study Beumont, TX 2017 PLOT PLAN 20 1 LG 32 4 BX 19 8 GX 31 5 O 18 3 B 30 2 LGX 17 6 OX 29 7 G 16 1 LG 28 2 LGX 15 7 G 27 8 GX 14 3 B 26 6 OX 13 5 O 25
More informationFelix and Herbert. Level
Introduction: We are going to make a game of catch with Felix the cat and Herbert the mouse. You control Herbert with the mouse and try to avoid getting caught by Felix. The longer you avoid him the more
More informationLesson 12.1 Right Triangle Trigonometry
Lesson 12.1 Right Tringle Trigonometr 1. For ech of the following right tringles, find the vlues of sin, cos, tn, sin, cos, nd tn. (Write our nswers s frctions in lowest terms.) 2 15 9 10 2 12 2. Drw right
More informationSept 23, 2014 LAB MANUAL
Sept 23, 2014 LAB MANUAL 1000.0 1000 STANDARD PRACTICES 1000.1 CALCULATIONS and FORMS Throughout this manual there are test calculation procedures. These calculations are provided so that a technician
More informationA & D. Readability Calibration Repeatability Corner Load Linearity Note Model Capacity Res Weight Tol Class Weight Tol Weight Tol Weigh Preload Tol
Calibration Tables EK120A 120.01 100 1 4/P 100 1 na 0 50 50 1 EK12KA 12K 1 10K 1 4/P 10K 1 na 0 5K 5K 1 EK2000 2K.1 2K 1 4/P 2K 1 na 0 1K 1K 1 EK200G 200.01 200 1 4/P 200 1 na 0 100 100 1 EK6000 6K 1 6K
More information2018 List Price. Exchange Part#
List 21824-10-10PK OBSOLETE SEE 21830-10-10PK $15 N/A N/A N/A 21824-8-10PK 10 PK-FUSE-3AG-TIME DELAY-.25x1.25L-8A $15 N/A N/A N/A 20924 220/440V CONVERSION OPTION - K2/K3 N/A N/A N/A K2/K3 22581-1 AIR
More informationAlabama Soccer Association Governor s Cup
Alabama Soccer Association Governor s Cup Rules & Guidelines I. Tournament Sanction and Officials The Governor s Cup is an entry level open tournament sanctioned and conducted annually by the Alabama Soccer
More informationIran and the future of European Gas Supply the European Perspective
PD Dr. Lutz Mez Berlin Centre for Caspian Region Studies Freie Universität Berlin lmez@zedat.fu-berlin.de www.fu-berlin.de/bccare Iran and the future of European Gas Supply the European Perspective BC
More informationTable Football. Introduction. Scratch. Let s make a world cup football game in Scratch! Activity Checklist. Test your Project.
Scratch + Table Football All Code Clubs must be registered. By registering your club we can measure our impact, and we can continue to provide free resources that help children learn to code. You can register
More informationAre We There Yet? IPv6 as Related to GDP per Capita. By Alain Durand November 28 th,` 2016
Are We There Yet? as Related to By Alain Durand November 28 th,` 2016 Quesons for this Study: I. Where are we across the globe with adoption? a. Is deployed uniformly? b. Is there a rich country/poor country
More informationRegulations of the International Young Naturalists Tournament
Regulations of the International Young Naturalists Tournament Table of Contents Chapter 1. General information. I. International Young Naturalists Tournament. II. General Council. III. Local Organizing
More informationBattery Application Guide
Battery Application Guide AGRICULTURE & CONSTRUCTION EQUIPMENT BATTERIES AGRICULTURE CONSTRUCTION AUTOMOTIVE POWERSPORTS LAWN & GARDEN AGCO Parts, the AGCO Parts logo, AGCO and AGCO logo are trademarks
More informationSkills Practice Skills Practice for Lesson 4.1
Skills Prctice Skills Prctice for Lesson.1 Nme Dte Interior nd Exterior Angles of Tringle Tringle Sum, Exterior Angle, nd Exterior Angle Inequlity Theorems Vocbulry Write the term tht best completes ech
More informationSPECIFICATION FOR APPROVAL
CUSTOMER CUSTOMER P/N OUR DWG No Lead-Free & RoHs Compliance!! SPECIFICATION FOR APPROVAL QUANTITY Pcs. DATE 2010/11/01 ITEM NLC322522T-100K-N COMPONENT ENGINEER ELECTRICAL ENGINEER MECHANICAL ENGINEER
More informationBasics of Flow measurement using Hot-film anemometer
Basics of Flow easureent using Hot-fil aneoeter Version 1.0 1/9 Inhaltsverzeichnis: 1. Definitions 1.1. Air Velocity 1.2. Aount (of Gas) 1.. Flow 1..1. Mass flow rate 1..2. Voluetric flow rate 1... Standard
More informationDUSP Full Year Results Table 1: Domestic and EU Standards and Performance Targets Unadjusted and Force Majeure Adjusted Performance
DUSP 1.10.7 Full Year Results 2014-15 Table 1: Domestic and EU Standards and Performance Targets Unadjusted and Force Majeure Adjusted Performance Standard Target Domestic & EU Standards and Performance
More informationHot-Air Blowers 12 / / Hot-Air Blowers
Hot-Air Blowers MISTRAL HOTWIND PREMIUM / HOTWIND SYSTEM MISTRAL Accessories HOTWIND Accessories VULCAN SYSTEM VULCAN SYSTEM Accessories IGNITER BM4/BR4 IGNITER BM4/BR4 Accessories 12 / 13 14 / 15 16 17
More informationDUSP : Full Year Results Table 1: Domestic and EU Standards and Performance Targets Unadjusted and Force Majeure Adjusted Performance
DUSP 1.10.7: Full Year Results 2013-14 Table 1: Domestic and EU Standards and Performance Targets Unadjusted and Force Majeure Adjusted Performance Domestic & EU Standards and Performance Targets Adjusted
More informationSHORT TERM SCIENTIFIC MISSION (STSM) SCIENTIFIC REPORT
SHORT TERM SCIENTIFIC MISSION (STSM) SCIENTIFIC REPORT Mapping Urban Cycling in Malta by Diego Fabian Pajarito Grajales Action Number: Reference Number Grantee Name Institution Mail: STSM Title: STSM start
More informationBeach Handball Commission Meeting no. 14 of the election period Minutes. Venue: Vienna / AUT Date: 1 September :30 18:30 hrs.
Beach Handball Commission Meeting no. 14 of the election period 2012 2016 Minutes Venue: Vienna / AUT Date: 1 September 2016 09:30 18:30 hrs. Participants: Ole Jorstad / NOR / Chairman Marco Trespidi /
More informationDomestic & EU Standards and Performance Targets
DUSP 1.10.7 Full Year Results 2016-17 Table 1: Domestic and EU Standards and Performance Targets Unadjusted and Force Majeure (FM) Adjusted Performance Domestic & EU Standards and Performance Targets Standard
More informationPOKER ADVERTISING (GAMBLING) PZ-A? thru PZ-AW. *** Variations. PZ-A? A.B Casino Supply T Mold / v: PZ-A? Burt Company Plain Mold / v:
PZ-A? thru PZ-AW PZ-A? A.B Casino Supply T Mold / v: PZ-AE Bowman Wave Mold / v:f Plain Mold / v: Three Inserts / v: 3 Double Inserts / v: 4 Inserts / v: 8 Inserts / v: Oversized Baccarat / v: Inlay /
More informationThe Elements Of Scrum Chris Sims
THE ELEMENTS OF SCRUM CHRIS SIMS PDF - Are you looking for the elements of scrum chris sims Books? Now, you will be happy that at this time the elements of scrum chris sims PDF is available at our online
More informationpropose creative solutions and constitute good presentations T E A M S
M A T H E M A T I C A L B A T T L E S S E T O F G U I D E L I N E S Math battle is a combination of problem-solving competition and debate. It is a team contest which aims to challenge the academic ability
More informationHazard Identification Based on Plant Functional Modelling
^K*tS> 3t?>:b Risø-R-712^$ Hzrd Identifiction Bsed on Plnt Functionl odelling Birgitte Rsmussen, ris Whetton Risø Ntionl Lbortory, Roskilde, Denmrk October 1993 Hzid Identifiction Bsed on Plnt Functionl
More information