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.

A Possible Case of Möller-Barlow Disease in Northwestern Switzerland (7th Century)

The excavation site Reigoldswil is located at 550 m above sea level on the Jura chain hillside in north-western Switzerland. The mountains divide the Rhine valley from an agriculturally rich region. The origin of the village lies in the early medieval time. Until now the skeletons of one cemetery have been morphologically studied. Around 216 individuals were excavated from under the foundation walls of a church and in the open field. They date to the 7/8th up to the 10th century. The striking part is the high amount of subadult (0-18 years) individuals with 58% (n=126). One of these children, an approximately 1.5 year old toddler from the 7th century, was buried in a stone cist. Its bones show morphological traces like porotic lesions of the greater wings of the sphenoidale, the squama, the mandibule and the scapula as new bone formation on both femora and tibiae. These signs could be an indicator for Möller-Barlow disease (Ortner 2003, Brickley and Ives 2008, Stark in press). As scurvy is associated with an insufficient intake of vitamin C, malnutrition must be assumed. A reason might be the geographic location or/and a harsh climat with crop failure and famine the first settler had to face. Besides the morphological diagnose amino acids of the bone collagen have been analyzed (Kramis et. al.). Further examinations, such as radiocarbon dating and stable isotope ratios (C, N, O, S) to specify nutrition, are planned.

The Vacuolar H+-ATPase B1 Subunit Polymorphism p.E161K Associates with Impaired Urinary Acidification in Recurrent Stone Formers

Mutations in the vacuolar–type H+-ATPase B1 subunit gene ATP6V1B1 cause autosomal–recessive distal renal tubular acidosis (dRTA). We previously identified a single-nucleotide polymorphism (SNP) in the human B1 subunit (c.481G.A; p.E161K) that causes greatly diminished pump function in vitro. To investigate the effect of this SNP on urinary acidification, we conducted a genotype-phenotype analysis of recurrent stone formers in theDallas and Bern kidney stone registries. Of 555 patients examined, 32 (5.8%) were heterozygous for the p.E161K SNP, and the remaining 523 (94.2%) carried two wild–type alleles. After adjustment for sex, age, body mass index, and dietary acid and alkali intake, p.E161K SNP carriers had a nonsignificant tendency to higher urinary pH on a random diet (6.31 versus 6.09; P=0.09). Under an instructed low–Ca and low–Na diet, urinary pH was higher in p.E161K SNP carriers (6.56 versus 6.01; P,0.01). Kidney stones of p.E161K carriers were more likely to contain calcium phosphate than stones of wild-type patients. In acute NH4Cl loading, p.E161K carriers displayed a higher trough urinary pH (5.34 versus 4.89; P=0.01) than wild-type patients. Overall, 14.6% of wild-type patients and 52.4% of p.E161K carriers were unable to acidify their urine below pH 5.3 and thus, can be considered to have incomplete dRTA. In summary, our data indicate that recurrent stone formers with the vacuolar H+-ATPase B1 subunit p.E161K SNP exhibit a urinary acidification deficit with an increased prevalence of calcium phosphate– containing kidney stones. The burden of E161K heterozygosity may be a forme fruste of dRTA.

Normal values for pancreatic stone protein in different age groups.

BACKGROUND Pancreatic stone protein (PSP) has been identified as a promising sepsis marker in adults, children and neonates. However, data on population-based reference values are lacking. This study aimed to establish age-specific reference values for PSP. METHODS PSP was determined using a specific ELISA. PSP serum concentrations were determined in 372 healthy subjects including 217 neonates, 94 infants and children up to 16 years, and 61 adults. The adjacent categories method was used to determine which age categories had significantly different PSP concentrations. RESULTS PSP circulating levels were not gender-dependent and ranged from 1.0 to 99.4 ng/ml with a median of 9.2 ng/ml. PSP increased significantly between the age categories, from a median of 2.6 ng/ml in very preterm newborns, to 6.3 ng/ml in term newborns, to 16.1 ng/ml in older children (p < 0.001). PSP levels were higher on postnatal day three compared to levels measured immediately post delivery (p < 0.001). Paired umbilical artery and umbilical vein samples were strongly correlated (p < 0.001). Simultaneously obtained capillary heel-prick versus venous samples showed a good level of agreement for PSP (Rho 0.89, bias 19 %). CONCLUSIONS This study provides age-specific normal values that may be used to define cut-offs for future trials on PSP. We demonstrate an age-dependent increase of PSP from birth to childhood.