Keyword-Based Delegable Proofs of Storage

Cloud users (clients) with limited storage capacity at their end can outsource bulk data to the cloud storage server. A client can later access her data by downloading the required data files. However, a large fraction of the data files the client outsources to the server is often archival in nature that the client uses for backup purposes and accesses less frequently. An untrusted server can thus delete some of these archival data files in order to save some space (and allocate the same to other clients) without being detected by the client (data owner). Proofs of storage enable the client to audit her data files uploaded to the server in order to ensure the integrity of those files. In this work, we introduce one type of (selective) proofs of storage that we call keyword-based delegable proofs of storage, where the client wants to audit all her data files containing a specific keyword (e.g., "important"). Moreover, it satisfies the notion of public verifiability where the client can delegate the auditing task to a third-party auditor who audits the set of files corresponding to the keyword on behalf of the client. We formally define the security of a keyword-based delegable proof-of-storage protocol. We construct such a protocol based on an existing proof-of-storage scheme and analyze the security of our protocol. We argue that the techniques we use can be applied atop any existing publicly verifiable proof-of-storage scheme for static data. Finally, we discuss the efficiency of our construction.Comment: A preliminary version of this work has been published in International Conference on Information Security Practice and Experience (ISPEC 2018

Liver transplantation for type I and type IV glycogen storage disease

Progressive liver failure or hepatic complications of the primary disease led to orthotopic liver transplantation in eight children with glycogen storage disease over a 9-year period. One patient had glycogen storage disease (GSD) type I (von Gierke disease) and seven patients had type IV GSD (Andersen disease). As previously reported [19], a 16.5-year-old-girl with GSD type I was successfully treated in 1982 by orthotopic liver transplantation under cyclosporine and steroid immunosuppression. The metabolic consequences of the disease have been eliminated, the renal function and size have remained normal, and the patient has lived a normal young adult life. A late portal venous thrombosis was treated successfully with a distal splenorenal shunt. Orthotopic liver transplantation was performed in seven children with type N GSD who had progressive hepatic failure. Two patients died early from technical complications. The other five have no evidence of recurrent hepatic amylopectinosis after 1.1–5.8 postoperative years. They have had good physical and intellectual maturation. Amylopectin was found in many extrahepatic tissues prior to surgery, but cardiopathy and skeletal myopathy have not developed after transplantation. Postoperative heart biopsies from patients showed either minimal amylopectin deposits as long as 4.5 years following transplantation or a dramatic reduction in sequential biopsies from one patient who initially had dense myocardial deposits. Serious hepatic derangement is seen most commonly in types T and IV GSD. Liver transplantation cures the hepatic manifestations of both types. The extrahepatic deposition of abnormal glycogen appears not to be problematic in type I disease, and while potentially more threatening in type IV disease, may actually exhibit signs of regression after hepatic allografting

Combined modelling and miniaturised characterisation of high-temperature forging in a nickel-based superalloy

Continuum models and miniaturised experiments are used to elucidate the high-temperature forgeability of the Ni-based superalloy Inconel 903. Uniaxial compression high temperature tests allow the derivation of an apparent activation energy and the strain rate sensitivity of the deformation process, and to propose a unified constitutive model that captures the underlying physics of deformation. Metallographic analysis is then used to elucidate changes in microstructure which arise during the deformation process; microstructure evolution models which define the changes in grain size and recrystallisation during high temperature compression are proposed. Miniaturised forging experiments in double-cone specimens validate the modelling approach under relevant forging conditions at different temperatures and deformation rates. Finally, the deformation behaviour of this material in an industrially relevant manufacturing scenario – the forging process of a turbine disc – is studied numerically

Process evaluation of appreciative inquiry to translate pain management evidence into pediatric nursing practice

Background Appreciative inquiry (AI) is an innovative knowledge translation (KT) intervention that is compatible with the Promoting Action on Research in Health Services (PARiHS) framework. This study explored the innovative use of AI as a theoretically based KT intervention applied to a clinical issue in an inpatient pediatric care setting. The implementation of AI was explored in terms of its acceptability, fidelity, and feasibility as a KT intervention in pain management. Methods A mixed-methods case study design was used. The case was a surgical unit in a pediatric academic-affiliated hospital. The sample consisted of nurses in leadership positions and staff nurses interested in the study. Data on the AI intervention implementation were collected by digitally recording the AI sessions, maintaining logs, and conducting individual semistructured interviews. Data were analysed using qualitative and quantitative content analyses and descriptive statistics. Findings were triangulated in the discussion. Results Three nurse leaders and nine staff members participated in the study. Participants were generally satisfied with the intervention, which consisted of four 3-hour, interactive AI sessions delivered over two weeks to promote change based on positive examples of pain management in the unit and staff implementation of an action plan. The AI sessions were delivered with high fidelity and 11 of 12 participants attended all four sessions, where they developed an action plan to enhance evidence-based pain assessment documentation. Participants labeled AI a 'refreshing approach to change' because it was positive, democratic, and built on existing practices. Several barriers affected their implementation of the action plan, including a context of change overload, logistics, busyness, and a lack of organised follow-up. Conclusions Results of this case study supported the acceptability, fidelity, and feasibility of AI as a KT intervention in pain management. The AI intervention requires minor refinements (e.g., incorporating continued follow-up meetings) to enhance its clinical utility and sustainability. The implementation process and effectiveness of the modified AI intervention require evaluation in a larger multisite study

Phylogenetic Codivergence Supports Coevolution of Mimetic Heliconius Butterflies

The unpalatable and warning-patterned butterflies _Heliconius erato_ and _Heliconius melpomene_ provide the best studied example of mutualistic Müllerian mimicry, thought – but rarely demonstrated – to promote coevolution. Some of the strongest available evidence for coevolution comes from phylogenetic codivergence, the parallel divergence of ecologically associated lineages. Early evolutionary reconstructions suggested codivergence between mimetic populations of _H. erato_ and _H. melpomene_, and this was initially hailed as the most striking known case of coevolution. However, subsequent molecular phylogenetic analyses found discrepancies in phylogenetic branching patterns and timing (topological and temporal incongruence) that argued against codivergence. We present the first explicit cophylogenetic test of codivergence between mimetic populations of _H. erato_ and _H. melpomene_, and re-examine the timing of these radiations. We find statistically significant topological congruence between multilocus coalescent population phylogenies of _H. erato_ and _H. melpomene_, supporting repeated codivergence of mimetic populations. Divergence time estimates, based on a Bayesian coalescent model, suggest that the evolutionary radiations of _H. erato_ and _H. melpomene_ occurred over the same time period, and are compatible with a series of temporally congruent codivergence events. This evidence supports a history of reciprocal coevolution between Müllerian co-mimics characterised by phylogenetic codivergence and parallel phenotypic change

The RR Lyrae Distance Scale

We review seven methods of measuring the absolute magnitude M_V of RR Lyrae stars in light of the Hipparcos mission and other recent developments. We focus on identifying possible systematic errors and rank the methods by relative immunity to such errors. For the three most robust methods, statistical parallax, trigonometric parallax, and cluster kinematics, we find M_V (at [Fe/H] = -1.6) of 0.77 +/- 0.13, 0.71 +/- 0.15, 0.67 +/- 0.10. These methods cluster consistently around 0.71 +/- 0.07. We find that Baade-Wesselink and theoretical models both yield a broad range of possible values (0.45-0.70 and 0.45-0.65) due to systematic uncertainties in the temperature scale and input physics. Main-sequence fitting gives a much brighter M_V = 0.45 +/- 0.04 but this may be due to a difference in the metallicity scales of the cluster giants and the calibrating subdwarfs. White-dwarf cooling-sequence fitting gives 0.67 +/- 0.13 and is potentially very robust, but at present is too new to be fully tested for systematics. If the three most robust methods are combined with Walker's mean measurement for 6 LMC clusters, V_{0,LMC} = 18.98 +/- 0.03 at [Fe/H] = -1.9, then mu_{LMC} = 18.33 +/- 0.08.Comment: Invited review article to appear in: `Post-Hipparcos Cosmic Candles', A. Heck & F. Caputo (Eds), Kluwer Academic Publ., Dordrecht, in press. 21 pages including 1 table; uses Kluwer's crckapb.sty LaTeX style file, enclose

Characterization of phase chemistry and partitioning in a family of high-strength nickel-based superalloys

A family of novel polycrystalline Ni-based superalloys with varying Ti:Nb ratios has been created using computational alloy design techniques, and subsequently characterized using atom probe tomography and electron microscopy. Phase chemistry, elemental partitioning, and γ′ character have been analyzed and compared with thermodynamic predictions created using Thermo-Calc. Phase compositions and γ′ volume fraction were found to compare favorably with the thermodynamically predicted values, while predicted partitioning behavior for Ti, Nb, Cr, and Co tended to overestimate γ′ preference over the γ matrix, often with opposing trends vs Nb concentration