2,412 research outputs found

    Analysis of retrieved STRYDE nails

    Get PDF
    AIMS: The aim of this study was to present the first retrieval analysis findings of PRECICE STRYDE intermedullary nails removed from patients, providing useful information in the post-market surveillance of these recently introduced devices. METHODS: We collected ten nails removed from six patients, together with patient clinical data and plain radiograph imaging. We performed macro- and microscopic analysis of all surfaces and graded the presence of corrosion using validated semiquantitative scoring methods. We determined the elemental composition of surface debris using energy dispersive x-ray spectroscopy (EDS) and used metrology analysis to characterize the surface adjacent to the extendable junctions. RESULTS: All nails were removed at the end of treatment, having achieved their intended lengthening (20 mm to 65 mm) and after regenerate consolidation. All nails had evidence of corrosion localized to the screw holes and the extendable junctions; corrosion was graded as moderate at the junction of one nail and severe at the junctions of five nails. EDS analysis showed surface deposits to be chromium rich. Plain radiographs showed cortical thickening and osteolysis around the junction of six nails, corresponding to the same nails with moderate - severe junction corrosion. CONCLUSION: We found, in fully united bones, evidence of cortical thickening and osteolysis that appeared to be associated with corrosion at the extendable junction; when corrosion was present, cortical thickening was adjacent to this junction. Further work, with greater numbers of retrievals, is required to fully understand this association between corrosion and bony changes, and the influencing surgeon, implant, and patient factors involved. Cite this article: Bone Jt Open 2021;2(8):599-610

    Functional Big-step Semantics

    Get PDF
    When doing an interactive proof about a piece of software, it is important that the underlying programming language’s semantics does not make the proof unnecessarily difficult or unwieldy. Both smallstep and big-step semantics are commonly used, and the latter is typically given by an inductively defined relation. In this paper, we consider an alternative: using a recursive function akin to an interpreter for the language. The advantages include a better induction theorem, less duplication, accessibility to ordinary functional programmers, and the ease of doing symbolic simulation in proofs via rewriting. We believe that this style of semantics is well suited for compiler verification, including proofs of divergence preservation. We do not claim the invention of this style of semantics: our contribution here is to clarify its value, and to explain how it supports several language features that might appear to require a relational or small-step approach. We illustrate the technique on a simple imperative language with C-like for-loops and a break statement, and compare it to a variety of other approaches. We also provide ML and lambda-calculus based examples to illustrate its generality

    Statistical Basis for Predicting Technological Progress

    Get PDF
    Forecasting technological progress is of great interest to engineers, policy makers, and private investors. Several models have been proposed for predicting technological improvement, but how well do these models perform? An early hypothesis made by Theodore Wright in 1936 is that cost decreases as a power law of cumulative production. An alternative hypothesis is Moore's law, which can be generalized to say that technologies improve exponentially with time. Other alternatives were proposed by Goddard, Sinclair et al., and Nordhaus. These hypotheses have not previously been rigorously tested. Using a new database on the cost and production of 62 different technologies, which is the most expansive of its kind, we test the ability of six different postulated laws to predict future costs. Our approach involves hindcasting and developing a statistical model to rank the performance of the postulated laws. Wright's law produces the best forecasts, but Moore's law is not far behind. We discover a previously unobserved regularity that production tends to increase exponentially. A combination of an exponential decrease in cost and an exponential increase in production would make Moore's law and Wright's law indistinguishable, as originally pointed out by Sahal. We show for the first time that these regularities are observed in data to such a degree that the performance of these two laws is nearly tied. Our results show that technological progress is forecastable, with the square root of the logarithmic error growing linearly with the forecasting horizon at a typical rate of 2.5% per year. These results have implications for theories of technological change, and assessments of candidate technologies and policies for climate change mitigation

    A Discharge-Based Pulse Technique for Probing the Energy Distribution of Positive Charges in Gate Dielectric

    Get PDF
    Characterizing positive charges and its energy distribution in gate dielectric is useful for process qualification. A discharge-based technique is introduced to extract their energy distribution both within and beyond substrate band gap. This work investigates the difficulties in its implementation on typical industrial parameter analyzer and provides solutions. For the first time, we demonstrate the technique’s applicability to the advanced 22 nm fabrication process and its capability in evaluating the impact of different strains on the energy distribution. The test time is within several hours. This, together with its implementation on industrial parameter analyzer, makes it a useful tool in the semiconductor manufacturing foundries for process monitoring and optimization

    Attenuation of microvascular function in those with cardiovascular disease is similar in patients of Indian Asian and European descent

    Get PDF
    addresses: Institute of Biomedical and Clinical Science, Peninsula Medical School (Exeter), University of Exeter, UK. [email protected]: PMCID: PMC2823616types: Comparative Study; Journal Article; Multicenter Study; Research Support, Non-U.S. Gov't© 2010 Strain et al; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Indian Asians are at increased risk of cardiovascular death which does not appear to be explained by conventional risk factors. As microvascular disease is also more prevalent in Indian Asians, and as it is thought to play a role in the development of macrovascular disease, we decided to determine whether impaired microcirculation could contribute to this increased cardiovascular risk in Indian Asians

    Evaluation of the Workplace Environment in the UK, and the Impact on Users’ Levels of Stimulation

    Get PDF
    The purpose of this study is to evaluate a number of recently completed workplaces in the UK. The first aim is to assess the impact of various aspects of the workplace environment on users’ levels of stimulation. The body of previous research undertaken into the workplace environment, identified the aspects to be investigated. Samples of employees from the sixteen businesses were surveyed to determine their perceptions of the workplaces. The results were entered into a regression analysis, and the most significant predictors of perceived stimulation identified. The data also revealed a dramatic reduction in staff arousal levels from mornings to afternoons. Thus, there is a second aim to determine whether changes to significant aspects of the workplace environment during the day can counteract the reduction in users’ stimulation. Two further workplaces were studied to enable changes to be made over a 12-week period. A sample of employees completed questionnaires, and semi-structured interviews revealed the reasons behind the results. It was found that provision of artwork, personal control of temperature and ventilation and regular breaks were the most significant contributions to increasing stimulation after lunch; while user choice of layout, and design and décor of workspaces and break areas, were the most significant aspects at design stage

    Porto-systemic shunt using adrenal vein as a conduit; an alternative procedure for spleno – renal shunt

    Get PDF
    PubMed ID: 17555599Background. Currently, portal hypertension is still big problem for the patients with serious liver diseases. Variceal bleeding is one of the most important complications of portal hypertension. In case of failure of endoscopic and combined medical treatments, surgical decompressive shunts are required. We emphasized an alternative splenorenal shunt procedure using adrenal vein as a conduit. Case presentation. A 26-year-old male suffered from recurrent variceal bleeding was considered for surgical therapy. Although we planned to perform a distal splenorenal shunt procedure, it was observed to be difficult. Therefore left adrenal vein was used as a conduit between left renal vein and splenic vein after splenic artery was ligated. He did well and was discharged from the hospital on the postoperative day 6. In the follow up period for nine months, endoscopic and ultrasonographic examinations were normal. Conclusion. We concluded that, in case of failure to perform distal splenorenal shunt due to technical problems, alternative porto-systemic shunt procedure using the adrenal vein as a vascular conduit can be safely employed. © 2007 Aydin et al; licensee BioMed Central Ltd

    Growth dynamics and the evolution of cooperation in microbial populations

    Get PDF
    Microbes providing public goods are widespread in nature despite running the risk of being exploited by free-riders. However, the precise ecological factors supporting cooperation are still puzzling. Following recent experiments, we consider the role of population growth and the repetitive fragmentation of populations into new colonies mimicking simple microbial life-cycles. Individual-based modeling reveals that demographic fluctuations, which lead to a large variance in the composition of colonies, promote cooperation. Biased by population dynamics these fluctuations result in two qualitatively distinct regimes of robust cooperation under repetitive fragmentation into groups. First, if the level of cooperation exceeds a threshold, cooperators will take over the whole population. Second, cooperators can also emerge from a single mutant leading to a robust coexistence between cooperators and free-riders. We find frequency and size of population bottlenecks, and growth dynamics to be the major ecological factors determining the regimes and thereby the evolutionary pathway towards cooperation.Comment: 26 pages, 6 figure

    The Organizational Account of Function is an Etiological Account of Function

    Get PDF
    The debate on the notion of function has been historically dominated by dispositional and etiological accounts, but recently a third contender has gained prominence: the organizational account. This original theory of function is intended to offer an alternative account based on the notion of self-maintaining system. However, there is a set of cases where organizational accounts seem to generate counterintuitive results. These cases involve cross-generational traits, that is, traits that do not contribute in any relevant way to the self-maintenance of the organism carrying them, but instead have very important effects on organisms that belong to the next generation. We argue that any plausible solution to the problem of cross-generational traits shows that the organizational account just is a version of the etiological theory and, furthermore, that it does not provide any substantive advantage over standard etiological theories of function

    Capture the fracture: a best practice framework and global campaign to break the fragility fracture cycle

    Get PDF
    Summary The International Osteoporosis Foundation (IOF) Capture the Fracture Campaign aims to support implementation of Fracture Liaison Services (FLS) throughout the world. Introduction FLS have been shown to close the ubiquitous secondary fracture prevention care gap, ensuring that fragility fracture sufferers receive appropriate assessment and intervention to reduce future fracture risk. Methods Capture the Fracture has developed internationally endorsed standards for best practice, will facilitate change at the national level to drive adoption of FLS and increase awareness of the challenges and opportunities presented by secondary fracture prevention to key stakeholders. The Best Practice Framework (BPF) sets an international benchmark for FLS, which defines essential and aspirational elements of service delivery. Results The BPF has been reviewed by leading experts from many countries and subject to beta-testing to ensure that it is internationally relevant and fit-for-purpose. The BPF will also serve as a measurement tool for IOF to award ‘Capture the Fracture Best Practice Recognition’ to celebrate successful FLS worldwide and drive service development in areas of unmet need. The Capture the Fracture website will provide a suite of resources related to FLS and secondary fracture prevention, which will be updated as new materials become available. A mentoring programme will enable those in the early stages of development of FLS to learn from colleagues elsewhere that have achieved Best Practice Recognition. A grant programme is in development to aid clinical systems which require financial assistance to establish FLS in their localities. Conclusion Nearly half a billion people will reach retirement age during the next 20 years. IOF has developed Capture the Fracture because this is the single most important thing that can be done to directly improve patient care, of both women and men, and reduce the spiralling fracture-related care costs worldwide.</p
    • …
    corecore