The SNARE VAMP7 Regulates Exocytic Trafficking of Interleukin-12 in Dendritic Cells

Interleukin-12 (IL-12), produced by dendritic cells in response to activation, is central to pathogen eradication and tumor rejection. The trafficking pathways controlling spatial distribution and intracellular transport of IL-12 vesicles to the cell surface are still unknown. Here, we show that intracellular IL-12 localizes in late endocytic vesicles marked by the SNARE VAMP7. Dendritic cells (DCs) from VAMP7-deficient mice are partially impaired in the multidirectional release of IL-12. Upon encounter with antigen-specific T cells, IL-12-containing vesicles rapidly redistribute at the immune synapse and release IL-12 in a process entirely dependent on VAMP7 expression. Consistently, acquisition of effector functions is reduced in T cells stimulated by VAMP7-null DCs. These results provide insights into IL-12 intracellular trafficking pathways and show that VAMP7-mediated release of IL-12 at the immune synapse is a mechanism to transmit innate signals to T cells

CUMULATIVE HIERARCHIES AND COMPUTABILITY OVER UNIVERSES OF SETS

Various metamathematical investigations, beginning with Fraenkel’s historical proof of the independence of the axiom of choice, called for suitable definitions of hierarchical universes of sets. This led to the discovery of such important cumulative structures as the one singled out by von Neumann (generally taken as the universe of all sets) and Godel’s universe of the so-called constructibles. Variants of those are exploited occasionally in studies concerning the foundations of analysis (according to Abraham Robinson’s approach), or concerning non-well-founded sets. We hence offer a systematic presentation of these many structures, partly motivated by their relevance and pervasiveness in mathematics. As we report, numerous properties of hierarchy-related notions such as rank, have been verified with the assistance of the ÆtnaNova proof-checker.Through SETL and Maple implementations of procedures which effectively handle the Ackermann’s hereditarily finite sets, we illustrate a particularly significant case among those in which the entities which form a universe of sets can be algorithmically constructed and manipulated; hereby, the fruitful bearing on pure mathematics of cumulative set hierarchies ramifies into the realms of theoretical computer science and algorithmics.Various metamathematical investigations, beginning with Fraenkel’shistorical proof of the independence of the axiom of choice, called forsuitable definitions of hierarchical universes of sets. This led to the discovery of such important cumulative structures as the one singled out by von Neumann (generally taken as the universe of all sets) and Godel’s universe of the so-called constructibles. Variants of those are exploited occasionally in studies concerning the foundations of analysis (according to Abraham Robinson’s approach), or concerning non-well-founded sets. We hence offer a systematic presentation of these many structures, partly motivated by their relevance and pervasiveness in mathematics. As we report, numerous properties of hierarchy-related notions such as rank, have been verified with the assistance of the ÆtnaNova proof-checker.Through SETL and Maple implementations of procedures which effec-tively handle the Ackermann’s hereditarily finite sets, we illustrate a particularly significant case among those in which the entities which forma universe of sets can be algorithmically constructed and manipulated;hereby, the fruitful bearing on pure mathematics of cumulative set hierarchies ramifies into the realms of theoretical computer science and algorithmics

Reliability of the automatic procedures for locating earthquakes in southwestern Alps and northern Apennines (Italy)

International audienceReliable automatic procedure for locating earthquake in quasi-real time is strongly needed for seismic warning system, earthquake preparedness, and producing shaking maps. The reliability of an automatic location algorithm is influenced by several factors such as errors in picking seismic phases, network geometry, and velocity model uncertainties. The main purpose of this work is to investigate the performances of different automatic procedures to choose the most suitable one to be applied for the quasi-real-time earthquake locations in northwestern Italy. The reliability of two automatic-picking algorithms (one based on the Characteristic Function (CF) analysis, CF picker, and the other one based on the Akaike's information criterion (AIC), AIC picker) and two location methods (“Hypoellipse” and “NonLinLoc” codes) is analysed by comparing the automatically determined hypocentral coordinates with reference ones. Reference locations are computed by the “Hypoellipse” code considering manually revised data and tested using quarry blasts. The comparison is made on a dataset composed by 575 seismic events for the period 2000–2007 as recorded by the Regional Seismic network of Northwestern Italy. For P phases, similar results, in terms of both amount of detected picks and magnitude of travel time differences with respect to manual picks, are obtained applying the AIC and the CF picker; on the contrary, for S phases, the AIC picker seems to provide a significant greater number of readings than the CF picker. Furthermore, the “NonLinLoc” software (applied to a 3D velocity model) is proved to be more reliable than the “Hypoellipse” code (applied to layered 1D velocity models), leading to more reliable automatic locations also when outliers (wrong picks) are present

A stereologically-posed mass balance for calculating the distributed efficiency of particle separation systems

2nonenoneSCHENA G.D.; CHIARUTTINI C.Schena, Gianni; Chiaruttini, C

ARTIFICIAL-INTELLIGENCE TECHNIQUES IN THE ANALYSIS OF DIGITAL SEISMOGRAMS

none2noneCHIARUTTINI C; G. SALEMIChiaruttini, C; Salemi, Giusepp

Soluzione di sistemi lineari di grandi dimensioni per problemi di tipo BEM mediante elaborazione su sistemi a memoria distribuita

Rapporto di attivit\ue0 del Settore Calcolo Intensivo dell'Atene