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.

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.

Inversion, Obviation, and Animacy in Native Languages of the Americas: Elements for a Cross-linguistic Survey

Native languages of the Americas whose predicate and clause structure reflect nominal hierarchies show an interesting range of structural diversity not only with respect to morphological makeup of their predicates and arguments but also with respect to the factors governing obviation status. The present article maps part of such diversity. The sample surveyed here includes languages with some sort of nonlocal (third person acting on third person) direction-marking system.

The Effect of Everolimus Initiation and Calcineurin Inhibitor Elimination on Cardiac Allograft Vasculopathy in De Novo Recipients: One-Year Results of a Scandinavian Randomized Trial.

Early initiation of everolimus with calcineurin inhibitor therapy has been shown to reduce the progression of cardiac allograft vasculopathy (CAV) in de novo heart transplant recipients. The effect of de novo everolimus therapy and early total elimination of calcineurin inhibitor therapy has, however, not been investigated and is relevant given the morbidity and lack of efficacy of current protocols in preventing CAV. This 12-month multicenter Scandinavian trial randomized 115 de novo heart transplant recipients to everolimus with complete calcineurin inhibitor elimination 7-11 weeks after HTx or standard cyclosporine immunosuppression. Ninety-five (83%) patients had matched intravascular ultrasound examinations at baseline and 12 months. Mean (± SD) recipient age was 49.9 ± 13.1 years. The everolimus group (n = 47) demonstrated significantly reduced CAV progression as compared to the calcineurin inhibitor group (n = 48) (ΔMaximal Intimal Thickness 0.03 ± 0.06 and 0.08 ± 0.12 mm, ΔPercent Atheroma Volume 1.3 ± 2.3 and 4.2 ± 5.0%, ΔTotal Atheroma Volume 1.1 ± 19.2 mm(3) and 13.8 ± 28.0 mm(3) [all p-values ≤ 0.01]). Everolimus patients also had a significantly greater decline in levels of soluble tumor necrosis factor receptor-1 as compared to the calcineurin inhibitor group (p = 0.02). These preliminary results suggest that an everolimus-based CNI-free can potentially be considered in suitable de novo HTx recipients.