Complete Offline Local Symmetries Sample Clauses

Complete Offline Local Symmetries. Recall that our goal is to compute the local symmetry graph. This involves finding all pairs of models that are locally symmetric in M . We abbreviate such pairs of models as LSPs. To compute, we traverse the semilattice I and find the semantic symmetry group (specifically a generator set) associated with each PI. This sym- metry group will encode both clause (model) symmetry and variable symmetry. The simplest approach employs a depth-first traversal of I. Each element of I is a subset of L, and different algorithms for subset enumeration exist. Siblings are ordered relative to some lexicographic ordering, and repeats are discarded. Specifically,we employ a depth-first traversal called MILE that starts with the empty PI. Sibling PIs are ordered in inverse lexicographic ordering, and repeats are discarded.2
AutoNDA by SimpleDocs

Related to Complete Offline Local Symmetries

  • COVID-19 Vaccine Passports Pursuant to Texas Health and Safety Code, Section 161.0085(c), Contractor certifies that it does not require its customers to provide any documentation certifying the customer’s COVID-19 vaccination or post-transmission recovery on entry to, to gain access to, or to receive service from the Contractor’s business. Contractor acknowledges that such a vaccine or recovery requirement would make Contractor ineligible for a state-funded contract.

  • Acquisition Services (i) Serve as the Company’s investment and financial advisor and provide relevant market research and economic and statistical data in connection with the Company’s assets and investment objectives and policies; (ii) Subject to Section 4 hereof and the investment objectives and policies of the Company: (a) locate, analyze and select potential investments; (b) structure and negotiate the terms and conditions of transactions pursuant to which investments in Properties, Loans and other Permitted Investments will be made; (c) acquire, originate and dispose of Properties, Loans and other Permitted Investments on behalf of the Company; (d) arrange for financing and refinancing and make other changes in the asset or capital structure of investments in Properties, Loans and other Permitted Investments; and (e) enter into leases, service contracts and other agreements for Properties, Loans and other Permitted Investments; (iii) Perform due diligence on prospective investments and create due diligence reports summarizing the results of such work; (iv) Prepare reports regarding prospective investments that include recommendations and supporting documentation necessary for the Directors to evaluate the proposed investments; (v) Obtain reports (which may be prepared by the Advisor or its Affiliates), where appropriate, concerning the value of contemplated investments of the Company; (vi) Deliver to or maintain on behalf of the Company copies of all appraisals obtained in connection with the Company’s investments; and (vii) Negotiate and execute approved investments and other transactions, including prepayments, maturities, workouts and other settlements of Loans and other Permitted Investments.

  • Signaling Link Transport 9.2.1 Signaling Link Transport is a set of two or four dedicated 56 kbps transmission paths between Global Connection-designated Signaling Points of Interconnection that provide appropriate physical diversity.

  • EXTRA-CURRICULAR ACTIVITIES 1. In this Agreement, extra-curricular programs and activities include all those that are beyond the provincially prescribed and locally determined curricula of the school district. 2. The Board and the Association consider it desirable that teachers participate in extra-curricular activities, and recognize that participation in extra-curricular activities by the individual teacher is on a voluntary basis.

  • Radiation Therapy/Chemotherapy Services This plan covers chemotherapy and radiation services. This plan covers respiratory therapy services. When respiratory services are provided in your home, as part of a home care program, durable medical equipment, supplies, and oxygen are covered as a durable medical equipment service.

  • Durable Medical Equipment (DME), Medical Supplies, Prosthetic Devices, Enteral Formula or Food, and Hair Prosthesis (Wigs) This plan covers durable medical equipment and supplies, prosthetic devices and enteral formula or food as described in this section. DME is equipment which: • can withstand repeated use; • is primarily and customarily used to serve a medical purpose; • is not useful to a person in the absence of an illness or injury; and • is for use in the home. DME includes supplies necessary for the effective use of the equipment. This plan covers the following DME: • wheelchairs, hospital beds, and other DME items used only for medical treatment; and • replacement of purchased equipment which is needed due to a change in your medical condition or if the device is not functional, no longer under warranty, or cannot be repaired. DME may be classified as a rental item or a purchased item. In most cases, this plan only pays for a rental DME up to our allowance for a purchased DME. Repairs and supplies for rental DME are included in the rental allowance. Medical supplies are consumable supplies that are disposable and not intended for re- use. Medical supplies require an order by a physician and must be essential for the care or treatment of an illness, injury, or congenital defect. Covered medical supplies include: • essential accessories such as hoses, tubes and mouthpieces for use with medically necessary DME (these accessories are included as part of the rental allowance for rented DME); • catheters, colostomy and ileostomy supplies, irrigation trays and surgical dressings; and • respiratory therapy equipment. This plan covers diabetic equipment and supplies for the treatment of diabetes in accordance with R.I. General Law §27-20-30. Covered diabetic equipment and supplies include: • therapeutic or molded shoes and inserts for custom-molded shoes for the prevention of amputation; • blood glucose monitors including those with special features for the legally blind, external insulin infusion pumps and accessories, insulin infusion devices and injection aids; and • lancets and test strips for glucose monitors including those with special features for the legally blind, and infusion sets for external insulin pumps. The amount you pay differs based on whether the equipment and supplies are bought from a durable medical equipment provider or from a pharmacy. See the Summary of Pharmacy Benefits and the Summary of Medical Benefits for details. Coverage for some diabetic equipment and supplies may only be available from either a DME provider or from a pharmacy. Visit our website to determine if this is applicable or call our Customer Service Department. Prosthetic devices replace or substitute all or part of an internal body part, including contiguous tissue, or replace all or part of the function of a permanently inoperative or malfunctioning body part and alleviate functional loss or impairment due to an illness, injury or congenital defect. Prosthetic devices do not include dental prosthetics. This plan covers the following prosthetic devices as required under R.I. General Law § 27-20-52: • prosthetic appliances such as artificial limbs, breasts, larynxes and eyes; • replacement or adjustment of prosthetic appliances if there is a change in your medical condition or if the device is not functional, no longer under warranty and cannot be repaired; • devices, accessories, batteries and supplies necessary for prosthetic devices; • orthopedic braces except corrective shoes and orthotic devices used in connection with footwear; and • breast prosthesis following a mastectomy, in accordance with the Women’s Health and Cancer Rights Act of 1998 and R.I. General Law 27-20-29. The prosthetic device must be ordered or provided by a physician, or by a provider under the direction of a physician. When you are prescribed a prosthetic device as an inpatient and it is billed by a provider other than the hospital where you are an inpatient, the outpatient benefit limit will apply. Enteral formula or food is nutrition that is absorbed through the intestinal tract, whether delivered through a feeding tube or taken orally. Enteral nutrition is covered when it is the sole source of nutrition and prescribed by the physician for home use. In accordance with R.I. General Law §27-20-56, this plan covers enteral formula taken orally for the treatment of: • malabsorption caused by Crohn’s Disease; • ulcerative colitis; • gastroesophageal reflux; • chronic intestinal pseudo obstruction; and • inherited diseases of amino acids and organic acids. Food products modified to be low protein are covered for the treatment of inherited diseases of amino acids and organic acids. Preauthorization may be required. The amount that you pay may differ depending on whether the nutrition is delivered through a feeding tube or taken orally. When enteral formula is delivered through a feeding tube, associated supplies are also covered. This plan covers hair prosthetics (wigs) worn for hair loss suffered as a result of cancer treatment in accordance with R.I. General Law § 27-20-54 and subject to the benefit limit and copayment listed in the Summary of Medical Benefits. This plan will reimburse the lesser of the provider’s charge or the benefit limit shown in the Summary of Medical Benefits. If the provider’s charge is more than the benefit limit, you are responsible for paying any difference. This plan covers Early Intervention Services in accordance with R.I. General Law §27- 20-50. Early Intervention Services are educational, developmental, health, and social services provided to children from birth to thirty-six (36) months. The child must be certified by the Rhode Island Department of Human Services (DHS) to enroll in an approved Early Intervention Services program. Services must be provided by a licensed Early Intervention provider and rendered to a Rhode Island resident. Members not living in Rhode Island may seek services from the state in which they reside; however, those services are not covered under this plan. Early Intervention Services as defined by DHS include but are not limited to the following: • speech and language therapy; • physical and occupational therapy; • evaluation; • case management; • nutrition; • service plan development and review; • nursing services; and • assistive technology services and devices.

  • Computer Equipment Recycling Program If this Contract is for the purchase or lease of computer equipment, then Contractor certifies that it is in compliance with Subchapter Y, Chapter 361 of the Texas Health and Safety Code related to the Computer Equipment Recycling Program and the Texas Commission on Environmental Quality rules in 30 TAC Chapter 328.

  • Television Equipment Recycling Program If this Contract is for the purchase or lease of covered television equipment, then Contractor certifies that it is compliance with Subchapter Z, Chapter 361 of the Texas Health and Safety Code related to the Television Equipment Recycling Program.

  • Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where Xxxx has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to Xxxx. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for Xxxx (e.g. hairpinning): 1. Roll the circuit(s) from the IDLC to any spare copper that exists to the customer premises. 2. Roll the circuit(s) from the IDLC to an existing DLC that is not integrated. 3. If capacity exists, provide "side-door" porting through the switch. 4. If capacity exists, provide "Digital Access Cross Connect System (DACS)- door" porting (if the IDLC routes through a DACS prior to integration into the switch). 2.6.2 Arrangements 3 and 4 above require the use of a designed circuit. Therefore, non- designed Loops such as the SL1 voice grade and UCL-ND may not be ordered in these cases. 2.6.3 If no alternate facility is available, and upon request from Xxxx, and if agreed to by both Parties, BellSouth may utilize its Special Construction (SC) process to determine the additional costs required to provision facilities. Xxxx will then have the option of paying the one-time SC rates to place the Loop.

  • Time Off for Union Business ‌ (a) Leave of absence without pay shall be granted upon request for the reasons set out below unless it would unduly interrupt the Employer's operations: (1) to an elected or appointed representative of the Union to attend conventions of the Union and bodies to which the Union is affiliated, to a maximum of 21 days per occurrence; (2) for elected or appointed representatives of the Union to attend to union business which requires them to leave their general work area; (3) for employees who are representatives of the Union on a bargaining committee. (b) Long-term leave of absence without pay shall be granted to employees designated by the Union to transact union business for specific periods of not less than 21 days unless this would unduly interrupt the operation of the department. Such requests shall be made in writing sufficiently in advance to minimize disruption of the department. Employees granted such leave of absence shall retain all rights and privileges accumulated prior to obtaining such leave. Seniority shall continue to accumulate during such leave and shall apply to such provisions as annual vacations, increments and promotions. (c) When leave of absence without pay is granted pursuant to Part (a) or (b), the leave shall be given with pay and the Union shall reimburse the Employer for salary and benefit costs, including travel time incurred, within 60 days of receipt of the invoice. It is understood that employees granted leave of absence pursuant to this clause shall receive their current rates of pay while on leave of absence. Leave of absence granted under this clause shall include sufficient travel time. The pay and benefits received by the employee and reimbursed by the Union under this article shall be based on the number of hours to which the Union indicates, in writing, the employee is entitled. This provision does not apply to employees on extended leaves of absence who are employed by the Union on a full-time basis. (d) Leave of absence with pay and without loss of seniority will be granted to an employee called to appear as a witness before an arbitration board, provided the dispute involved the Employer. On application, the Arbitration Board may determine summarily the amount of time required for the attendance of any witness. (e) The Union shall provide the Employer with reasonable notice to minimize disruption of the operation and shall make every reasonable effort to give a minimum of 14 days’ notice prior to the commencement of leave under (a) or (b) above. The Employer agrees that any of the above leaves of absence shall not be unreasonably withheld.

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