Universes Sample Clauses

Universes. The type system is initialised with a hierarchy of universes Un for n = 0, 1, 2, . . . , prior to the formation of any user-defined types.5 In theory, a universe has the capacity to house any number of types, and is limited only by the user’s imagination. A universe U plays two roles: (i) the role of a type when the focus is on what objects U houses, and (ii) the role of an object when the focus is on what universe houses U . Formation Rule (U ) The formation rule of U asserts that Un is an object of Un+1 for all natural numbers n, i.e. Un : Un+1 (U F ) . 1. The first universe U0 is known as the universe of small types because its inhabitants (small types like Nat, say) house primitive objects, not types. The second and subsequent universes U1, U2, . . . are known as the universes of large types because their inhabitants house types. Un+1 houses larger types than Un for all n.
AutoNDA by SimpleDocs

Related to Universes

  • University Any notice may be served upon the University by delivering it, in writing, to the University at the address set forth on the last page of this Agreement, by depositing it in a United States Postal Service deposit box with the postage fully prepaid and with the notice addressed to the University at the aforementioned address, or by sending a facsimile of it to the University facsimile number set forth on the last page of this Agreement.

  • Technology Discoveries, innovations, Know-How and inventions, whether patentable or not, including computer software, recognized under U.S. law as intellectual creations to which rights of ownership accrue, including, but not limited to, patents, trade secrets, maskworks and copyrights developed under this Agreement.

  • MIDDLE SCHOOLS 1. Where there are no negotiated provisions concerning the implementation or operation of a middle school program, this article shall govern the implementation or operation of a middle school program in a school district. 2. Should the employer seek to establish a middle school program in one or more schools in a district, the employer and the local shall meet, no later than ten (10) working days from a decision of the employer to implement a middle school program, in order to negotiate any alternate or additional provisions to the Collective Agreement which are necessary to accommodate the intended middle school program. 3. In the absence of any other agreement with respect to the instructional day and preparation time, the provisions of the Collective Agreement with regard to secondary schools shall apply to middle schools. 4. If the employer and the local are unable to agree on what, if any, alternate or additional provisions of the collective agreement are necessary to accommodate the intended middle school program(s), either party may refer the matter(s) in dispute to expedited arbitration for final and binding resolution pursuant to Article D.5.5 below. a. The jurisdiction of the arbitrator shall be limited to the determination of alternate or additional provisions necessary to accommodate the intended middle school program(s). b. In the event the arbitration is not concluded prior to the implementation of the middle school program, the arbitrator will have remedial authority to make appropriate retroactive modifications and adjustments to the agreement. c. The arbitration shall convene within thirty (30) working days of referral to arbitration in accordance with the following: i. Within ten (10) working days of the matter being referred to arbitration, the parties shall identify all issues in dispute; ii. Within a further five (5) working days, there shall be a complete disclosure of particulars and documents; iii. Within a further five (5) working days, the parties shall exchange initial written submissions; iv. The hearing shall commence within a further ten (10) working days; and v. The arbitrator shall render a final and binding decision within fifteen (15) working days of the arbitration concluding. 6. Where a middle school program has been established on or prior to ratification of the 2006-2011 Provincial Collective Agreement, the existing provisions shall be retained unless the parties mutually agree that they should be amended.

  • Internet Services Transfer Agent shall make available to Fund and Shareholders, through its web sites, including but not limited to xxx.xxxxxxxxxxxxx.xxx (collectively, “Web Site”), online access to certain Account and Shareholder information and certain transaction capabilities (“Internet Services”), subject to Transfer Agent’s security procedures and the terms and conditions set forth herein and on the Web Site. Transfer Agent provides Internet Services “as is,” on an “as available” basis, and hereby specifically disclaims any and all representations or warranties, express or implied, regarding such Internet Services, including any implied warranty of merchantability or fitness for a particular purpose and implied warranties arising from course of dealing or course of performance. Transfer Agent shall at all times use reasonable care in performing Internet Services under this Agreement.

  • Licensed Technology (a) LICENSOR is not aware of any interference, infringement, misappropriation, or other conflict with any intellectual property rights of third parties, and LICENSOR has never received any charge, complaint, claim, demand, or notice alleging any such interference, infringement, misappropriation, or violation (including any claim that LICENSOR must license or refrain from using any intellectual property rights of any third party). To the knowledge of LICENSOR, no third party has interfered with, infringed upon, misappropriated, or otherwise come into conflict with any of the LICENSED TECHNOLOGY. (b) Exhibit A identifies each patent or registration which has been issued to LICENSOR with respect to any of the LICENSED TECHNOLOGY and identifies each pending patent application or application for registration which LICENSOR has made with respect to any of the LICENSED TECHNOLOGY. LICENSEE acknowledges that LICENSOR has previously made available to LICENSEE correct and complete copies of all such patents, registrations and applications (as amended to-date) in LICENSOR’s possession and has made available to LICENSEE correct and complete copies of all other written documentation in LICENSOR’s possession evidencing ownership and prosecution (if applicable) of each such item. (c) Exhibit A identifies each item of LICENSED TECHNOLOGY that is assigned to LICENSOR or that LICENSOR uses pursuant to license, sublicense, agreement, or permission. LICENSOR has made available to LICENSEE correct and complete copies of all such licenses, sublicenses, agreements, patent prosecution files and permissions (as amended to-date) in LICENSOR’s possession. With respect to each item of LICENSED TECHNOLOGY required to be identified in Exhibit A and to the knowledge of LICENSOR: (i) the license, sublicense, agreement, or permission covering the item is legal, valid, binding, enforceable, and in full force and effect; (ii) the license, sublicense, agreement, or permission will continue to be legal, valid, binding, enforceable, and in full force and effect on identical terms following the consummation of the transactions contemplated hereby; (iii) no Party to the license, sublicense, agreement, or permission is in breach or default, and no event has occurred which with notice or lapse of time would constitute a breach or default or permit termination, modification, or acceleration thereunder; (iv) no party to the license, sublicense, agreement, or permission has repudiated any provision thereof; (v) the underlying item of LICENSED TECHNOLOGY is not subject to any outstanding lien or encumbrance, injunction, judgment, order, decree, ruling, or charge; (vi) no action, suit, proceeding, hearing, investigation, charge, complaint, claim, or demand is pending or is threatened which challenges the legality, validity, or enforceability of the underlying item of LICENSED TECHNOLOGY; and (vii) except as provided in Exhibit A, LICENSOR has not granted any license or similar right to the LICENSED TECHNOLOGY within the GENERAL FIELD or PARTHENOGENESIS FIELD.

  • New Technology When new or updated technology is introduced into a workplace, it will be the responsibility of the employer to provide appropriate and, if necessary, ongoing training to the employees directly affected. Such training will include any health and safety implications or information that will enable employees to operate the equipment without discomfort and will help maintain their general well-being.

  • Licensee “Licensee” means the individual or company that has entered into an Agreement with the Embassy. “Offer” means a response to a solicitation that, if accepted, would bind the offeror to perform the resultant Agreement.

  • Research Use The Requester agrees that if access is approved, (1) the PI named in the DAR and (2) those named in the “Senior/Key Person Profile” section of the DAR, including the Information Technology Director and any trainee, employee, or contractor1 working on the proposed research project under the direct oversight of these individuals, shall become Approved Users of the requested dataset(s). Research use will occur solely in connection with the approved research project described in the DAR, which includes a 1-2 paragraph description of the proposed research (i.e., a Research Use Statement). Investigators interested in using Cloud Computing for data storage and analysis must request permission to use Cloud Computing in the DAR and identify the Cloud Service Provider (CSP) or providers and/or Private Cloud System (PCS) that they propose to use. They must also submit a Cloud Computing Use Statement as part of the DAR that describes the type of service and how it will be used to carry out the proposed research as described in the Research Use Statement. If the Approved Users plan to collaborate with investigators outside the Requester, the investigators at each external site must submit an independent DAR using the same project title and Research Use Statement, and if using the cloud, Cloud Computing Use Statement. New uses of these data outside those described in the DAR will require submission of a new DAR; modifications to the research project will require submission of an amendment to this application (e.g., adding or deleting Requester Collaborators from the Requester, adding datasets to an approved project). Access to the requested dataset(s) is granted for a period of one (1) year, with the option to renew access or close-out a project at the end of that year. Submitting Investigator(s), or their collaborators, who provided the data or samples used to generate controlled-access datasets subject to the NIH GDS Policy and who have Institutional Review Board (IRB) approval and who meet any other study specific terms of access, are exempt from the limitation on the scope of the research use as defined in the DAR.

  • Diagnostic Services All necessary procedures to assist the dentist in evaluating the existing conditions to determine the required dental treatment, including: Oral examinations Consultations

  • Internet Service In the event that internet is required during your stay, please verify that the Property selected provides the service. Rules of the House: In the event there are rules specific to your Property either required by the Owner or if applicable from an HOA, they will be posted at the home and your compliance is necessary. Rental Unit for Sale: Occasionally a Property may go on the market for sale. In such cases Agent reserves the right to show the Property to potential buyers. Agent will make every effort to schedule the showing at a time that is convenient for Tenant, so as not to interrupt your vacation. Tenant’s cooperation is appreciated. Consumable Products: Paper products, laundry/dish detergent, personal toiletry items and food staples are not included in the Properties. Linens: Linens are included with all Properties for reservations up to 2 days or more. If linens and towels are damaged or missing there will be an added fee to replace and/or clean those items. Linens and towels should only be used for sleeping in and drying off. Damaged or missing bath towels are $25, hand towels are $15, wash cloths are $10, sheets are $30, pillow cases are $15, and bath mats are $20. Damaged items might include makeup, blood stains, excessive dirt, tanning lotion, and human waste.

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