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

Nucleation of recrystallisation in castings of single crystal Ni-based superalloys

Recrystallisation in single crystal Ni-based superalloys during solution heat treatment results in a significant cost to the investment casting industry. In this paper two sources of surface nucleation have been identified in the alloy CMSX-4^®. Firstly, Electron Backscattered Diffraction (EBSD) has revealed micro-grains of γ', between 2 and 30 μm diameter in the layer of surface eutectic found in the upper part of the casting. These have high angle boundaries with respect to the bulk single crystal and a fraction coarsen during solution heat treatment. Secondly, in the lower regions where surface eutectic does not form, locally deformed regions, 5–20 μm deep, form where the metal adheres to the mould. The local strain causes misorientations up to ≈20° with respect the bulk single crystal, and after heat treatment these regions develop into small grains of similar low-angle misorientations. However, they also form twins to produce further grains which have mobile high-angle boundaries with respect to the bulk single crystal. Experiments have shown that micro-grains at the surface grow to cause full recrystallisation where there is sufficient strain in the bulk material, and by removing these surface defects, recrystallisation can be completely mitigated. Etching of the cast surface is demonstrated to be an effective method of achieving this.Engineering and Physical Sciences Research Council and Rolls-Royce plc for financial support from Dorothy Hodgkin Postgraduate Awards and the EPRSC-Rolls-Royce Strategic Partnership Grant EP/H500375/

Virtualization of elastic optical networks and regenerators with traffic grooming

An elastic optical network (EON) plays an important role in transport technology for virtualization of networks. A key aspect of EONs is to establish lightpaths (virtual links) with exactly the amount of spectrum that is needed and with the possibility of grooming, the process of grouping many small traffic flows into larger units, creating a super-lightpath. Grooming eliminates the need for many guard bands between lightpaths and also saves transceivers; however, it often leads to the need to perform optical–electrical–optical conversions to multiple-data-rate optical signals at intermediate nodes. The aim of this paper is to provide a mixed-integer linear programming (MILP) formulation, as well as heuristic and meta-heuristic approaches, for the design of multiple virtual optical networks (VONs) in an elastic optical substrate network with bandwidth-variable lightpaths, modulation format constraints, and virtual elastic regenerator placement. Traffic grooming is allowed inside each VON, and a distance-adaptive modulation format technique is employed to guarantee efficiency in terms of bandwidth for a physical substrate, subject to several virtual topologies. A reduced MILP formulation without grooming capability is also proposed for comparison. The complete MILP formulation jointly solves the virtual topology design, regenerator placement, and grooming problems, as well as the routing, modulation, and spectrum assignment (RMSA) problem. The reduced MILP formulation, heuristics, and meta-heuristic, on the other hand, separate the virtual topology design problem from the RMSA problem. It is shown that the grooming approach can provide good results, since it solves the problem for a complete design when compared to the approach without grooming. Furthermore, heuristic solutions for large networks are proposed, which present good performance (in terms of saving spectrum) for the design with large instances

The effect of boron on oxide scale formation in a new polycrystalline superalloy

Boron addition to a new polycrystalline nickel-based superalloy promotes the formation of a hitherto unreported aluminoborate phase, in the scale produced by oxidation in air at 900 °C for ~ 10,000 h. Atom probe tomography provides unambiguous confirmation of this. The ramifications of its formation are discussed

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

Laser-based Additive Manufacturing of Bulk Metallic Glasses: Recent Advances and Future Perspectives for Biomedical Applications

Bulk metallic glasses (BMGs) are non-crystalline class of advanced materials and have found potential applications in the biomedical field. Although there are numerous conventional manufacturing approaches for processing BMGs, the most commonly used like copper-mould casting have some limitations. It is not easy to manage and control the critical cooling rate, especially when the fabrication of complex BMG geometries is involved. Other limitations of these techniques include the size constraints, non-flexibility, and the tooling and accessories are costly. The emergence of additive manufacturing (AM) has opened another promising manufacturing route for processing BMGs. AM processes, particularly laser powder-bed fusion (PBF-LB/M) builds parts layer-by-layer and successively fused the powder-melted feedstocks using prescribed computer-controlled laser scanner system, thereby forming a BMGs part upon sufficiently rapid cooling to ensure the glass forming-ability. PBF-LB/M overcomes the limitations of the pre-existing BMGs processing techniques by not only improving the part size, but also produces exceptionally complex structures and patient-specific implants. This review article aims to summarise and discuss the mechanism of BMGs formation through PBF-LB/M for biomedical applications and to highlight the current scientific and technological challenges as well as the future research perspectives towards overcoming the pore-mediated microcracks, partial crystallisation, brittleness and BMG size constraint

In-process monitoring and direct simulation of Argon shielding gas and vapour dynamics to control laser-matter interaction in laser powder bed fusion additive manufacturing

Laser powder bed fusion (L-PBF) additive manufacturing (AM) enables the fabrication of parts with precise dimensional control, freedom of design and material properties similar to or better than those fabricated using traditional manufacturing approaches. AM quality control depends upon the fundamental of the laser-matter interaction during metal AM using L-PBF to exploit the potential use of the materials and process control. In this work, thermal-fluid dynamics in gas chamber experimentally and computationally is used to elucidate the interplay between vapour, liquid, and solid phases in L-PBF. It is revealed that the argon (Ar) shielding gas flow with varied inlet velocities by different nozzles has a pronounced effect to minimise the laser-fume interaction, resulting in the reduction in unstable metal vapour flow and enhancing laser absorptivity. In-process monitoring via high-speed visualisation has been used to understand the simultaneous gas plume dynamics as a result of vapourisation and subsequent laser-fume interaction, backed up by thermal-fluid flow simulation. Unfavourable process dynamics associated with unwanted defects such as lack of fusion can be avoided to improve process design and enhance process stability

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