Applications of Legendre-Fenchel transformation to computer vision problems

We aim to provide a small background on Lengenre-Fenchel transformation, the applications of which have been increasingly getting popular in computer vision. A general motivation follows up with standard examples. Then we take a good view on their applications in solving various standard computer vision problems e.g. image denoising, optical flow, image deconvolution etc

Magnetic Resonance Imaging of the Codman Microsensor Transducer Used for Intraspinal Pressure Monitoring: Findings from the Injured Spinal Cord Pressure Evaluation study.

STUDY DESIGN: Laboratory and human study. OBJECTIVE: 1) To test the Codman Microsensor Transducer (CMT) in a cervical gel phantom. 2) To test the CMT inserted to monitor intraspinal pressure in a patient with spinal cord injury. SUMMARY OF BACKGROUND DATA: We recently introduced the technique of intraspinal pressure monitoring using the CMT to guide management of traumatic spinal cord injury [Werndle et al. Crit Care Med 2014;42:646]. This is analogous to intracranial pressure monitoring to guide management of patients with traumatic brain injury. It is unclear whether MRI of patients with spinal cord injury is safe with the intraspinal pressure CMT in situ. METHODS: We measured the heating produced by the CMT placed in a gel phantom in various configurations. A 3 T MRI system was used with the body transmit coil and the spine array receive coil. A CMT was then inserted subdurally at the injury site in a patient who had traumatic spinal cord injury and MRI was performed at 1.5 T. RESULTS: In the gel phantom, heating of up to 5 °C occurred with the transducer wire placed straight through the magnet bore. The heating was abolished when the CMT wire was coiled and passed away from the bore. We then tested the CMT in a patient with an American Spinal Injuries Association grade C cervical cord injury. The CMT wire was placed in the configuration that abolished heating in the gel phantom. Good quality T1 and T2 images of the cord were obtained without neurological deterioration. The transducer remained functional after the MRI. CONCLUSION: Our data suggest that the CMT is MR conditional when used in the spinal configuration in humans. Data from a large patient group are required to confirm these findings. LEVEL OF EVIDENCE: N/A

Robust whole-brain segmentation: Application to traumatic brain injury

We propose a framework for the robust and fully-automatic segmentation of magnetic resonance (MR) brain images called "Multi-Atlas Label Propagation with Expectation-Maximisation based refinement" (MALP-EM). The presented approach is based on a robust registration approach (MAPER), highly performant label fusion (joint label fusion) and intensity-based label refinement using EM. We further adapt this framework to be applicable for the segmentation of brain images with gross changes in anatomy. We propose to account for consistent registration errors by relaxing anatomical priors obtained by multi-atlas propagation and a weighting scheme to locally combine anatomical atlas priors and intensity-refined posterior probabilities. The method is evaluated on a benchmark dataset used in a recent MICCAI segmentation challenge. In this context we show that MALP-EM is competitive for the segmentation of MR brain scans of healthy adults when compared to state-of-the-art automatic labelling techniques. To demonstrate the versatility of the proposed approach, we employed MALP-EM to segment 125 MR brain images into 134 regions from subjects who had sustained traumatic brain injury (TBI). We employ a protocol to assess segmentation quality if no manual reference labels are available. Based on this protocol, three independent, blinded raters confirmed on 13 MR brain scans with pathology that MALP-EM is superior to established label fusion techniques. We visually confirm the robustness of our segmentation approach on the full cohort and investigate the potential of derived symmetry-based imaging biomarkers that correlate with and predict clinically relevant variables in TBI such as the Marshall Classification (MC) or Glasgow Outcome Score (GOS). Specifically, we show that we are able to stratify TBI patients with favourable outcomes from non-favourable outcomes with 64.7% accuracy using acute-phase MR images and 66.8% accuracy using follow-up MR images. Furthermore, we are able to differentiate subjects with the presence of a mass lesion or midline shift from those with diffuse brain injury with 76.0% accuracy. The thalamus, putamen, pallidum and hippocampus are particularly affected. Their involvement predicts TBI disease progression.This work was partially funded under the 7th Framework Programme by the European Commission (http://cordis.europa.eu/ist/, TBIcare: http://www.tbicare.eu/, last accessed: 8 December 2014). The research was further supported by the National Institute for Health Research (NIHR) Biomedical Research Centre (BRC) based at Imperial College Healthcare NHS Trust and Imperial College London. AH is supported by the Department of Health via the NIHR comprehensive BRC award to Guy’s & St Thomas’ NHS Foundation Trust in partnership with King’s College London and Kings College Hospital NHS Foundation Trust. This work was further supported by a Medical Research Council (UK) Program Grant (Acute brain injury: heterogeneity of mechanisms, therapeutic targets and outcome effects [G9439390 ID 65883]), the UK National Institute of Health Research Biomedical Research Centre at Cambridge, the Technology Platform funding provided by the UK Department of Health and an EPSRC Pathways to Impact award. VFJN is supported by a Health Foundation/Academy of Medical Sciences Clinician Scientist Fellowship. DKM is supported by an NIHR Senior Investigator Award. The views expressed are those of the authors and not necessarily those of the NHS, the NIHR or the Department of Health. The funders had no role in study design, data collection and analyses, decision to publish, or preparation of the manuscript

Advanced magnetic resonance imaging and neuropsychological assessment for detecting brain injury in a prospective cohort of university amateur boxers

$\textbf{Background/aim:}$ The safety of amateur and professional boxing is a contentious issue. We hypothesised that advanced magnetic resonance imaging and neuropsychological testing could provide evidence of acute and early brain injury in amateur boxers. $\textbf{Methods:}$ We recruited 30 participants from a university amateur boxing club in a prospective cohort study. Magnetic resonance imaging (MRI) and neuropsychological testing was performed at three time points: prior to starting training; within 48 hours following a first major competition to detect acute brain injury; and one year follow-up. A single MRI acquisition was made from control participants. Imaging analysis included cortical thickness measurements with Advanced Normalization Tools (ANTS) and FreeSurfer, voxel based morphometry (VBM), and Tract Based Spatial Statistics (TBSS). A computerized battery of neuropsychological tests was performed assessing attention, learning, memory and impulsivity. $\textbf{Results:}$ During the study period, one boxer developed seizures controlled with medication while another developed a chronic subdural hematoma requiring neurosurgical drainage. A total of 10 boxers contributed data at to the longitudinal assessment protocol. Reasons for withdrawal were: logistics (10), stopping boxing (7), withdrawal of consent (2), and development of a chronic subdural hematoma (1). No significant changes were detected using VBM, TBSS, cortical thickness measured with FreeSurfer or ANTS, either cross-sectionally at baseline, or longitudinally. Neuropsychological assessment of boxers found attention/concentration improved over time while planning and problem solving ability latency decreased after a bout but recovered after one year. $\textbf{Conclusion:}$ While this neuroimaging and neuropsychological assessment protocol could not detect any evidence of brain injury, one boxer developed seizures and another developed a chronic sub-dural haematoma.PJH is supported by a NIHR Research Professorship. VFJN is supported by a Health Foundation / Academy of Medical Sciences Clinician Scientist Fellowship. BJS holds a grant from the NIHR Brain Injury Healthcare Technology Co-operative. This study was supported through the Cambridge National Institute for Health Research (NIHR) Biomedical Research Centre (BRC). Control data were acquired with the support of the Medical Research Council as part of their Addiction Initiative (grant number G1000018), and a Pathfinder award from Medical Research Council (G0401099)

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

Correctness of autonomous driving systems is crucial as\ua0incorrect behaviour may have catastrophic consequences. Many different\ua0hardware and software components (e.g. sensing, decision making, actuation,\ua0and control) interact to solve the autonomous driving task, leading to a level of complexity that brings new challenges for the formal verification\ua0community. Though formal verification has been used to prove\ua0correctness of software, there are significant challenges in transferring\ua0such techniques to an agile software development process and to ensure\ua0widespread industrial adoption. In the light of these challenges, the identification\ua0of appropriate formalisms, and consequently the right verification\ua0tools, has significant impact on addressing them. In this paper, we\ua0evaluate the application of different formal techniques from supervisory\ua0control theory, model checking, and deductive verification to verify existing\ua0decision and control software (in development) for an autonomous\ua0vehicle. We discuss how the verification objective differs with respect tothe choice of formalism and the level of formality that can be applied.\ua0Insights from the case study show a need for multiple formal methods to\ua0prove correctness, the difficulty to capture the right level of abstraction\ua0to model and specify the formal properties for the verification objectives

Quality and complexity measures for data linkage and deduplication

Summary. Deduplicating one data set or linking several data sets are increasingly important tasks in the data preparation steps of many data mining projects. The aim of such linkages is to match all records relating to the same entity. Research interest in this area has increased in recent years, with techniques originating from statistics, machine learning, information retrieval, and database research being combined and applied to improve the linkage quality, as well as to increase performance and efficiency when linking or deduplicating very large data sets. Different measures have been used to characterise the quality and complexity of data linkage algorithms, and several new metrics have been proposed. An overview of the issues involved in measuring data linkage and deduplication quality and complexity is presented in this chapter. It is shown that measures in the space of record pair comparisons can produce deceptive quality results. Various measures are discussed and recommendations are given on how to assess data linkage and deduplication quality and complexity. Key words: data or record linkage, data integration and matching, deduplication, data mining pre-processing, quality and complexity measures

Extended Cognition Hypothesis Applied to Computational Thinking in Computer Science Education

Computational thinking is a much-used concept in computer science education. Here we examine the concept from the viewpoint of the extended cognition hypothesis. The analysis reveals that the extent of the concept is limited by its strong historical roots in computer science and software engineering. According to the extended cognition hypothesis, there is no meaningful distinction between human cognitive functions and the technology. This standpoint promotes a broader interpretation of the human-technology interaction. Human cognitive processes spontaneously adapt available technology enhanced skills when technology is used in cognitively relevant levels and modalities. A new concept technology synchronized thinking is presented to denote this conclusion. More diverse and practical approach is suggested for the computer scienceeducation.Peer reviewe

Differential Dynamics of Transposable Elements during Long-Term Diploidization of Nicotiana Section Repandae (Solanaceae) Allopolyploid Genomes

PubMed ID: 23185607This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Development and Validation of a Real-Time PCR for Detection of Pathogenic Leptospira Species in Clinical Materials

Available serological diagnostics do not allow the confirmation of clinically suspected leptospirosis at the early acute phase of illness. Several conventional and real-time PCRs for the early diagnosis of leptospirosis have been described but these have been incompletely evaluated. We developed a SYBR Green-based real-time PCR targeting secY and validated it according to international guidelines. To determine the analytical specificity, DNA from 56 Leptospira strains belonging to pathogenic, non-pathogenic and intermediate Leptospira spp. as well as 46 other micro-organisms was included in this study. All the pathogenic Leptospira gave a positive reaction. We found no cross-reaction with saprophytic Leptospira and other micro-organisms, implying a high analytical specificity. The analytical sensitivity of the PCR was one copy per reaction from cultured homologous strain M 20 and 1.2 and 1.5 copy for heterologous strains 1342 K and Sarmin, respectively. In spiked serum & blood and kidney tissue the sensitivity was 10 and 20 copies for M 20, 15 and 30 copies for 1342 K and 30 and 50 copies for Sarmin. To determine the diagnostic sensitivity (DSe) and specificity (DSp), clinical blood samples from 26 laboratory-confirmed and 107 negative patients suspected of leptospirosis were enrolled as a prospective consecutive cohort. Based on culture as the gold standard, we found a DSe and DSp of 100% and 93%, respectively. All eight PCR positive samples that had a negative culture seroconverted later on, implying a higher actual DSp. When using culture and serology as the gold standard, the DSe was lower (89%) while the DSp was higher (100%). DSe was 100% in samples collected within the first – for treatment important - 4 days after onset of the illness. Reproducibility and repeatability of the assay, determined by blind testing kidney samples from 20 confirmed positive and 20 negative rodents both appeared 100%. In conclusion we have described for the first time the development of a robust SYBR Green real-time PCR for the detection of pathogenic Leptospira combined with a detailed assessment of its clinical accuracy, thus providing a method for the early diagnosis of leptospirosis with a well-defined satisfactory performance

Rapid assessment of Hib disease burden in Vietnam

<p>Abstract</p> <p>Background</p> <p>Several countries have applied the <it>Haemophilus influenzae </it>type b (Hib) rapid assessment tool (RAT) to estimate the burden of Hib disease where resources for hospital- or population-based surveillance are limited. In Vietnam, we used the Hib RAT to estimate the burden of Hib pneumonia and meningitis prior to Hib vaccine introduction.</p> <p>Methods</p> <p>Laboratory, hospitalization and mortality data were collected for the period January 2004 through December 2005 from five representative hospitals. Based on the WHO Hib RAT protocol, standardized MS Excel spreadsheets were completed to generate meningitis and pneumonia case and death figures.</p> <p>Results</p> <p>We found 35 to 77 Hib meningitis deaths and 441 to 957 Hib pneumonia deaths among children < 5 years of age annually in Vietnam. Overall, the incidence of Hib meningitis was estimated at 18/100,000 (95% confidence interval, CI, 15.1-21.6). The estimated Hib meningitis incidence in children < 5 years age was higher in Ho Chi Minh City (22.5/100,000 [95% CI, 18.4-27.5]) compared to Hanoi (9.8/100,000 [95% CI, 6.5-14.8]). The Hib RAT suggests that there are a total of 883 to 1,915 cases of Hib meningitis and 4,414 to 9,574 cases of Hib pneumonia per year in Vietnam.</p> <p>Conclusions</p> <p>In Hanoi, the estimated incidence of Hib meningitis for children < 5 years of age was similar to that described in previous population-based studies of Hib meningitis conducted from 1999 through 2002. Results from the Hib RAT suggest that there is a substantial, yet unmeasured, disease burden associated with Hib pneumonia in Vietnamese children.</p