2,139 research outputs found

    Towards the production of radiotherapy treatment shells on 3D printers using data derived from DICOM CT and MRI: preclinical feasibility studies

    Get PDF
    Background: Immobilisation for patients undergoing brain or head and neck radiotherapy is achieved using perspex or thermoplastic devices that require direct moulding to patient anatomy. The mould room visit can be distressing for patients and the shells do not always fit perfectly. In addition the mould room process can be time consuming. With recent developments in three-dimensional (3D) printing technologies comes the potential to generate a treatment shell directly from a computer model of a patient. Typically, a patient requiring radiotherapy treatment will have had a computed tomography (CT) scan and if a computer model of a shell could be obtained directly from the CT data it would reduce patient distress, reduce visits, obtain a close fitting shell and possibly enable the patient to start their radiotherapy treatment more quickly. Purpose: This paper focuses on the first stage of generating the front part of the shell and investigates the dosimetric properties of the materials to show the feasibility of 3D printer materials for the production of a radiotherapy treatment shell. Materials and methods: Computer algorithms are used to segment the surface of the patient’s head from CT and MRI datasets. After segmentation approaches are used to construct a 3D model suitable for printing on a 3D printer. To ensure that 3D printing is feasible the properties of a set of 3D printing materials are tested. Conclusions: The majority of the possible candidate 3D printing materials tested result in very similar attenuation of a therapeutic radiotherapy beam as the Orfit soft-drape masks currently in use in many UK radiotherapy centres. The costs involved in 3D printing are reducing and the applications to medicine are becoming more widely adopted. In this paper we show that 3D printing of bespoke radiotherapy masks is feasible and warrants further investigation

    Spatial Interpolants

    Full text link
    We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an interpolation-based technique for refining heap-shape invariants with data invariants. Splinter is property directed, precise, and produces counterexample traces when a property does not hold. Using the novel notion of spatial interpolants modulo theories, Splinter can infer complex invariants over general recursive predicates, e.g., of the form all elements in a linked list are even or a binary tree is sorted. Furthermore, we treat interpolation as a black box, which gives us the freedom to encode data manipulation in any suitable theory for a given program (e.g., bit vectors, arrays, or linear arithmetic), so that our technique immediately benefits from any future advances in SMT solving and interpolation.Comment: Short version published in ESOP 201

    Microfinance and entrepreneurship:An introduction

    Get PDF
    As microfinance gains increasing attention and application as a financing mechanism for entrepreneurs at the base of the economic pyramid, this Special Issue of International Small Business Journal aims to enhance scholarly understanding of how microfinance fosters entrepreneurial activity. Microfinance brings a range of financial services, including microcredit loans, savings, and insurance, within the reach of millions of poor households not served by traditional banks. This introduction summarizes the articles in this Special Issue of International Small Business Journal on ‘Microfinance’, which address a range of topics in this important domain of research and practice

    Beyond deficit-based models of learners' cognition: Interpreting engineering students' difficulties with sense-making in terms of fine-grained epistemological and conceptual dynamics

    Full text link
    Researchers have argued against deficit-based explanations of students' troubles with mathematical sense-making, pointing instead to factors such as epistemology: students' beliefs about knowledge and learning can hinder them from activating and integrating productive knowledge they have. In this case study of an engineering major solving problems (about content from his introductory physics course) during a clinical interview, we show that "Jim" has all the mathematical and conceptual knowledge he would need to solve a hydrostatic pressure problem that we posed to him. But he reaches and sticks with an incorrect answer that violates common sense. We argue that his lack of mathematical sense-making-specifically, translating and reconciling between mathematical and everyday/common-sense reasoning-stems in part from his epistemological views, i.e., his views about the nature of knowledge and learning. He regards mathematical equations as much more trustworthy than everyday reasoning, and he does not view mathematical equations as expressing meaning that tractably connects to common sense. For these reasons, he does not view reconciling between common sense and mathematical formalism as either necessary or plausible to accomplish. We, however, avoid a potential "deficit trap"-substituting an epistemological deficit for a concepts/skills deficit-by incorporating multiple, context-dependent epistemological stances into Jim's cognitive dynamics. We argue that Jim's epistemological stance contains productive seeds that instructors could build upon to support Jim's mathematical sense-making: He does see common-sense as connected to formalism (though not always tractably so) and in some circumstances this connection is both salient and valued.Comment: Submitted to the Journal of Engineering Educatio

    Epidemiology of osteoporotic fracture in Kazakhstan and development of a country specific FRAX model

    Get PDF
    Summary Retrospective and prospective population-based survey in a region of the Republic of Kazakhstan determined the incidence of fractures at the hip, proximal humerus and distal forearm. The hip fracture rates were used to create a FRAX® model to enhance fracture risk assessment in Kazakhstan. Objective This paper describes the epidemiology of osteoporotic fractures in the Republic of Kazakhstan that was used to develop a country specific FRAX® tool for fracture prediction. Methods We carried out a retrospective population-based survey in Taldykorgan in the Republic of Kazakhstan representing approximately 1% of the country’s population. Hip, forearm and humerus fractures were identified retrospectively in 2015 and 2016 from hospital registers and the trauma centre. Hip fractures were prospectively identified in 2017 from the same sources and additionally from primary care data. Age- and sex-specific incidence of hip fracture and national mortality rates were incorporated into a FRAX model for Kazakhstan. Fracture probabilities were compared with those from neighbouring countries having FRAX models. Results The difference in hip fracture incidence between the retrospective and prospective survey indicated that approximately 25% of hip fracture cases did not come to hospital attention. The incidence of hip fracture applied nationally suggested that the estimated number of hip fractures nationwide in persons over the age of 50 years for 2015 was 11,690 and is predicted to increase by 140% to 28,000 in 2050. Hip fracture incidence was a good predictor of forearm and humeral fractures in men but not in women. Conclusion The FRAX model should enhance accuracy of determining fracture probability among the Kazakh population and help guide decisions about treatment
    • …
    corecore