Symbolic Ingredients Sample Clauses

Symbolic Ingredients. Given an STS with a switch relation →. We define a generalised switch relation =⇒⊆ L × uτ ×F(V ∪I) ×T(V ∪I)V × L (see the deduction rules of Table 5). The intuition behind this relation is that it abstracts from the unobservable events that possibly precede and follow an observable event. It is subsequently used in the definition of a symbolic counterpart of the after relation of Sect. 3.1. Table 5. Deduction rules for generalised switches τ,T,id τ,ϕ,ρ l ===⇒ l ''' λ,ψ,π ''' '' l −−−→ l τ,χ,ζ '' ' l ===⇒ l λ∈Λτ l ====⇒ l ' λ, ϕ∧ψ[ρ]∧(χ[π])[ρ], [ρ]◦[π]◦ζ l ===================⇒ l Definition 13. Let ⟨L, l0, V, ι, I, u, →⟩ be an STS. – An instantiated location is a pair (l, a), where l∈L is a location and a is a mapping of the set of location variables to ground terms, i.e. a∈T(∅)V . – A stimulus (resp. reaction) is a pair (λ, η), where λ∈uI is an input gate (resp. λ∈uU is an output gate) and η∈T(∅)type(λ) is a mapping of the inter- action variables of λ to ground terms. Input constraints represent the conditions for the input gates under which an instantiated location is specified to proceed.
AutoNDA by SimpleDocs

Related to Symbolic Ingredients

  • Products Products available under this Contract are limited to Software, including Software as a Service, products and related products as specified in Appendix C, Pricing Index. Vendor may incorporate changes to their product offering; however, any changes must be within the scope of products awarded based on the posting described in Section 1.B above. Vendor may not add a manufacturer’s product line which was not included in the Vendor’s response to the solicitation described in Section 1.B above.

  • Biological Samples If so specified in the Protocol, Institution and Principal Investigator may collect and provide to Sponsor or its designee Biological Samples (“Biological Samples”). 12.2.

  • Product ACCEPTANCE Unless otherwise provided by mutual agreement of the Authorized User and the Contractor, Authorized User(s) shall have thirty (30) days from the date of delivery to accept hardware products and sixty (60) days from the date of delivery to accept all other Product. Where the Contractor is responsible for installation, acceptance shall be from completion of installation. Failure to provide notice of acceptance or rejection or a deficiency statement to the Contractor by the end of the period provided for under this clause constitutes acceptance by the Authorized User(s) as of the expiration of that period. The License Term shall be extended by the time periods allowed for trial use, testing and acceptance unless the Commissioner or Authorized User agrees to accept the Product at completion of trial use. Unless otherwise provided by mutual agreement of the Authorized User and the Contractor, Authorized User shall have the option to run testing on the Product prior to acceptance, such tests and data sets to be specified by User. Where using its own data or tests, Authorized User must have the tests or representative set of data available upon delivery. This demonstration will take the form of a documented installation test, capable of observation by the Authorized User, and shall be made part of the Contractor’s standard documentation. The test data shall remain accessible to the Authorized User after completion of the test. In the event that the documented installation test cannot be completed successfully within the specified acceptance period, and the Contractor or Product is responsible for the delay, Authorized User shall have the option to cancel the order in whole or in part, or to extend the testing period for an additional thirty (30) day increment. Authorized User shall notify Contractor of acceptance upon successful completion of the documented installation test. Such cancellation shall not give rise to any cause of action against the Authorized User for damages, loss of profits, expenses, or other remuneration of any kind. If the Authorized User elects to provide a deficiency statement specifying how the Product fails to meet the specifications within the testing period, Contractor shall have thirty (30) days to correct the deficiency, and the Authorized User shall have an additional sixty (60) days to evaluate the Product as provided herein. If the Product does not meet the specifications at the end of the extended testing period, Authorized User, upon prior written notice to Contractor, may then reject the Product and return all defective Product to Contractor, and Contractor shall refund any monies paid by the Authorized User to Contractor therefor. Costs and liabilities associated with a failure of the Product to perform in accordance with the functionality tests or product specifications during the acceptance period shall be borne fully by Contractor to the extent that said costs or liabilities shall not have been caused by negligent or willful acts or omissions of the Authorized User’s agents or employees. Said costs shall be limited to the amounts set forth in the Limitation of Liability Clause for any liability for costs incurred at the direction or recommendation of Contractor.

  • Labelling The distributor, on behalf of the selected vendor agrees that all supplies of articles should invariably contain the following information on its label and the carton. One information should not be overlapped by any other information needed to be furnished. The label should contain :

  • Labeling Upon request, Lessee will xxxx the Equipment indicating Lessor's interest with labels provided by Lessor. Lessee will keep all Equipment free from any other marking or labeling which might be interpreted as a claim of ownership.

  • Customer Materials 12.1 The Supplier including any of its employees, agents, consultants, contractors and any third party shall:

  • Operator Materials Operator retains all right, title and interest in and to any and all of Operator’s software, materials, tools, forms, documentation, training and implementation materials and intellectual property (“Operator Materials”). Operator grants to the LEA a personal, nonexclusive license to use the Operator Materials for its own non-commercial, incidental use as set forth in the Service Agreement. Operator represents that it has all intellectual property rights necessary to enter into and perform its obligations in this DPA and the Service Agreement, warrants to the District that the District will have use of any intellectual property contemplated by the Service Agreement free and clear of claims of any nature by any third Party including, without limitation, copyright or patent infringement claims, and agrees to indemnify the District for any related claims.

  • RE-WEIGHING PRODUCT Deliveries are subject to re- weighing at the point of destination by the Authorized User. If shrinkage occurs which exceeds that normally allowable in the trade, the Authorized User shall have the option to require delivery of the difference in quantity or to reduce the payment accordingly. Such option shall be exercised in writing by the Authorized User.

  • Product Labeling The labeling of all Licensed Products sold or offered for sale under this Agreement shall expressly state that the Licensed Product is manufactured under a license from the Medicines Patent Pool.

  • Software Components At any time during the contract period of performance, the Government may require the Contractor to remedy any failure of the software to comply with the requirements of this contract. Support shall consist of correction of errors, provision of modifications, improvements, and other products the original manufacturer makes available to the Government without charge. The Government shall also be provided full documentation of changes and/or modifications to the software provided to meet the Government's requirements.

Time is Money Join Law Insider Premium to draft better contracts faster.