(La méthode Event-B) OddEven. Express as theorems and use RODIN to prove: thm4. The multiplication of two odd numbers is odd
|
|
- Charlotte Gilmore
- 5 years ago
- Views:
Transcription
1 CSC 4504 : Langages formels et applications (La méthode Event-B) J Paul Gibson, A207 paul.gibson@it-sudparis.eu OddEven : J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.1 Simple proofs on properties of odd and even numbers Express as theorems and use RODIN to prove: thm thm2. The difference between two odd numbers is even thm3. The multiplication of an even number with an odd number is even thm4. The multiplication of two odd numbers is odd 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.2
2 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven : J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.4
3 Autoprovers 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.5 instantiate 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.6
4 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.7 Remove selected hypothesis 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.8
5 repeat sequence for instantiation of b 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.9 Don t forget to save if you are making progress 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.10
6 Add hypothesis and select for proof Using autoprover 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.11 Repeat the same sequence for b 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.12
7 Free existential variables 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.13 Remove hypotheses (no longer needed) 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.14
8 Try autoprover on original theorem 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.15 Instantiate with y+y+y0+y0 Remove unnecessary hypotheses Add new hypothesis: 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.16
9 Add abstract expression: y+y0 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.17 This sequence leads to the final proof step Setting y1 to ae proves the theorem: can the automated prover do this? p0 fails but p1 manages it 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.18
10 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.19 Save and explore proof tree 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.20
11 The theorem has been marked as proved 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.21 What if we change specification of EVEN? What if we change theorem to prove? lets try theorem 3 with context1 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.22
12 3. The multiplication of an even number with an odd number is even 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven The multiplication of an even number with an odd number is even Reset persepective context1 Enable/ Disable Post-tactic 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.24
13 3. The multiplication of an even number with an odd number is even Proof by contradiction (of goal) 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven The multiplication of an even number with an odd number is even Prune and run Post-tactics 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.26
14 3. The multiplication of an even number with an odd number is even Proof by contradiction (of hypothesis) 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven The multiplication of an even number with an odd number is even 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.28
15 3. The multiplication of an even number with an odd number is even Circular proof steps: Try to simplify proof tree, where possible 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven The multiplication of an even number with an odd number is even Proof for context2 try to complete it yourselves 2009: J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.30
16 For Next Week: send to me (by ) before 20th March Prove theorem 2 or theorem 4 for context : J Paul Gibson T&MSP-CSC 4504 : Langages formels et applications Event-B/OddEven.31
Pre-Calculus AB: Topics and Assignments Weeks 1 and 2
Weeks 1 and 2 Monday 7/30 NO SCHOOL! Tuesday 7/31 NO SCHOOL! Wednesday 8/1 Start of School Thursday 8/2 Class Policy and Expectations Lesson 5 Exponents and Radicals Complex Numbers Areas of Similar Geometric
More informationA proof library shared by different proof systems. Gilles Dowek
A proof library shared by different proof systems Gilles Dowek Sharing data A C program can be executed on any computer A jpg, png... photo can be seen on any telephone, computer... A webpage can be displayed
More informationCluster A.2: Linear Functions, Equations, and Inequalities
A.2A: Representing Domain and Range Values: Taxi Trips Focusing TEKS A.2A Linear Functions, Equations, and Inequalities. The student applies mathematical process standards when using properties of linear
More informationProving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study Shinya Umeno and Nancy Lynch Massachusetts Institute of Technology, Computer Science
More informationVARIBLE COMMISSIONS OVERVIEW
VARIBLE COMMISSIONS OVERVIEW The BSPConnect Variable Commission System provides the airline with the ability to audit commissions. These may be simple or complex, based on route, agent and also: A. Commission
More informationControlling the False Discovery Rate in Bayesian Network Structure Learning
False Discovery Rate in Bayesian Network Structure Learning Ioannis Tsamardinos Asnt Prof., CSD, Univ. of Crete ICS, FORTH Laura E. Brown DBMI, Vanderbilt Univ. Sofia Triantafylloy CSD, Univ. of Crete
More informationAutomated Integration of Arrival and Departure Schedules
Automated Integration of Arrival and Departure Schedules Topics Concept Overview Benefits Exploration Research Prototype HITL Simulation 1 Lessons Learned Prototype Refinement HITL Simulation 2 Summary
More informationLes langages de modélisation en ingénierie système Etat de la pratique et persepectives
www.thalesgroup.com Les langages de modélisation en ingénierie système Etat de la pratique et persepectives Jérôme Le Noir (Thales Research &Technology) Journées Neptune, 22 Mai 2013 Research & Technology
More informationPredicting Flight Delays Using Data Mining Techniques
Todd Keech CSC 600 Project Report Background Predicting Flight Delays Using Data Mining Techniques According to the FAA, air carriers operating in the US in 2012 carried 837.2 million passengers and the
More informationTactical Assault Ladder
Tactical Assault Ladder Design Team David Calabrese, Brian Keegan, Ryan Livingston, Ben Van Selous, Robert Vinson Advisor Prof. Gregory Kowalski Email: g.kowalski@neu.edu Abstract The Tactical Assault
More informationEmerging Technologies in BPM
Emerging Technologies in BPM Keynote: Emerging BPM Techniques & Technology Summit Building Business Capability 2012 Sandy Kemsley www.column2.com @skemsley Emerging BPM Techniques & Technologies Summit
More informationKristina Ricks ISYS 520 VBA Project Write-up Around the World
VBA Project Write-up Around the World Initial Problem Online resources are very valuable when searching for the cheapest flights to any particular location. Sites such as Travelocity.com, Expedia.com,
More informationINTRODUCTION OF AIRPORT COLLABORATIVE DECISION MAKING (A-CDM) AT SINGAPORE CHANGI AIRPORT
Telephone: (65) 6595 6051 AFS: WSSSYNYX Facsimile: (65) 6441 0221 caas_singaporeais@caas.gov.sg www.caas.gov.sg REPUBLIC OF SINGAPORE AERONAUTICAL INFORMATION SERVICES CIVIL AVIATION AUTHORITY OF SINGAPORE
More informationNational Air Transport Facilitation Program Kingdom of Bahrain
National Air Transport Facilitation Program Kingdom of Bahrain Introduction: Speed is the comparative advantage of air transport on all other modes of transportation. The success of state depends on the
More informationSimplification Using Map Method
Philadelphia University Faculty of Information Technology Department of Computer Science Computer Logic Design By Dareen Hamoudeh Dareen Hamoudeh 1 Simplification Using Map Method Dareen Hamoudeh 2 1 Why
More informationA MAGAZINE FOR AIRLINE EXECUTIVES 2011 Issue No. 1. T a k i n g y o u r a i r l i n e t o n e w h e i g h t s. America aviation
A MAGAZINE FOR AIRLINE EXECUTIVES 2011 Issue No. 1 T a k i n g y o u r a i r l i n e t o n e w h e i g h t s SkyTeam: Caring More About You A Conversation With É Leo van Wijk, Chairman, SkyTeam Pg. 10
More informationGAS STOVE GUARD for natural gas and propane stoves
GAS STOVE GUARD for natural gas and propane stoves OPERATING INSTRUCTIONS September 18, 2017 STOVE GUARD is not designated for use with gas stoves with pilot light. STOVE GUARD is an electronic safety
More informationWorkshop. SESAR 2020 Concept. A Brief View of the Business Trajectory
SESAR 2020 Concept A Brief View of the Business Trajectory 1 The Presentation SESAR Concept: Capability Levels Key Themes: Paradigm change Business Trajectory Issues Conclusion 2 ATM Capability Levels
More informationIncentives in Landing Slot Problems
Incentives in Landing Slot Problems James Schummer 1 Azar Abizada 2 1 MEDS, Kellogg School of Management Northwestern University 2 School of Business Azerbaijan Diplomatic Academy June 2013 Schummer/Abizada
More informationACS-1805 Introduction to Programming (with App Inventor) Chapter 7. Ladybug Chase 10/4/2018 1
ACS-1805 Introduction to Programming (with App Inventor) Chapter 7 Ladybug Chase 10/4/2018 1 What You Will Build The Ladybug Chase app In the app the user can: Control a ladybug by tilting the device View
More informationCharacterizations of Supra Generalized Preregular Closed Sets 1 Gnanambal Ilango, 2 Vidhya Menon.
Int. Jr. of Engineering, Contemporary Mathematics and Sciences Vol. 1, No. 2, July-December 2015 Copyright: MUK Publications ISSN No: 2250-3099 Characterizations of Supra Generalized Preregular Closed
More informationGDS Hybrid IP Communication Series. A total integrated Hospitality solution
GDS Hybrid IP Communication Series A total integrated Hospitality solution The Hybrex GDS Hospitality System is designed to enable Hotel Operators to provide best in class guest services while improving
More informationVAST Challenge 2017 Reviewer Guide: Mini-Challenge 1
VAST Challenge 2017 Reviewer Guide: Mini-Challenge 1 This document provides information to support peer review of submissions to VAST Challenge 2017, Mini-Challenge 1. It covers background about the submission
More informationB.S. PROGRAM IN AVIATION TECHNOLOGY MANAGEMENT Course Descriptions
Course Descriptions 01225111 Basic Mathematics in Aviation 3(3-0-6) Algebra. Functions and graphs. Limit and continuity. Derivatives. Integration. Applications in aviation technology management. 01225121
More informationFiscal Management and Control Board. Fare Policy October 16, Draft for Discussion & Policy Purposes Only
Fiscal Management and Control Board Fare Policy October 16, 2015 1 Components of Fares Fare Level Different types of pricing by: By mode By time of day By distance By rider type (reduced fare) Subscription
More informationPoint A to Point B Arrival By Jim Sweeney
Point A to Point B Arrival By Jim Sweeney The first two installments of From Point A to Point B were published in the October and January issues of UltraFlight Magazine. They covered the Preparation/Departure
More informationDon t Sit on the Fence
Don t Sit on the Fence A Static Analysis Approach to Automatic Fence Insertion Or Ostrovsky April 25th 2018 Or Ostrovsky Don t Sit on the Fence April 25th 2018 1 / 50 Table of contents 1 Introduction 2
More informationOutline. 1. Timetable Development 2. Fleet Size. Nigel H.M. Wilson. 3. Vehicle Scheduling J/11.543J/ESD.226J Spring 2010, Lecture 18
Vehicle Scheduling Outline 1. Timetable Development 2. Fleet Size 3. Vehicle Scheduling 1 Timetable Development Can translate frequency into timetable by specifying headways as: equal -- appropriate if
More informationACS-1805 Introduction to Programming
ACS-1805 Introduction to Programming Chapter 05: Ladybug Chase 2019-01-29 1 What You Will Build The Ladybug Chase app In the app the user can: o Control a ladybug by tilting the device o View an energy-level
More informationMAT 115: Precalculus Mathematics Homework Exercises Textbook: A Graphical Approach to Precalculus with Limits: A Unit Circle Approach, Sixth Edition
MAT 115: Precalculus Mathematics Homework Exercises Textbook: A Graphical Approach to Precalculus with Limits: A Unit Circle Approach, Sixth Edition Section R.1, Page 923: Review of Exponents and Polynomials
More informationTool: Overbooking Ratio Step by Step
Tool: Overbooking Ratio Step by Step Use this guide to find the overbooking ratio for your hotel and to create an overbooking policy. 1. Calculate the overbooking ratio Collect the following data: ADR
More informationDevelopment of FTL for commercial air transport operations of emergency medical services by aeroplanes and helicopters NPA Number NPA
EASA Comment Response Tool You can save this page as HTML and then open it in Microsoft Word for further editing. Title Development of FTL for commercial air transport operations of emergency medical services
More informationA History of Innovation at London's Gatwick Airport
AVIATION SOLUTIONS CASE STUDY A History of Innovation at London's Gatwick Airport Simon Meyer - Managing Director of Aviation Solutions at Human Recognition Systems Simon.meyer@humanrecognitionsystems.com
More informationRoadmapping Breakout Session Overview
Roadmapping Breakout Session Overview Ken Goodrich October 22, 2015 Definition Roadmap: a specialized type of strategic plan that outlines activities an organization can undertake over specified time frames
More informationFINANCIAL ANALYSIS FEE STUDY. Presentation to the Board of County Commissioners. October 8, 2018
FINANCIAL ANALYSIS FEE STUDY Larimer County Department of Natural Resources Presentation to the Board of County Commissioners October 8, 2018 Study Purpose and Focus Areas Purpose: Evaluate current user
More informationUnmanned Aircraft System Loss of Link Procedure Evaluation Methodology
Unmanned Aircraft System Loss of Link Procedure Evaluation Methodology Sponsor: Andy Lacher (MITRE Corporation) May 11, 2011 UL2 Team Rob Dean Steve Lubkowski Rohit Paul Sahar Sadeghian Approved for Public
More informationTotal Airport Management Solution DELIVERING THE NEXT GENERATION AIRPORT
Total Airport Management Solution DELIVERING THE NEXT GENERATION AIRPORT Benefits of Total Airport Management Greater end-to-end visibility across landside and airside operations More accurate passenger
More informationCruisePay Enhancements for 2005 Training Guide Version 1.0
CruisePay Enhancements for 2005 Training Guide Version 1.0 Royal Caribbean Cruises Ltd. 2004 i 9/8/2005 Table of Content: 1 Overview 1 1.1 Purpose: 2 1.2 Assumptions: 2 1.3 Definitions: 2 2 Web Application
More informationCX/KA Document. Electronic Ticket (ET) - Policy and Best Practice for Travel Agents. < Effective since 28 th August 2012 > 1 of 5
CX/KA Document Electronic Ticket (ET) - Policy and Best Practice for Travel Agents < Effective since 28 th August 2012 > 1 of 5 Electronic Ticket (ET) A. Ticketing Policy for All Authorized Ticketing Agents
More informationGROUND DELAY PROGRAM PLANNING UNDER UNCERTAINTY BASED ON THE RATION-BY-DISTANCE PRINCIPLE. October 25, 2007
GROUND DELAY PROGRAM PLANNING UNDER UNCERTAINTY BASED ON THE RATION-BY-DISTANCE PRINCIPLE Michael O. Ball, Robert H. Smith School of Business and Institute for Systems Research, University of Maryland,
More informationSo many practical advantages
So many practical advantages With the interior dividing system www.blum.com Ideas for practical kitchens What makes kitchens practical? Kitchens have to prove themselves during everyday activities for
More informationBOARD ITO Aide REPORT TO THE AIRPORT COMMISSIONERS
1 [1 11 BOARD ITO Aide 001:4 Los Angeles World Airports REPORT TO THE Approved by: Justin rbacci - hief Innovation and Commercial St tegy Officer (--(AtSotA_ /1//r/'(10 PV Reviewed by: Samson Mengistu
More informationIs the Big Five Everything? Balancing Conservation and Tourism Goals in South African National Parks
Is the Big Five Everything? Balancing Conservation and Tourism Goals in South African National Parks Andrew T. Knight, PhD Department of Conservation Ecology and Entomology Stellenbosch University and
More informationModel Solutions. ENGR 110: Test 2. 2 Oct, 2014
Family Name:.............................. Other Names:............................. ID Number:............................... Signature.................................. Model Solutions ENGR 110: Test
More informationEA-12 Coupled Harmonic Oscillators
Introduction EA-12 Coupled Harmonic Oscillators Owing to its very low friction, an Air Track provides an ideal vehicle for the study of Simple Harmonic Motion (SHM). A simple oscillator assembles with
More informationUsing STAMP to Address Causes and Preventive Measures of Mid-Air Collisions in Visual Flight
Using STAMP to Address Causes and Preventive Measures of Mid-Air Collisions in Visual Flight Ioana Koglbauer 1 and Nancy Leveson 2 1 Graz University of Technology, Austria, 2 Massachusetts Institute of
More informationAQME 10 System Description
AQME 10 System Description Luca Pulina and Armando Tacchella University of Genoa DIST - Viale Causa 13 16145 Genoa (Italy) POS 2010 - Edinburgh, July 10, 2010 Luca Pulina (UNIGE) AQME 10 System Description
More informationTourist motives and activities as drivers of tourist satisfaction among men and women
Tourist motives and activities as drivers of tourist satisfaction among men and women Carl H. Marcussen, Centre for Regional and Tourism Research, Bornholm, Denmark, www.crt.dk Presented at the 24th Nordic
More informationAMXM Airport Mapping picking-up SWIM
Global Information Management AMXM Airport Mapping picking-up SWIM Presented By: Sam Van der Stricht Date: August 25, 2015 AMDB Applications EUROCAE / RTCA Applications: Moving Map Routing Runway Safety
More informationAssignment of Arrival Slots
Assignment of Arrival Slots James Schummer Rakesh V. Vohra Kellogg School of Management (MEDS) Northwestern University March 2012 Schummer & Vohra (Northwestern Univ.) Assignment of Arrival Slots March
More informationQuickstart Guide to HIPE and the HSA
Hitchhiker s Guide to the Herschel Science Archive Pasadena, 6 th -10 th October 2014 Quickstart Guide to HIPE and the HSA David Shupe User Support coordinator / NHSC Archive Scientist PACS Hitchhiker
More informationValidation Results of Airport Total Operations Planner Prototype CLOU. FAA/EUROCONTROL ATM Seminar 2007 Andreas Pick, DLR
Validation Results of Airport Total Operations Planner Prototype CLOU FAA/EUROCONTROL ATM Seminar 2007 Andreas Pick, DLR FAA/EUROCONTROL ATM Seminar 2007 > Andreas Pick > July 07 1 Contents TOP and TOP
More informationFLIGHT TRANSPORTATION LABORATORY REPORT R87-5 AN AIR TRAFFIC CONTROL SIMULATOR FOR THE EVALUATION OF FLOW MANAGEMENT STRATEGIES JAMES FRANKLIN BUTLER
FLIGHT TRANSPORTATION LABORATORY REPORT R87-5 AN AIR TRAFFIC CONTROL SIMULATOR FOR THE EVALUATION OF FLOW MANAGEMENT STRATEGIES by JAMES FRANKLIN BUTLER MASTER OF SCIENCE IN AERONAUTICS AND ASTRONAUTICS
More informationSet-It & Forget-It. save labor, save time. Applications include:
Set-It & Forget-It save labor, save time ZERO tumble blast cabinets deliver efficient, affordable batch processing to clean, peen, deburr, or finish parts. Applications include: Remove residual sand from
More informationSiteminder Setup. Setting up Siteminder into RezExpert
1 Setting up Siteminder into RezExpert Siteminder will allow you to enter in unique booking rates, min. stay requirements etc that are different to those set up in RezExpert. After selecting Siteminder,
More informationPart 2 Discounts, Exemptions, Violations and Pricing Approach (15)
Part 2 Discounts, Exemptions, Violations and 1 Yes; 3+ 50% EB PM Peak (4-6 PM); 3+ free the rest of the time 3+, M, ZEV,O (disabled plates and disabled veterans) V, R M, L, A $25+Toll; $55+Toll after 30
More informationThe Benefits of Attendee Travel Management
The Benefits of Attendee Travel Management Travel to and from a meeting or an event is very much part of each attendee s event experience. Meeting planners and attendees alike can benefit from inclusion
More informationWorkshop on the Performance Enhancement of the ANS through the ICAO ASBU framework. Dakar, Senegal, September 2017 presented by Emeric Osmont
Workshop on the Performance Enhancement of the ANS through the ICAO ASBU framework Dakar, Senegal, 18-22 September 2017 presented by Emeric Osmont The Aviation Community Indra 2 The Aviation Community
More informationThe Hamburger. by Benjamin Wing Will Bullock Ted Kocak
The Hamburger by Benjamin Wing Will Bullock Ted Kocak December 6, 2008 Abstract The goal is to make a roller coaster that lasts fifteen seconds with a budget of forty dollars. The roller coaster should
More informationTWELFTH AIR NAVIGATION CONFERENCE
International Civil Aviation Organization AN-Conf/12-WP/8 7/5/12 WORKING PAPER TWELFTH AIR NAVIGATION CONFERENCE Montréal, 19 to 30 November 2012 Agenda Item 3: Interoperability and data through globally
More informationInternal aggregation models on the comb
Internal aggregation models on the comb Wilfried Huss joint work with Ecaterina Sava Cornell Probability Summer School 21. July 2011 Internal Diffusion Limited Aggregation Internal Diffusion Limited Aggregation
More informationA Multilayer and Time-varying Structural Analysis of the Brazilian Air Transportation Network
A Multilayer and Time-varying Structural Analysis of the Brazilian Air Transportation Network Klaus Wehmuth, Bernardo B. A. Costa, João Victor M. Bechara, Artur Ziviani 1 National Laboratory for Scientific
More informationMRO Americas 2016 Mainline/Regional Collaborations Air Canada/Jazz
MRO Americas 2016 Mainline/Regional Collaborations Air Canada/Jazz 1 CONTRACTS - LANGUAGE, COST, RELATIONSHIPS Vendor relationships built with the regional airlines Buying power is with mainlines Typically
More informationWorkbook Unit 11: Natural Deduction Proofs (II)
Workbook Unit 11: Natural Deduction Proofs (II) Overview 1 1. Biconditional Elimination Rule ( Elim) 1.1. Intuitions 2 2 1.2. Applying the Elim rule 1.3. Examples of Proofs 3 5 2. The Disjunction Introduction
More informationPilot AIS Prevention Project June 27, 2011
Pilot AIS Prevention Project June 27, 2011 A cooperative initiative of: Christmas Lake Homeowners Association City of Chanhassen City of Shorewood Lake Minnewashta Preservation Association Lake Minnewashta
More informationHotel Booking System For Magento
Hotel Booking System For Magento webkul.com/blog/magento-hotel-booking-system/ On - November 23, 2015 Hotel Booking System For Magento is a module which helps in developing your Magento Website into a
More informationFACILITATION PANEL (FALP)
International Civil Aviation Organization WORKING PAPER FALP/10-WP/19 Revised 29/8/18 FACILITATION PANEL (FALP) TENTH MEETING Montréal, 10-13 September 2018 Agenda Item 6: Other matters FACILITATION FOR
More informationhelicopter? Fixed wing 4p58 HINDSIGHT SITUATIONAL EXAMPLE
HINDSIGHT SITUATIONAL EXAMPLE Fixed wing or helicopter? Editorial note: Situational examples are based on the experience of the authors and do not represent either a particular historical event or a full
More informationREPUBLIC OF SINGAPORE AERONAUTICAL INFORMATION SERVICES CIVIL AVIATION AUTHORITY OF SINGAPORE SINGAPORE CHANGI AIRPORT P.O. BOX 1, SINGAPORE
Telephone: (65) 6595 6051 AFS: WSSSYNYX Facsimile: (65) 6441 0221 caas_singaporeais@caas.gov.sg www.caas.gov.sg REPUBLIC OF SINGAPORE AERONAUTICAL INFORMATION SERVICES CIVIL AVIATION AUTHORITY OF SINGAPORE
More informationMetro Green Line to LAX. January, 2012
Metro Green Line to LAX 2 Agenda Context Airport Connection Types Project Process Questions and Discussion Los Angeles Lacks a Strong Airport Transit Connection 3 Airports in the U.S. with current or planned
More informationThe Future of Air Cargo ULD has a role to play
The Future of Air Cargo ULD has a role to play LIAO, Zhi Yong, IATA Cargo IATA Cargo Transformation program Case for change IATA Cargo Transformation program IATA Cargo Transformation program
More informationCASE STUDY. Dubai International Airport. HDL Brings Automated Efficiency to the World s Busiest Airport
CASE STUDY Dubai International Airport HDL Brings Automated Efficiency to the World s Busiest Airport Dubai Airports is the government authority which owns and manages all commercial airports in the United
More informationLesson 1: Introduction to Networks
Exploratory Challenge 1 One classic math puzzle is the Seven Bridges of Königsberg problem which laid the foundation for networks and graph theory. In the 18 th century in the town of Königsberg, Germany,
More information(1) Use given triangle to fill in the blank. A = b c c. (1) A = b c. tan cos sin
0/3/206 Print Questions. Use given tringle to fill in the lnk. = () = () tn os sin 2. Write the rtios for sin M, os M, nd tn M. Give the ext vlue nd four deiml pproximtion. M K 23 2 02 L Type the deiml
More informationCut out center circle for template. Cut line on actual capsule before cutting out interior circle. Side of Capsule
Cut out center circle for template. Cut line on actual capsule before cutting out interior circle. Side of Capsule Bottom of Capsule Top Hatch, Option 2 Top Hatch, Option 1 Name: Period: 1. Find the surface
More informationOnline Appendix for Revisiting the Relationship between Competition and Price Discrimination
Online Appendix for Revisiting the Relationship between Competition and Price Discrimination Ambarish Chandra a,b Mara Lederman a June 23, 2017 a : University of Toronto, Rotman School of Management b
More informationA Statistical Method for Eliminating False Counts Due to Debris, Using Automated Visual Inspection for Probe Marks
A Statistical Method for Eliminating False Counts Due to Debris, Using Automated Visual Inspection for Probe Marks SWTW 2003 Max Guest & Mike Clay August Technology, Plano, TX Probe Debris & Challenges
More informationRoads Australia Industry Presentation 12 March 2015
Roads Australia Industry Presentation 12 March 2015 Peter Duncan Chief Executive Roads and Maritime Services About Roads and Maritime Minister for Roads and Freight Minister for Transport Roads and Maritime
More informationAvailable On-Board Technologies For Runway Excursions Prevention
ROPS et Al. - ICAO RRSS Dubai Head of ROPS Programme Fabrice VILLAUMÉ Available On-Board Technologies For Runway Excursions Prevention Safety at Landing: the First Air Transportation Safety Issue Runway
More informationAn Automated Airspace Concept for the Next Generation Air Traffic Control System
An Automated Airspace Concept for the Next Generation Air Traffic Control System Todd Farley, David McNally, Heinz Erzberger, Russ Paielli SAE Aerospace Control & Guidance Committee Meeting Boulder, Colorado
More informationLogic Control Summer Semester Assignment: Modeling and Logic Controller Design 1
TECHNISCHE UNIVERSITÄT DORTMUND Faculty of Bio- and Chemical Engineering Process Dynamics and Operations Group Prof. Dr.-Ing. Sebastian Engell D Y N Logic Control Summer Semester 2018 Assignment: Modeling
More informationImplementing OpenID for Your Social Networking Web Site
Implementing OpenID for Your Social Networking Web Site By David Keener http://www.keenertech.com Introduction Social networking sites are communities Communities consist of people Getting people to join
More informationMontana Canvas Tent Structure Design
Montana Tech Library Digital Commons @ Montana Tech Proceedings of the Annual Montana Tech Electrical and General Engineering Symposium Student Scholarship 2016 Montana Canvas Tent Structure Design Eric
More informationThe Challenge of Pilot Supply. Captain Andy O Shea Head of Training Ryanair Chairman ATPG
The Challenge of Pilot Supply Captain Andy O Shea Head of Training Ryanair Chairman ATPG What is the ATPG? Who are its members? What does it do? Why is it relevant? Career Paths 2 YEARS Current Entry
More informationPicture Book Reading
Overhead #1 Picture Book Reading Picture book reading provides children with many of the skills necessary for school readiness. How we read to children is as important as how often we read to them. Children
More informationCSCI 0931: Introduc1on to Computa1on for the Humani1es and Social Sciences
CSCI 0931: Introduc1on to Computa1on for the Humani1es and Social Sciences Hammurabi Mendes Spring 2015 CSCI 0931 - Intro. to Comp. for the Humani1es and Social Sciences 1 hcp://bost.ocks.org/mike/miserables/
More informationTransportation & Public Facilities
Alaska Department of Transportation & Public Facilities Questions on Draft Aircraft Registration Regulations (updated 11/15/17) 1. Why is DOT&PF registering airplanes? There is an FAA requirement to provide
More informationSomchanok Tiabtiamrat* and Supachok Wiriyacosol ABSTRACT
Kasetsart J. (Nat. Sci.) 45 : 967-976 (2011) Risk Formulation of Hull Loss Accidents in Narrow-Body Commercial Jet Aircraft (Boeing 737, Airbus A320, McDonnell Douglas MD82, Tupolev TU134 and TU154 and
More informationAn Analytical Approach to the BFS vs. DFS Algorithm Selection Problem 1
An Analytical Approach to the BFS vs. DFS Algorithm Selection Problem 1 Tom Everitt Marcus Hutter Australian National University September 3, 2015 Everitt, T. and Hutter, M. (2015a). Analytical Results
More informationIncluding Linear Holding in Air Traffic Flow Management for Flexible Delay Handling
Including Linear Holding in Air Traffic Flow Management for Flexible Delay Handling Yan Xu and Xavier Prats Technical University of Catalonia (UPC) Outline Motivation & Background Trajectory optimization
More informationENAIRE DEVELOPMENTS NM B2B WEB SERVICES TECHNICAL FORUM. enaire.es. Network Manager nominated by the European Commission
ENAIRE DEVELOPMENTS NM B2B WEB SERVICES TECHNICAL FORUM Network Manager nominated by the European Commission Development Guidelines GOAL: to develop tools that help solving operational issues in ACCs,
More informationFlight Testing the Wake Encounter Avoidance and Advisory system: First results
Flight Testing the Wake Encounter Avoidance and Advisory system: First results Dr. Fethi Abdelmoula, Tobias Bauer DLR Institute of Flight Systems Paris, May 15 th & 16 th, 2013 WakeNet-Europe Workshop
More informationProgressive Technology Facilitates Ground-To-Flight-Deck Connectivity
Progressive Technology Facilitates Ground-To-Flight-Deck Connectivity By Robert Turner Connected Airline and Connected Flight Deck are two of the latest phrases regularly being voiced by the airline industry,
More informationDATA APPLICATION CATEGORY 25 FARE BY RULE
DATA APPLICATION CATEGORY 25 FARE BY RULE The information contained in this document is the property of ATPCO. No part of this document may be reproduced, stored in a retrieval system, or transmitted in
More informationInterval Management A Brief Overview of the Concept, Benefits, and Spacing Algorithms
Center for Advanced Aviation System Development Interval Management A Brief Overview of the Concept, Benefits, and Spacing Algorithms Dr. Lesley A. Weitz Principal Systems Engineer The MITRE Corporation,
More informationELOQUA INTEGRATION GUIDE
ELOQUA INTEGRATION GUIDE VERSION 2.2 APRIL 2016 DOCUMENT PURPOSE This purpose of this document is to guide clients through the process of integrating Eloqua and the WorkCast Platform and to explain the
More informationBUSINESS AND GENERAL AVIATION RELOADABLE CUSTOMER DEFINITIONS (RCD) WORKSHEET FOR SmartRunwayTM and SmartLandingTM
BUSINESS AND GENERAL AVIATI RELOADABLE CUSTOMER DEFINITIS (RCD) All options must be completed, even if selected. Worksheets with blank entries will not be processed until all questionable selections are
More informationAeronautical Information Services Issue 1 30 May 2012
United Kingdom Overseas Territories Aviation Circular OTAC 175-1 Aeronautical Information Services Issue 1 30 May 2012 GENERAL Effective: on issue Overseas Territories Aviation Circulars are issued to
More informationORGANISER HOST LEAD SPONSOR
ORGANISER HOST LEAD SPONSOR ASBU and Implementation Challenge Juliana Barros Gonçalves ATC Programme Manager, Atech ASBU IMPLEMENTATION Date 05/12/2017 ASBU industry consideration Juliana Barros Gonçalves
More informationFOLDING ARM AWNINGS STYLISH DESIGNS EXCEPTIONAL STRENGTH
FOLDING ARM AWNINGS STYLISH DESIGNS EXCEPTIONAL STRENGTH Sunway Folding Arm Awnings offer the best in European performance, designed to suit the Australian climate. The entire range features Dyneema tape
More information