There have been several proposals for logic programming language based on linear logic: Lolli [8], Lygon [7], LO [3], LinLog [2], Forum [11], HACL [10]. In these languages, it is possible to create and consume resources dynamically as logical formulas. The efficient handling of resource formulas is, therefore, an important issue in the implementation of these languages. Lolli, Lygon, and Forum ...

In this study, Ligustrum lucidum flowers as raw material, the extraction, isolation and coagulatory activity of polysaccharides were carried out for the first time. The crude polysaccharide was obtained by hot water extraction and ethanol precipitation, and preliminarily purified by Sevage method and D101 macroporous resin. Then the polysaccharide was further purified by DEAE-52 cellulose and S...

The present paper considers discrete probability models with exact computational properties. In relation to contingency tables this means closed form expressions of the maksimum likelihood estimate and its distribution. The model class includes what is known as decomposable graphical models, which can be characterized by a structured set of conditional independencies between some variables give...

A log-linear modelling will take quite a long time if the data involves many variables and if we try to deal with all the variables at once. Fienberg and Kim (1999) investigated the relationship between log-linear model and its conditional, and we will show how this relationship is employed to make the log-linear modelling easier. The result of this article applies to all the hierarchical log-l...

PricewaterhouseCoopers LLP is a limited liability partnership registered in England with registered number OC303525. The registered office of PricewaterhouseCoopers LLP is 1 Embankment Place, London WC2N 6RH. PricewaterhouseCoopers LLP is authorised and regulated by the Financial Conduct Authority for designated investment busiTMSs. Private & Confidential Sonia Brown Ofwat 21 Bloomsbury Street ...

Right Internal Jugular Vein (RIJV) catheterization may be collapsed by the advancement of the needle and the pressure from ultrasonic probe, and the sutures are needed to fix the catheters after RIJV catheterization. This study aimed to develop a Suture-Traction Method (STM) to facilitate RIJV catheterization. 70 anesthetized patients underwent RIJV catheterization in Left-Lateral Position (LLP...

Abstract An inhomogeneous gamma process is a compromise between renewal and nonhomogeneous Poisson process, since its failure probability at given time depends both on the age of system distance from last time. The with log-linear rate function often used in modelling recurrent event data. In this paper, it proved that suitably non-uniform scaled maximum likelihood estimator three-dimensional p...