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.

Comparison of three strip-type tests and two laboratory methods for salivary buffering analysis

This study evaluated the correlation between three strip-type, colorimetric tests and two laboratory methods with respect to the analysis of salivary buffering. The strip-type tests were saliva-check buffer, Dentobuff strip and CRT(®) Buffer test. The laboratory methods included Ericsson's laboratory method and a monotone acid/base titration to create a reference scale for the salivary titratable acidity. Additionally, defined buffer solutions were prepared and tested to simulate the carbonate, phosphate and protein buffer systems of saliva. The correlation between the methods was analysed by the Spearman's rank test. Disagreement was detected between buffering capacity values obtained with three strip-type tests that was more pronounced in case of saliva samples with medium and low buffering capacities. All strip-type tests were able to assign the hydrogencarbonate, di-hydrogenphosphate and 0.1% protein buffer solutions to the correct buffer categories. However, at 0.6% total protein concentrations, none of the test systems worked accurately. Improvements are necessary for strip-type tests because of certain disagreement with the Ericsson's laboratory method and dependence on the protein content of saliva.

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.

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.

Maximum principle preserving high order schemes for convection-dominated diffusion equations

The maximum principle is an important property of solutions to PDE. Correspondingly, it's of great interest for people to design a high order numerical scheme solving PDE with this property maintained. In this thesis, our particular interest is solving convection-dominated diffusion equation. We first review a nonconventional maximum principle preserving(MPP) high order finite volume(FV) WENO scheme, and then propose a new parametrized MPP high order finite difference(FD) WENO framework, which is generalized from the one solving hyperbolic conservation laws. A formal analysis is presented to show that a third order finite difference scheme with this parametrized MPP flux limiters maintains the third order accuracy without extra CFL constraint when the low order monotone flux is chosen appropriately. Numerical tests in both one and two dimensional cases are performed on the simulation of the incompressible Navier-Stokes equations in vorticity stream-function formulation and several other problems to show the effectiveness of the proposed method.

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.