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

  • Available Services Subject to the terms of this agreement, Manager may obtain any of the Available Services from Sprint Spectrum in accordance with the provisions of this Section 2.1. The Available Services offered from time to time and the fees charged for such Available Services will be set forth on the then-current Exhibit 2.1.1 (the "Available Services and Fees Schedule"). If Sprint Spectrum offers any new Available Service, it will deliver a new Exhibit 2.1.1 indicating the new service and the fee for the new service. Manager may select one or more of the categories of Available Services. If Manager selects a particular category of services it must take and pay for all of the services under the category selected; Manager may not select only particular services within that category. If Sprint Spectrum determines to no longer offer an Available Service and the service is not a Selected Service, then Sprint Spectrum may give Manager written notice at any time during the term of this agreement that Sprint Spectrum no longer offers the Available Service.

  • 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.

  • 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. Durable Medical Equipment (DME) 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. Preauthorization may be required for certain DME and replacement or repairs of DME. Medical Supplies 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. Diabetic Equipment and Supplies 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 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 Formulas or Food (Enteral Nutrition) 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. Hair Prosthesis (Wigs) 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. Early Intervention Services (EIS) 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.

  • Borrower Products Except as described on Schedule 5.11, no Intellectual Property owned by Borrower or Borrower Product has been or is subject to any actual or, to the knowledge of Borrower, threatened litigation, proceeding (including any proceeding in the United States Patent and Trademark Office or any corresponding foreign office or agency) or outstanding decree, order, judgment, settlement agreement or stipulation that restricts in any manner Borrower’s use, transfer or licensing thereof or that may affect the validity, use or enforceability thereof. There is no decree, order, judgment, agreement, stipulation, arbitral award or other provision entered into in connection with any litigation or proceeding that obligates Borrower to grant licenses or ownership interest in any future Intellectual Property related to the operation or conduct of the business of Borrower or Borrower Products. Borrower has not received any written notice or claim, or, to the knowledge of Borrower, oral notice or claim, challenging or questioning Borrower’s ownership in any Intellectual Property (or written notice of any claim challenging or questioning the ownership in any licensed Intellectual Property of the owner thereof) or suggesting that any third party has any claim of legal or beneficial ownership with respect thereto nor, to Borrower’s knowledge, is there a reasonable basis for any such claim. Neither Borrower’s use of its Intellectual Property nor the production and sale of Borrower Products infringes the Intellectual Property or other rights of others.

  • 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 EveryCall has requested an Unbundled Loop and BellSouth uses Integrated Digital Loop Carrier (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 EveryCall. 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 EveryCall (e.g. hairpinning):

  • Wire Unbundled DS1 Digital Loop This is a designed 4-wire Loop that is provisioned according to industry standards for DS1 or Primary Rate ISDN services and will come standard with a test point, OC, and a DLR. A DS1 Loop may be provisioned over a variety of loop transmission technologies including copper, HDSL-based technology or fiber optic transport systems. It will include a 4-Wire DS1 Network Interface at the End User’s location.

  • Program Location A. Unless otherwise agreed upon in writing, the parties acknowledge and agree that the Work of this Agreement will be performed at the following Property address: Ktr Address1 Address2

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