A Unifying Framework for Type Inhabitation

In this paper we define a framework to address different kinds of problems related to type inhabitation, such as type checking, the emptiness problem, generation of inhabitants and counting, in a uniform way. Our framework uses an alternative representation for types, called the pre-grammar of the type, on which different methods for these problems are based. Furthermore, we define a scheme for a decision algorithm that, for particular instantiations of the parameters, can be used to show different inhabitation related problems to be in PSPACE

Introduction : Saramago and the politics of literary quotation

Fundação Calouste Gulbenkian e Fundação Luso-Americana para o Desenvolviment

Pyrolytic temperature evaluation of macauba biochar for uranium adsorption from aqueous solutions

Macauba (Acrocomia aculeata) is a palm tree native to the tropical regions of America. In Brazil, it is prevalent in the savannah, known as “cerrado”. A valuable natural and renewable source of vegetable oil for food and cosmetic industries (nut oil) and for biodiesel (mesocarp oil), macauba has the potential to become the new “green gold” of Brazil, not only for its oil quality, but because it could solely be destined for commercial purposes, since it doesn’t compete with food market industry such as soybean and sugar cane. The dark stiff part that protects the nut, called “endocarp”, is generated as a residue in a considerable amount after the processing of the nut oil. Please click on the file below for full content of the abstract

N-(1,5-Dimethyl-3-oxo-2-phenyl-2,3-dihydro-1H-pyrazol-4-yl)-4-methyl­benzene­sulfonamide

In the title compound, C18H19N3O3S, the phenyl ring and the pyrazole ring are twisted with respect to each other by an angle of 49.11 (7)°. The C—N—S—C torsion angle is −122.5 (2)°. The methyl group bonded to the N atom of the pyrazole ring has a large deviation from the mean ring plane of 0.603 (3) Å. One inter­molecular N—H⋯O and two non-classical inter­molecular C—H⋯O hydrogen bonds are observed in the crystal structure

Surface-modified 3D starch-based scaffold for improved endothelialization for bone tissue engineering

Providing adequate vascularization is one of the main hurdles to the widespread clinical application of bone tissue engineering approaches. Due to their unique role in blood vessel formation, endothelial cells (EC) play a key role in the establishment of successful vascularization strategies. However, currently available polymeric materials do not generally support EC growth without coating with adhesive proteins. In this work we present argon plasma treatment as a suitable method to render the surface of a 3D starch-based scaffold compatible for ECs, this way obviating the need for protein precoating. To this end we studied the effect of plasma modification on surface properties, protein adsorption and ultimately on several aspects regarding EC behaviour. Characterization of surface properties revealed increased surface roughness and change in topography, while at the chemical level a higher oxygen content was demonstrated. The increased surface roughness of the material, together with the changed surface chemistry modulated protein adsorption as indicated by the different adsorption profile observed for vitronectin. In vitro studies showed that human umbilical vein ECs (HUVECs) seeded on plasma-modified scaffolds adhered, remained viable, proliferated, and maintained the typical cobblestone morphology, as observed for positive controls (scaffold pre-coated with adhesive proteins). Furthermore, genotypic expression of endothelial markers was maintained and neighbouring cells expressed PECAM-1 at the single-cell-level. These results indicate that Ar plasma modification is an effective methodology with potential to be incorporated in biomaterial strategies to promote the formation of vascularized engineered bone

Protein expression reveals a molecular sexual identity of avian primordial germ cells at pre-gonadal stages

International audienceIn poultry, in vitro propagated primordial germ cells (PGCs) represent an important tool for the cryopreservation of avian genetic resources. However, several studies have highlighted sexual differences exhibited by PGCs during in vitro propagation, which may compromise their reproductive capacities. To understand this phenomenon, we compared the proteome of pregonadal migratory male (ZZ) and female (ZW) chicken PGCs propagated in vitro by quantitative proteomic analysis using a GeLC-MS/MS strategy. Many proteins were found to be differentially abundant in chicken male and female PGCs indicating their early sexual identity. Many of the proteins more highly expressed in male PGCs were encoded by genes localised to the Z sex chromosome. This suggests that the known lack of dosage compensation of the transcription of Z-linked genes between sexes persists at the protein level in PGCs, and that this may be a key factor of their autonomous sex differentiation. We also found that globally, protein differences do not closely correlate with transcript differences indicating a selective translational mechanism in PGCs. Male and female PGC expressed protein sets were associated with differential biological processes and contained proteins known to be biologically relevant for male and female germ cell development, respectively. We also discovered that female PGCs have a higher capacity to uptake proteins from the cell culture medium than male PGCs. This study presents the first evidence of an early predetermined sex specific cell fate of chicken PGCs and their sexual molecular specificities which will enable the development of more precise sex-specific in vitro culture conditions for the preservation of avian genetic resources

Altered apolipoprotein C expression in association with cognition impairments and hippocampus volume in schizophrenia and bipolar disorder

Proteomic analyses facilitate the interpretation of molecular biomarker probes which are very helpful in diagnosing schizophrenia (SZ). In the current study, we attempt to test whether potential differences in plasma protein expressions in SZ and bipolar disorder (BD) are associated with cognitive deficits and their underlying brain structures. Forty-two plasma proteins of 29 SZ patients, 25 BD patients and 93 non-clinical controls were quantified and analysed using multiple reaction monitoring-based triple quadrupole mass spectrometry approach. We also computed group comparisons of protein expressions between patients and controls, and between SZ and BD patients, as well. Potential associations of protein levels with cognitive functioning (psychomotor speed, executive functioning, crystallised intelligence) as well as underlying brain volume in the hippocampus were explored, using bivariate correlation analyses. The main finding of this study was that apolipoprotein expression differed between patients and controls and that these alterations in both disease groups were putatively related to cognitive impairments as well as to hippocampus volumes. However, none of the protein level differences were related to clinical symptom severity. In summary, altered apolipoprotein expression in BD and SZ was linked to cognitive decline and underlying morphological changes in both disorders. Our results suggest that the detection of molecular patterns in association with cognitive performance and its underlying brain morphology is of great importance for understanding of the pathological mechanisms of SZ and BD, as well as for supporting the diagnosis and treatment of both disorders

Implications of asymptomatic infection for the natural history of selected parasitic tropical diseases

Progress has been made in the control or elimination of tropical diseases, with a significant reduction of incidence. However, there is a risk of re-emergence if the factors fueling transmission are not dealt with. Although it is essential to understand these underlying factors for each disease, asymptomatic carriers are a common element that may promote resurgence; their impact in terms of proportion in the population and role in transmission needs to be determined. In this paper, we review the current evidence on whether or not to treat asymptomatic carriers given the relevance of their role in the transmission of a specific disease, the efficacy and toxicity of existing drugs, the Public Health interest, and the benefit at an individual level, for example, in Chagas disease, to prevent irreversible organ damage. In the absence of other control tools such as vaccines, there is a need for safer drugs with good risk/benefit profiles in order to change the paradigm so that it addresses the complete infectious process beyond manifest disease to include treatment of non-symptomatic infected persons

Risk of cardiovascular disease morbidity and mortality in frail and pre-frail older adults : Results from a meta-analysis and exploratory meta-regression analysis

Frailty is common and associated with poorer outcomes in the elderly, but its role as potential cardiovascular disease (CVD) risk factor requires clarification. We thus aimed to meta-analytically evaluate the evidence of frailty and pre-frailty as risk factors for CVD. Two reviewers selected all studies comparing data about CVD prevalence or incidence rates between frail/pre-frail vs. robust. The association between frailty status and CVD in cross-sectional studies was explored by calculating and pooling crude and adjusted odds ratios (ORs)+/- 95% confidence intervals (CIs); the data from longitudinal studies were pooled using the adjusted hazard ratios (HRs). Eighteen cohorts with a total of 31,343 participants were meta-analyzed. Using estimates from 10 cross-sectional cohorts, both frailty and pre-frailty were associated with higher odds of CVD than robust participants. Longitudinal data were obtained from 6 prospective cohort studies. After a median follow-up of 4.4 years, we identified an increased risk for faster onset of any type CVD in the frail (HR= 1.70 [95%CI, 1.18-2.45]; I-2 = 66%) and pre-frail (HR= 1.23 [95%CI, 1.07-1.36]; I-2 = 67%) vs. robust groups. Similar results were apparent for time to CVD mortality in the frail and pre-frail groups. In conclusion, frailty and pre-frailty constitute addressable and independent risk factors for CVD in older adults. (C) 2017 Elsevier B.V. All rights reserved.Peer reviewe