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.     

The Rules of Beeping: Exchanging Messages Via Intentional "Missed Calls" on Mobile Phones

This article explores the practice of "beeping" or "missed calling" between mobile phone users, or calling a number and hanging up before the mobile's owner can pick up the call. Most beeps are requests to call back immediately, but they can also send a pre-negotiated instrumental message such as "pick me up now" or a relational sign, such as "I'm thinking of you." The practice itself is old, with roots in landline behaviors, but it has grown tremendously, particularly in the developing world. Based on interviews with small business owners and university students in Rwanda, the article identifies three kinds of beeps (callback, pre-negotiated instrumental, and relational) and the norms governing their use. It then assesses the significance of the practice using adaptive structuration theory. In concluding, the article contrasts beeping with SMS/text messaging, discusses its implications for increasing access to telecommunications services, and suggests paths for future research.     

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’...     

Microfluidic motion for a direct investigation of solvent interactions with PDMS microchannels

Solid surface/liquid interactions play an important role in microfluidics and particularly in manipulation of films, drops and bubbles, a basic requirement for a number of lab-on-chip applications. The behavior of solvents in coated microchannels is difficult to be predicted considering theories; therefore, experimental methods able to estimate the properties at the interface in real time and during the operational regime are amenable. Here, we propose to use an experimental setup to evaluate the effective dynamics of solvents inside PDMS microchannels. The influence of the solvent properties as well as of the channel wall’s wettability on the fluid movements was evaluated. Modification of the channel properties was achieved by introducing Teflon coatings that allow producing stable hydrophobic microchannel walls. The results were fitted according to Washburn-type power-law and compared with theoretical calculations of the parameter β that expresses the dependence of capillary dynamics on surface tension γ, liquid viscosity η, contact angles θ and the hydraulic radius R _H. A comparison between the calculated and the experimental values reveled that parameters other than the contemplated ones influenced the measurements. The main parameter that affects the flow of solvents such as water, methanol ethanol, dimethylformamide, acetonitrile and acetone was found to be the γ/η ratio. Considering these results, the investigation tool described here is believed to be promising to predict the dynamics of common organic solvents inside integrated functional fluidic devices and to accurately control solvent flow, particularly in capillary-driven pumpless systems, a basic requirement for widening the application range of PDMS lab-on-chip devices.     

Pro-Inflammatory Effect of Gliadins and Glutenins Extracted from Different Wheat Cultivars on an In Vitro 3D Intestinal Epithelium Model

There is a need to assess the relationship between improved rheological properties and the immunogenic potential of wheat proteins. The present study aimed to investigate the in vitro effects of total protein extracts from three modern and two landrace Triticum aestivum commercial flour mixes, with significant differences in gluten strength (GS), on cell lines. Cytotoxicity and innate immune responses induced by wheat proteins were investigated using Caco-2 monocultures, two dimensional (2D) Caco-2/U937 co-cultures, and three dimensional (3D) co-cultures simulating the intestinal mucosa with Caco-2 epithelial cells situated above an extra-cellular matrix containing U937 monocytes and L929 fibroblasts. Modern wheat proteins, with increased GS, significantly reduced Caco-2 cell proliferation and vitality in monoculture and 2D co-cultures than landrace proteins. Modern wheat proteins also augmented Caco-2 monolayer disruption and tight junction protein, occludin, redistribution in 3D co-cultures. Release of interleukin-8 into the cell medium and increased U937 monocyte migration in both 2D and 3D co-cultures were similarly apparent. Immuno-activation of migrating U937 cells was evidenced from cluster of differentiation 14 (CD14) staining and CD11b-related differentiation into macrophages. The modern wheat proteins, with gluten polymorphism relatedness and increased GS, were shown to be more cytotoxic and immunogenic than the landrace wheat proteins.     

Complementary Effects of Carbamylated and Citrullinated LL37 in Autoimmunity and Inflammation in Systemic Lupus Erythematosus

LL37 acts as T-cell/B-cell autoantigen in Systemic lupus erythematosus (SLE) and psoriatic disease. Moreover, when bound to “self” nucleic acids, LL37 acts as “danger signal,” leading to type I interferon (IFN-I)/pro-inflammatory factors production. T-cell epitopes derived from citrullinated-LL37 act as better antigens than unmodified LL37 epitopes in SLE, at least in selected HLA-backgrounds, included the SLE-associated HLA-DRB1*1501/HLA-DRB5*0101 backgrounds. Remarkably, while “fully-citrullinated” LL37 acts as better T-cell-stimulator, it loses DNA-binding ability and the associated “adjuvant-like” properties. Since LL37 undergoes a further irreversible post-translational modification, carbamylation and antibodies to carbamylated self-proteins other than LL37 are present in SLE, here we addressed the involvement of carbamylated-LL37 in autoimmunity and inflammation in SLE. We detected carbamylated-LL37 in SLE-affected tissues. Most importantly, carbamylated-LL37-specific antibodies and CD4 T-cells circulate in SLE and both correlate with disease activity. In contrast to “fully citrullinated-LL37,” “fully carbamylated-LL37” maintains both innate and adaptive immune-cells’ stimulatory abilities: in complex with DNA, carbamylated-LL37 stimulates plasmacytoid dendritic cell IFN-α production and B-cell maturation into plasma cells. Thus, we report a further example of how different post-translational modifications of a self-antigen exert complementary effects that sustain autoimmunity and inflammation, respectively. These data also show that T/B-cell responses to carbamylated-LL37 represent novel SLE disease biomarkers.