A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux

We propose a generic sound δ-rule, based on a quite general method for the construction of Skolem terms, which can be used as a common framework for proving the soundness of known variants of the δ-rule, and we compare their relative effectiveness. Attempts to instantiate some of the δ-rules present in the literature within our framework allowed us to pinpoint unsoundness problems for two of them. In both cases, we propose revised versions that are proved sound by reducing them within our framework. This paper is based on results preliminarily presented in [5].     

Diffusion boundaries behaviour during a parabolic flight

The behaviour of a diffusion boundary between distilled water and a 1% sodium chloride solution during a parabolic flight has been observed. The presence of a few percent of Earth gravity pulses during the micro gravity conditions is sufficient to largely perturb the diffusion boundary that stabilises again during the subsequent normal gravity conditions present inside the aircraft at the end of each parabola. A numerical simulation of the boundary behaviour agrees with the experimental observation. Student flying team     

Moment analysis of mass-transfer kinetics in C18-silica monolithic columns

The moment analysis of elution peak profiles based on new moment equations provides information on the mass-transfer characteristics of C(18)-silica monolithic columns. The flow rate dependence of the HETP data was analyzed using the generalized van Deemter equation, after correction of these data by subtraction of the external mass-transfer contribution to band broadening. Kinetic parameters and diffusion coefficients related to the mass-transfer processes in monolithic columns were derived by taking advantage of the different flow velocity dependence of their contributions to band broadening. At high flow rates, axial dispersion and diffusive migration across the monolithic C(18)-silica skeleton contribute much to band broadening, suggesting that it remains important to reduce the influence of eddy diffusion and the mass-transfer resistance in the stationary phase to achieve fast separations and a high efficiency. Surface diffusion plays a predominant role for molecular migration in the monolithic stationary phase. Although the value of the surface diffusion coefficient (D(s)) depends on an estimate of the external mass-transfer coefficient, D(s) values of the order of 10(-7) cm(2) s(-1) were calculated for the first time for the C(18)-silica monolithic skeleton. The value of D(s) decreases with increasing retention of sample compounds. Analysis of a kind of time constant calculated from D(s) suggests that the "chromatographic corresponding particle size" is approximately 4 microm for the C(18)-silica monolithic stationary phase used in this study. The accuracy of the D(s) values determined was discussed.     

Retrospective evaluation of lead contamination in honey from 2005 to present in northeastern Italy and future perspectives in the light of updated legislation

Lead is a naturally occurring element but largely originating from human activities. Food is the major source of exposure to lead for humans and the publication of a scientific opinion from the European Food Safety Authority on the risks to human health related to the presence of lead in foodstuffs, led European Union to establish more restrictive limits for this contaminant in food from 1 January 2016. In particular, a maximum level of 0.10 mg kg^?1 was established for honey. The retrospective evaluation of 995 honey samples analysed since 2005, revealed a progressive reduction in the concentration of lead, with a mean value of 0.045 mg kg^?1 in 2015. Total 1.5% of honeys analysed in 2015 exceeded the maximum lead level and therefore will no longer be marketable. Interested beekeepers should clarify the causes of honey contamination and adopt corrective actions to keep their honey production within the legal levels of lead.     

Second homes in Italy: every household’s dream or (un)profitable investments?

The use of a second home may result in different outcomes for households, ranging from financial profit and holiday use to uses that are clearly unprofitable. We contribute to the literature on second homes by exploring the case of second homes that are not let out, representing the least profitable outcome from an economic viewpoint. The empirical investigation relies on the 2002–2012 Bank of Italy Survey on Household Income and Wealth (SHIW), which also provides extensive information on property, including the actual use. Our results highlight: a gender gap, whereby the unprofitable use of second homes tends to be more clearly associated with male decision-makers; a lack of association with the economic characteristics of the household; and a strong association with the specific characteristics of the property, with inherited property more likely to be used unprofitably. In addition to casting doubt on the effectiveness of second homes as an investment vehicle, our results may have important policy or regulatory implications for housing and rental markets.     

S100A4 Is Involved in Stimulatory Effects Elicited by the FGF2/FGFR1 Signaling Pathway in Triple-Negative Breast Cancer (TNBC) Cells

Triple-negative breast cancer (TNBC) is an aggressive breast tumor subtype characterized by poor clinical outcome. In recent years, numerous advancements have been made to better understand the biological landscape of TNBC, though appropriate targets still remain to be determined. In the present study, we have determined that the expression levels of FGF2 and S100A4 are higher in TNBC with respect to non-TNBC patients when analyzing “The Invasive Breast Cancer Cohort of The Cancer Genome Atlas” (TCGA) dataset. In addition, we have found that the gene expression of FGF2 is positively correlated with S100A4 in TNBC samples. Performing quantitative PCR, Western blot, CRISPR/Cas9 genome editing, promoter studies, immunofluorescence analysis, subcellular fractionation studies, and ChIP assays, we have also demonstrated that FGF2 induces in TNBC cells the upregulation and secretion of S100A4 via FGFR1, along with the ERK1/2–AKT–c-Rel transduction signaling. Using conditioned medium from TNBC cells stimulated with FGF2, we have also ascertained that the paracrine activation of the S100A4/RAGE pathway triggers angiogenic effects in vascular endothelial cells (HUVECs) and promotes the migration of cancer-associated fibroblasts (CAFs). Collectively, our data provide novel insights into the action of the FGF2/FGFR1 axis through S100A4 toward stimulatory effects elicited in TNBC cells.     

Abiotic Stress Response of Near-Isogenic Spring Durum Wheat Lines under Different Sowing Densities

A detailed study was made of changes in the plant development, morphology, physiology and yield biology of near-isogenic lines of spring durum wheat sown in the field with different plant densities in two consecutive years (2013–2014). An analysis was made of the drought tolerance of isogenic lines selected for yield QTLs (QYld.idw-2B and QYld.idw-3B), and the presence of QTL effects was examined in spring sowings. Comparisons were made of the traits of the isogenic pairs QYld.idw-3B++ and QYld.idw-3B−− both within and between the pairs. Changes in the polyamine content, antioxidant enzyme activity, chlorophyll content of the flag leaf and the normalized difference vegetation index (NDVI) of the plot were monitored in response to drought stress, and the relationship between these components and the yield was analyzed. In the case of moderate stress, differences between the NIL++ and NIL−− pairs appeared in the early dough stage, indicating that the QYld.idw-3B++ QTL region was able to maintain photosynthetic activity for a longer period, resulting in greater grain number and grain weight at the end of the growing period. The chlorophyll content of the flag leaf in phenophases Z77 and Z83 was significantly correlated with the grain number and grain weight of the main spike. The grain yield was greatly influenced by the treatment, while the genotype had a significant effect on the thousand-kernel weight and on the grain number and grain weight of the main spike. When the lines were compared in the non-irrigated treatment, significantly more grains and significantly higher grain weight were observed in the main spike in NIL++ lines, confirming the theory that the higher yields of the QYld.idw-3B++ lines when sown in spring and exposed to drought stress could be attributed to the positive effect of the “Kofa” QTL on chromosome 3B.     

Housing Inequality and Social Class in Europe

On the basis of European Survey on Income and Living Conditions (EU-SILC) data, this paper conducts a comparative analysis of housing conditions in different European countries by focusing on social class. The variance in housing conditions by social class could provide further insights about the divergence/convergence hypotheses stemming from the comparative analysis of living conditions of European countries. To support this claim, two main dimensions of housing inequality will be identified: tenure and housing well-being. A micro-level data analysis was performed, in order to take account of individual and family costs of access and maintenance of ownership in settings and in periods (such as the present day) of rising housing prices and income resources that decrease in terms of amount and stability. The aim is thus to demonstrate that, despite the difference in well-being in Europe between owners and non-owners (on the average the firsts are better off), homeowners cannot be regarded as a privileged category per se.     

Development and Experimental Testing of an Optical Micro-Spectroscopic Technique Incorporating True Line-Scan Excitation

Multiphoton micro-spectroscopy, employing diffraction optics and electron-multiplying CCD (EMCCD) cameras, is a suitable method for determining protein complex stoichiometry, quaternary structure, and spatial distribution in living cells using Förster resonance energy transfer (FRET) imaging. The method provides highly resolved spectra of molecules or molecular complexes at each image pixel, and it does so on a timescale shorter than that of molecular diffusion, which scrambles the spectral information. Acquisition of an entire spectrally resolved image, however, is slower than that of broad-bandwidth microscopes because it takes longer times to collect the same number of photons at each emission wavelength as in a broad bandwidth. Here, we demonstrate an optical micro-spectroscopic scheme that employs a laser beam shaped into a line to excite in parallel multiple sample voxels. The method presents dramatically increased sensitivity and/or acquisition speed and, at the same time, has excellent spatial and spectral resolution, similar to point-scan configurations. When applied to FRET imaging using an oligomeric FRET construct expressed in living cells and consisting of a FRET acceptor linked to three donors, the technique based on line-shaped excitation provides higher accuracy compared to the point-scan approach, and it reduces artifacts caused by photobleaching and other undesired photophysical effects.