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.

Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

Depicting community perspectives: repeat photography and participatory research as tools for assessing environmental services in Sagarmatha National Park, Nepal

Efforts have been made to provide a scientific basis for using environmental services as a conceptual tool to enhance conservation and improve livelihoods in protected mountain areas (MtPAS). Little attention has been paid to participatory research or locals’ concerns as environmental service (ES) users and providers. Such perspectives can illuminate the complex interplay between mountain ecosystems, environmental services and the determinants of human well-being. Repeat photography, long used in geographical fieldwork, is new as a qualitative research tool. This study uses a novel application of repeat photography as a diachronic photo-diary to examine local perceptions of change in ES in Sagarmatha National Park. Results show a consensus among locals on adverse changes to ES, particularly protection against natural hazards, such as landslides and floods, in the UNESCO World Heritage Site. We argue that our methodology could complement biophysical ecosystem assessments in MtPAS, especially since assessing ES, and acting on that, requires integrating diverse stakeholders’ knowledge, recognizing power imbalances and grappling with complex social-ecological systems.

Offline grammar-based recognition of handwritten sentences

This paper proposes a sequential coupling of a Hidden Markov Model (HMM) recognizer for offline handwritten English sentences with a probabilistic bottom-up chart parser using Stochastic Context-Free Grammars (SCFG) extracted from a text corpus. Based on extensive experiments, we conclude that syntax analysis helps to improve recognition rates significantly.

Person-sensitive TAME marking in Galo: Historical origins and functional motivation

Scott DeLancey’s analysis of person-sensitive TAME marking in Lhasa Tibetan – “a.k.a. conjunct-disjunct marking” or “egophoricity” – has stimulated considerable discussion and debate, particularly as previously little-known languages of the Tibeto-Burman area, as well as outside it, have come to be described, and a wider range of functional factors have been taken into account. This chapter is intended as a contribution to this discussion, by presenting the first detailed analysis of person-sensitive TAME marking in a language of the Tani subgroup of Tibeto-Burman, namely Galo. Like Tournadre (2008), I find that person-sensitive TAME marking in Galo is not a grammaticalized index of person (“agreement”) nor of cross-clause subject continuity, but is instead a semantic index of an assertor’s knowledge state. Unlike in more westerly Tibeto-Burman languages, however, different construals of agency and/or volition do not seem to be factors in the Galo system. Thus, there are both similarities and differences underlying systems of person-sensitive TAME marking in different Tibeto-Burman languages; this suggests that further research - particularly, employing a diachronic perspective when possible - will be required before we can confidently characterize person-sensitive TAME marking from a pan-Tibeto-Burman (or broader) cross-linguistic perspective.

Words, words, words: Philology and Beyond: Festschrift for Andreas Fischer on the Occasion of his 65th Birthday

This Festschrift comprises a series of papers written in honour of the philologist Andreas Fischer, on the occasion of his sixty-fifth birthday. As in Andreas Fischer s own research, the main focus of the volume is on words: words in modern varieties, such as emergent conjunctions in Australian, American and British English; words in their cultural and historical context, such as English keywords in Old Norse literature; and words in a diachronic perspective, such as Romance suffixation in the history of English. Many contributions are anchored in the philological tradition that has informed much of Andreas Fischer s own scholarship, such as the study of verbal duelling in the late thirteenth-century romance Kyng Alisaunder. Others examine the construction ofdiscourses, such as those surrounding the Black Death. The volume, with its innovative studies,offers fascinating insights into words, discourses,and their contexts, both past and present.

Clinical outcome of patients with stable ischaemic heart disease as compared to those with acute coronary syndromes after percutaneous coronary intervention

Aims: To compare clinical outcomes after percutaneous coronary intervention (PCI) between patients with acute coronary syndromes (ACS) and those with stable ischaemic heart disease (SIHD) stratified by anatomic disease complexity (SYNTAX score). Methods and results: Patient-level data from three all-comers PCI trials were pooled. Patients (n=4,204) were stratified by clinical presentation (i.e., ACS or SIHD) and by SYNTAX score (i.e., lowest vs. two highest tertiles). The major adverse cardiac event (MACE) rates of patients with low-risk SIHD (n=531) and high-risk SIHD (n=1,066) were compared with ACS patients (n=2,607), respectively. At two years, the risk of MACE was higher for high-risk SIHD patients (OR 1.34, 95% CI: 1.08-1.66) and lower for low-risk SIHD patients (OR 0.61, 95% CI: 0.43-0.87) compared with ACS patients, respectively. This difference between high-risk SIHD patients and ACS patients was primarily driven by a higher risk of myocardial infarction (OR 1.64, 95% CI: 1.21-2.21), while there was no difference for cardiac death (OR 0.77, 95% CI: 0.49-1.21) or target lesion revascularisation (OR 1.21, 95% CI: 0.91-1.62). Conclusions: In this pooled analysis, the majority of patients undergoing PCI for SIHD (i.e., with SYNTAX score >8) had a higher risk of MACE than patients with ACS. Trial registration: URL: http://www.ClinicalTrials.gov; unique identifier: NCT00297661 (Sirtax), NCT00389220 (Leaders), NCT00114972 (Resolute-AC).

Jazz drummers recruit language-specific areas for the processing of rhythmic structure

Rhythm is a central characteristic of music and speech, the most important domains of human communication using acoustic signals. Here, we investigated how rhythmical patterns in music are processed in the human brain, and, in addition, evaluated the impact of musical training on rhythm processing. Using fMRI, we found that deviations from a rule-based regular rhythmic structure activated the left planum temporale together with Broca's area and its right-hemispheric homolog across subjects, that is, a network also crucially involved in the processing of harmonic structure in music and the syntactic analysis of language. Comparing the BOLD responses to rhythmic variations between professional jazz drummers and musical laypersons, we found that only highly trained rhythmic experts show additional activity in left-hemispheric supramarginal gyrus, a higher-order region involved in processing of linguistic syntax. This suggests an additional functional recruitment of brain areas usually dedicated to complex linguistic syntax processing for the analysis of rhythmical patterns only in professional jazz drummers, who are especially trained to use rhythmical cues for communication.

Evaluative Morphology in Georgian

With examples drawn from over 200 world languages, this ground-breaking volume presents a state-of-the-art overview of evaluative morphology. Offering an innovative approach to major theoretical questions, the Edinburgh Handbook analyses the field from a cross-linguistic perspective, considering semantic, pragmatic and sociolinguistic aspects, as well as word-formation processes and evaluative morphology acquisition. Complementing the synchronic approach with a diachronic perspective, this study establishes a picture of intriguing diversity in evaluative morphology manifestations, and offers a comprehensive analysis of the situation in dozens of languages and language families. Divided into 2 distinct parts, the handbook begins with 13 chapters discussing evaluative morphology in relation to areas such as pragmatics, semantics, linguistic universals and sociolinguistics. The second part is comprised of descriptive chapters, broken into the following subsets: Eurasia, South- East Asia and Oceania, Australia-New Guinea, Africa, North America and South America.

EEG microstates during resting represent personality differences

We investigated the spontaneous brain electric activity of 13 skeptics and 16 believers in paranormal phenomena; they were university students assessed with a self-report scale about paranormal beliefs. 33-channel EEG recordings during no-task resting were processed as sequences of momentary potential distribution maps. Based on the maps at peak times of Global Field Power, the sequences were parsed into segments of quasi-stable potential distribution, the 'microstates'. The microstates were clustered into four classes of map topographies (A-D). Analysis of the microstate parameters time coverage, occurrence frequency and duration as well as the temporal sequence (syntax) of the microstate classes revealed significant differences: Believers had a higher coverage and occurrence of class B, tended to decreased coverage and occurrence of class C, and showed a predominant sequence of microstate concatenations from A to C to B to A that was reversed in skeptics (A to B to C to A). Microstates of different topographies, putative "atoms of thought", are hypothesized to represent different types of information processing.The study demonstrates that personality differences can be detected in resting EEG microstate parameters and microstate syntax. Microstate analysis yielded no conclusive evidence for the hypothesized relation between paranormal belief and schizophrenia.

Prognostic implications of coronary calcification in patients with obstructive coronary artery disease treated by percutaneous coronary intervention: a patient-level pooled analysis of 7 contemporary stent trials

OBJECTIVE To investigate the long-term prognostic implications of coronary calcification in patients undergoing percutaneous coronary intervention for obstructive coronary artery disease. METHODS Patient-level data from 6296 patients enrolled in seven clinical drug-eluting stents trials were analysed to identify in angiographic images the presence of severe coronary calcification by an independent academic research organisation (Cardialysis, Rotterdam, The Netherlands). Clinical outcomes at 3-years follow-up including all-cause mortality, death-myocardial infarction (MI), and the composite end-point of all-cause death-MI-any revascularisation were compared between patients with and without severe calcification. RESULTS Severe calcification was detected in 20% of the studied population. Patients with severe lesion calcification were less likely to have undergone complete revascularisation (48% vs 55.6%, p<0.001) and had an increased mortality compared with those without severely calcified arteries (10.8% vs 4.4%, p<0.001). The event rate was also high in patients with severely calcified lesions for the combined end-point death-MI (22.9% vs 10.9%; p<0.001) and death-MI- any revascularisation (31.8% vs 22.4%; p<0.001). On multivariate Cox regression analysis, including the Syntax score, the presence of severe coronary calcification was an independent predictor of poor prognosis (HR: 1.33 95% CI 1.00 to 1.77, p=0.047 for death; 1.23, 95% CI 1.02 to 1.49, p=0.031 for death-MI, and 1.18, 95% CI 1.01 to 1.39, p=0.042 for death-MI- any revascularisation), but it was not associated with an increased risk of stent thrombosis. CONCLUSIONS Patients with severely calcified lesions have worse clinical outcomes compared to those without severe coronary calcification. Severe coronary calcification appears as an independent predictor of worse prognosis, and should be considered as a marker of advanced atherosclerosis.

4-year clinical outcomes and predictors of repeat revascularization in patients treated with new-generation drug-eluting stents: a report from the RESOLUTE All-Comers trial (A Randomized Comparison of a Zotarolimus-Eluting Stent With an Everolimus-Eluting Stent for Percutaneous Coronary Intervention)

OBJECTIVES The aim of the study was to investigate 4-year outcomes and predictors of repeat revascularization in patients treated with the Resolute zotarolimus-eluting stent (R-ZES) (Medtronic, Minneapolis, Minnesota) and XIENCE V everolimus-eluting stent (EES) (Abbott Vascular, Abbott Park, Illinois) in the RESOLUTE (A Randomized Comparison of a Zotarolimus-Eluting Stent With an Everolimus-Eluting Stent for Percutaneous Coronary Intervention) All-Comers trial. BACKGROUND Data on long-term outcomes of new-generation drug-eluting stents are limited, and predictors of repeat revascularization due to restenosis and/or progression of disease are largely unknown. METHODS Patients were randomly assigned to treatment with the R-ZES (n = 1,140) or the EES (n = 1,152). We assessed pre-specified safety and efficacy outcomes at 4 years including target lesion failure and stent thrombosis. Predictors of revascularization at 4 years were identified by Cox regression analysis. RESULTS At 4 years, the rates of target lesion failure (15.2% vs. 14.6%, p = 0.68), cardiac death (5.4% vs. 4.7%, p = 0.44), and target vessel myocardial infarction (5.3% vs. 5.4%, p = 1.00), clinically-indicated target lesion revascularization (TLR) (7.0% vs. 6.5%, p = 0.62), and definite/probable stent thrombosis (2.3% vs. 1.6%, p = 0.23) were similar with the R-ZES and EES. Independent predictors of TLR were age, insulin-treated diabetes, SYNTAX (Synergy between PCI with Taxus and Cardiac Surgery) score, treatment of saphenous vein grafts, ostial lesions, and in-stent restenosis. Independent predictors of any revascularization were age, diabetes, previous percutaneous coronary intervention, absence of ST-segment elevation myocardial infarction, smaller reference vessel diameter, SYNTAX score, and treatment of left anterior descending, right coronary artery, saphenous vein grafts, ostial lesions, or in-stent restenosis. CONCLUSIONS R-ZES and EES demonstrated similar safety and efficacy throughout 4 years. TLR represented less than one-half of all repeat revascularization procedures. Patient- and lesion-related factors predicting the risk of TLR and any revascularization showed considerable overlap. (A Randomized Comparison of a Zotarolimus-Eluting Stent With an Everolimus-Eluting Stent for Percutaneous Coronary Intervention [RESOLUTE-AC]; NCT00617084).

Algebra of Classical Theoretical Term Reductions in the Sciences

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type.

Bounded Seas: Island Parsing Without Shipwrecks

Imprecise manipulation of source code (semi-parsing) is useful for tasks such as robust parsing, error recovery, lexical analysis, and rapid development of parsers for data extraction. An island grammar precisely defines only a subset of a language syntax (islands), while the rest of the syntax (water) is defined imprecisely. Usually, water is defined as the negation of islands. Albeit simple, such a definition of water is naive and impedes composition of islands. When developing an island grammar, sooner or later a programmer has to create water tailored to each individual island. Such an approach is fragile, however, because water can change with any change of a grammar. It is time-consuming, because water is defined manually by a programmer and not automatically. Finally, an island surrounded by water cannot be reused because water has to be defined for every grammar individually. In this paper we propose a new technique of island parsing - bounded seas. Bounded seas are composable, robust, reusable and easy to use because island-specific water is created automatically. We integrated bounded seas into a parser combinator framework as a demonstration of their composability and reusability.