Constraint Logic Programming (CLP) has been traditionally applied to the modelling of complex problems, especially combinatorial problems, and to model knowledge bases. In this presentation, we focus on using CLP for program analysis and verification. First we consider the representation of program behavior: the rules and constraints of CLP provides for a natural specification of programs as a ...

Bacterial endotoxin induces fever by causing the release of interleukin (IL)-1β into the circulation or the brain. IL-1β is believed to mediate fever via triggering the production and/or release of IL-6 in the hypothalamus. The present study examined whether IL-1β and IL-6 in the hypothalamus of the rat are also involved in fever during bacterial sepsis caused by cecal ligation and puncture (CL...

Successful drug treatment for sepsis-related acute lung injury (ALI) remains a major clinical problem. Thus, the aim of the present study was to investigate the beneficial effects of salidroside on ameliorating cecal ligation and puncture (CLP)-induced lung inflammation. Rats underwent CLP surgery to induce ALI and 800 mg/kg salidroside (i.v.) was administered 24 h after the CLP challenge. Subs...

In this paper, a new method is proposed to find the fuzzy optimal solution of fully fuzzy linear Bilevel programming (FFLBLP) problems by representing all the parameters as triangular fuzzy numbers. In the proposed method, the given FFLBLP problem is decomposed into three crisp linear programming (CLP) problems with bounded variables constraints, the three CLP problems are solved separately...

This study is to inspect the voids between concrete containment building and liner plate (CLP) in light-water reactor type nuclear power plant with lock-in thermography (LIT) inspection technology. For that, a finite element method (FEM) model containing was created, thermal distribution change of CLP surface simulated through numerical analysis simulation various LIT conditions converted real-...

BACKGROUND Consultation-Liaison Psychiatry (CLP) is a subspecialty of psychiatry that provides care to inpatients under non-psychiatric care. Despite evidence of benefits of CLP for inpatients with psychiatric comorbidities, referral rates from hospital doctors remain low. This review aims to understand barriers to CLP inpatient referral as described in the literature. METHODS We searched on ...

INTRODUCTION Severe sepsis is associated with approximately 50% mortality and accounts for tremendous healthcare costs. Most patients require ventilatory support and propofol is commonly used to sedate mechanically ventilated patients. Volatile anesthetics have been shown to attenuate inflammation in a variety of different settings. We therefore hypothesized that volatile anesthetic agents may ...

National CLP heldpesk is a service established in every Member State providing advice to companies and other stakeholders on the obligations they may have under CLP. In Italy the national helpdesk is located into the Center of Chemical Substances (CSC) in the National Institute of Health. Helpdesks will provide with wide ranging information on the provisions of CLP. They will also advice on the...

By studying properties of CLP over an unspecified constraint domain X one obtains general results applicable to all instances of CLP(X ). The purpose of this paper is to study a general implementation scheme for CLP(X ) by designing a generic extension WAM(X ) of the WAM and a corresponding generic compilation scheme of CLP(X ) programs to WAM(X ) code which is based on Börger and Rosenzweig’s ...

This paper presents a new, powerful evaluation strategy (OLDTC-AM) for CLP programs. OLDTC-AM is developed by combining the OLDT evaluation strategy with a logical answer manipulation mechanism. Under the OLDTC-AM evaluation strategy, the termination characteristics of CLP programs are greatly improved and the expressive abilities of CLP languages are greatly increased. One application of this ...