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 comment on the article “A collinearity diagnosis of the GNSS geocenter determination” by P. Rebischung, Z. Altamimi, and T. Springer

Meindl et al. (Adv Space Res 51(7):1047–1064, 2013) showed that the geocenter z -component estimated from observations of global navigation satellite systems (GNSS) is strongly correlated to a particular parameter of the solar radiation pressure (SRP) model developed by Beutler et al. (Manuscr Geod 19:367–386, 1994). They analyzed the forces caused by SRP and the impact on the satellites’ orbits. The authors achieved their results using perturbation theory and celestial mechanics. Rebischung et al. (J Geod doi:10.1016/j.asr.2012.10.026, 2013) also deal with the geocenter determination with GNSS. The authors carried out a collinearity diagnosis of the associated parameter estimation problem. They conclude “without much exaggerating that current GNSS are insensitive to any component of geocenter motion”. They explain this inability by the high degree of collinearity of the geocenter coordinates mainly with satellite clock corrections. Based on these results and additional experiments, they state that the conclusions drawn by Meindl et al. (Adv Space Res 51(7):1047–1064, 2013) are questionable. We do not agree with these conclusions and present our arguments in this article. In the first part, we review and highlight the main characteristics of the studies performed by Meindl et al. (Adv Space Res 51(7):1047–1064, 2013) to show that the experiments are quite different from those performed by Rebischung et al. (J Geod doi:10.1016/j.asr.2012.10.026,2013) . In the second part, we show that normal equation (NEQ) systems are regular when estimating geocenter coordinates, implying that the covariance matrices associated with the NEQ systems may be used to assess the sensitivity to geocenter coordinates in a standard way. The sensitivity of GNSS to the components of the geocenter is discussed. Finally, we comment on the arguments raised by Rebischung et al. (J Geod doi:10.1016/j.asr.2012.10.026, 2013) against the results of Meindl et al. (Adv Space Res 51(7):1047–1064, 2013).

Regular exercise decreases liver tumors development in hepatocyte-specific PTEN-deficient mice independently of steatosis.

BACKGROUND & AIMS Unhealthy lifestyles predispose to non-alcoholic steatohepatitis (NASH), which may further result in the development of hepatocellular carcinoma (HCC). Although NASH patients benefit from physical activity, it is unknown whether regular exercise reduces the risk of developing HCC. Therefore, we studied the effect of regular exercise on the development of HCC in male hepatocyte-specific PTEN-deficient mice (AlbCrePten(flox/flox)), which develop steatohepatitis and HCC spontaneously. METHODS Mice were fed a standardized 10% fat diet and were randomly divided into exercise or sedentary groups. The exercise group ran on a motorized treadmill for 60 minutes/day, 5 days/week during 32 weeks. RESULTS After 32 weeks of regular exercise, 71% of exercised mice developed nodules larger than 15 mm(3) vs 100% of mice in the sedentary group. The mean number of tumors per liver was reduced by exercise, as well as the total tumoral volume per liver. Exercise did not affect steatosis and had no effect on the Non-alcoholic fatty liver disease (NAFLD) Activity Score (NAS). Exercise decreased tumor cell proliferation. Mechanistically, exercise stimulated the phosphorylation of AMPK and its substrate raptor, which decreased the kinase activity of mTOR. CONCLUSIONS These data show a benefit of regular exercise on the development of HCC in an experimental model of NASH and offer a rationale for encouraging predisposed patients to increase their physical activity for the prevention of HCC.

Pattern and process: competition causes regular spacing of individuals within plant populations

1 We used simulated and experimental plant populations to analyse mortality-driven pattern formation under size-dependent competition. Larger plants had an advantage under size-asymmetric but not under symmetric competition. Initial patterns were random or clumped. 2 The simulations were individual-based and spatially explicit. Size-dependent competition was modelled with different rules to partition overlapping zones of influence. 3 The experiment used genotypes of Arabidopsis thaliana with different morphological plasticity and hence size-dependent competition. Compared with wild types, transgenic individuals over-expressed phytochrome A and had decreased plasticity because of disabled phytochrome-mediated shade avoidance. Therefore, competition among transgenics was more asymmetric compared with wild-types. 4 Density-dependent mortality under symmetric competition did not substantially change the initial spatial pattern. Conversely, simulations under asymmetric competition and experimental patterns of transgenic over-expressors showed patterns of survivors that deviated substantially from random mortality independent of initial patterns. 5 Small-scale initial patterns of wild types were regular rather than random or clumped. We hypothesize that this small-scale regularity may be explained by early shade avoidance of seedlings in their cotyledon stage. 6 Our experimental results support predictions from an individual-based simulation model and support the conclusion that regular spatial patterns of surviving individuals should be interpreted as evidence for strong, asymmetric competitive interactions and subsequent density-dependent mortality.

Non-self-adjoint graphs

On finite metric graphs we consider Laplace operators, subject to various classes of non-self-adjoint boundary conditions imposed at graph vertices. We investigate spectral properties, existence of a Riesz basis of projectors and similarity transforms to self-adjoint Laplacians. Among other things, we describe a simple way to relate the similarity transforms between Laplacians on certain graphs with elementary similarity transforms between matrices defining the boundary conditions.

Sustained impact of a short small group course with systematic feedback in addition to regular clinical clerkship activities on musculoskeletal examination skills-a controlled study.

BACKGROUND The discrepancy between the extensive impact of musculoskeletal complaints and the common deficiencies in musculoskeletal examination skills lead to increased emphasis on structured teaching and assessment. However, studies of single interventions are scarce and little is known about the time-dependent effect of assisted learning in addition to a standard curriculum. We therefore evaluated the immediate and long-term impact of a small group course on musculoskeletal examination skills. METHODS All 48 Year 4 medical students of a 6 year curriculum, attending their 8 week clerkship of internal medicine at one University department in Berne, participated in this controlled study. Twenty-seven students were assigned to the intervention of a 6×1 h practical course (4-7 students, interactive hands-on examination of real patients; systematic, detailed feedback to each student by teacher, peers and patients). Twenty-one students took part in the regular clerkship activities only and served as controls. In all students clinical skills (CS, 9 items) were assessed in an Objective Structured Clinical Examination (OSCE) station, including specific musculoskeletal examination skills (MSES, 7 items) and interpersonal skills (IPS, 2 items). Two raters assessed the skills on a 4-point Likert scale at the beginning (T0), the end (T1) and 4-12 months after (T2) the clerkship. Statistical analyses included Friedman test, Wilcoxon rank sum test and Mann-Whitney U test. RESULTS At T0 there were no significant differences between the intervention and control group. At T1 and T2 the control group showed no significant changes of CS, MSES and IPS compared to T0. In contrast, the intervention group significantly improved CS, MSES and IPS at T1 (p < 0.001). This enhancement was sustained for CS and MSES (p < 0.05), but not for IPS at T2. CONCLUSIONS Year 4 medical students were incapable of improving their musculoskeletal examination skills during regular clinical clerkship activities. However, an additional small group, interactive clinical skills course with feedback from various sources, improved these essential examination skills immediately after the teaching and several months later. We conclude that supplementary specific teaching activities are needed. Even a single, short-lasting targeted module can have a long lasting effect and is worth the additional effort.

Apatite as an indicator of fluid salinity: An experimental study of chlorine and fluorine partitioning in subducted sediments

In order to constrain the salinity of subduction zone fluids, piston-cylinder experiments have been conducted to investigate the partitioning behaviour of Cl and F in subducted sediments. These experiments were performed at H2O-undersaturated conditions with a synthetic pelite starting composition containing 800 ppm Cl, over a pressure and temperature range of 2.5–4.5 GPa and 630–900 °C. Repetitive experiments were conducted with 1900 ppm Cl + 1000 ppm F, and 2100 ppm Cl. Apatite represents the most Cl-abundant mineral phase, with Cl concentration varying in the range 0.1–2.82 wt%. Affinity for Cl decreases over the following sequence: aqueous fluid > apatite ⩾ melt > other hydrous minerals (phengite, biotite and amphibole). It was found that addition of F to the Cl-bearing starting composition significantly lowers the Cl partition coefficients between apatite and melt (DClAp–melt) and apatite and aqueous fluid (DClAp–aq). Cl–OH exchange coefficients between apatite and melt (KdCl–OHAp–melt) and apatite and aqueous fluid (KdCl–OHAp–aq) were subsequently calculated. KdCl–OHAp–melt was found to vary from 1 to 58, showing an increase with temperature and a decrease with pressure and displaying a regular decrease with increasing H2O content in melt. Mole fractions of Cl and OH in melt were calculated based on an ideal mixing model for H2O, OH, O, Cl and F. The Cl contents of other hydrous minerals (phengite, biotite and amphibole) fall between 200 and 800 ppm, with resultant Cl partition coefficients from 0.02 to 0.49, appearing independent of the bulk Cl and F content. Preliminary data from this study show that the partitioning behaviour of F is strongly in favour of apatite relative to melt and phengite, with DFAp–melt = 15–51. Apatites from representative eclogite facies metasediments were examined and found to have low Cl contents close to ∼100 ppm. Calculations using our experimentally determined KdCl–OHAp–aq of 0.004 at 2.5 GPa, 630 °C indicate a low salinity character (0.5–2 wt% NaCleq) for the fluid formed during dehydration of subducted oceanic sediment at ∼80 km depth.

The relevance of sport-related behaviour patterns in the family for the sport participation of youth in Switzerland

Despite various efforts to promote sport participation among youth, social inequalities still exist. An explanation for these social inequalities could be traced back to transgenerational transmission of sport-related values and behaviour patterns in a family (Baur, 1989). Therefore, children’s socialisation to sport is strongly influenced by the parents’ sport-related values and sport behaviour (Burrmann, 2005). However, findings of previous studies are inconsistent, and the daily sport-related behaviour patterns of families have often not been taken into account. The paper deals with the question, to what extent sport participation of youth is influenced by factors such as the importance of sport, the self-evidence of regular sport activity, mutual support, shared sport activities, sport-related health-awareness and communication about sport in the family. In order to pursue this research question, socialisation theories were used as theoretical framework (Hurrelmann, 2006). Based on this approach, a quantitative online survey where 4’039 adolescents and young adults from the ages of 15 to 30 (n = 4’039, M = 21.48, SD = 4.64) answered questions according their sport participation and the sport-related patterns of their families. Furthermore, a qualitative study that included guideline-based interviews with adolescents and young adults (n = 13) were undertaken. Content analysis was used to analyse the interviews. Initial findings of the multiple regression analysis reveal that the most important predictors of sport participation of youth are communication about sport (β = .18, p < .001), mutual support (β = .13, p < .001), regular sport activity (β = .10, p < .01) and the importance of sport in the family (β = .10, p < .01). By means of content analysis, more in-depth information could be identified. The promotion of sport through sport-related behaviour patterns in the family appears to be a successful strategy to develop a durable sport commitment in youth. References Baur, J. (1989). Körper- und Bewegungskarrieren [Body and exercise careers]. Schorndorf: Hofmann. Burrmann, U. (2005). Zur Vermittlung und intergenerationalen "Vererbung" von Sport(vereins)engagements in der Herkunftsfamilie [On placing and "inheriting" intergenerational sport(club) commitment in the family of origin]. Sport und Gesellschaft, 2, 125–154. Hurrelmann, K. (2006). Einführung in die Sozialisationstheorie [Introduction to socialisation theory] (9th ed.). Studium Paedagogik. Weinheim: Beltz.

The heart challenge: The effect of regular aerobic exercise on body fat distribution in third and fourth grade school children: A randomized clinical trial

The pattern of body fat distribution known as "centralized", and characterized by a predominance of subcutaneous fat on the trunk and a "pot belly", has been associated with an increased risk of chronic disease. These patterns of fat distribution, as well as the lifestyle habit variables associated with adult fatness and chronic morbidity clearly begin to develop during childhood, indicating the need for intervention and primary prevention of obesity, particularly the centralized form, during childhood or adolescence. The purpose of this study was to determine whether regular aerobic exercise could beneficially alter the distribution of body fat in 8 and 9 year old children. One hundred and eighty-eight participants were randomized into either a regular aerobic exercise treatment group or a standard physical education program control group. A variety of aerobic activities was used for intervention 5 days per week during physical education class for a period of 12 weeks. Fat distribution was measured by a number of the most commonly used indices, including ratios of body circumferences and skinfolds and indices derived from a principal components analysis. Change over time in average pulse rate was used to determine if intervention actually occurred. Approximately 10% of the students were remeasured, allowing the calculation of intra- and interexaminer measurement reliability estimates for all indices.^ This study group was comparable to the U.S. population, though the study children were slightly larger for certain measures. No effect of the exercise intervention was found. The most likely explanation for this was inadequacy of the intervention, as indicated by the lack of any change in average pulse rate with treatment. The results of the measurement reliability analysis are reported and indicate that body circumference ratios are more precise than skinfold ratios, particularly when multiple observers are used. Reliability estimates for the principal component indices were also high.^ It remains unclear whether the distribution of body fat can be altered with exercise. It is likely that this issue will remain undecided until one highly reliable, valid, and sensitive measure of fat distribution can be found. ^

Impact of consciousness raising and social liberation on readiness to engage in regular physical activity among adults in Magnolia Park/Lawndale-Wayside, Houston, TX

According to the transtheoretical model, consciousness raising and social liberation are processes used to help individuals progress through the stages of change for a given behavior. This study assessed the impact of these two processes on readiness to engage in regular physical activity among a convenience sample of 35 adults in the Magnolia Park/Lawndale-Wayside area of Houston, TX. The duration of the study was approximately 4 weeks. All pre/post-test data were collected via self-administered surveys available in English or Spanish. Baseline data were used to determine the culturally relevant content of a one-dose intervention consisting of a presentation and dissemination of educational materials as well as a list of local physical activity opportunities. Although the intervention did not improve progression through the stages of change, significant increases were evident among 5 out of 6 processes of change. Based on these results and qualitative data, this study recommended that the Houston Parks and Recreation Department incorporate cultural competency into the design and publication of materials and revise the schedule of available programs (i.e.: increase the number of walking programs) in order to reflect the physical activity preferences of Magnolia Park/Lawndale-Wayside residents.^