2,474 research outputs found

    Robot-assisted versus standard laparoscopic partial nephrectomy: comparison of perioperative outcomes from a single institution

    Get PDF
    OBJECTIVE: To evaluate the perioperative outcomes of robot-assisted laparoscopic partial nephrectomy and standard laparoscopic partial nephrectomy in a teaching hospital. DESIGN: Retrospective study. SETTING: Division of Urology, Department of Surgery, Queen Mary and Tung Wah hospitals, Hong Kong. PATIENTS: The first 10 consecutive patients who had robot-assisted laparoscopic partial nephrectomy for renal tumours between January 2008 and September 2009 with prospective data collection were evaluated. Their outcomes were compared with the last 10 consecutive patients in our database, who had standard laparoscopic partial nephrectomy between November 2004 and October 2007. MAIN OUTCOME MEASURES: Demographics, tumour characteristics, perioperative outcomes, renal function, and pathological outcomes. RESULTS: There were no differences between the groups with regard to age (63 vs 56 years; P=0.313) and tumour size (2.7 vs 2.8 cm; P=0.895). No significant difference was found between the two groups with respect to the operating room time (376 vs 361 min; P=0.722), estimated blood loss (329 vs 328 mL; P=0.994), and length of hospital stay (7 vs 14 days; P=0.213). A statistically significant shorter mean warm ischaemic time for the robot-assisted group was noted (31 vs 40 minutes; P=0.032). Respective renal functional outcomes as shown by the difference between day 0 and day 60 serum creatinine levels were comparable (+10 vs +7 mmol/L; P=0.605). In both groups, there were no intra-operative complications or instances of surgical margin tumour involvement. Three patients endured postoperative complications in the standard laparoscopic group (a perinephric haematoma, urine leakage, and lymph leakage) compared with one in the robot-assisted group (a perinephric haematoma). These complications all resolved with conservative treatment. CONCLUSIONS: Robot-assisted laparoscopic partial nephrectomy is a technically feasible alternative to standard laparoscopic partial nephrectomy, and provides comparable results. Robot-assisted laparoscopic partial nephrectomy appears to offer the advantage of decreased warm ischaemic time. Longer follow-up is required to assess renal function and oncological outcomes. Further experience and randomised trials are necessary to compare robot-assisted with standard laparoscopic partial nephrectomy.published_or_final_versio

    An evaluative study on the effectiveness of a parent-child parallel group model

    Get PDF
    Objective; To examine the effectiveness of a parent-child parallel group model that attempted to reduce parent-adolescent conflict. Method: A single group research design with pretest, posttest, and follow-up assessments was employed. Results: Results showed that the level of mother-adolescent conflict at posttest was lower than the level at pretest. The findings, based on the target problem rating, indicated that after the group intervention, both the mothers and adolescents perceived that the problems they had identified in the mother-child relationship had become less severe. The findings, based on subjective outcome measures, were also positive. Conclusion: The present study provides some evidence to support the effectiveness of the parallel group intervention for social work practice.preprin

    Low modulus novel bone substitutes for osteoporotic vertebral fracture management

    Get PDF
    Oral presentationpublished_or_final_versioneCM XIII - Bone Fixation, Repair & Regeneration, Davos Platz, Switzerland, 24-26 June 2012. In European Cells & Materials, 2012, v. 24 n. Suppl. 1, p. 1

    ē‘Ŗéŗ—é†«é™¢é€²č”Œč…¹č…”é”č…Žč‡Ÿåˆ‡é™¤č”“ēš„ę—©ęœŸē¶“é©—

    Get PDF
    OBJECTIVE: To report our early experience of laparoscopic nephrectomy. DESIGN: Prospective data collection. SETTING: Queen Mary Hospital, Hong Kong. PATIENTS: Transperitoneal laparoscopic nephrectomies were performed on 40 patients between July 1997 and December 2002. MAIN OUTCOME MEASURES: Demographic and perioperative data including operating time, blood loss, postoperative pain score, analgesic requirement, complications, time to resume oral intake, ambulatory state, and length of hospital stay. RESULTS: Laparoscopic nephrectomy was performed for 21 solid renal masses, five transitional cell carcinomas, and 14 non-functioning kidneys. Seven (17.5%) patients had previous abdominal surgery. The mean body mass index of the patients was 23.9 kg/m(2) and the mean operating time was 229 minutes. The mean estimated blood loss was 370 mL, and two patients required conversion to open surgery because of intra-operative bleeding. Other complications include diaphragmatic injury, port-site bleeding, chyle leakage, bleeding peptic ulcer, and myocardial ischaemia. The postoperative mean analgesic requirement was 26 mg of morphine sulphate equivalent. The mean time for patients to resume oral diet and full ambulation was 1.3 and 2.8 days, respectively, and the mean length of hospital stay was 6.7 days. The mean diameter of the solid renal tumour was 4.1 cm and the surgical margins of all resected specimen for malignant tumours were negative. CONCLUSION: Laparoscopic nephrectomy is a safe and efficacious approach for resection of benign non-functioning kidneys and malignant renal tumours.published_or_final_versio

    Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

    Full text link
    We describe a technique for systematic testing of multi-threaded programs. We combine Quasi-Optimal Partial-Order Reduction, a state-of-the-art technique that tackles path explosion due to interleaving non-determinism, with symbolic execution to handle data non-determinism. Our technique iteratively and exhaustively finds all executions of the program. It represents program executions using partial orders and finds the next execution using an underlying unfolding semantics. We avoid the exploration of redundant program traces using cutoff events. We implemented our technique as an extension of KLEE and evaluated it on a set of large multi-threaded C programs. Our experiments found several previously undiscovered bugs and undefined behaviors in memcached and GNU sort, showing that the new method is capable of finding bugs in industrial-size benchmarks.Comment: Extended version of a paper presented at CAV'2

    Decreased D2-40 and increased p16INK4A immunoreactivities correlate with higher grade of cervical intraepithelial neoplasia

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>D2-40 has been shown a selective marker for lymphatic endothelium, but also shown in the benign cervical basal cells. However, the application of D2-40 immunoreactivity in the cervical basal cells for identifying the grade of cervical intraepithelial neoplasia (CIN) has not been evaluated.</p> <p>Methods</p> <p>In this study, the immunoreactive patterns of D2-40, compared with p16<sup>INK4A</sup>, which is currently considered as the useful marker for cervical cancers and their precancerous diseases, were examined in total 125 cervical specimens including 32 of CIN1, 37 of CIN2, 35 of CIN3, and 21 of normal cervical tissue. D2-40 and p16<sup>INK4A </sup>immunoreactivities were scored semiquantitatively according to the intensity and/or extent of the staining.</p> <p>Results</p> <p>Diffuse D2-40 expression with moderate-to-strong intensity was seen in all the normal cervical epithelia (21/21, 100%) and similar pattern of D2-40 immunoreactivity with weak-to-strong intensity was observed in CIN1 (31/32, 97.2%). However, negative and/or focal D2-40 expression was found in CIN2 (negative: 20/37, 54.1%; focal: 16/37, 43.2%) and CIN3 (negative: 22/35, 62.8%; focal: 12/35, 34.3%). On the other hand, diffuse immunostaining for p16<sup>INK4A </sup>was shown in 37.5% of CIN1, 64.9% of CIN2, and 80.0% of CIN3. However, the immunoreactive pattern of D2-40 was not associated with the p16<sup>INK4A </sup>immunoreactivity.</p> <p>Conclusions</p> <p>Immunohistochemical analysis of D2-40 combined with p16<sup>INK4A </sup>may have a significant implication in clinical practice for better identifying the grade of cervical intraepithelial neoplasia, especially for distinguishing CIN1 from CIN2/3.</p

    Invariant Synthesis for Incomplete Verification Engines

    Full text link
    We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely how the verification engine can compute such non-provability information and how to build effective learning algorithms when invariants are expressed as Boolean combinations of a fixed set of predicates. Moreover, we evaluate our framework in two verification settings, one in which verification engines need to handle quantified formulas and one in which verification engines have to reason about heap properties expressed in an expressive but undecidable separation logic. Our experiments show that our invariant synthesis framework based on non-provability information can both effectively synthesize inductive invariants and adequately strengthen contracts across a large suite of programs

    Formalization of Transform Methods using HOL Light

    Full text link
    Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

    Multi-institutional evaluation of a Pareto navigation guided automated radiotherapy planning solution for prostate cancer

    Get PDF
    \ua9 The Author(s) 2024.Background: Current automated planning solutions are calibrated using trial and error or machine learning on historical datasets. Neither method allows for the intuitive exploration of differing trade-off options during calibration, which may aid in ensuring automated solutions align with clinical preference. Pareto navigation provides this functionality and offers a potential calibration alternative. The purpose of this study was to validate an automated radiotherapy planning solution with a novel multi-dimensional Pareto navigation calibration interface across two external institutions for prostate cancer. Methods: The implemented ā€˜Pareto Guided Automated Planningā€™ (PGAP) methodology was developed in RayStation using scripting and consisted of a Pareto navigation calibration interface built upon a ā€˜Protocol Based Automatic Iterative Optimisationā€™ planning framework. 30 previous patients were randomly selected by each institution (IA and IB), 10 for calibration and 20 for validation. Utilising the Pareto navigation interface automated protocols were calibrated to the institutionsā€™ clinical preferences. A single automated plan (VMATAuto) was generated for each validation patient with plan quality compared against the previously treated clinical plan (VMATClinical) both quantitatively, using a range of DVH metrics, and qualitatively through blind review at the external institution. Results: PGAP led to marked improvements across the majority of rectal dose metrics, with Dmean reduced by 3.7 Gy and 1.8 Gy for IA and IB respectively (p &lt; 0.001). For bladder, results were mixed with low and intermediate dose metrics reduced for IB but increased for IA. Differences, whilst statistically significant (p &lt; 0.05) were small and not considered clinically relevant. The reduction in rectum dose was not at the expense of PTV coverage (D98% was generally improved with VMATAuto), but was somewhat detrimental to PTV conformality. The prioritisation of rectum over conformality was however aligned with preferences expressed during calibration and was a key driver in both institutions demonstrating a clear preference towards VMATAuto, with 31/40 considered superior to VMATClinical upon blind review. Conclusions: PGAP enabled intuitive adaptation of automated protocols to an institutionā€™s planning aims and yielded plans more congruent with the institutionā€™s clinical preference than the locally produced manual clinical plans
    • ā€¦
    corecore