TGF-beta-induced apoptosis of cerebellar granule neurons is prevented by depolarization

The regulation of programmed cell death in the developing nervous system involves target-derived survival factors, afferent synaptic activity, and hormone- and cytokine-dependent signaling. Cultured immature cerebellar granule neurons die by apoptosis within several days in vitro unless maintained in depolarizing (high) concentrations of potassium (25 mM K+). Here we report that transforming growth factors (TGF)-beta1, -beta2, and -beta3 accelerate apoptosis of these neurons when maintained in physiological (low) K+ medium (5mM K+) as assessed by measures of viability, quantitative DNA fragmentation, and nuclear morphology. TGF-beta-induced apoptosis of these neurons is not blocked by CNTF and LIF, cytokines that enhance neuronal survival when applied alone, or by IGF-I, which prevents apoptosis upon potassium withdrawal. In contrast, neurons that differentiate in high K+ medium for several days in vitro acquire resistance to TGF-beta-mediated cell death. Granule neurons maintained in either low or high K+ medium produce latent, but not bioactive, TGF-beta1 and -beta2. Because neutralizing TGF-beta antibodies fail to augment survival of low K+ neurons, the cerebellar neurons are apparently unable to activate latent TGF-beta. Thus, apoptosis of low K+ neurons is not attributable to endogenous production of TGF-beta. Taken together, our data suggest that TGF-beta may limit the expansion of postmitotic neuronal precursor populations by promoting their apoptosis but may support survival of those neurons that have maturated, differentiated, and established supportive synaptic connectivity.     

Active state estimation for nonlinear systems: a neural approximation approach.

In this paper, we consider the problem of actively providing an estimate of the state of a stochastic dynamic system over a (possibly long) finite time horizon. The active estimation problem (AEP) is formulated as a stochastic optimal control one, in which the minimization of a suitable uncertainty measure is carried out. Toward this end, the use of the Renyi entropy as an information measure is proposed and motivated. A neural control scheme, based on the application of the extended Ritz method (ERIM) and on the use of a Gaussian sum filter (GSF), is then presented. Simulation results show the effectiveness of the proposed approach.     

Large band simulation of the wind speed for real time wind turbine simulators

In this paper, the authors propose two modeling procedures for wind speed simulation. These procedures could be implemented on the structure of a wind turbine simulator during studies concerning stand-alone or hybrid wind systems. The evolution of a horizontal wind speed has been synthesized taking into account two components. The medium- and long-term component is described by a power spectrum associated to a specific site. The turbulence component is assumed to be dependent on the medium- and long-term wind speed evolution. It is considered as a nonstationary process. Two simulation methods for this component, using rational and nonrational filters are proposed. In both procedures, the turbulence model is defined by two parameters, which are either obtained experimentally, or adopted a priori, according to information from the considered site. Numerical results and implementation aspects are also discussed.     

Timing and causality in process algebra

 There has been considerable controversy in concurrency theory between the ‘interleaving’ and ‘true concurrency’ schools. The former school advocates associating a transition system with a process which captures concurrent execution via the interleaving of occurrences; the latter adopts more complex semantic structures to avoid reducing concurrency to interleaving. In this paper we show that the two approaches are not irreconcilable. We define a timed process algebra where occurrences are associated with intervals of time, and give it a transition system semantics. This semantics has many of the advantages of the interleaving approach; the algebra admits an expansion theorem, and bisimulation semantics can be used as usual. Our transition systems, however, incorporate timing information, and this enables us to express concurrency: merely adding timing appropriately generalises transition systems to asynchronous transition systems, showing that time gives a link between true concurrency and interleaving. Moreover, we can provide a complete axiomatisation of bisimulation for our algebra; a result that is often problematic in a timed setting. Another advantage of incorporating timing information into the calculus is that it allows a particularly simple definition of action refinement; this we present. The paper concludes with a comparison of the equivalence we present with those in the literature, and an example system specification in our formalism. Received December 20, 1993/February 23, 1995     

DYRE: a DYnamic REconfigurable solution to increase GPGPU’s reliability

The Journal of Supercomputing - General-purpose graphics processing units (GPGPUs) are extensively used in high-performance computing. However, it is well known that these devices’...     

Information Sharing Among Disaster Responders - An Interactive Spreadsheet-Based Collaboration Approach

Recent natural disasters have led crisis management organizations to revise their protocols so as to rely on the contribution of a wider range of actors, including simple citizens as well as expert operators, to support decision making activities. Reliable and timely information sharing among members of distributed teams of disaster responders has become paramount for the success of the overall crisis management process. In this paper we propose a crisis management system based on spreadsheet-mediated collaboration among on-site responders and decision makers. To share data a common spreadsheet artifact has been developed by using a participatory design approach which is accessed through mobile user interfaces. The evaluation results showed that the use of the spreadsheet artifact has resulted in more effective decision making relating to set of earthquake management scenarios in high-risk areas located in Italy.     

NetCluster: A clustering-based framework to analyze internet passive measurements data

Internet measured data collected via passive measurement are analyzed to obtain localization information on nodes by clustering (i.e., grouping together) nodes that exhibit similar network path properties. Since traditional clustering algorithms fail to correctly identify clusters of homogeneous nodes, we propose the NetCluster novel framework, suited to analyze Internet measurement datasets. We show that the proposed framework correctly analyzes synthetically generated traces. Finally, we apply it to real traces collected at the access link of Politecnico di Torino campus LAN and discuss the network characteristics as seen at the vantage point.     

P distribution in different sediment fraction of a constructed wetland

The aim of this work was to study the accumulation and fractionation of P in the inlet and outlet sediment of a constructed wetland for the wastewater treatment of a metallurgic plant in Argentina. It was important to predict whether P could be released into the water again by changing environmental conditions or retained over time. P-fractionation was performed using a sequential extraction method. Sediment cores were sliced at depths of: 0-3; 3-7 and 7-10 cm. Sediment showed high pH values and anoxic conditions. In the inlet area, P was principally bound to the carbonate fraction, whereas in the outlet area, it was mainly bound in the residual fraction. This behavior was justified by the effluent composition, which is rich in Ca2+ and Fe3+ and presents high values of pH and conductivity. These conditions favor CaCO3 and Fe(OOH)n precipitation and the subsequent sorption of P to their surface. The sediment active layer involved in the exchange reactions was the superficial one (0-3 cm). The wetland is highly efficient in P retention. P was retained by sediment in fractions that will not release it to the water while chemical and environmental conditions of the system are maintained.     

A static view of localities

This paper proposes alternative, effective characterizations for nets of automata of the location equivalence and preorder presented by Boudol et al. in the companion paper [BCHK]. Contrary to the technical development in the above given reference, where locations are dynamically associated to the subparts of a process in the operational semantics, the equivalence and preorder we propose are based on a static association of locations to the parallel components of a net. Following this static approach, it is possible to give these distributed nets a standard operational semantics which associates with each net a finite labelled transition system. Using this operational semantics for distributed nets, we introduce effective notions of equivalence and preorder which are shown to coincide with those proposed in [BCHK].