A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Vocabulary and language model adaptation using information retrieval

International audience

Phospholipases and the network of auxin signal transduction with ABP1 and TIR1 as two receptors: a comprehensive and provocative model

Three types of phospholipases, phospholipase D, secreted phospholipase A2, and patatin-related phospholipase A (pPLA) have functions in auxin signal transduction. Potential linkage to auxin receptors ABP1 or TIR1, their rapid activation or post-translational activation mechanisms, and downstream functions regulated by these phospholipases is reviewed and discussed. Only for pPLA all aspects are known at least to some detail. Evidence is gathered that all these signal reactions are located in the cytosol and seem to merge on regulation of PIN-catalyzed auxin efflux transport proteins. As a consequence, auxin concentration in the nucleus is also affected and this regulates the E3 activity of this auxin receptor. We showed that ABP1, PIN2, and pPLA, all outside the nucleus, have an impact on regulation of auxin-induced genes within 30 min. We propose that regulation of PIN protein activities and of auxin efflux transport are the means to coordinate ABP1 and TIR1 activity and that no physical contact between components of the ABP1-triggered cytosolic pathways and TIR1-triggered nuclear pathways of signaling is necessary to perform this.

HBsAg seroclearance or seroconversion induced by peg-interferon alpha and lamivudine or adefovir combination therapy in chronic hepatitis B treatment: a meta-analysis and systematic review

Background and aims: Seroclearance or seroconversion of hepatitis B surface antigen (HBsAg) is generally considered as a clinical endpoint. The purpose of the present meta-analysis was to evaluate the effect of combined therapy with pegylated interferon alpha (PEG-IFNα) with or without lamivudine (LAM) or adefovir (ADV) on HBsAg seroclearance or seroconversion in subjects with chronic hepatitis B (CHB). Methods: Randomized controlled trials performed through May 30th 2015 in adults with CHB receiving PEG-IFNα and LAM or ADV combination therapy or monotherapy for 48-52 weeks were included. The Review Manager Software 5.2.0 was used for the meta-analysis. Results: No statistical differences in HBsAg seroclearance (9.9% vs. 7.1%, OR = 1.47, 95% CI: 0.75, 2.90; p = 0.26) or HBsAg seroconversion (4.2% vs. 3.7%, OR = 1.17, 95% CI: 0.57, 2.37; p = 0.67) rates were noticed between PEG-IFNα + LAM and PEG-IFN α + placebo during post-treatment follow-up for 24-26-weeks in subjects with hepatitis Be antigen (HBeAg)-positive CHB. No statistical differences in HBsAg clearance (10.5% vs. 6.4%, OR = 1.68, 95% CI: 0.75, 3.76; p = 0.21) were seen, but statistical differences in HBsAg seroconversion (6.3% vs. 0%, OR = 7.22, 95% CI: 1.23, 42.40; p = 0.03) were observed, between PEG-IFNα + ADV and PEG-IFNα for 48-52 weeks of treatment in subjects with HBeAg-positive CHB. A systematic evaluation showed no differences in HBsAg disappearance and seroconversion rates between PEG-IFNα + placebo and PEG-IFNα + LAM for 48-52 weeks in subjects with HBeAg-positive CHB. A systematic assessment found no differences in HBsAg disappearance and seroconversion rates between PEG-IFNα + placebo and PEG-IFNα + LAM during 24 weeks' to 3 years' follow-up after treatment in subjects with HBeAg-negative CHB. Conclusion: Combined therapy with PEG-IFNα and LAM or ADV was not superior to monotherapy with PEG-IFNα in terms of HBsAg seroclearance or seroconversion.

Some features of the law and order model in Spain

This research is based on the hypothesis that law and order model is displacing the procedura justice system in Spain. After a thorough review of the international literature, one can observe that the traditional structure of the penal system does not seem to be capable of containing the new forms of crime. The new penal model assumes that public opinion is alarmed and unwilling to understand rational approaches to crime, so it will be likely to accept measures aimed at calming the fear of crime, through extensive control policies and penal tools to manage uncivil behavior. Objectives and methodology A measuring instrument has been developed to confirm this hypothesis, consisting of ten features that characterize the law and order model. This instrument has been used to identify examples of its ten features in the rules and practices developed at each phase of the Spanish criminal justice system. The analysis has focused specifically on public discourse about delinquency, criminal policy decisions, legislative processes, police routines, judicial dynamics, and prison system practices. Main results The investigation has shown that there are many processes and practices indicating that the law and order model is consolidating itself in the Spanish penal system. Nevertheless this process has a different intensity at each phase, being stronger at the legislative stage and softer in the penitentiary enforcement phase. One of the main conclusions is, therefore, that the designed instrument is ideal for measuring the degree of penetration of the model throughout the system. Some of the most striking results of the reasearch will be presented at the conference. Finally, proposals arise that could prevent the new model is fully seated in our criminal justice system, finding that the trend toward more severe penalties shown already unsustainable.

Female melanoma: the role of ovarian stimulation and antioestrogens cancer therapy A retrospective study with immunohistochemical oestrogen receptors alpha and beta analysis.

Cutaneous melanoma (CM) represents the third most common cancer in Italian women under 49 years old. In the last decades, many molecular studies confirmed that sex hormones have a part in melanogenesis and melanoma genesis. However, many controversies are present regarding the role of exogenous oestrogens intake and endogenous hormonal status in female melanoma. Our study's primary objective is to investigate the features of melanoma in women of fertile age and women in postmenopausal age. The secondary aim is to evaluate the expression of ERα and ERβ by immunohistochemical analysis in women who underwent ovarian stimulation for medically assisted procreation and in women in cancer therapy for breast cancer (BC) comparing to two control groups. The tertiary objective is to correlate ERα and ERβ with the Breslow thickness and other relevant histopathological, clinical and dermoscopic characteristics Results A total of 998 women were included in the study. Women in fertile age are significantly more prone to have CM on the trunk. Conversely, postmenopausal females are more likely to develop CM on acral locations. Breslow thickness and ulceration were statistically significant among postmenopausal women (P-value <0,001). In the group for women with a history of breast cancer (BC), we observed a significantly higher CM percentage with “non-brisk” TILs. Upon immunohistochemical analysis, most cases with inhibitor aromatase therapy displayed a strong cytoplasmatic ERα positivity. Upon the Pearson correlation analysis, no association was shown between nuclear ERβ and Breslow thickness. The meaning of cytoplasmatic ERα in melanoma is still debated. It could suggest a potentially significant role of oestrogen non-genomic pathway in these patients, or it can be a mechanism of ERs modulation in response to aromatase inhibitor therapy. Our work tried to enlighten some of the existing shadows on the role of ERs and hormonal factors in CM.

Modeling Alzheimer disease with iPSCs and mouse model for the identification of risk factors, new targets, and potential therapeutical strategies

Alzheimer's disease (AD) is the most common neurodegenerative disease in elderly. Donepezil is the first-line drug used for AD. In section one, the experimental activity was oriented to evaluate and characterize molecular and cellular mechanisms that contribute to neurodegeneration induced by the Aβ1-42 oligomers (Aβ1-42O) and potential neuroprotective effects of the hybrids feruloyl-donepezil compound called PQM130. The effects of PQM130 were compared to donepezil in a murine AD model, obtained by intracerebroventricular (i.c.v.) injection of Aβ1-42O. The intraperitoneal administration of PQM130 (0.5-1 mg/kg) after i.c.v. Aβ1-42O injection improved learning and memory, protecting mice against spatial cognition decline. Moreover, it reduced oxidative stress, neuroinflammation and neuronal apoptosis, induced cell survival and protein synthesis in mice hippocampus. PQM130 modulated different pathways than donepezil, and it is more effective in counteracting Aβ1-42O damage. The section two of the experimental activity was focused on studying a loss of function variants of ABCA7. GWA studies identified mutations in the ABCA7 gene as a risk factor for AD. The mechanism through which ABCA7 contributes to AD is not clear. ABCA7 regulates lipid metabolism and critically controls phagocytic function. To investigate ABCA7 functions, CRISPR/Cas9 technology was used to engineer human iPSCs and to carry the genetic variant Y622*, which results in a premature stop codon, causing ABCA7 loss-of-function. From iPSCs, astrocytes were generated. This study revealed the effects of ABCA7 loss in astrocytes. ABCA7 Y622* mutation induced dysfunctional endocytic trafficking, impairing Aβ clearance, lipid dysregulation and cell homeostasis disruption, alterations that could contribute to AD. Though further studies are needed to confirm the PQM130 neuroprotective role and ABCA7 function in AD, the provided results showed a better understanding of AD pathophysiology, a new therapeutic approach to treat AD, and illustrated an innovative methodology for studying the disease.

Waste prevention: policy instruments and business model innovation

Waste prevention (WP) is a strategy which helps societies and individuals to strive for sufficiency in resource consumption within planetary boundaries alongside sustainable and equitable well-being and to decouple the concepts of well-being and life satisfaction from materialism. Within this dissertation, some instruments to promote WP are analysed, by adopting two perspectives: firstly, the one of policymakers, at different governance levels, and secondly, the one of business in the electrical and electronic equipment (EEE) sector. At a national level, the role of WP programmes and market-based instruments (extended producer responsibility, pay-as-you-throw schemes, deposit-refund systems, environmental taxes) in boosting prevention of municipal solid waste is investigated. Then, focusing on the Emilia-Romagna Region (Italy), the performances of the waste management system are assessed over a long period, including some years before and after an institutional reform of the waste management governance regime. The impact of a centralisation (at a regional level) of both planning and economic regulation of the waste services on waste generation and WP is analysed. Finally, to support the regional decision-makers in the prioritisation of publicly funded projects for WP, a framework for the sustainability assessment, the evaluation of success, and the prioritisation of WP measures was applied to some projects implemented by Municipalities in the Region. Trying to close the research gap between engineering and business, WP strategies are discussed as drivers for business model (BM) innovation in EEE sector. Firstly, an innovative approach to a digital tracking solution for professional EEE management is analysed. New BMs which facilitate repair, reuse, remanufacturing, and recycling are created and discussed. Secondly, the impact of BMs based on servitisation and on producer ownership on the extension of equipment lifetime is analysed, by performing a review of real cases of organizations in the EEE sector applying result- and use-oriented BMs.

Structure determination of the three disulfide bond isomers of alpha-conotoxin GI: A model for the role of disulfide bonds in structural stability

The three possible disulfide bonded isomers of alpha-conotoxin GI have been selectively synthesised and their structures determined by H-1 NMR spectroscopy. alpha-Conotoxin GI derives from the venom of Conus geographus and is a useful neuropharmacological tool as it selectively binds to the nicotinic acetylcholine receptor (nAChR), a ligand-gated ion channel involved in nerve signal transmission. The peptide has the sequence ECCNPACGRHYSC-NH2, and the three disulfide bonded isomers are referred to as GI(2-7;3-13), GI(2-13;3-7) and GI(2-3;7-13). The NMR structure for the native isomer GI(2-7;3-13) is of excellent quality, with a backbone pairwise RMSD of 0.16 Angstrom for a family of 35 structures, and comprises primarily a distorted 3(10),, helix between residues 5 to 11. The two non-native isomers exhibit multiple conformers in solution, with the major populated forms being different in structure both from each other and from the native form. Structure-activity relationships for the native GI(2-7;3-13) as well as the role of the disulfide bonds on folding and stability of the three isomers are examined. It is concluded that the disulfide bonds in alpha-conotoxin GI play a crucial part in determining both the structure and stability of the peptide. A trend for increased conformational heterogeneity was observed in the order of GI(2-7;3-13) < GI(2-13;3-7) < GI(2-3;7-13). It was found that the peptide bond joining Cys2 to Cys3 in GI(2-3;7-13) is predominantly trans, rather than cis as theoretically predicted. These structural data are used to interpret the varying nAChR binding of the non-native forms. A model for the binding of native GI(2-7;3-13) to the mammalian nAChR is proposed, with an alpha-subunit binding face made up of Cys2, Asn4, Pro5, Ala6 and Cys7 and a selectivity face, comprised of Arg9 and His10. These two faces orient the molecule between the alpha and delta subunits of the receptor. The structure of the CCNPAC sequence of the native GI(2-7;3-13) is compared to the structure of the identical sequence from the toxic domain of heat-stable enterotoxins, which forms part of the receptor binding region of the enterotoxins, but which has a different disulfide connectivity. (C) 1998 Academic Press Limited.

A mathematical model for estimating the extent of solute- and water-flux heterogeneity in multiple sample percolation experiments

Multiple sampling is widely used in vadose zone percolation experiments to investigate the extent in which soil structure heterogeneities influence the spatial and temporal distributions of water and solutes. In this note, a simple, robust, mathematical model, based on the beta-statistical distribution, is proposed as a method of quantifying the magnitude of heterogeneity in such experiments. The model relies on fitting two parameters, alpha and zeta to the cumulative elution curves generated in multiple-sample percolation experiments. The model does not require knowledge of the soil structure. A homogeneous or uniform distribution of a solute and/or soil-water is indicated by alpha = zeta = 1, Using these parameters, a heterogeneity index (HI) is defined as root 3 times the ratio of the standard deviation and mean. Uniform or homogeneous flow of water or solutes is indicated by HI = 1 and heterogeneity is indicated by HI > 1. A large value for this index may indicate preferential flow. The heterogeneity index relies only on knowledge of the elution curves generated from multiple sample percolation experiments and is, therefore, easily calculated. The index may also be used to describe and compare the differences in solute and soil-water percolation from different experiments. The use of this index is discussed for several different leaching experiments. (C) 1999 Elsevier Science B.V. All rights reserved.

A model for assembly and activation of the GM-CSF, IL-3 and IL-5 receptors: Insights from activated mutants of the common beta subunit

Granulocyte-macrophage colony stimulating factor (GM-CSF), Interleukin-3 (IL-3) and Interleukin-5 (IL-5) have overlapping, pleiotropic effects on hematopoietic cells, including neutrophils, eosinophils, monocytes and early progenitor cells. The high-affinity receptors for human GM-CSF, IL-3, and IL-5 share a common beta-subunit (h beta(c)), which is essential for signalling and plays a major role in recruiting intracellular signalling molecules. While activation of the cytoplasmic tyrosine kinase JAK2 appears to be the initiating event for signalling, the immediate events that trigger this are still unclear. We have isolated a number of activated mutants of h beta(c), which can be grouped into classes defined by their state of receptor phosphorylation, their requirement for alpha subunit as a cofactor, and their activities in primary cells and cell lines. We discuss these findings with regard to the stoichiometry, activation, and signalling of the normal GM-CSF/IL-3/IL-5 receptor complexes. Specifically, this work has implications for the role of the ligand-specific alpha-subunits in initiating the signalling through the beta-subunit, the role of beta subunit dimerization as a receptor trigger, and the function of receptor tyrosine phosphorylation in generating growth and survival signals. Based on the properties of the activated mutants and the recent structures of erythropoietin receptor (Epo-R) complexes, we propose a model in which (1) activation of h beta(c) can occur via alternative states that differ with respect to stoichiometry and subunit assembly, but which all mediate proliferative responses, and (2) each of the different classes of activated mutants mimics one of these alternative states. (C) 2000 International Society for Experimental Hematology. Published by Elsevier Science Inc.

Histopathology, humoral and cellular immune response in the murine model of Leishmania (Viannia) shawi

Leishmania (Viannia) shawl was recently characterized and few studies concerning modifications in cellular and humoral immune responses in experimental leishmaniasis have been conducted. In this work, immunopathological changes induced by L. shawl in chronically infected BALB/c mice were investigated. Infected BALB/c mice developed increased lesion size associated with strong inflammatory infiltrate diffusely distributed in the dermis, with highly infected macrophages. The humoral immune response was predominantly directed toward the IgG1 isotype. The functional activity of CD4(+) and CD8(+) T cells showed significantly increased TNF-alpha mRNA levels associated with reduced IFN-gamma expression by CD4(+) T cells and the double negative (dn) CD4CD8 cell subset. High IL-4 levels expressed by CD8(+) T cells and dnCD4CD8 and TGF-beta by CD4(+) and CD8(+) T cells were detected, while IL-10 was highly expressed by all three cell subpopulations. Taken together, these results show an evident imbalance between TNF-alpha and IFN-gamma that is unfavorable to amastigote replication control. Furthermore, L. shawi seems to regulate different cell populations to express deactivating cytokines to avoid its own destruction. This study indicates BALB/c mice as a potentially good experimental model for further studies on American cutaneous leishmaniosis caused by L. shawi. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

Experimental model for study of anorectal sphincter musculature by manometry and computerized tomography in piglets

There seems to be controversy on the anorectal sphincter presentation and anatomical division, as well as on its functional representation. Evaluation of the anorectal sphincter musculature has been achieved through several methods, including anorectal manometry and computerized tomography, but to date there is no experimental model allowing a detailed manometric study of this muscle complex. In this work, we have developed such a model, which should enable the manometric and radiographic study of the anatomical features and functional mechanisms of sphincteric injuries, as well as the assessment of drug effects on the anorectal musculature upon incontinence and constipation. Twenty-two piglets (aged 25-30 days, weighing 5-7 kg) were studied by anorectal manometry (rectoanal inhibitory reflex and vector volume) and computerized tomography (anorectal angle and anal canal length). The data obtained for the rectoanal inhibitory reflex, represented here as the average and standard deviation, were the following: relaxation duration = 14.75 +/- 3.62 s, sphincter basal pressure = 41.58 +/- 8.20 mmHg, relaxation index = 87.26 +/- 11.52%, speed of relaxation = 5.90 +/- 2.10 mm/s, and speed of relaxation recovery = 4.03 +/- 1.78 mm/s. As for the vector volume, results were as follows: vector volume = 2692.32 +/- 1298.12 mmHg(2) cm, sphincter length = 11.82 +/- 2.74 mm, high pressure zone length = 5.09 +/- 1.34 mm, maximum pressure = 61.50 +/- 20.58 mmHg, and asymmetry index = 43.50 +/- 10.03%. Radiographic evaluation led to the following results: anal canal length = 9.61 +/- 2.14 mm and anorectal angle = 137.91 +/- 7.75 degrees. The experimental model designed here allows both anorectal manometry and computerized tomography to be carried out in the same way it is performed in human beings, as long as animal sedation is strictly controlled.

Role of cytokines (TNF-alpha, IL-1 beta and KC) in the pathogenesis of CPT-11-induced intestinal mucositis in mice: effect of pentoxifylline and thalidomide

Introduction Irinotecan (CPT-11) is an inhibitor of DNA topoisomerase I and is clinically effective against several cancers. A major toxic effect of CPT-11 is delayed diarrhea; however, the exact mechanism by which the drug induces diarrhea has not been established. Purpose Elucidate the mechanisms of induction of delayed diarrhea and determine the effects of the cytokine production inhibitor pentoxifylline (PTX) and thalidomide (TLD) in the experimental model of intestinal mucositis, induced by CPT-11. Materials and methods Intestinal mucositis was induced in male Swiss mice by intraperitoneal administration of CPT-11 (75 mg/kg) daily for 4 days. Animals received subcutaneous PTX (1.7, 5 and 15 mg/kg) or TLD (15, 30, 60 mg/kg) or 0.5 ml of saline daily for 5 and 7 days, starting 1 day before the first CPT-11 injection. The incidence of delayed diarrhea was monitored by scores and the animals were sacrificed on the 5th and 7th experimental day for histological analysis, immunohistochemistry for TNF-alpha and assay of myeloperoxidase (MPO) activity, tumor necrosis factor-alpha (TNF-alpha), interleukin-1 beta (IL-1 beta) and KC ELISA. Results CPT-11 caused significant diarrhea, histopathological alterations (inflammatory cell infiltration, loss of crypt architecture and villus shortening) and increased intestinal tissue MPO activity, TNF-alpha, IL-1 beta and KC level and TNF-alpha immuno-staining. PTX inhibited delayed diarrhea of mice submitted to intestinal mucositis and reduced histopathological damage, intestinal MPO activity, tissue level of TNF-alpha, IL-1 beta and KC and TNF-alpha immuno-staining. TLD significantly reduced the lesions induced by CPT-11 in intestinal mucosa, decreased MPO activity, TNF-alpha tissue level and TNF-alpha immuno-staining, but did not reduce the severity of diarrhea. Conclusion These results suggest an important role of TNF-alpha, IL-1 beta and KC in the pathogenesis of intestinal mucositis induced by CPT-11.