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.

Natural Language Checking with Program Checking Tools

Written text is an important component in the process of knowledge acquisition and communication. Poorly written text fails to deliver clear ideas to the reader no matter how revolutionary and ground-breaking these ideas are. Providing text with good writing style is essential to transfer ideas smoothly. While we have sophisticated tools to check for stylistic problems in program code, we do not apply the same techniques for written text. In this paper we present TextLint, a rule-based tool to check for common style errors in natural language. TextLint provides a structural model of written text and an extensible rule-based checking mechanism.

Advanced morphological 3D magnetic resonance observation of cartilage repair tissue (MOCART) scoring using a new isotropic 3D proton-density, turbo spin echo sequence with variable flip angle distribution (PD-SPACE) compared to an isotropic 3D steady-state free precession sequence (True-FISP) and standard 2D sequences

To evaluate a new isotropic 3D proton-density, turbo-spin-echo sequence with variable flip-angle distribution (PD-SPACE) sequence compared to an isotropic 3D true-fast-imaging with steady-state-precession (True-FISP) sequence and 2D standard MR sequences with regard to the new 3D magnetic resonance observation of cartilage repair tissue (MOCART) score.

The genomic Echinococcus microsatellite EmsB sequences: from a molecular marker to the epidemiological tool

In the field of molecular and epidemiological parasitology, characterization of fast evolving genetic markers appears as an important challenge to consider the diversity and genetic structure of parasites. The study of respective populations can help us to understand their adaptive strategies to survive and perpetuate the species within different host populations, all trying to resist infection. In the past, the relative monomorphic features of Echinococcus multilocularis, the causative agent of alveolar echinococcosis and a severe human parasitic disease, did not stimulate studies dealing with the genetic variability of Echinococcus species or respective populations. A recently developed, characterized and validated original multilocus microsatellite, named EmsB, tandemly repeated in the genome, offered an additional opportunity for this line of investigation. We have compiled in this review new insights brought by this molecular tracker on the transmission activity of Echinococcus among different hosts and at different geographical scales.

Comparison of inversion recovery and contrast-enhanced T1-weighted fat-suppressed sequences for the staging of cervical lymphoma

In a retrospective analysis with two readers blinded to the clinical information, coronal short tau inversion recovery (STIR) images were compared to contrast-enhanced fat-saturated T1-weighted imaging (T1 CEfs) in 51 cases of cervical lymphoma. Interrater reliability was good to excellent. Although sensitivity and subjective quality of the STIR sequence were higher than those of the T1 CEfs sequence (sensitivity 85%/72%, respectively), specificity (82%/95%) as well as positive likelihood ratio (4.65/15.93) was much lower. Therefore, contrast-enhanced sequences should be included in the primary staging of lymphoma.