Relative Algebras over a Concrete Category Sample Clauses

Relative Algebras over a Concrete Category. We have obtained the third, unified recipe for state-and-effect tri- angles in Theorem 4.8, together with a general healthiness result (Theorem 4.10). The remaining piece towards the full coverage of healthiness results like Theorem 1.1 is: how specific predicate trans- former semantics—specified by a concrete modality (like wp♦ via ♦)—is related to constructs in the general recipe in Theorem 4.8. D To fill this missing piece we shall study a situation where is EM
AutoNDA by SimpleDocs

Related to Relative Algebras over a Concrete Category

  • COSTS DISTRIBUTED THROUGH COUNTYWIDE COST ALLOCATIONS The indirect overhead and support service costs listed in the Summary Schedule (attached) are formally approved as actual costs for fiscal year 2020-21, and as estimated costs for fiscal year 2022-23 on a “fixed with carry-forward” basis. These costs may be included as part of the county departments’ costs indicated effective July 1, 2022, for further allocation to federal grants and contracts performed by the respective county departments.

  • Unbundled Subloop Distribution (USLD) 2.8.2.1 The USLD facility is a dedicated transmission facility that BellSouth provides from an End User’s point of demarcation to a BellSouth cross-connect device. The BellSouth cross-connect device may be located within a remote terminal (RT) or a stand-alone cross-box in the field or in the equipment room of a building. The USLD media is a copper twisted pair that can be provisioned as a 2-wire or 4-wire facility. BellSouth will make available the following subloop distribution offerings where facilities exist: USLD – Voice Grade (USLD-VG) Unbundled Copper Subloop (UCSL) USLD – Intrabuilding Network Cable (USLD-INC (aka riser cable))

  • Falls Far Below Target  Upon further review following a preliminary Pending rating, the Commission identifies significant financial risk and has concerns about financial viability such that heightened monitoring and/or intervention are necessary. 2.b.

  • Under-Frequency and Over Frequency Conditions The New York State Transmission System is designed to automatically activate a load- shed program as required by the NPCC in the event of an under-frequency system disturbance. Developer shall implement under-frequency and over-frequency relay set points for the Large Generating Facility as required by the NPCC to ensure “ride through” capability of the New York State Transmission System. Large Generating Facility response to frequency deviations of predetermined magnitudes, both under-frequency and over-frequency deviations, shall be studied and coordinated with the NYISO and Connecting Transmission Owner in accordance with Good Utility Practice. The term “ride through” as used herein shall mean the ability of a Generating Facility to stay connected to and synchronized with the New York State Transmission System during system disturbances within a range of under-frequency and over-frequency conditions, in accordance with Good Utility Practice and with NPCC Regional Reliability Reference Directory # 12, or its successor.

  • Reallocation to a Class with a Lower Salary Range Maximum 1. If the employee meets the skills and abilities requirements of the position and chooses to remain in the reallocated position, the employee retains existing appointment status and has the right to be placed on the Employer’s internal layoff list for the classification occupied prior to the reallocation.

  • OPWC/Local Subdivision Participation Percentages For the sole and express purpose of financing/reimbursing costs of the Project, the estimated costs of which are set forth and described below, the Recipient hereby designates its Local Subdivision Percentage Contribution as amounting to a minimum total value of 50% of the total Project Cost. The OPWC Participation Percentage shall be 50% not to exceed $100,000.

  • P R E A M B L E 26 27 This Agreement is made and entered into between Peninsula School District Number 401 28 (hereinafter "District") and Public School Employees of Peninsula, Bus Driver Unit, an affiliate of 29 Public School Employees of Washington (hereinafter "Association"). 31 In accordance with the provisions of the Public Employees Collective Bargaining Act and regulations 32 promulgated pursuant thereto, and in consideration of the mutual covenants contained herein, the 33 parties agree as follows: 34 35 37 A R T I C L E I 38 39 RECOGNITION AND COVERAGE OF AGREEMENT 40 41 Section 1.1. 42 The District hereby recognizes the Association as the exclusive representative of all employees in the 43 bargaining unit described in Section 1.3, and the Association recognizes the responsibility of 44 representing the interests of all such employees.

  • STRS PICK-UP A. The Board shall pick-up contributions to the State Teachers’ Retirement System paid on behalf of the employees in the bargaining unit utilizing the salary reduction method under the following terms and conditions:

  • What if I Make a Contribution for Which I Am Ineligible or Change My Mind About the Type of IRA to Which I Wish to Contribute? Prior to the due date (including extensions) for filing your tax return, you may elect to “recharacterize” amounts that you contributed to an IRA during the year by making a recharacterization of the contributed amount and earnings. Thus, for example, if you contribute amounts to a Xxxx XXX and later determine that you are ineligible to make a Xxxx XXX contribution for the year, you may at any time prior to the tax return due date for the year (including extensions) make a recharacterization of the contributions and earnings to a Traditional IRA.

  • When Can I Make Contributions You may make annual contributions to your Xxxx XXX any time up to and including the due date for filing your tax return for the year, not including extensions. You may continue to make regular contributions to your Xxxx XXX even after you attain RMD age. In addition, rollover contributions and transfers (to the extent permitted as discussed below) may be made at any time, regardless of your age.

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