Embedding Languages Without Breaking Tools

Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts of an application related to specialized domains. Unfortunately, such language extensions typically do not integrate well with the development tools of the host language. Editors, compilers and debuggers are either unaware of the extensions, or must be adapted at a non-trivial cost. We present a novel approach to embed DSLs into an existing host language by leveraging the underlying representation of the host language used by these tools. Helvetia is an extensible system that intercepts the compilation pipeline of the Smalltalk host language to seamlessly integrate language extensions. We validate our approach by case studies that demonstrate three fundamentally different ways to extend or adapt the host language syntax and semantics.

Locally finite groups with all subgroups either subnormal or nilpotent-by-Chernikov

Let G be a locally finite group satisfying the condition given in the title and suppose that G is not nilpotent-by-Chernikov. It is shown that G has a section S that is not nilpotent-by-Chernikov, where S is either a p-group or a semi-direct product of the additive group A of a locally finite field F by a subgroup K of the multiplicative group of F, where K acts by multiplication on A and generates F as a ring. Non-(nilpotent-by-Chernikov) extensions of this latter kind exist and are described in detail.

Equality of P-partition Generating Functions

To every partially ordered set (poset), one can associate a generating function, known as the P-partition generating function. We find necessary conditions and sufficient conditions for two posets to have the same P-partition generating function. We define the notion of a jump sequence for a labeled poset and show that having equal jumpsequences is a necessary condition for generating function equality. We also develop multiple ways of modifying posets that preserve generating function equality. Finally, we are able to give a complete classification of equalities among partially ordered setswith exactly two linear extensions.

Self-organised transients in a neural mass model of epileptogenic tissue dynamics

Stimulation of human epileptic tissue can induce rhythmic, self-terminating responses on the EEG or ECoG. These responses play a potentially important role in localising tissue involved in the generation of seizure activity, yet the underlying mechanisms are unknown. However, in vitro evidence suggests that self-terminating oscillations in nervous tissue are underpinned by non-trivial spatio-temporal dynamics in an excitable medium. In this study, we investigate this hypothesis in spatial extensions to a neural mass model for epileptiform dynamics. We demonstrate that spatial extensions to this model in one and two dimensions display propagating travelling waves but also more complex transient dynamics in response to local perturbations. The neural mass formulation with local excitatory and inhibitory circuits, allows the direct incorporation of spatially distributed, functional heterogeneities into the model. We show that such heterogeneities can lead to prolonged reverberating responses to a single pulse perturbation, depending upon the location at which the stimulus is delivered. This leads to the hypothesis that prolonged rhythmic responses to local stimulation in epileptogenic tissue result from repeated self-excitation of regions of tissue with diminished inhibitory capabilities. Combined with previous models of the dynamics of focal seizures this macroscopic framework is a first step towards an explicit spatial formulation of the concept of the epileptogenic zone. Ultimately, an improved understanding of the pathophysiologic mechanisms of the epileptogenic zone will help to improve diagnostic and therapeutic measures for treating epilepsy.

k-Hyponormality and n-Contractivity for Agler-Type Shifts

We consider k-hyponormality and n-contractivity (k, n = 1, 2, ...) as "weak subnormalities" for a Hilbert space operator. It is known that k-hyponormality implies 2k-contractivity; we produce some classes of weighted shifts including a parameter for which membership in a certain n-contractive class is equivalent to k-hyponormality. We consider as well some extensions of these results to operators arising as restrictions of these shifts, or from linear combinations of the Berger measures associated with the shifts.

Changing Values in a Transitional Period

This project examined the change in values in the still unfinished transitional period in Serbia during the 1990s and compared it with Greece in the same period. During this period the social and political transition affected the ruling value system primarily through changes in the modes of the production and representation of reality. The most remarkable trait of this period in Serbia is the parallel and interweaving existence of different value systems. The very perception of reality has been blurred by the emergence of a very complex technical and ideological structure. Reality is presented by and through extensions and additions, the models of which are language and media. With the development of media technology and global communication and information systems, representation has become the only available reality. This enables the media to overtly and unlimitedly intervene in reality, to manage and change it without constraint and thus have a direct impact on values. The difference between public and private is abolished, so the media start promoting exclusive collective values. However, since the collective thus loses its counterpart, it itself needs to be redefined. This confusion of values make the possible results of their change uncertain. It will either open up a space for multiculturalism and social pluralism and thus completely replace the old systems of values, or result in an indefinite survival of different, often contradictory, value systems and conceptions of reality, which often lead to all forms of exclusivity and intolerance.

Monotone Constrained Tensor-product B-spline with application to screening studies

When different markers are responsive to different aspects of a disease, combination of multiple markers could provide a better screening test for early detection. It is also resonable to assume that the risk of disease changes smoothly as the biomarker values change and the change in risk is monotone with respect to each biomarker. In this paper, we propose a boundary constrained tensor-product B-spline method to estimate the risk of disease by maximizing a penalized likelihood. To choose the optimal amount of smoothing, two scores are proposed which are extensions of the GCV score (O'Sullivan et al. (1986)) and the GACV score (Ziang and Wahba (1996)) to incorporate linear constraints. Simulation studies are carried out to investigate the performance of the proposed estimator and the selection scores. In addidtion, sensitivities and specificities based ona pproximate leave-one-out estimates are proposed to generate more realisitc ROC curves. Data from a pancreatic cancer study is used for illustration.

Generalizations of Current Status Data With Applications

In estimation of a survival function, current status data arises when the only information available on individuals is their survival status at a single monitoring time. Here we briefly review extensions of this form of data structure in two directions: (i) doubly censored current status data, where there is incomplete information on the origin of the failure time random variable, and (ii) current status information on more complicated stochastic processes. Simple examples of these data forms are presented for motivation.

Zoledronic acid efficacy and safety over five years in postmenopausal osteoporosis

In a 5-year study involving 119 postmenopausal women, zoledronic acid 4 mg given once-yearly for 2, 3 or 5 years was well tolerated with no evidence of excessive bone turnover reduction or any safety signals. BMD increased significantly. Bone turnover markers decreased from baseline and were maintained within premenopausal reference ranges. INTRODUCTION: After completion of the core study, two consecutive, 2-year, open-label extensions investigated the efficacy and safety of zoledronic acid 4 mg over 5 years in postmenopausal osteoporosis. METHODS: In the core study, patients received 1 to 4 mg zoledronic acid or placebo. In the first extension, most patients received 4 mg per year and then patients entered the second extension and received 4 mg per year or calcium only. Patients were divided into three subgroups according to years of active treatment received (2, 3 or 5 years). Changes in BMD and bone turnover markers (bone ALP and CTX-I) were assessed. RESULTS: All subgroups showed substantial increases in BMD and decreases in bone markers. By the end of the core study, 37.5% of patients revealed a suboptimal reduction (< 30%) of bone ALP levels. After subsequent study drug administration during the extensions, there was no evidence of progressive reduction of bone turnover markers. Furthermore, increased marker levels after treatment discontinuation demonstrates preservation of bone remodelling capacity. CONCLUSIONS: This study showed that zoledronic acid 4 mg once-yearly was well tolerated and effective in reducing biomarkers over 5 years. Detailed analysis of bone marker changes, however, suggests that this drug regimen causes insufficient reduction of remodelling activity in one third of patients.

MODELING FUNCTIONAL DATA WITH SPATIALLY HETEROGENEOUS SHAPE CHARACTERISTICS

We propose a novel class of models for functional data exhibiting skewness or other shape characteristics that vary with spatial or temporal location. We use copulas so that the marginal distributions and the dependence structure can be modeled independently. Dependence is modeled with a Gaussian or t-copula, so that there is an underlying latent Gaussian process. We model the marginal distributions using the skew t family. The mean, variance, and shape parameters are modeled nonparametrically as functions of location. A computationally tractable inferential framework for estimating heterogeneous asymmetric or heavy-tailed marginal distributions is introduced. This framework provides a new set of tools for increasingly complex data collected in medical and public health studies. Our methods were motivated by and are illustrated with a state-of-the-art study of neuronal tracts in multiple sclerosis patients and healthy controls. Using the tools we have developed, we were able to find those locations along the tract most affected by the disease. However, our methods are general and highly relevant to many functional data sets. In addition to the application to one-dimensional tract profiles illustrated here, higher-dimensional extensions of the methodology could have direct applications to other biological data including functional and structural MRI.

ESTIMATING TEMPORAL ASSOCIATIONS IN ELECTROCORTICOGRAPHIC (ECoG) TIME SERIES WITH FIRST ORDER PRUNING

Granger causality (GC) is a statistical technique used to estimate temporal associations in multivariate time series. Many applications and extensions of GC have been proposed since its formulation by Granger in 1969. Here we control for potentially mediating or confounding associations between time series in the context of event-related electrocorticographic (ECoG) time series. A pruning approach to remove spurious connections and simultaneously reduce the required number of estimations to fit the effective connectivity graph is proposed. Additionally, we consider the potential of adjusted GC applied to independent components as a method to explore temporal relationships between underlying source signals. Both approaches overcome limitations encountered when estimating many parameters in multivariate time-series data, an increasingly common predicament in today's brain mapping studies.

Negative index metamaterials and metaspacers for optical frequencies

Metamaterials are artificial materials that exhibit properties, such as negative index of refraction, that are not possible through natural materials. Due to many potential applications of negative index metamaterials, significant progress in the field has been observed in the last decade. However, achieving negative index at visible frequencies is a challenging task. Generally, fishnet metamaterials are considered as a possible route to achieve negative index in the visible spectrum. However, so far no metamaterial has been demonstrated to exhibit simultaneously negative permittivity and permeability (double-negative) beyond the red region of the visible spectrum. This study is mainly focused on achieving higher operating frequency for low-loss, double-negative metamaterials. Two double-negative metamaterials have been proposed to operate at highest reported frequencies. The first proposed metamaterial is based on the interaction of surface plasmon polaritons of a thin metal film with localized surface plasmons of a metallic array placed close to the thin film. It is demonstrated that the metamaterial can easily be scaled to operate at any frequency in the visible spectrum as well as possibly to the ultraviolet spectrum. Furthermore, the underlying physical phenomena and possible future extensions of the metamaterial are also investigated. The second proposed metamaterial is a modification to the so-called fishnet metamaterial. It has been demonstrated that this ‘modified fishnet’ exhibits two double-negative bands in the visible spectrum with highest operating frequency in the green region with considerably high figure of merit. In contrast to most of the fishnet metamaterials proposed in the past, behavior of this modified fishnet is independent of polarization of the incident field. In addition to the two negative index metamaterials proposed in this study, the use of metamaterial as a spacer, named as metaspacer, is also investigated. In contrast to naturally available dielectric spacers used in microfabrication, metaspacers can be realized with any (positive or negative) permittivity and permeability. As an example, the use of a negative index metaspacer in place of the dielectric layer in a fishnet metamaterial is investigated. It is shown that fishnet based on negative index metaspacer gives many improved optical properties over the conventional fishnet such as wider negative index band, higher figure of merit, higher optical transmission and stronger magnetic response. In addition to the improved properties, following interesting features were observed in the metaspacer based fishnet metamaterial. At the resonance frequency, the shape of the permeability curve was ‘inverted’ as compared to that for conventional fishnet metamaterial. Furthermore, dependence of the resonance frequency on the fishnet geometry was also reversed. Moreover, simultaneously negative group and phase velocities were observed in the low-loss region of the metaspacer based fishnet metamaterial. Due to interesting features observed using metaspacer, this study will open a new horizon for the metamaterial research.

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.

Context-Oriented Programming

Context-dependent behavior is becoming increasingly important for a wide range of application domains, from pervasive computing to common business applications. Unfortunately, mainstream programming languages do not provide mechanisms that enable software entities to adapt their behavior dynamically to the current execution context. This leads developers to adopt convoluted designs to achieve the necessary runtime flexibility. We propose a new programming technique called Context-oriented Programming (COP) which addresses this problem. COP treats context explicitly, and provides mechanisms to dynamically adapt behavior in reaction to changes in context, even after system deployment at runtime. In this paper we lay the foundations of COP, show how dynamic layer activation enables multi-dimensional dispatch, illustrate the application of COP by examples in several language extensions, and demonstrate that COP is largely independent of other commitments to programming style.