Towards an integrated and interoperable platform for telehealth and telecare

Copyright @ 2012 International Journal of Integrated Care (IJIC). This work is licensed under a (http://creativecommons.org/licenses/by/3.0) Creative Commons Attribution 3.0 Unported License.We present experience of implementing and evaluating a platform purpose designed to integrate interoperable telehealth and telecare. We chose the IEEE 11073 standards for all devices and used ZigBee wireless to support many devices concurrently and exploit its mesh networking to extend range around the entire house. We designed the home gateway to be unobtrusive; in project Hydra we used the smart meter and in other projects (Reaction, inCasa) we have developed a purpose designed plugtop ZigBee to GPRS gateway. All use common protocols and are interoperable. Technically the projects have been a success, and we have already implemented a wide range of devices on the common platform (BP, weight, SpO2, glucose, PIR, medication monitor, bed/chair sensor). Immediate feedback from participants has confirmed our goal of simplicity and convenience of use (and thus encourage adherence); and it is interesting that in discussion they then focus on the data rather than the technology. Our current goal is to exploit the potential for combination of physiological and environmental data to determine if change of habits can be detected and how this correlates with change in health. We are using this functionality to manage the frail elderly within project inCasa and we propose to present preliminary findings

Sequential Posted Price Mechanisms with Correlated Valuations

We study the revenue performance of sequential posted price mechanisms and some natural extensions, for a general setting where the valuations of the buyers are drawn from a correlated distribution. Sequential posted price mechanisms are conceptually simple mechanisms that work by proposing a take-it-or-leave-it offer to each buyer. We apply sequential posted price mechanisms to single-parameter multi-unit settings in which each buyer demands only one item and the mechanism can assign the service to at most k of the buyers. For standard sequential posted price mechanisms, we prove that with the valuation distribution having finite support, no sequential posted price mechanism can extract a constant fraction of the optimal expected revenue, even with unlimited supply. We extend this result to the the case of a continuous valuation distribution when various standard assumptions hold simultaneously. In fact, it turns out that the best fraction of the optimal revenue that is extractable by a sequential posted price mechanism is proportional to ratio of the highest and lowest possible valuation. We prove that for two simple generalizations of these mechanisms, a better revenue performance can be achieved: if the sequential posted price mechanism has for each buyer the option of either proposing an offer or asking the buyer for its valuation, then a Omega(1/max{1,d}) fraction of the optimal revenue can be extracted, where d denotes the degree of dependence of the valuations, ranging from complete independence (d=0) to arbitrary dependence (d=n-1). Moreover, when we generalize the sequential posted price mechanisms further, such that the mechanism has the ability to make a take-it-or-leave-it offer to the i-th buyer that depends on the valuations of all buyers except i's, we prove that a constant fraction (2-sqrt{e})/4~0.088 of the optimal revenue can be always be extracted.Comment: 29 pages, To appear in WINE 201

E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

Estrogen receptor-α and progesterone receptor are expressed in label-retaining mammary epithelial cells that divide asymmetrically and retain their template DNA strands

INTRODUCTION: Stem cells of somatic tissues are hypothesized to protect themselves from mutation and cancer risk through a process of selective segregation of their template DNA strands during asymmetric division. Mouse mammary epithelium contains label-retaining epithelial cells that divide asymmetrically and retain their template DNA. METHOD: Immunohistochemistry was used in murine mammary glands that had been labeled with [(3)H]thymidine during allometric growth to investigate the co-expression of DNA label retention and estrogen receptor (ER)-α or progesterone receptor (PR). Using the same methods, we investigated the co-localization of [(3)H]thymidine and ER-α or PR in mammary tissue from mice that had received treatment with estrogen, progesterone, and prolactin subsequent to a long chase period to identify label-retaining cells. RESULTS: Label-retaining epithelial cells (LRECs) comprised approximately 2.0% of the entire mammary epithelium. ER-α-positive and PR-positive cells represented about 30–40% of the LREC subpopulation. Administration of estrogen, progesterone, and prolactin altered the percentage of LRECs expressing ER-α. CONCLUSION: The results presented here support the premise that there is a subpopulation of LRECs in the murine mammary gland that is positive for ER-α and/or PR. This suggests that certain mammary LRECs (potentially stem cells) remain stably positive for these receptors, raising the possibility that LRECs comprise a hierarchy of asymmetrically cycling mammary stem/progenitor cells that are distinguished by the presence or absence of nuclear steroid receptor expression