Sparsity driven ultrasound imaging

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

On the Concept of a Notational Variant

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic

Laser-induced degradation and damage morphology in polymer optical fibers

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

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