3D Intervertebral Disc Localization and Segmentation from MR Images by Data-Driven Regression and Classification

In this paper we propose a new fully-automatic method for localizing and segmenting 3D intervertebral discs from MR images, where the two problems are solved in a unified data-driven regression and classification framework. We estimate the output (image displacements for localization, or fg/bg labels for segmentation) of image points by exploiting both training data and geometric constraints simultaneously. The problem is formulated in a unified objective function which is then solved globally and efficiently. We validate our method on MR images of 25 patients. Taking manually labeled data as the ground truth, our method achieves a mean localization error of 1.3 mm, a mean Dice metric of 87%, and a mean surface distance of 1.3 mm. Our method can be applied to other localization and segmentation tasks.

Localization and Segmentation of 3D Intervertebral Discs in MR Images by Data Driven Estimation

This paper addresses the problem of fully-automatic localization and segmentation of 3D intervertebral discs (IVDs) from MR images. Our method contains two steps, where we first localize the center of each IVD, and then segment IVDs by classifying image pixels around each disc center as foreground (disc) or background. The disc localization is done by estimating the image displacements from a set of randomly sampled 3D image patches to the disc center. The image displacements are estimated by jointly optimizing the training and test displacement values in a data-driven way, where we take into consideration both the training data and the geometric constraint on the test image. After the disc centers are localized, we segment the discs by classifying image pixels around disc centers as background or foreground. The classification is done in a similar data-driven approach as we used for localization, but in this segmentation case we are aiming to estimate the foreground/background probability of each pixel instead of the image displacements. In addition, an extra neighborhood smooth constraint is introduced to enforce the local smoothness of the label field. Our method is validated on 3D T2-weighted turbo spin echo MR images of 35 patients from two different studies. Experiments show that compared to state of the art, our method achieves better or comparable results. Specifically, we achieve for localization a mean error of 1.6-2.0 mm, and for segmentation a mean Dice metric of 85%-88% and a mean surface distance of 1.3-1.4 mm.

Localization and production of peptide endocannabinoids in the rodent CNS and adrenal medulla.

The endocannabinoid system (ECS) comprises the cannabinoid receptors CB1 and CB2 and their endogenous arachidonic acid-derived agonists 2-arachidonoyl glycerol and anandamide, which play important neuromodulatory roles. Recently, a novel class of negative allosteric CB1 receptor peptide ligands, hemopressin-like peptides derived from alpha hemoglobin, has been described, with yet unknown origin and function in the CNS. Using monoclonal antibodies we now identified the localization of RVD-hemopressin (pepcan-12) and N-terminally extended peptide endocannabinoids (pepcans) in the CNS and determined their neuronal origin. Immunohistochemical analyses in rodents revealed distinctive and specific staining in major groups of noradrenergic neurons, including the locus coeruleus (LC), A1, A5 and A7 neurons, which appear to be major sites of production/release in the CNS. No staining was detected in dopaminergic neurons. Peptidergic axons were seen throughout the brain (notably hippocampus and cerebral cortex) and spinal cord, indicative of anterograde axonal transport of pepcans. Intriguingly, the chromaffin cells in the adrenal medulla were also strongly stained for pepcans. We found specific co-expression of pepcans with galanin, both in the LC and adrenal gland. Using LC-MS/MS, pepcan-12 was only detected in non-perfused brain (∼40 pmol/g), suggesting that in the CNS it is secreted and present in extracellular compartments. In adrenal glands, significantly more pepcan-12 (400-700 pmol/g) was measured in both non-perfused and perfused tissue. Thus, chromaffin cells may be a major production site of pepcan-12 found in blood. These data uncover important areas of peptide endocannabinoid occurrence with exclusive noradrenergic immunohistochemical staining, opening new doors to investigate their potential physiological function in the ECS. This article is part of a Special Issue entitled 'Fluorescent Neuro-Ligands'.

Flavor tagged time-dependent angular analysis of the B0s → J/ψΦ decay and extraction of Δ Γs and the weak phase Φs in ATLAS

A measurement of the B 0 s →J/ψϕ decay parameters, updated to include flavor tagging is reported using 4.9  fb −1 of integrated luminosity collected by the ATLAS detector from s √ =7  TeV pp collisions recorded in 2011 at the LHC. The values measured for the physical parameters are ϕ s 0.12±0.25(stat)±0.05(syst)  rad ΔΓ s 0.053±0.021(stat)±0.010(syst)  ps −1 Γ s 0.677±0.007(stat)±0.004(syst)  ps −1 |A ∥ (0)| 2 0.220±0.008(stat)±0.009(syst) |A 0 (0)| 2 0.529±0.006(stat)±0.012(syst) δ ⊥ =3.89±0.47(stat)±0.11(syst)  rad where the parameter ΔΓ s is constrained to be positive. The S -wave contribution was measured and found to be compatible with zero. Results for ϕ s and ΔΓ s are also presented as 68% and 95% likelihood contours, which show agreement with the Standard Model expectations.

A Passive WiFi Source Localization System based on Fine-grained Power-based Trilateration

Indoor localization systems become more interesting for researchers because of the attractiveness of business cases in various application fields. A WiFi-based passive localization system can provide user location information to third-party providers of positioning services. However, indoor localization techniques are prone to multipath and Non-Line Of Sight (NLOS) propagation, which lead to significant performance degradation. To overcome these problems, we provide a passive localization system for WiFi targets with several improved algorithms for localization. Through Software Defined Radio (SDR) techniques, we extract Channel Impulse Response (CIR) information at the physical layer. CIR is later adopted to mitigate the multipath fading problem. We propose to use a Nonlinear Regression (NLR) method to relate the filtered power information to propagation distances, which significantly improves the ranging accuracy compared to the commonly used log-distance path loss model. To mitigate the influence of ranging errors, a new trilateration algorithm is designed as well by combining Weighted Centroid and Constrained Weighted Least Square (WC-CWLS) algorithms. Experiment results show that our algorithm is robust against ranging errors and outperforms the linear least square algorithm and weighted centroid algorithm.

Drosophila valois encodes a divergent WD protein that is required for Vasa localization and Oskar protein accumulation

valois (vls) was identified as a posterior group gene in the initial screens for Drosophila maternal-effect lethal mutations. Despite its early genetic identification, it has not been characterized at the molecular level until now. We show that vls encodes a divergent WD domain protein and that the three available EMS-induced point mutations cause premature stop codons in the vls ORF. We have generated a null allele that has a stronger phenotype than the EMS mutants. The vlsnull mutant shows that vls+ is required for high levels of Oskar protein to accumulate during oogenesis, for normal posterior localization of Oskar in later stages of oogenesis and for posterior localization of the Vasa protein during the entire process of pole plasm assembly. There is no evidence for vls being dependent on an upstream factor of the posterior pathway, suggesting that Valois protein (Vls) instead acts as a co-factor in the process. Based on the structure of Vls, the function of similar proteins in different systems and our phenotypic analysis, it seems likely that vls may promote posterior patterning by facilitating interactions between different molecules.

Localization of Hidden Insulinomas with 68Ga-DOTA-Exendin-4 PET/CT: A Pilot Study.

UNLABELLED (111)In-DOTA-exendin-4 SPECT/CT has been shown to be highly efficient in the detection of insulinomas. We aimed at determining whether novel PET/CT imaging with [Nle(14),Lys(40)(Ahx-DOTA-(68)Ga)NH2]exendin-4 ((68)Ga-DOTA-exendin-4) is feasible and sensitive in detecting benign insulinomas. METHODS (68)Ga-DOTA-exendin-4 PET/CT and (111)In-DOTA-exendin-4 SPECT/CT were performed in a randomized cross-over order on 5 patients with endogenous hyperinsulinemic hypoglycemia. The gold standard for comparison was the histologic diagnosis after surgery. RESULTS In 4 patients histologic diagnosis confirmed a benign insulinoma, whereas one patient refused surgery despite a positive (68)Ga-DOTA-exendin-4 PET/CT scan. In 4 of 5 patients, previously performed conventional imaging (CT or MR imaging) was not able to localize the insulinoma. (68)Ga-DOTA-exendin-4 PET/CT correctly identified the insulinoma in 4 of 4 patients, whereas (111)In-DOTA-exendin-4 SPECT/CT correctly identified the insulinoma in only 2 of 4 patients. CONCLUSION These preliminary data suggest that the use of (68)Ga-DOTA-exendin-4 PET/CT in detecting hidden insulinomas is feasible.

Interpretation of fluid inclusions in quartz deformed by weak ductile shearing: reconstruction of differential stress magnitudes and pre-deformation fluid properties

A well developed theoretical framework is available in which paleofluid properties, such as chemical composition and density, can be reconstructed from fluid inclusions in minerals that have undergone no ductile deformation. The present study extends this framework to encompass fluid inclusions hosted by quartz that has undergone weak ductile deformation following fluid entrapment. Recent experiments have shown that such deformation causes inclusions to become dismembered into clusters of irregularly shaped relict inclusions surrounded by planar arrays of tiny, new-formed (neonate) inclusions. Comparison of the experimental samples with a naturally sheared quartz vein from Grimsel Pass, Aar Massif, Central Alps, Switzerland, reveals striking similarities. This strong concordance justifies applying the experimentally derived rules of fluid inclusion behaviour to nature. Thus, planar arrays of dismembered inclusions defining cleavage planes in quartz may be taken as diagnostic of small amounts of intracrystalline strain. Deformed inclusions preserve their pre-deformation concentration ratios of gases to electrolytes, but their H2O contents typically have changed. Morphologically intact inclusions, in contrast, preserve the pre-deformation composition and density of their originally trapped fluid. The orientation of the maximum principal compressive stress (σ1σ1) at the time of shear deformation can be derived from the pole to the cleavage plane within which the dismembered inclusions are aligned. Finally, the density of neonate inclusions is commensurate with the pressure value of σ1σ1 at the temperature and time of deformation. This last rule offers a means to estimate magnitudes of shear stresses from fluid inclusion studies. Application of this new paleopiezometer approach to the Grimsel vein yields a differential stress (σ1–σ3σ1–σ3) of ∼300 MPa∼300 MPa at View the MathML source390±30°C during late Miocene NNW–SSE orogenic shortening and regional uplift of the Aar Massif. This differential stress resulted in strain-hardening of the quartz at very low total strain (<5%<5%) while nearby shear zones were accommodating significant displacements. Further implementation of these experimentally derived rules should provide new insight into processes of fluid–rock interaction in the ductile regime within the Earth's crust.

Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Spatial variability and potential impacts of climate change on flood and debris flow hazard zone mapping and implications for risk management

The main goals of this study were to identifythe alpine torrent catchments that are sensitive to climatic changes and to assess the robustness of the methods for the elaboration of flood and debris flow hazard zone maps to specific effects of climate changes. In this study, a procedure for the identification and localization of torrent catchments in which the climate scenarios will modify the hazard situation was developed. In two case studies, the impacts of a potential increase of precipitation intensities to the delimited hazard zones were studied. The identification and localization of the torrent and river catchments, where unfavourable changes in the hazard situation occur, could eliminate speculative and unnecessary measures against the impacts of climate changes like a general enlargement of hazard zones or a general over dimensioning of protection structures for the whole territory. The results showed a high spatial variability of the sensitivity of catchments to climate changes. In sensitive catchments, the sediment management in alpine torrents will meet future challenges due to a higher rate for sediment removal from retention basins. The case studies showed a remarkable increase of the areas affected by floods and debris flow when considering possible future precipitation intensities in hazard mapping. But, the calculated increase in extent of future hazard zones lay within the uncertainty of the methods used today for the delimitation of the hazard zones. Thus, the consideration of the uncertainties laying in the methods for the elaboration of hazard zone maps in the torrent and river catchments sensitive to climate changes would provide a useful instrument for the consideration of potential future climate conditions. The study demonstrated that weak points in protection structures in future will become more important in risk management activities.

Updated Next-to-Next-to-Leading-Order QCD Predictions for the Weak Radiative B -Meson Decays

Weak radiative decays of the B mesons belong to the most important flavor changing processes that provide constraints on physics at the TeV scale. In the derivation of such constraints, accurate standard model predictions for the inclusive branching ratios play a crucial role. In the current Letter we present an update of these predictions, incorporating all our results for the O(α2s) and lower-order perturbative corrections that have been calculated after 2006. New estimates of nonperturbative effects are taken into account, too. For the CP- and isospin-averaged branching ratios, we find Bsγ=(3.36±0.23)×10−4 and Bdγ=(1.73+0.12−0.22)×10−5, for Eγ>1.6  GeV. Both results remain in agreement with the current experimental averages. Normalizing their sum to the inclusive semileptonic branching ratio, we obtain Rγ≡(Bsγ+Bdγ)/Bcℓν=(3.31±0.22)×10−3. A new bound from Bsγ on the charged Higgs boson mass in the two-Higgs-doublet-model II reads MH±>480  GeV at 95% C.L.

Real-Time Localization Using Software Defined Radio

Service providers make use of cost-effective wireless solutions to identify, localize, and possibly track users using their carried MDs to support added services, such as geo-advertisement, security, and management. Indoor and outdoor hotspot areas play a significant role for such services. However, GPS does not work in many of these areas. To solve this problem, service providers leverage available indoor radio technologies, such as WiFi, GSM, and LTE, to identify and localize users. We focus our research on passive services provided by third parties, which are responsible for (i) data acquisition and (ii) processing, and network-based services, where (i) and (ii) are done inside the serving network. For better understanding of parameters that affect indoor localization, we investigate several factors that affect indoor signal propagation for both Bluetooth and WiFi technologies. For GSM-based passive services, we developed first a data acquisition module: a GSM receiver that can overhear GSM uplink messages transmitted by MDs while being invisible. A set of optimizations were made for the receiver components to support wideband capturing of the GSM spectrum while operating in real-time. Processing the wide-spectrum of the GSM is possible using a proposed distributed processing approach over an IP network. Then, to overcome the lack of information about tracked devices’ radio settings, we developed two novel localization algorithms that rely on proximity-based solutions to estimate in real environments devices’ locations. Given the challenging indoor environment on radio signals, such as NLOS reception and multipath propagation, we developed an original algorithm to detect and remove contaminated radio signals before being fed to the localization algorithm. To improve the localization algorithm, we extended our work with a hybrid based approach that uses both WiFi and GSM interfaces to localize users. For network-based services, we used a software implementation of a LTE base station to develop our algorithms, which characterize the indoor environment before applying the localization algorithm. Experiments were conducted without any special hardware, any prior knowledge of the indoor layout or any offline calibration of the system.