500 research outputs found

    Sparsity driven ultrasound imaging

    Get PDF
    An image formation framework for ultrasound imaging from synthetic transducer arrays based on sparsity-driven regularization functionals using single-frequency Fourier domain data is proposed. The framework involves the use of a physics-based forward model of the ultrasound observation process, the formulation of image formation as the solution of an associated optimization problem, and the solution of that problem through efficient numerical algorithms. The sparsity-driven, model-based approach estimates a complex-valued reflectivity field and preserves physical features in the scene while suppressing spurious artifacts. It also provides robust reconstructions in the case of sparse and reduced observation apertures. The effectiveness of the proposed imaging strategy is demonstrated using experimental data

    Laser-induced degradation and damage morphology in polymer optical fibers

    Get PDF
    The radiation of pulsed laser systems can generate changes in various materials. On the one hand, these modifications can be used for a variety of applications i.e. laser welding, cutting and many more [1]. The precision and quality depends on the material and laser parameters. On the other hand, material changes are not always desired in other applications. When using optical materials such as optical fibers as a light guide or as a sensor, laser-induced damage effects inside the fiber are to be prevented to ensure constant light guidance and the reliable monitoring of a desired parameter. Therefore, investigations for quality assurance need to be performed. For this reason, this work investigates laserinduced damage in polymer optical fibers (POF) using a nanosecond pulsed laser system at a wavelength of 532 nm. The impact of different laser and fiber parameters on the long-term degradation behavior is observed. In addition, the overall degradation behavior as well as the knowledge gained by analyzing the damage morphology and distribution will be used to obtain a better understanding of the damage mechanisms

    Multiple Conclusion Rules in Logics with the Disjunction Property

    Full text link
    We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of admissible rules. These results can be generalized to a broad class of logics including positive logic and its extensions, Johansson logic, normal extensions of S4, n-transitive logics and intuitionistic modal logics

    Literatur-Rundschau

    Get PDF
    Literatur-RundschauManfred Bruhn/ Albrecht Grözinger (Hrsg.), Kirche und Marktorientierung (Steffen Hillebrecht) Manfred Dahlheimer, Carl Schmitt und der deutsche Katholizismus 1888-1936 (Hermann-Josef Große Kracht)Wilfried Mödinger, Kirchenmarketing (Steffen Hillebrecht) Reiner Preul/Reinhard Schmidt-Rost (Hrsg.), Kirche und Medien (Steffen Hillebrecht)Joe Reichertz, Die Frohe Botschaft des Fernsehens (Susanne Haverkamp) Michael Stamm, Das Gottesunternehmen: die katholische Kirche auf dem Religionsmarkt (Steffen Hillebrecht

    Counteridenticals

    Get PDF
    A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections

    Comet C/2011 W3 (Lovejoy): Orbit Determination, Outbursts, Disintegration of Nucleus, Dust-Tail Morphology, and Relationship to New Cluster of Bright Sungrazers

    Full text link
    We describe the physical and orbital properties of C/2011 W3. After surviving perihelion, the comet underwent major changes (permanent loss of nuclear condensation, formation of spine tail). The process of disintegration culminated with an outburst on December 17.6 (T+1.6 d) and this delayed response is inconsistent with the rubble pile model. Probable cause was thermal stress from the heat pulse into the nucleus after perihelion, which could also produce fragmentation of sungrazers far from the Sun. The spine tail was a synchronic feature, made up of dust released at <30 m/s. Since the nucleus would have been located on the synchrone, we computed the astrometric positions of the missing nucleus as the coordinates of the points of intersection of the spine tail's axis with lines of forced orbital-period variation, derived from orbital solutions based on preperihelion astrometry from the ground. The resulting osculating orbital period was 698+/-2 years, which proves that C/2011 W3 is the first major member of the predicted new, 21st-century cluster of bright Kreutz-system sungrazers. The spine tail's tip contained dust 1-2 mm in diameter. The bizarre appearance of the dust tail in images taken hours after perihelion with coronagraphs on SOHO and STEREO is readily understood. The disconnection of the comet's head from the preperihelion tail and the apparent activity attenuation near perihelion are both caused by sublimation of all dust at heliocentric distances smaller than ~1.8 solar radii. The tail's brightness is strongly affected by forward scattering of sunlight by dust. The longest-imaged grains had a radiation-pressure parameter beta ~ 0.6, probably submicron-sized silicate grains. The place of C/2011 W3 within the hierarchy of the Kreutz system and its genealogy via a 14th century parent suggest that it is indirectly related to the celebrated sungrazer X/1106 C1.Comment: Submitted to Astrophysical Journal; 35 pages, 18 figures, 8 table

    [11C]-l-Methionine positron emission tomography in the management of children and young adults with brain tumors

    Get PDF
    Only a few Methyl-[11C]-l-methionine (MET) positron emission tomography (PET) studies have focused on children and young adults with brain neoplasm. Due to radiation exposure, long scan acquisition time, and the need for sedation in young children MET-PET studies should be restricted to this group of patients when a decision for further therapy is not possible from routine diagnostic procedures alone, e.g., structural imaging. We investigated the diagnostic accuracy of MET-PET for the differentiation between tumorous and non-tumorous lesions in this group of patients. Forty eight MET-PET scans from 39 patients aged from 2 to 21 years (mean 15 ± 5.0 years) were analyzed. The MET tumor-uptake relative to a corresponding control region was calculated. A receiver operating characteristic (ROC) was performed to determine the MET-uptake value that best distinguishes tumorous from non-tumorous brain lesions. A differentiation between tumorous (n = 39) and non-tumorous brain lesions (n = 9) was possible at a threshold of 1.48 of relative MET-uptake with a sensitivity of 83% and a specificity of 92%, respectively. A differentiation between high grade malignant lesions (mean MET-uptake = 2.00 ± 0.46) and low grade tumors (mean MET-uptake = 1.84 ± 0.31) was not possible. There was a significant difference in MET-uptake between the histologically homogeneous subgroups of astrocytoma WHO grade II and anaplastic astrocytoma WHO grade III (P = 0.02). MET-PET might be a useful tool to differentiate tumorous from non-tumorous lesions in children and young adults when a decision for further therapy is difficult or impossible from routine structural imaging procedures alone

    The Kaleidoscope of Microglial Phenotypes

    Get PDF
    Gene expression analyses of microglia, the tissue-resident macrophages of the central nervous system (CNS), led to the identification of homeostatic as well as neurological disease-specific gene signatures of microglial phenotypes. Upon alterations in the neural microenvironment, either caused by local insults from within the CNS (during neurodegenerative diseases) or by macroenvironmental incidents, such as social stress, microglia can switch phenotypes-generally referred to as "microglial activation." The interplay between the microenvironment and its influence on microglial phenotypes, regulated by (epi) genetic mechanisms, can be imagined as the different colorful crystal formations (microglial phenotypes) that change upon rotation (microenvironmental changes) of a kaleidoscope. In this review, we will discuss microglial phenotypes in relation to neurodevelopment, homeostasis, in vitro conditions, aging, and neurodegenerative diseases based on transcriptome studies. By overlaying these disease-specific microglial signatures, recent publications have identified a specific set of genes that is differentially expressed in all investigated diseases, called a microglial core gene signature with multiple diseases. We will conclude this review with a discussion about the complexity of this microglial core gene signature associated with multiple diseases

    Geometric representations for minimalist grammars

    Full text link
    We reformulate minimalist grammars as partial functions on term algebras for strings and trees. Using filler/role bindings and tensor product representations, we construct homomorphisms for these data structures into geometric vector spaces. We prove that the structure-building functions as well as simple processors for minimalist languages can be realized by piecewise linear operators in representation space. We also propose harmony, i.e. the distance of an intermediate processing step from the final well-formed state in representation space, as a measure of processing complexity. Finally, we illustrate our findings by means of two particular arithmetic and fractal representations.Comment: 43 pages, 4 figure
    • …
    corecore