Autonomic Role and Mission Allocation Framework for Wireless Sensor Networks.

Pervasive applications incorporate physical components that are exposed to everyday use and a large number of conditions and external factors that can lead to faults and failures. It is also possible that application requirements change during deployment and the network needs to adapt to a new context. Consequently, pervasive systems must be capable to autonomically adapt to changing conditions without involving users becoming a transparent asset in the environment. In this paper, we present an autonomic mechanism for initial task assignment in sensor networks, an NP-hard problem. We also study on-line adaptation of the original deployment which considers real-time metrics for maximising utility and lifetime of applications and smooth service degradation in the face of component failures. © 2011 IEEE

Phase diagram of YBa2_2Cu3_3O7−y_{7-y} at T<<Tc_c based on Cu(2) transverse nuclear relaxation

Two maxima in transverse relaxation rate of Cu(2) nuclei in YBa$_2$Cu$_3$O$_{7-y}$ are observed, at T = 35 K and T = 47 K. Comparison of the $^{63}$Cu(2) and $^{65}$Cu(2) rates at T = 47 K indicates the magnetic character of relaxation. The enhancement at T = 47 K of fluctuating local magnetic fields perpendicular to the CuO$_2$ planes is connected with the critical fluctuations of orbital currents. Maximum at T = 35 K is connected with the appearance of inhomogeneous supeconducting phase. Together with data published to date, our experimental results allow to suggest a qualitatively new phase diagram of the superconducting phase.Comment: 4 LaTEX pages + 3 figures in *.ps forma

Modeling recursive RNA interference.

An important application of the RNA interference (RNAi) pathway is its use as a small RNA-based regulatory system commonly exploited to suppress expression of target genes to test their function in vivo. In several published experiments, RNAi has been used to inactivate components of the RNAi pathway itself, a procedure termed recursive RNAi in this report. The theoretical basis of recursive RNAi is unclear since the procedure could potentially be self-defeating, and in practice the effectiveness of recursive RNAi in published experiments is highly variable. A mathematical model for recursive RNAi was developed and used to investigate the range of conditions under which the procedure should be effective. The model predicts that the effectiveness of recursive RNAi is strongly dependent on the efficacy of RNAi at knocking down target gene expression. This efficacy is known to vary highly between different cell types, and comparison of the model predictions to published experimental data suggests that variation in RNAi efficacy may be the main cause of discrepancies between published recursive RNAi experiments in different organisms. The model suggests potential ways to optimize the effectiveness of recursive RNAi both for screening of RNAi components as well as for improved temporal control of gene expression in switch off-switch on experiments

Correlations Between Charge Ordering and Local Magnetic Fields in Overdoped YBa2_2Cu3_3O6+x_{6+x}

Zero-field muon spin relaxation (ZF-$\mu$SR) measurements were undertaken on under- and overdoped samples of superconducting YBa$_2$Cu$_3$O$_{6+x}$ to determine the origin of the weak static magnetism recently reported in this system. The temperature dependence of the muon spin relaxation rate in overdoped crystals displays an unusual behavior in the superconducting state. A comparison to the results of NQR and lattice structure experiments on highly doped samples provides compelling evidence for strong coupling of charge, spin and structural inhomogeneities.Comment: 4 pages, 4 figures, new data, new figures and modified tex

Right and left ventricles: as inseparable as the twin brothers ‘Castor and Pollux’

NA (Editorial

Minimising makespan of discrete controllers: a qualitative approach

Qualitative controller synthesis techniques produce controllers that guarantee to achieve a given goal in the presence of an adversarial environment. However, qualitative synthesis only produces one controller out of many possible solutions and typically does not provide support for expressing preferences over other alternatives. In this paper, we thus present a formal approach to reason about preferences qualitatively, restricting attention to makespan of discrete eventbased controllers for reachability goals. Time is reasoned upon symbolically, which relieves the user from providing concrete quantitative measures. In particular, we study the scenario in which durations of individual activities are not known up-front. We first show how controllers can be symbolically and fairly compared by fixing the contingencies. Then, we present an algorithm to produce controllers that are makespan-minimising

Dynamic update of discrete event controllers

Discrete event controllers are at the heart of many software systems that require continuous operation. Changing these controllers at runtime to cope with changes in its execution environment or system requirements change is a challenging open problem. In this paper we address the problem of dynamic update of controllers in reactive systems. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur and in which the underlying system architecture can reconfigure. Our solution uses discrete event controller synthesis to automatically build a controller that guarantees both progress towards update and safe update