Language Boxes: Bending the Host Language with Modular Language Changes

As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domain-specific languages. Unfortunately these DSLs typically conflict with the grammar of the host language, making it difficult to compose hybrid code except at the level of strings; few mechanisms (if any) exist to control the scope of usage of multiple DSLs; and, most seriously, existing host language tools are typically unaware of the DSL extensions, thus hampering the development process. Language boxes address these issues by offering a simple, modular mechanism to encapsulate (i) compositional changes to the host language, (ii) transformations to address various concerns such as compilation and highlighting, and (iii) scoping rules to control visibility of language extensions. We describe the design and implementation of language boxes, and show with the help of several examples how modular extensions can be introduced to a host language and environment.

Augmenting Static Source Views in IDEs with Dynamic Metrics

Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any information about runtime behavior. However, object-oriented programs heavily rely on polymorphism and late-binding, which makes them difficult to understand just based on their static structure. Developers thus resort to debuggers or profilers to study the system's dynamics. However, the information provided by these tools is volatile and hence cannot be exploited to ease the navigation of the source space. In this paper we present an approach to augment the static source perspective with dynamic metrics such as precise runtime type information, or memory and object allocation statistics. Dynamic metrics can leverage the understanding for the behavior and structure of a system. We rely on dynamic data gathering based on aspects to analyze running Java systems. By solving concrete use cases we illustrate how dynamic metrics directly available in the IDE are useful. We also comprehensively report on the efficiency of our approach to gather dynamic metrics.

Senseo: Enriching Eclipse's Static Source Views with Dynamic Metrics

Maintaining object-oriented systems that use inheritance and polymorphism is difficult, since runtime information, such as which methods are actually invoked at a call site, is not visible in the static source code. We have implemented Senseo, an Eclipse plugin enhancing Eclipse's static source views with various dynamic metrics, such as runtime types, the number of objects created, or the amount of memory allocated in particular methods.

Spatial audition in a static virtual environment : the role of auditory-visual interaction

The integration of the auditory modality in virtual reality environments is known to promote the sensations of immersion and presence. However it is also known from psychophysics studies that auditory-visual interaction obey to complex rules and that multisensory conflicts may disrupt the adhesion of the participant to the presented virtual scene. It is thus important to measure the accuracy of the auditory spatial cues reproduced by the auditory display and their consistency with the spatial visual cues. This study evaluates auditory localization performances under various unimodal and auditory-visual bimodal conditions in a virtual reality (VR) setup using a stereoscopic display and binaural reproduction over headphones in static conditions. The auditory localization performances observed in the present study are in line with those reported in real conditions, suggesting that VR gives rise to consistent auditory and visual spatial cues. These results validate the use of VR for future psychophysics experiments with auditory and visual stimuli. They also emphasize the importance of a spatially accurate auditory and visual rendering for VR setups.

A Stieltjes approach to static hedges

Static hedging of complicated payoff structures by standard instruments becomes increasingly popular in finance. The classical approach is developed for quite regular functions, while for less regular cases, generalized functions and approximation arguments are used. In this note, we discuss the regularity conditions in the classical decomposition formula due to P. Carr and D. Madan (in Jarrow ed, Volatility, pp. 417–427, Risk Publ., London, 1998) if the integrals in this formula are interpreted as Lebesgue integrals with respect to the Lebesgue measure. Furthermore, we show that if we replace these integrals by Lebesgue–Stieltjes integrals, the family of representable functions can be extended considerably with a direct approach.

REVIEW ON THE DETERMINATION OF α s FROM THE QCD STATIC ENERGY

We review the determination of the strong coupling αs from the comparison of the perturbative expression for the Quantum Chromodynamics static energy with lattice data. Here, we collect all the perturbative expressions needed to evaluate the static energy at the currently known accuracy.

Determination of α_{s} from the QCD static energy

We compare lattice data for the short-distance part of the static energy in 21 flavor quantum chromodynamics (QCD) with perturbative calculations, up to next-to-next-to-next-to leading-logarithmic accuracy. We show that perturbation theory describes very well the lattice data at short distances, and exploit this fact to obtain a determination of the product of the lattice scale r0 with the QCD scale ΛMS. With the input of the value of r0, this provides a determination of the strong coupling αs at the typical distance scale of the lattice data. We obtain αs1.5  GeV0.3260.019, which provides a novel determination of αs with three-loop accuracy (including resummation of the leading ultrasoft logarithms), and constitutes one of the few low-energy determinations of αs available. When this value is evolved to the Z-mass scale MZ, it corresponds to αsMZ0.11560.00220.0021.

Determination of the strong coupling alphas from the QCD static energy

We obtain a determination of the strong coupling as in quantum chromodynamics, by comparing perturbative calculations for the short-distance part of the static energy with lattice computations. Our result reads as (1.5GeV) = 0.326±0.019, and when evolved to the scale MZ (the Z-boson mass) it corresponds to as (MZ) = 0.1156+0.0021 −0.0022.

αs from the static energy in QCD

Comparing perturbative calculations with a lattice computation of the static energy in quantum chromodynamics at short distances, we obtain a determination of the strong coupling αS. Our determination is performed at a scale of around 1.5 GeV (the typical distance scale of the lattice data) and, when evolved to the Z-boson mass scale MZ, it corresponds to .

Fractionated stereotactic radiotherapy with static field conformal and non coplanar arcs for pediatric patients with craniopharyngioma: analysis of long term visual outcome and endocrine toxicity

We assessed the efficacy and the toxicity for pediatric craniopharyngioma patients of fractionated stereotactic radiotherapy (FSRT). Between May 2000 and May 2009, 9 patients (male to female ratio, 5:4) with craniopharyngiomas underwent FSRT (median dose, 54 Gy). Among the 9 patients, 6 received radiation therapy (RT) for recurrent tumors and 3 for residual disease as adjuvant therapy after incomplete surgery. Median tumor 3 volume was 2.3 cm (range, 0.1-5.8). The median target coverage was 93.7% (range 79.3-99.8%). The median conformity index was 0.94 (range, 0.6-1.4). Dose to the hippocampal region was assessed for all patients. After a median follow-up of 62.5 months (range, 32-127)the treated volume decreased in size in four of eight patients (50%). One patient was lost to follow-up. Local control and survival rates at 3 years were 100% and there were no marginal relapses. One patient, with a chronic bilateral papillary oedema after surgery, visual defect deteriorated after FSRT to a complete hemianopsia. One male patient with normal pituitary function before FSRT presented with precocious puberty at the age of 7.4 years, 24 months after FSRT. Four patients (50%) were severely obese at their last visit. FSRT is a safe treatment option for craniopharyngioma after incomplete resection.

Static and dynamic characteristics of cerebral blood flow during the resting state in schizophrenia

Background: The cerebral network that is active during rest and is deactivated during goal-oriented activity is called the default mode network (DMN). It appears to be involved in self-referential mental activity. Atypical functional connectivity in the DMN has been observed in schizophrenia. One hypothesis suggests that pathologically increased DMN connectivity in schizophrenia is linked with a main symptom of psychosis, namely, misattribution of thoughts. Methods: A resting-state pseudocontinuous arterial spin labeling (ASL) study was conducted to measure absolute cerebral blood flow (CBF) in 34 schizophrenia patients and 27 healthy controls. Using independent component analysis (ICA), the DMN was extracted from ASL data. Mean CBF and DMN connectivity were compared between groups using a 2-sample t test. Results: Schizophrenia patients showed decreased mean CBF in the frontal and temporal regions (P < .001). ICA demonstrated significantly increased DMN connectivity in the precuneus (x/y/z = -16/-64/38) in patients than in controls (P < .001). CBF was not elevated in the respective regions. DMN connectivity in the precuneus was significantly correlated with the Positive and Negative Syndrome Scale scores (P < .01). Conclusions: In schizophrenia patients, the posterior hub-which is considered the strongest part of the DMN-showed increased DMN connectivity. We hypothesize that this increase hinders the deactivation of the DMN and, thus, the translation of cognitive processes from an internal to an external focus. This might explain symptoms related to defective self-monitoring, such as auditory verbal hallucinations or ego disturbances.

Measuring the bending of asymmetric planar EAP structures

The geometric characterization of low-voltage dielectric electro-active polymer (EAP) structures, comprised of nanometer thickness but areas of square centimeters, for applications such as artificial sphincters requires methods with nanometer precision. Direct optical detection is usually restricted to sub-micrometer resolution because of the wavelength of the light applied. Therefore, we propose to take advantage of the cantilever bending system with optical readout revealing a sub-micrometer resolution at the deflection of the free end. It is demonstrated that this approach allows us to detect bending of rather conventional planar asymmetric, dielectric EAP-structures applying voltages well below 10 V. For this purpose, we built 100 μm-thin silicone films between 50 nm-thin silver layers on a 25 μm-thin polyetheretherketone (PEEK) substrate. The increase of the applied voltage in steps of 50 V until 1 kV resulted in a cantilever bending that exhibits only in restricted ranges the expected square dependence. The mean laser beam displacement on the detector corresponded to 6 nm per volt. The apparatus will therefore become a powerful mean to analyze and thereby improve low-voltage dielectric EAP-structures to realize nanometer-thin layers for stack actuators to be incorporated into artificial sphincter systems for treating severe urinary and fecal incontinence.

Finite Element Based Nonlinear Normalization of Human Lumbar Intervertebral Disc Stiffness to Account for Its Morphology

Disc degeneration, usually associated with low back pain and changes of intervertebral stiffness, represents a major health issue. As the intervertebral disc (IVD) morphology influences its stiffness, the link between mechanical properties and degenerative grade is partially lost without an efficient normalization of the stiffness with respect to the morphology. Moreover, although the behavior of soft tissues is highly nonlinear, only linear normalization protocols have been defined so far for the disc stiffness. Thus, the aim of this work is to propose a nonlinear normalization based on finite elements (FE) simulations and evaluate its impact on the stiffness of human anatomical specimens of lumbar IVD. First, a parameter study involving simulations of biomechanical tests (compression, flexion/extension, bilateral torsion and bending) on 20 FE models of IVDs with various dimensions was carried out to evaluate the effect of the disc's geometry on its compliance and establish stiffness/morphology relations necessary to the nonlinear normalization. The computed stiffness was then normalized by height (H), cross-sectional area (CSA), polar moment of inertia (J) or moments of inertia (Ixx, Iyy) to quantify the effect of both linear and nonlinear normalizations. In the second part of the study, T1-weighted MRI images were acquired to determine H, CSA, J, Ixx and Iyy of 14 human lumbar IVDs. Based on the measured morphology and pre-established relation with stiffness, linear and nonlinear normalization routines were then applied to the compliance of the specimens for each quasi-static biomechanical test. The variability of the stiffness prior to and after normalization was assessed via coefficient of variation (CV). The FE study confirmed that larger and thinner IVDs were stiffer while the normalization strongly attenuated the effect of the disc geometry on its stiffness. Yet, notwithstanding the results of the FE study, the experimental stiffness showed consistently higher CV after normalization. Assuming that geometry and material properties affect the mechanical response, they can also compensate for one another. Therefore, the larger CV after normalization can be interpreted as a strong variability of the material properties, previously hidden by the geometry's own influence. In conclusion, a new normalization protocol for the intervertebral disc stiffness in compression, flexion, extension, bilateral torsion and bending was proposed, with the possible use of MRI and FE to acquire the discs' anatomy and determine the nonlinear relations between stiffness and morphology. Such protocol may be useful to relate the disc's mechanical properties to its degree of degeneration.