Unified characterisations of resolution hardness measures

Various "hardness" measures have been studied for resolution, providing theoretical insight into the proof complexity of resolution and its fragments, as well as explanations for the hardness of instances in SAT solving. In this paper we aim at a unified view of a number of hardness measures, including different measures of width, space and size of resolution proofs. Our main contribution is a unified game-theoretic characterisation of these measures. As consequences we obtain new relations between the different hardness measures. In particular, we prove a generalised version of Atserias and Dalmau's result on the relation between resolution width and space from [5]

Evaluation of a robotic technique for transrectal MRI-guided prostate biopsies

Item does not contain fulltextOBJECTIVES: To evaluate the accuracy and speed of a novel robotic technique as an aid to perform magnetic resonance image (MRI)-guided prostate biopsies on patients with cancer suspicious regions. METHODS: A pneumatic controlled MR-compatible manipulator with 5 degrees of freedom was developed in-house to guide biopsies under real-time imaging. From 13 consecutive biopsy procedures, the targeting error, biopsy error and target displacement were calculated to evaluate the accuracy. The time was recorded to evaluate manipulation and procedure time. RESULTS: The robotic and manual techniques demonstrated comparable results regarding mean targeting error (5.7 vs 5.8 mm, respectively) and mean target displacement (6.6 vs 6.0 mm, respectively). The mean biopsy error was larger (6.5 vs 4.4 mm) when using the robotic technique, although not significant. Mean procedure and manipulation time were 76 min and 6 min, respectively using the robotic technique and 61 and 8 min with the manual technique. CONCLUSIONS: Although comparable results regarding accuracy and speed were found, the extended technical effort of the robotic technique make the manual technique - currently - more suitable to perform MRI-guided biopsies. Furthermore, this study provided a better insight in displacement of the target during in vivo biopsy procedures.01 februari 201

ESUR prostate MR guidelines 2012

The aim was to develop clinical guidelines for multi-parametric MRI of the prostate by a group of prostate MRI experts from the European Society of Urogenital Radiology (ESUR), based on literature evidence and consensus expert opinion. True evidence-based guidelines could not be formulated, but a compromise, reflected by “minimal” and “optimal” requirements has been made. The scope of these ESUR guidelines is to promulgate high quality MRI in acquisition and evaluation with the correct indications for prostate cancer across the whole of Europe and eventually outside Europe. The guidelines for the optimal technique and three protocols for “detection”, “staging” and “node and bone” are presented. The use of endorectal coil vs. pelvic phased array coil and 1.5 vs. 3 T is discussed. Clinical indications and a PI-RADS classification for structured reporting are presented

Clinical and molecular characterization of Wilson's disease in China: identification of 14 novel mutations

<p>Abstract</p> <p>Background</p> <p>Wilson's disease (WND) is a rare autosomal recessive disorder. Here we have evaluated 62 WND cases (58 probands) from the Chinese Han population to expand our knowledge of <it>ATP7B </it>mutations and to more completely characterize WND in China.</p> <p>Methods</p> <p>The coding and promoter regions of the <it>ATP7B </it>gene were analyzed by direct sequencing in 62 Chinese patients (58 probands) with WND (male, n = 37; female, n = 25; age range, 2 ~ 61 years old).</p> <p>Results</p> <p>Neurologic manifestations were associated with older age at diagnosis (p < 0.0001) and longer diagnostic delay (p < 0.0001). Age at diagnosis was also correlated with urinary copper concentration (r = 0.58, p < 0.001). Forty different mutations, including 14 novel mutations, were identified in these patients. Common mutations included p.Arg778Leu (31.9%) and p.Pro992Leu (11.2%). Homozygous p.Arg778Leu and nonsense mutation/frameshift mutations were more often associated with primary hepatic manifestations (p = 0.0286 and p = 0.0383, respectively) and higher alanine transaminase levels at diagnosis (p = 0.0361 and p = 0.0047, respectively). Nonsense mutation/frameshift mutations were also associated with lower serum ceruloplasmin (p = 0.0065).</p> <p>Conclusions</p> <p>We identified 14 novel mutations and found that the spectrum of mutations of <it>ATP7B </it>in China is quite distinct from that of Western countries. The mutation type plays a role in predicting clinical manifestations. Genetic testing is a valuable tool to detect WND in young children, especially in patients younger than 8 years old. Four exons (8, 12, 13, and 16) and two mutations (p.Arg778Leu, p.Pro992Leu) should be considered high priority for cost-effective testing in China.</p

La contribution du diocèse de Liège aux croisades en Orient (XIe-XIIIe siècle)

In sharp contrast to classical proof complexity we are currently short of lower bound techniques for QBF proof systems. We establish the feasible interpolation technique for all resolution-based QBF systems, whether modelling CDCL or expansion-based solving. This both provides the rst general lower bound method for QBF calculi as well as largely extends the scope of classical feasible interpolation. We apply our technique to obtain new exponential lower bounds to all resolution-based QBF systems for a new class of QBF formulas based on the clique problem. Finally, we show how feasible interpolation relates to the recently established lower bound method based on strategy extractio

The role of the vesical imaging-reporting and data system (VI-RADS) for bladder cancer diagnostics-status quo

Initial clinical and pathological diagnostic workup of urinary bladder cancer is based on cystoscopy, transurethral resection of suspicious lesions, and computed tomography when indicated. Accurate staging is necessary for further therapeutic decision-making. This review summarizes the current status of multiparametric magnetic resonance imaging (mpMRI) and the vesical imaging-reporting and data system (VI-RADS) classification. MpMRI may improve the accuracy of assessment of local tumor invasion compared to conventional imaging alone. VI-RADS standardizes reporting of MRI staging and classifies the likelihood of muscle-invasive bladder cancer into five categories. Preliminary data suggest low interobserver variability. However, prospective multicenter studies are necessary to validate the VI-RADS classification. Progress in functional, molecular, and hybrid imaging may further improve the accuracy of clinical tumor and nodal staging for bladder cancer