6,686 research outputs found
GP-Unet: Lesion Detection from Weak Labels with a 3D Regression Network
We propose a novel convolutional neural network for lesion detection from
weak labels. Only a single, global label per image - the lesion count - is
needed for training. We train a regression network with a fully convolutional
architecture combined with a global pooling layer to aggregate the 3D output
into a scalar indicating the lesion count. When testing on unseen images, we
first run the network to estimate the number of lesions. Then we remove the
global pooling layer to compute localization maps of the size of the input
image. We evaluate the proposed network on the detection of enlarged
perivascular spaces in the basal ganglia in MRI. Our method achieves a
sensitivity of 62% with on average 1.5 false positives per image. Compared with
four other approaches based on intensity thresholding, saliency and class maps,
our method has a 20% higher sensitivity.Comment: Article published in MICCAI 2017. We corrected a few errors from the
first version: padding, loss, typos and update of the DOI numbe
The Relativistic Linear Singular Oscillator
Exactly-solvable model of the linear singular oscillator in the relativistic
configurational space is considered. We have found wavefunctions and energy
spectrum for the model under study. It is shown that they have correct
non-relativistic limits.Comment: 14 pages, 12 figures in eps format, IOP style LaTeX file (revised
taking into account referees suggestions
Efficient Refinement Checking in VCC
We propose a methodology for carrying out refinement proofs across declarative abstract models and concrete implementations in C, using the VCC verification tool. The main idea is to first perform a systematic translation from the top-level abstract model to a ghost implementation in VCC. Subsequent refinement proofs between successively refined abstract models and between abstract and concrete implementations are carried out in VCC. We propose an efficient technique to carry out these refinement checks in VCC. We illustrate our methodology with a case study in which we verify a simplified C implementation of an RTOS scheduler, with respect to its abstract Z specification. Overall, our methodology leads to efficient and automatic refinement proofs for complex systems that would typically be beyond the capability of tools such as Z/Eves or Rodin
Recommended from our members
The theory of international business: the role of economic models
This paper reviews the scope for economic modelling in international business studies. It argues for multi-level theory based on classic internalisation theory. It present a systems approach that encompasses both firm-level and industry-level analysis
A review of clinical decision-making: Models and current research
Aims and objectives: The aim of this paper was to review the current literature with respect to clinical decision-making models and the educational application of models to clinical practice. This was achieved by exploring the function and related research of the three available models of clinical decision making: information processing model, the intuitive-humanist model and the clinical decision making model.
Background: Clinical decision-making is a unique process that involves the interplay between knowledge of pre-existing pathological conditions, explicit patient information, nursing care and experiential learning. Historically, two models of clinical decision making are recognised from the literature; the information processing model and the intuitive-humanist model. The usefulness and application of both models has been examined in relation the provision of nursing care and care related outcomes. More recently a third model of clinical decision making has been proposed. This new multidimensional model contains elements of the information processing model but also examines patient specific elements that are necessary for cue and pattern recognition.
Design: Literature review
Methods: Evaluation of the literature generated from MEDLINE, CINAHL, OVID, PUBMED and EBESCO systems and the Internet from 1980 – November 2005
Comparative Network Analysis of Preterm vs. Full-Term Infant-Mother Interactions
Several studies have reported that interactions of mothers with preterm infants show differential characteristics compared to that of mothers with full-term infants. Interaction of preterm dyads is often reported as less harmonious. However, observations and explanations concerning the underlying mechanisms are inconsistent. In this work 30 preterm and 42 full-term mother-infant dyads were observed at one year of age. Free play interactions were videotaped and coded using a micro-analytic coding system. The video records were coded at one second resolution and studied by a novel approach using network analysis tools. The advantage of our approach is that it reveals the patterns of behavioral transitions in the interactions. We found that the most frequent behavioral transitions are the same in the two groups. However, we have identified several high and lower frequency transitions which occur significantly more often in the preterm or full-term group. Our analysis also suggests that the variability of behavioral transitions is significantly higher in the preterm group. This higher variability is mostly resulted from the diversity of transitions involving non-harmonious behaviors. We have identified a maladaptive pattern in the maternal behavior in the preterm group, involving intrusiveness and disengagement. Application of the approach reported in this paper to longitudinal data could elucidate whether these maladaptive maternal behavioral changes place the infant at risk for later emotional, cognitive and behavioral disturbance
MFGE8 does not influence chorio-retinal homeostasis or choroidal neovascularization in vivo
Purpose: Milk fat globule-epidermal growth factor-factor VIII (MFGE8) is necessary for diurnal outer segment phagocytosis and promotes VEGF-dependent neovascularization. The prevalence of two single nucleotide polymorphisms (SNP) in MFGE8 was studied in two exsudative or “wet” Age-related Macular Degeneration (AMD) groups and two corresponding control groups. We studied the effect of MFGE8 deficiency on retinal homeostasis with age and on choroidal neovascularization (CNV) in mice.
Methods: The distribution of the SNP (rs4945 and rs1878326) of MFGE8 was analyzed in two groups of patients with “wet” AMD and their age-matched controls from Germany and France. MFGE8-expressing cells were identified in Mfge8+/− mice expressing ß-galactosidase. Aged Mfge8+/− and Mfge8−/− mice were studied by funduscopy, histology, electron microscopy, scanning electron microscopy of vascular corrosion casts of the choroid, and after laser-induced CNV.
Results: rs1878326 was associated with AMD in the French and German group. The Mfge8 promoter is highly active in photoreceptors but not in retinal pigment epithelium cells. Mfge8−/− mice did not differ from controls in terms of fundus appearance, photoreceptor cell layers, choroidal architecture or laser-induced CNV. In contrast, the Bruch's membrane (BM) was slightly but significantly thicker in Mfge8−/− mice as compared to controls.
Conclusions: Despite a reproducible minor increase of rs1878326 in AMD patients and a very modest increase in BM in Mfge8−/− mice, our data suggests that MFGE8 dysfunction does not play a critical role in the pathogenesis of AMD
On the dynamical generation of the Maxwell term and scale invariance
Gauge theories with no Maxwell term are investigated in various setups. The
dynamical generation of the Maxwell term is correlated to the scale invariance
properties of the system. This is discussed mainly in the cases where the gauge
coupling carries dimensions. The term is generated when the theory contains a
scale explicitly, when it is asymptotically free and in particular also when
the scale invariance is spontaneously broken. The terms are not generated when
the scale invariance is maintained. Examples studied include the large
limit of the model in dimensions, a 3D gauged
vector model and its supersymmetric extension. In the latter case the
generation of the Maxwell term at a fixed point is explored. The phase
structure of the case is investigated in the presence of a Chern-Simons
term as well. In the supersymmetric model the emergence of the Maxwell
term is accompanied by the dynamical generation of the Chern-Simons term and
its multiplet and dynamical breaking of the parity symmetry. In some of the
phases long range forces emerge which may result in logarithmic confinement.
These include a dilaton exchange which plays a role also in the case when the
theory has no gauge symmetry. Gauged Lagrangian realizations of the 2D coset
models do not lead to emergent Maxwell terms. We discuss a case where the gauge
symmetry is anomalous.Comment: 38 pages, 4 figures; v2 slightly improved, typos fixed, references
added, published versio
Genetics of callous-unemotional behavior in children
Callous-unemotional behavior (CU) is currently under consideration as a subtyping index for conduct disorder diagnosis. Twin studies routinely estimate the heritability of CU as greater than 50%. It is now possible to estimate genetic influence using DNA alone from samples of unrelated individuals, not relying on the assumptions of the twin method. Here we use this new DNA method (implemented in a software package called Genome-wide Complex Trait Analysis, GCTA) for the first time to estimate genetic influence on CU. We also report the first genome-wide association (GWA) study of CU as a quantitative trait. We compare these DNA results to those from twin analyses using the same measure and the same community sample of 2,930 children rated by their teachers at ages 7, 9 and 12. GCTA estimates of heritability were near zero, even though twin analysis of CU in this sample confirmed the high heritability of CU reported in the literature, and even though GCTA estimates of heritability were substantial for cognitive and anthropological traits in this sample. No significant associations were found in GWA analysis, which, like GCTA, only detects additive effects of common DNA variants. The phrase ‘missing heritability’ was coined to refer to the gap between variance associated with DNA variants identified in GWA studies versus twin study heritability. However, GCTA heritability, not twin study heritability, is the ceiling for GWA studies because both GCTA and GWA are limited to the overall additive effects of common DNA variants, whereas twin studies are not. This GCTA ceiling is very low for CU in our study, despite its high twin study heritability estimate. The gap between GCTA and twin study heritabilities will make it challenging to identify genes responsible for the heritability of CU
- …