Reasoning Support Sample Clauses

Reasoning Support. ‌ To reason about Circus models, three complementary strategies are avail- able. The first one is via algebraic refinement laws. Such laws can be proved within the Isabelle/UTP CSP semantics and enable us to transform mecha- nised Circus models in a piecewise and stepwise manner. For proofs of the laws, we have implemented automatic tactics that transform a conjecture about processes and actions within Isabelle/UTP into a pure HOL predi- cate, eliminating all artefacts of our UTP predicate models, such as lenses and state spaces. Those tactics are called rel simp, rel auto and rel blast and are defined in a separate theory of Isabelle/UTP. They use principles of transfer [21] and interpretation [14]. Many refinement laws about CSP can be proved in this manner, including basic laws for communication prefixes, external choice, recursion and parallel composition. Once a refinement law is proved, it can be used to rewrite part of a Circus model. A refinement of the overall Circus specification in which the part is embedded is obtained exploiting monotonicity of the language constructs. We have proved various monotonicity laws. The approach described in [31] can be used to automate their application, using a tactic language as well as window inference techniques. We note that refinement is also applicable to prove, for instance, that a trace tr = (x0, x0, · · · , en ) is exhibited by a Circus model. This is by turning the ^ trace into a process T = e1 −→ e2 −→ · · · −→ en and then composing that process in parallel with the Circus model, synchronising on all events in the trace. The parallel composition has to be refined by T itself, which can be checed using step laws for communication prefixes.
Sample 1
AutoNDA by SimpleDocs

Related to Reasoning Support

  • Engineering Support When requested by CLEC, CBT shall provide timely engineering support. CLEC shall pay CBT for the use of its engineering services at charges previously agreed to by CLEC.

  • Marketing Support Planet Payment will provide such marketing support as Acquirer may reasonably require in connection with marketing the Acquirer Program to Merchants, including but not limited to: (a) The participation of Planet Payment personnel at meetings (if available) or conference calls with Merchants; (b) Assistance in the creation of collateral materials; (c) Assistance in the drafting of contractual agreements and addenda for Acquirers; (d) Assistance in training Merchants in the use of Planet Payment’s systems and reports, which will be made available to them under the Acquirer Program and the operation of the Acquirer Program, including but not limited to use of Planet Payment’s MWEB on-line reporting system and providing suitable training materials.

  • Technical Support State Street will provide technical support to assist the Fund in using the System and the Data Access Services. The total amount of technical support provided by State Street shall not exceed 10 resource days per year. State Street shall provide such additional technical support as is expressly set forth in the fee schedule in effect from time to time between the parties (the “Fee Schedule”). Technical support, including during installation and testing, is subject to the fees and other terms set forth in the Fee Schedule.

  • Purchase Order Duration Purchase orders issued pursuant to this State Term Contract must be received by the Contractor no later than close of business on the last day of the Contract’s term to be considered timely. The Contractor is obliged to fill those orders in accordance with the Contract’s terms and conditions. Purchase orders received by the Contractor after close of business on the last day of the State Term Contract’s term shall be considered void. Purchase orders for a one-time performance of contractual services shall be valid through the performance by the Contractor, and all terms and conditions of the State Term Contract shall apply to the single delivery/performance, and shall survive the termination of the Contract. Contractors are required to accept purchase orders specifying delivery schedules exceeding the contracted schedule even when such extended delivery will occur after expiration of the State Term Contract. For example, if a state term contract calls for delivery 30 days after receipt of order (ARO), and an order specifies delivery will occur both in excess of 30 days ARO and after expiration of the state term contract, the Contractor will accept the order. However, if the Contractor expressly and in writing notifies the ordering office within ten (10) calendar days of receipt of the purchase order that Contractor will not accept the extended delivery terms beyond the expiration of the state term contract, then the purchase order will either be amended in writing by the ordering entity within ten (10) calendar days of receipt of the contractor’s notice to reflect the state term contract delivery schedule, or it shall be considered withdrawn. The duration of purchase orders for recurring deliveries of commodities or performance of services shall not exceed the expiration of the State Term Contract by more than twelve months. However, if an extended pricing plan offered in the State Term Contract is selected by the Customer, the Contract terms on pricing plans shall govern the maximum duration of purchase orders reflecting such pricing plans. Timely purchase orders shall be valid through their specified term and performance by the Contractor, and all terms and conditions of the State Term Contract shall apply to the recurring delivery/performance as provided herein, and shall survive the termination of the Contract. Ordering offices shall not renew a purchase order issued pursuant to a State Term Contract if the underlying contract expires prior to the effective date of the renewal.

  • Payment Invoicing The Contractor will be paid upon submission of invoices to the Customer after delivery and acceptance of commodities or contractual services is confirmed by the Customer. Invoices must contain sufficient detail for an audit and contain the Contract Number and the Contractor’s Federal Employer Identification Number.

  • PRODUCT SUPPORT Partners may provide support for Products and other value-added services, and Partner is responsible for the performance of any services it provides. If Customer purchases Microsoft Support Services through a Partner, Microsoft will be responsible for the performance of those services subject to the terms of this Agreement.

  • Forecasts and Purchase Orders (a) Following Regulatory Approval of one of the Initial Products during the term of this Agreement, Reliant shall provide to ASL no later than the first day of the first month of each calendar quarter a non-binding good faith estimate (“Quarterly Forecast”) by quarter of Reliant’s requirements for the Active Ingredient for the calendar quarter and the succeeding three (3) calendar quarters. Reliant will be obligated to purchase 75% of the quantities of API forecasted for the first two (2) succeeding calendar quarters of each Quarterly Forecast. Within (30) days of Regulatory Approval, Reliant shall provide an initial forecast (“Initial Forecast”) for the four calendar quarters following Regulatory Approval. (b) Reliant shall place binding purchase orders for Active Ingredient by written or electronic purchase order (or by any other means agreed to by the parties) to ASL, which shall be placed at least ninety (90) days prior to desired date of delivery. (c) ASL shall be obligated to supply Active Ingredient as ordered by Reliant. To the extent purchase orders in any calendar month exceed One Hundred Fifty percent (150%) of the Quarterly Forecast for the relevant quarter, ASL shall use its best efforts to supply 125% of the quantity ordered. (d) ASL shall maintain minimum inventory levels equal to the binding portion of the then current Quarterly Forecast. The Active Ingredient shall be shipped C.I.F. Duty Unpaid to a Designated Facility or other location agreed by the parties. Active Ingredient shall be shipped upon completion of production in temperature-controlled vehicles in accordance with the specifications including light protecting containers and the Quality Agreement in order to maintain the quality of the Active Ingredient. Carriers selected by ASL must be commercially reputable, able to track shipments and fully insured with adequate coverage to replace the value of the goods shipped. Title and risk of loss pass on delivery to the Designated Facility. (e) All shipments of Active Ingredient shall be accompanied by a packing slip and a certificate of analysis which describes the Active Ingredient, states the purchase order number, confirms that the Active Ingredient conforms in all ways with the Specifications, the Process Description and was manufactured in accordance with GMP and all other requirements of the Act. To the extent of any conflict or inconsistency between this Agreement and any purchase order, purchase order release, confirmation, acceptance or any similar document, the terms of this Agreement shall govern. (f) Reliant shall notify ASL of any short-shipment claims within thirty (30) days of receipt of a shipment of Active Ingredient. (g) ASL shall not be obligated to accept any returns of Active Ingredient other than as a result of such Active Ingredient failing to meet the Specifications in accordance with Section 2.9(a), was not manufactured in accordance with GMP, or does not otherwise comply with the manufacturing, storage and/or transportation requirements of the Act.

  • Technical Support Services 2.1 The technical support services (the "Services"): Party A agrees to provide to Party B the relevant services requested by Party B, which are specified in Exhibit 1 attached hereto ("Exhibit 1").

  • Research Support (a) Having regard to the resources reasonably available for such purposes, the Operator will cooperate with AHS to provide such participation by its Staff as may be reasonable in relation to the carrying out of research within the Province. (b) The Operator agrees to promptly notify AHS in the event that it undertakes or agrees to participate in any form of clinical trial, research project, instrument use, or similar activity which in any way relates to the Services provided under this Agreement. The Operator shall, upon request, provide AHS with written evidence of Client disclosure and consent to research.

  • Service and Support 1. Brainlab shall be responsible for providing service and support for the Brainlab Technology in all Fields of Use. Brainlab shall be responsible for providing Xxxxx 0 and Level 2 service and support to customers for Products sold by Brainlab in the Therapeutic Delivery Field of Use and for Integrated Products sold by Brainlab in the MR Guided Stereotactic Placement Field of Use. Level 1 support shall include onsite training, help desk services, reseller interfacing, problem isolation and diagnosis, and Level 2 support shall include loading bug fixes, patches, and minor repair services. To the extent relating to SurgiVision Technology, SurgiVision shall provide Level 3 support, which shall include backup support services to assist Brainlab in meeting Level 1 and Level 2 support obligations by addressing certain technical support issues that are beyond the scope of Brainlab’s expertise. Brainlab will pay SurgiVision for Xxxxx 0 support services at standard rates as described in Appendix C, provided that such services were not required for Co-Development and Distribution Agreement between SurgiVision, Inc. and Brainlab Aktiengesellschaft CONFIDENTIAL warranty repair as contemplated in section X.3 below. Appendix C may be changed from time to time, as appropriate upon the mutual agreement of Brainlab and SurgiVision. SurgiVision will provide spare parts and other items for service to Brainlab at a price equal to [***]. Brainlab reserves the right to offer service packages to the end customer at its discretion. 2. SurgiVision shall be responsible for providing service and support to customers in the United States for ClearPoint Products sold in the MR Guided Stereotactic Placement Field of Use; provided, however, that SurgiVision shall be responsible for attending only the initial clinical cases using the ClearPoint Products (to the extent attendance is requested by the customer). For the avoidance of any doubt, the foregoing obligation does not apply to Integrated Products. To the extent Brainlab has a service package with the end user customer that covers ClearPoint Products (not including Integrated Products), SurgiVision shall be entitled to reasonable compensation from Brainlab under such arrangement in an amount to be agreed. 3. SurgiVision shall provide training on the ClearPoint Products, including joint attendance of SurgiVision and Brainlab personnel in initial clinical cases in the applicable region, to Brainlab personnel to enable Brainlab personnel to provide service and support to customers outside of the United States.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!