A Logical Descriptor for Regular Languages via Stone Duality

In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets. These descriptors, called classical fortresses, are object specified in classical propositional logic and capable to accept exactly regular languages. To prove this, we show that the languages accepted by classical fortresses and deterministic finite automata coincide. Classical fortresses, besides being propositional descriptors for regular languages, also turn out to be an efficient tool for providing alternative and intuitive proofs for the closure properties of regular languages.

Predicting dependencies using domain-based coupling

Software dependencies play a vital role in programme comprehension, change impact analysis and other software maintenance activities. Traditionally, these activities are supported by source code analysis; however, the source code is sometimes inaccessible or difficult to analyse, as in hybrid systems composed of source code in multiple languages using various paradigms (e.g. object-oriented programming and relational databases). Moreover, not all stakeholders have adequate knowledge to perform such analyses. For example, non-technical domain experts and consultants raise most maintenance requests; however, they cannot predict the cost and impact of the requested changes without the support of the developers. We propose a novel approach to predicting software dependencies by exploiting the coupling present in domain-level information. Our approach is independent of the software implementation; hence, it can be used to approximate architectural dependencies without access to the source code or the database. As such, it can be applied to hybrid systems with heterogeneous source code or legacy systems with missing source code. In addition, this approach is based solely on information visible and understandable to domain users; therefore, it can be efficiently used by domain experts without the support of software developers. We evaluate our approach with a case study on a large-scale enterprise system, in which we demonstrate how up to 65 of the source code dependencies and 77% of the database dependencies are predicted solely based on domain information.

Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages

Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Ba- sic type inference techniques are helpful, but may yield many false positives or negatives. We propose to mine information from the software ecosys- tem on how frequently given types are inferred unambigu- ously to improve the quality of type inference for a single system. This paper presents an approach to augment existing type inference techniques by supplementing the informa- tion available in the source code of a project with data from other projects written in the same language. For all available projects, we track how often messages are sent to instance variables throughout the source code. Predictions for the type of a variable are made based on the messages sent to it. The evaluation of a proof-of-concept prototype shows that this approach works well for types that are sufficiently popular, like those from the standard librarie, and tends to create false positives for unpopular or domain specific types. The false positives are, in most cases, fairly easily identifiable. Also, the evaluation data shows a substantial increase in the number of correctly inferred types when compared to the non-augmented type inference.

Universal ontology: attentive tracking of objects and substances across languages and over development

Previous research has demonstrated that adults are successful at visually tracking rigidly moving items, but experience great difficulties when tracking substance-like ‘‘pouring’’ items. Using a comparative approach, we investigated whether the presence/absence of the grammatical count–mass distinction influences adults and children’s ability to attentively track objects versus substances. More specifically, we aimed to explore whether the higher success at tracking rigid over substance-like items appears universally or whether speakers of classifier languages (like Japanese, not marking the object–substance distinction) are advantaged at tracking substances as compared to speakers of non-classifier languages (like Swiss German, marking the object–substance distinction). Our results supported the idea that language has no effect on low-level cognitive processes such as the attentive visual processing of objects and substances. We concluded arguing that the tendency to prioritize objects is universal and independent of specific characteristics of the language spoken.

General Practitioners' vitamin K antagonist monitoring is associated with better blood pressure control in patients with hypertension - a cross-sectional database study.

BACKGROUND Patients requiring anticoagulation suffer from comorbidities such as hypertension. On the occasion of INR monitoring, general practitioners (GPs) have the opportunity to control for blood pressure (BP). We aimed to evaluate the impact of Vitamin-K Antagonist (VKA) monitoring by GPs on BP control in patients with hypertension. METHODS We cross-sectionally analyzed the database of the Swiss Family Medicine ICPC Research using Electronic Medical Records (FIRE) of 60 general practices in a primary care setting in Switzerland. This database includes 113,335 patients who visited their GP between 2009 and 2013. We identified patients with hypertension based on antihypertensive medication prescribed for ≥6 months. We compared patients with VKA for ≥3 months and patients without such treatment regarding BP control. We adjusted for age, sex, observation period, number of consultations and comorbidity. RESULTS We identified 4,412 patients with hypertension and blood pressure recordings in the FIRE database. Among these, 569 (12.9 %) were on Phenprocoumon (VKA) and 3,843 (87.1 %) had no anticoagulation. Mean systolic and diastolic BP was significantly lower in the VKA group (130.6 ± 14.9 vs 139.8 ± 15.8 and 76.6 ± 7.9 vs 81.3 ± 9.3 mm Hg) (p < 0.001 for both). The difference remained after adjusting for possible confounders. Systolic and diastolic BP were significantly lower in the VKA group, reaching a mean difference of -8.4 mm Hg (95 % CI -9.8 to -7.0 mm Hg) and -1.5 mm Hg (95 % CI -2.3 to -0.7 mm Hg), respectively (p < 0.001 for both). CONCLUSIONS In a large sample of hypertensive patients in Switzerland, VKA treatment was independently associated with better systolic and diastolic BP control. The observed effect could be due to better compliance with antihypertensive medication in patients treated with VKA. Therefore, we conclude to be aware of this possible benefit especially in patients with lower expected compliance and with multimorbidity.

Impact of anti-inflammatory treatment on the onset of uveitis in juvenile idiopathic arthritis: Longitudinal analysis from a nation-wide paediatric rheumatological database

PURPOSE Based on a nation-wide database, this study analysed the influence of methotrexate (MTX), TNF inhibitors and a combination of the two on uveitis occurrence in JIA patients. METHODS Data from the National Paediatric Rheumatological Database in Germany were used in this study. Between 2002 and 2013, data from JIA patients were annually documented at the participating paediatric rheumatological sites. Patients with JIA disease duration of less than 12 months at initial documentation and ≥2 years of follow-up were included in this study. The impact of anti-inflammatory treatment on the occurrence of uveitis was evaluated by discrete-time survival analysis. RESULTS A total of 3,512 JIA patients (mean age 8.3±4.8 years, female 65.7%, ANA-positive 53.2%, mean age at arthritis onset 7.8±4.8 years) fulfilled the inclusion criteria. Mean total follow-up time was 3.6±2.4 years. Uveitis developed in a total of 180 patients (5.1%) within one year after arthritis onset. Uveitis onset after the first year was observed in another 251 patients (7.1%). DMARD treatment in the year before uveitis onset significantly reduced the risk for uveitis: MTX (HR 0.63, p=0.022), TNF inhibitors (HR 0.56, p<0.001) and a combination of the two (HR 0.10, p<0.001). Patients treated with MTX within the first year of JIA had an even a lower uveitis risk (HR 0.29, p<0.001). CONCLUSION The use of DMARDs in JIA patients significantly reduced the risk for uveitis onset. Early MTX use within the first year of disease and the combination of MTX with a TNF inhibitor had the highest protective effect. This article is protected by copyright. All rights reserved.