Stabilized High Power Laser for Advanced Gravitational Wave Detectors

Second generation gravitational wave detectors require high power lasers with several 100W of output power and with very low temporal and spatial fluctuations. In this paper we discuss possible setups to achieve high laser power and describe a 200W prestabilized laser system (PSL). The PSL noise requirements for advanced gravitational wave detectors will be discussed in general and the stabilization scheme proposed for the Advanced LIGO PSL will be described. Special emphasis will be given to the most demanding power stabilization requiremets and new results (RIN ≤ 4×10-9/surdHz) will be presented

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

Stabilized lasers for advanced gravitational wave detectors

Second generation gravitational wave detectors require high power lasers with more than 100 W of output power and with very low temporal and spatial fluctuations. To achieve the demanding stability levels required, low noise techniques and adequate control actuators have to be part of the high power laser design. In addition feedback control and passive noise filtering is used to reduce the fluctuations in the so-called prestabilized laser system (PSL). In this paper, we discuss the design of a 200 W PSL which is under development for the Advanced LIGO gravitational wave detector and will present the first results. The PSL noise requirements for advanced gravitational wave detectors will be discussed in general and the stabilization scheme proposed for the Advanced LIGO PSL will be described

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

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

Geometric representations for minimalist grammars

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