2,466 research outputs found
Robot-assisted versus standard laparoscopic partial nephrectomy: comparison of perioperative outcomes from a single institution
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
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
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
ēŖéŗé«é¢é²č”č ¹č é”č čåé¤č”ēę©ęē¶é©
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
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
Association between Helicobacter pylori infection and interleukin 1Ī² polymorphism predispose to CpG island methylation in gastric cancer [4]
published_or_final_versio
Decreased D2-40 and increased p16INK4A immunoreactivities correlate with higher grade of cervical intraepithelial neoplasia
<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
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
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
\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 < 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 < 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
- ā¦