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.

Uptake of regular chlamydia testing by U.S. women: a longitudinal study

Background Routine chlamydia screening is a recommended preventive intervention for sexually active women aged ≤25 years in the U.S. but rates of regular uptake are not known. Purpose This study aimed to examine rates of annual chlamydia testing and factors associated with repeat testing in a population of U.S. women. Methods Women aged 15–25 years at any time from January 1, 2002, to December 31, 2006 who were enrolled in 130 commercial health plans were included. Data relating to chlamydia tests were analyzed in 2009. Chlamydia testing rates (per 100 woman-years) by age and rates of repeated annual testing were estimated. Poisson regression was used to examine the effects of age and previous testing on further chlamydia testing within the observation period. Results In total, 2,632,365 women were included. The chlamydia testing rate over the whole study period was 13.6 per 100 woman years after adjusting for age-specific sexual activity; 8.5 (95% CI=6.0, 12.3) per 100 woman-years in those aged 15 years; and 17.7 (95% CI=17.1, 18.9) in those aged 25 years. Among women enrolled for the entire 5-year study period, 25.9% had at least one test but only 0.1% had a chlamydia test every year. Women tested more than once and older women were more likely to be tested again in the observation period. Conclusions The low rates of regular annual chlamydia testing do not comply with national recommendations and would not be expected to have a major impact on the control of chlamydia infection at the population level.

Regular physical activity moderates cardiometabolic risk in Alzheimer's caregivers

Dementia caregivers have an increased risk of cardiovascular disease, and it is possible that metabolic disturbances contribute to this risk. Regular physical exercise reduces cardiometabolic risk, but caregivers may have less opportunity to engage in such activity. We hypothesized that regular physical activity would moderate cardiometabolic risk in dementia caregivers.

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.

Practical Dynamic Grammars for Dynamic Languages

Grammars for programming languages are traditionally specified statically. They are hard to compose and reuse due to ambiguities that inevitably arise. PetitParser combines ideas from scannerless parsing, parser combinators, parsing expression grammars and packrat parsers to model grammars and parsers as objects that can be reconfigured dynamically. Through examples and benchmarks we demonstrate that dynamic grammars are not only flexible but highly practical.