Mid-term clinical results of chronic cavitary long bone osteomyelitis treatment using S53P4 bioactive glass:A multi-center study

Introduction: Chronic osteomyelitis is a challenging condition in the orthopedic practice and traditionally treated using local and systemic antibiotics in a two-stage surgical procedure. With the introduction of the antimicrobial biomaterial S53P4 bioactive glass (Bonalive®), chronic osteomyelitis can be treated in a one-stage procedure. This study evaluated the mid-term clinical results of patients treated with S53P4 bioactive glass for long bone chronic osteomyelitis. Methods: In this prospective multi-center study, patients from two different university medical centers in the Netherlands were included. One-stage treatment consisted of debridement surgery, implantation of S53P4 bioactive glass, and treatment with culture-based systemic antibiotics. If required, wound closure by a plastic surgeon was performed. The primary outcome was the eradication of infection, and a secondary statistical analysis was performed on probable risk factors for treatment failure. Results: In total, 78 patients with chronic cavitary long bone osteomyelitis were included. Follow-up was at least 12 months (mean 46; standard deviation, SD, 20), and 69 patients were treated in a one-stage procedure. Overall infection eradication was 85 %, and 1-year infection-free survival was 89 %. Primary closure versus local/muscular flap coverage is the only risk factor for treatment failure. Conclusion: With 85 % eradication of infection, S53P4 bioactive glass is an effective biomaterial in the treatment of chronic osteomyelitis in a one-stage procedure. A major risk factor for treatment failure is the necessity for local/free muscle flap coverage. These results confirm earlier published data, and together with the fundamentally different antimicrobial pathways without antibiotic resistance, S53P4 bioactive glass is a recommendable biomaterial for chronic osteomyelitis treatment and might be beneficial over other biomaterials.</p

Local bone metabolism during the consolidation process of spinal interbody fusion

INTRODUCTION: Although computed tomography (CT) can identify the presence of eventual bony bridges following lumbar interbody fusion (LIF) surgery, it does not provide information on the ongoing formation process of new bony structures. 18F sodium fluoride (18F-NaF) positron emission tomography (PET) could be used as complementary modality to add information on the bone metabolism at the fusion site. However, it remains unknown how bone metabolism in the operated segment changes early after surgery in uncompromised situations. This study aimed to quantify the changes in local bone metabolism during consolidation of LIF. MATERIALS AND METHODS: Six skeletally mature sheep underwent LIF surgery. 18F-NaF PET/CT scanning was performed 6 and 12 weeks postoperatively to quantify the bone volume and metabolism in the operated segment. Bone metabolism was expressed as a function of bone volume. RESULTS: Early in the fusion process, bone metabolism was increased at the endplates of the operated vertebrae. In a next phase, bone metabolism increased in the center of the interbody region, peaked, and declined to an equilibrium state. During the entire postoperative time period of 12 weeks, bone metabolism in the interbody region was higher than that of a reference site in the spinal column. CONCLUSION: Following LIF surgery, there is a rapid increase in bone metabolism at the vertebral endplates that develops towards the center of the interbody region. Knowing the local bone metabolism during uncompromised consolidation of spinal interbody fusion might enable identification of impaired bone formation early after LIF surgery using 18F-NaF PET/CT scanning

Understanding Resident Satisfaction with Involvement in Highway Planning: In-depth interviews during a highway planning process in the Netherlands

This study investigates resident satisfaction with provided involvement activities during highway planning processes, with particular attention given to the planned Southern Ring Road highway project in Groningen, the Netherlands. In-depth interviews with 38 residents living in the project area reveal important themes contributing to satisfaction. Satisfaction with passive information activities is motivated by the extent to which information addresses concerns, but (dis)trust in government and other information sources also plays a role. For residents preferring to obtain additional information, perceived access to such information and the extent to which it reduces concerns are also important to satisfaction. Finally, for residents who would rather participate actively, satisfaction is motivated by their perceived access to participation activities and the sense of being heard. Study results show how residents’ evaluations of the themes underpinning involvement satisfaction are based on their perceptions of actual project team activities and contextual factors

Clinical outcome in decompression alone versus decompression and instrumented fusion in patients with isthmic spondylolisthesis:A prospective cohort study

OBJECTIVE In the surgical treatment of isthmic spondylolisthesis, it is debatable whether instrumented fusion is mandatory in addition to decompression. The objective of this prospective cohort study was to assess the long-term effect of decompression alone compared with decompression and instrumented fusion in patients who underwent the intervention of their own preference. The results were compared with those in patients who underwent randomly assigned treatment. METHODS The authors performed a prospective observational multicenter cohort study, including 91 patients with isthmic spondylolisthesis assigned to undergo either decompression alone (n = 44) or decompression and fusion (n = 47). The main outcomes were the Roland-Morris Disability Questionnaire (RDQ) scores and the patient's perceived recovery at the 2-year follow-up. Secondary outcomes were visual analog scale (VAS) leg pain and back pain scores and the reoperation rate. A meta-analysis was performed for data from this cohort study (n = 91) and from a randomized controlled trial (RCT) previously reported by the authors (n = 84). Subgroup analyses were performed on these combined data for age, sex, weight, smoking, and Meyerding grade. RESULTS At the 12-week follow-up, improvements of RDQ scores were comparable for the two procedures (decompression alone [D group] 4.4, 95% CI 2.3-6.5; decompression and fusion [DF group] 5.8, 95% CI −4.3 to 1.4; p = 0.31). Likewise, VAS leg pain scores (D group 35.0, 95% CI 24.5-45.6; DF group 47.5, 95% CI 37.4-57.5; p = 0.09) and VAS back pain scores (D group 23.5, 95% CI 13.3-33.7; DF group 34.0, 95% CI 24.1-43.8; p = 0.15) were comparable. At the 2-year follow-up, there were no significant differences between the two groups in terms of scores for RDQ (difference −3.1, 95% CI −6.4 to 0.3, p = 0.07), VAS leg pain (difference −7.4, 95% CI −22.1 to 7.2, p = 0.31), and VAS back pain (difference −11.4, 95% CI −25.7 to 2.9, p = 0.12). In contrast, patient-perceived recovery from leg pain was significantly higher in the DF group (79% vs 51%, p = 0.02). Subgroup analyses did not demonstrate a superior outcome for decompression alone compared with decompression and fusion. Nine patients (20.5%) underwent reoperation in total, all in the D group. The meta-analysis including both the cohort and RCT populations yielded an estimated pooled mean difference in RDQ of −3.7 (95% CI −5.94 to −1.55, p = 0.0008) in favor of decompression and fusion at the 2-year follow-up. CONCLUSIONS In patients with isthmic spondylolisthesis, at the 2-year follow-up, patients who underwent decompression and fusion showed superior functional outcome and perceived recovery compared with those who underwent decompression alone. No subgroups benefited from decompression alone. Therefore, decompression and fusion is recommended over decompression alone as a primary surgical treatment option in isthmic spondylolisthesis.</p

Large Epidemiologic Studies of Gout: Challenges in Diagnosis and Diagnostic Criteria

Large epidemiologic studies of gout can improve insight into the etiology, pathology, impact, and management of the disease. Identification of monosodium urate monohydrate crystals is considered the gold standard for diagnosis, but its application is often not possible in large studies. Therefore, under such circumstances, several proxy approaches are used to classify patients as having gout, including ICD coding in several types of databases or questionnaires that are usually based on the existing classification criteria. However, agreement among these methods is disappointing. Moreover, studies use the terms acute, recurrent, and chronic gout in different ways and without clear definitions. Better definitions of the different manifestations and stages of gout may provide better insight into the natural course and burden of disease and can be the basis for valid approaches to correctly classifying patients within large epidemiologic studies

A Finite Representation of the Narrowing Space

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-14125-1_4Narrowing basically extends rewriting by allowing free variables in terms and by replacing matching with unification. As a consequence, the search space of narrowing becomes usually infinite, as in logic programming. In this paper, we introduce the use of some operators that allow one to always produce a finite data structure that still represents all the narrowing derivations. Furthermore, we extract from this data structure a novel, compact equational representation of the (possibly infinite) answers computed by narrowing for a given initial term. Both the finite data structure and the equational representation of the computed answers might be useful in a number of areas, like program comprehension, static analysis, program transformation, etc.Nishida, N.; Vidal, G. (2013). A Finite Representation of the Narrowing Space. En Logic-Based Program Synthesis and Transformation. Springer. 54-71. doi:10.1007/978-3-319-14125-1_4S5471Albert, E., Vidal, G.: The Narrowing-Driven Approach to Functional Logic Program Specialization. New Generation Computing 20(1), 3–26 (2002)Alpuente, M., Falaschi, M., Vidal, G.: Partial Evaluation of Functional Logic Programs. ACM Transactions on Programming Languages and Systems 20(4), 768–844 (1998)Alpuente, M., Falaschi, M., Vidal, G.: Compositional Analysis for Equational Horn Programs. In: Rodríguez-Artalejo, M., Levi, G. (eds.) ALP 1994. LNCS, vol. 850, pp. 77–94. Springer, Heidelberg (1994)Antoy, S., Ariola, Z.: Narrowing the Narrowing Space. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 1–15. Springer, Heidelberg (1997)Arts, T., Giesl, J.: Termination of term rewriting using dependency pairs. Theoretical Computer Science 236(1–2), 133–178 (2000)Arts, T., Zantema, H.: Termination of Logic Programs Using Semantic Unification. In: Proietti, M. (ed.) LOPSTR 1995. LNCS, vol. 1048, pp. 219–233. Springer, Heidelberg (1996)Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)Bae, K., Escobar, S., Meseguer, J.: Abstract Logical Model Checking of Infinite-State Systems Using Narrowing. In: Proceedings of the 24th International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 21, pp. 81–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)De Schreye, D., Glück, R., Jørgensen, J., Leuschel, M., Martens, B., Sørensen, M.: Conjunctive partial deduction: foundations, control, algorihtms, and experiments. Journal of Logic Programming 41(2&3), 231–277 (1999)Escobar, S., Meadows, C., Meseguer, J.: A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theoretical Computer Science 367(1–2), 162–202 (2006)Escobar, S., Meseguer, J.: Symbolic Model Checking of Infinite-State Systems Using Narrowing. In: Baader, F. (ed.) RTA 2007. LNCS, vol. 4533, pp. 153–168. Springer, Heidelberg (2007)Fribourg, L.: SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. In: Proceedings of the Symposium on Logic Programming, pp. 172–185. IEEE Press (1985)Gnaedig, I., Kirchner, H.: Proving weak properties of rewriting. Theoretical Computer Science 412(34), 4405–4438 (2011)Hanus, M.: The integration of functions into logic programming: From theory to practice. Journal of Logic Programming 19&20, 583–628 (1994)Hanus, M. (ed.): Curry: An integrated functional logic language (vers. 0.8.3) (2012). http://www.curry-language.orgHermenegildo, M., Rossi, F.: On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. In: Lusk, E., Overbeck, R. (eds.) Proceedings of the 1989 North American Conf. on Logic Programming, pp. 369–389. The MIT Press, Cambridge (1989)Hölldobler, S. (ed.): Foundations of Equational Logic Programming. LNCS, vol. 353. Springer, Heidelberg (1989)Meseguer, J., Thati, P.: Symbolic Reachability Analysis Using Narrowing and its Application to Verification of Cryptographic Protocols. Electronic Notes in Theoretical Computer Science 117, 153–182 (2005)Middeldorp, A., Okui, S.: A Deterministic Lazy Narrowing Calculus. Journal of Symbolic Computation 25(6), 733–757 (1998)Nishida, N., Sakai, M., Sakabe, T.: Generation of Inverse Computation Programs of Constructor Term Rewriting Systems. IEICE Transactions on Information and Systems J88–D–I(8), 1171–1183 (2005) (in Japanese)Nishida, N., Sakai, M., Sakabe, T.: Partial Inversion of Constructor Term Rewriting Systems. In: Giesl, J. (ed.) RTA 2005. LNCS, vol. 3467, pp. 264–278. Springer, Heidelberg (2005)Nishida, N., Vidal, G.: Program inversion for tail recursive functions. In: Schmidt-Schauß, M. (ed.) Proceedings of the 22nd International Conference on Rewriting Techniques and Applications. LIPIcs, vol. 10, pp. 283–298. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2011)Nishida, N., Vidal, G.: Computing More Specific Versions of Conditional Rewriting Systems. In: Albert, E. (ed.) LOPSTR 2012. LNCS, vol. 7844, pp. 137–154. Springer, Heidelberg (2013)Nutt, W., Réty, P., Smolka, G.: Basic Narrowing Revisited. Journal of Symbolic Computation 7(3/4), 295–317 (1989)Ohlebusch, E.: Advanced Topics in Term Rewriting. Springer, London, UK (2002)Palamidessi, C.: Algebraic Properties of Idempotent Substitutions. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol. 443, pp. 386–399. Springer, Heidelberg (1990)Ramos, J.G., Silva, J., Vidal, G.: Fast Narrowing-Driven Partial Evaluation for Inductively Sequential Systems. In: Danvy, O., Pierce, B.C. (eds.) Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, pp. 228–239. ACM Press (2005)Slagle, J.R.: Automated theorem-proving for theories with simplifiers, commutativity and associativity. Journal of the ACM 21(4), 622–642 (1974