The CIFF Proof Procedure for Abductive Logic Programming with Constraints: Theory, Implementation and Experiments

We present the CIFF proof procedure for abductive logic programming with constraints, and we prove its correctness. CIFF is an extension of the IFF proof procedure for abductive logic programming, relaxing the original restrictions over variable quantification (allowedness conditions) and incorporating a constraint solver to deal with numerical constraints as in constraint logic programming. Finally, we describe the CIFF system, comparing it with state of the art abductive systems and answer set solvers and showing how to use it to program some applications. (To appear in Theory and Practice of Logic Programming - TPLP)

A novel process for recovery and exploitation of polyesters and polyamides from waste polymeric artifacts

Plastic waste is one of the world's biggest sources of pollution. Despite the growing trend towards recycling, there are currently no effective technologies to offset the continuous increase in plastic production. Polyesters and polyamides are among the most widely produced single-use plastics, mainly used in the manufacture of textiles and soft drink bottles. Currently, only a small proportion of these polymers can be effectively recycled. The two primary methods employed for this purpose are mechanical and chemical recycling. Presently, mechanical recycling remains the more widely adopted process within the industrial sector. However, the treatment process is limited to a narrow range of waste materials as it is impossible to remove dyes and the mechanical properties deteriorate due to incompatibility between different plastic materials. Another critical limit of this recycling technology is the limited number of recycling loops that can be done due to the thermal degradation that occurs during the extrusion process. The alternative option is chemical recycling, which allows the depolymerization of the original product to recover the monomers directly. The main drawbacks are the long reaction times and the many solvents needed to achieve high-purity products. As a results, chemical recycling is only economically feasible for large companies that can produce the virgin polymer in situ. In this work, a new technology has been patented. This process consists of three main steps. The first one is the distillation-assisted cyclodepolymerization (DA-CDP), introduced as a modification of the CDP process. In this unit, cyclic oligomers together with high molecular weight compounds are produced. Then, after polymer purification, it is possible to achieve the same molecular weight as the initial polymer in less than 30 min, exploiting the ring-opening polymerization (ROP) of the next step

Sexual Dimorphism in Cellular and Molecular Features in Human ACTH-Secreting Pituitary Adenomas.

Background. Cushing\u2019s disease presents gender disparities in prevalence and clinical course. Little is known, however, about sexual dimorphism at the level of the corticotrope adenoma itself. The aim of the present study was to evaluate molecular features of ACTH-secreting pituitary adenomas collected from female and male patients with Cushing\u2019s disease. (2) Methods. We analyzed 153 ACTH-secreting adenomas collected from 31 men and 122 women. Adenomas were established in culture and ACTH synthesis and secretion assessed in basal conditions as well as during incubation with CRH or dexamethasone. Concurrently, microarray analysis was performed on formalin-fixed specimens and differences in the expression profiles between specimens from male and female patients identified. (3) Results. ACTH medium concentrations in adenomas obtained from male patients were significantly lower than those observed in adenomas from female patients. This could be observed for baseline as well as modulated secretion. Analysis of corticotrope transcriptomes revealed considerable similarities with few, selected differences in functional annotations. Differentially expressed genes comprised genes with known sexual dimorphism, genes involved in tumour development and genes relevant to pituitary pathophysiology. (4) Conclusions. Our study shows for the first time that human corticotrope adenomas present sexual dimorphism and underlines the need for a gender-dependent analysis of these tumours. Differentially expressed genes may represent the basis for gender-tailored target therapy

Assembling surfactants-mucoadhesive polymer nanomicelles (ASMP-nano) for ocular delivery of cyclosporine-A

The physiological protective mechanisms of the eye reduce the bioavailability of topically administered drugs above all for those with high molecular weight and /or lipophilic characteristics, such as Cyclosporine A (CyA). The combined strategy based on the association of nanomicelles and mucoadhesive polymer seems promising since a limited number of commercial products containing CyA have been recently approved. The scope of this investigation was the design of Assembling Surfactants-Mucoadhesive Polymer Nanomicelles (ASMP-Nano), based on a binary system of two surfactants in combination with hyaluronic acid, and their biopharmaceutical evaluation. The optimisation of the ASMP-Nano in term of the amount of surfactants, CyA-loading and size determined the selection of the clear and stable Nano1HAB-CyA formulation containing 0.105% w/w CyA loaded-nanomicelles with a size of 14.41 nm. The nanostructured system had a protective effect towards epithelial corneal cells with a cell viability of more than 80%. It interacted with cellular barriers favouring the uptake and the accumulation of CyA into the cells as evidenced by fluorescent probe distribution, by hindering CyA permeation through reconstituted corneal epithelial tissue. In pharmacokinetics study on rabbits, the nanomicellar carrier prolonged the CyA retention time in the precorneal area mainly in presence of hyaluronic acid (HA), a mucoadhesive polymer

Surfactant-like Effect and Dissolution of Ultrathin Fe Films on Ag(001)

The phase immiscibility and the excellent matching between Ag(001) and Fe(001) unit cells (mismatch 0.8 %) make Fe/Ag growth attractive in the field of low dimensionality magnetic systems. Intermixing could be drastically limited at deposition temperatures as low as 140-150 K. The film structural evolution induced by post-growth annealing presents many interesting aspects involving activated atomic exchange processes and affecting magnetic properties. Previous experiments, of He and low energy ion scattering on films deposited at 150 K, indicated the formation of a segregated Ag layer upon annealing at 550 K. Higher temperatures led to the embedding of Fe into the Ag matrix. In those experiments, information on sub-surface layers was attained by techniques mainly sensitive to the topmost layer. Here, systematic PED measurements, providing chemical selectivity and structural information for a depth of several layers, have been accompanied with a few XRD rod scans, yielding a better sensitivity to the buried interface and to the film long range order. The results of this paper allow a comparison with recent models enlightening the dissolution paths of an ultra thin metal film into a different metal, when both subsurface migration of the deposit and phase separation between substrate and deposit are favoured. The occurrence of a surfactant-like stage, in which a single layer of Ag covers the Fe film is demonstrated for films of 4-6 ML heated at 500-550 K. Evidence of a stage characterized by the formation of two Ag capping layers is also reported. As the annealing temperature was increased beyond 700 K, the surface layers closely resembled the structure of bare Ag(001) with the residual presence of subsurface Fe aggregates.Comment: 4 pages, 3 figure

Ubiquitin-Specific Protease 8 Mutant Corticotrope Adenomas Present Unique Secretory and Molecular Features and Shed Light on the Role of Ubiquitylation on ACTH Processing

Background: Somatic mutations in the ubiquitin-specific protease 8 (USP8) gene have recently been shown to occur in ACTH-secreting pituitary adenomas, thus calling attention to the ubiquitin system in corticotrope adenomas. Objectives: Assess the consequences of USP8 mutations and establish the role of ubiquitin on ACTH turnover in human ACTH-secreting pituitary adenomas. Methods: USP8 mutation status was established in 126 ACTH-secreting adenomas. Differences in ACTH secretion and POMC expression from adenoma primary cultures and in microarray gene expression profiles from archival specimens were sought according to USP8 sequence. Ubiquitin/ACTH coimmunoprecipitation and incubation with MG132, a proteasome inhibitor, were performed in order to establish whether ubiquitin plays a role in POMC/ACTH degradation in corticotrope adenomas. Results: USP8 mutations were identified in 29 adenomas (23%). Adenomas presenting USP8 mutations secreted greater amounts of ACTH and expressed POMC at higher levels compared to USP wild-type specimens. USP8 mutant adenomas were also more sensitive to modulation by CRH and dexamethasone in vitro. At microarray analysis, genes associated with endosomal protein degradation and membrane components were downregulated in USP8 mutant adenomas as were AVPR1B, IL11RA, and PITX2. Inhibition of the ubiquitin-proteasome pathway increased ACTH secretion and POMC itself proved a target of ubiquitylation, independently of USP8 sequence status. Conclusions: Our study has shown that USP8 mutant ACTH-secreting adenomas present a more "typical" corticotrope phenotype and reduced expression of several genes associated with protein degradation. Further, ubiquitylation is directly involved in intracellular ACTH turnover, suggesting that the ubiquitin-proteasome system may represent a target for treatment of human ACTH-secreting adenomas