Interpretations of Presburger Arithmetic in Itself

Presburger arithmetic PrA is the true theory of natural numbers with addition. We study interpretations of PrA in itself. We prove that all one-dimensional self-interpretations are definably isomorphic to the identity self-interpretation. In order to prove the results we show that all linear orders that are interpretable in (N,+) are scattered orders with the finite Hausdorff rank and that the ranks are bounded in terms of the dimension of the respective interpretations. From our result about self-interpretations of PrA it follows that PrA isn't one-dimensionally interpretable in any of its finite subtheories. We note that the latter was conjectured by A. Visser.Comment: Published in proceedings of LFCS 201

Isometric force production parameters during normal and experimental low back pain conditions

BACKGROUND: The control of force and its between-trial variability are often taken as critical determinants of motor performance. Subjects performed isometric trunk flexion and extension forces without and with experiment pain to examine if pain yields changes in the control of trunk forces. The objective of this study is to determine if experimental low back pain modifies trunk isometric force production. METHODS: Ten control subjects participated in this study. They were required to exert 50 and 75% of their isometric maximal trunk flexion and extension torque. In a learning phase preceding the non painful and painful trials, visual and verbal feedbacks were provided. Then, subjects were asked to perform 10 trials without any feedback. Time to peak torque, time to peak torque variability, peak torque variability as well as constant and absolute error in peak torque were calculated. Time to peak and peak dF/dt were computed to determine if the first peak of dF/dt could predict the peak torque achieved. RESULTS: Absolute and constant errors were higher in the presence of a painful electrical stimulation. Furthermore, peak torque variability for the higher level of force was increased with in the presence of experimental pain. The linear regressions between peak dF/dt, time to peak dF/dt and peak torque were similar for both conditions. Experimental low back pain yielded increased absolute and constant errors as well as a greater peak torque variability for the higher levels of force. The control strategy, however, remained the same between the non painful and painful condition. Cutaneous pain affects some isometric force production parameters but modifications of motor control strategies are not implemented spontaneously. CONCLUSIONS: It is hypothesized that adaptation of motor strategies to low back pain is implemented gradually over time. This would enable LBP patients to perform their daily tasks with presumably less pain and more accuracy

Exploring the divergence between self-assessment and self-monitoring

Many models of professional self-regulation call upon individual practitioners to take responsibility both for identifying the limits of their own skills and for redressing their identified limits through continuing professional development activities. Despite these expectations, a considerable literature in the domain of self-assessment has questioned the ability of the self-regulating professional to enact this process effectively. In response, authors have recently suggested that the construction of self-assessment as represented in the self-regulation literature is, itself, problematic. In this paper we report a pair of studies that examine the relationship between self-assessment (a global judgment of one’s ability in a particular domain) and self-monitoring (a moment-by-moment awareness of the likelihood that one maintains the skill/knowledge to act in a particular situation). These studies reveal that, despite poor correlations between performance and self-assessments (consistent with what is typically seen in the self-assessment literature), participant performance was strongly related to several measures of self-monitoring including: the decision to answer or defer responding to a question, the amount of time required to make that decision to answer or defer, and the confidence expressed in an answer when provided. This apparent divergence between poor overall self-assessment and effective self-monitoring is considered in terms of how the findings might inform our understanding of the cognitive mechanisms yielding both self-monitoring judgments and self-assessments and how that understanding might be used to better direct education and learning efforts

Genomic tools development for Aquilegia: construction of a BAC-based physical map

<p>Abstract</p> <p>Background</p> <p>The genus <it>Aquilegia</it>, consisting of approximately 70 taxa, is a member of the basal eudicot lineage, Ranuculales, which is evolutionarily intermediate between monocots and core eudicots, and represents a relatively unstudied clade in the angiosperm phylogenetic tree that bridges the gap between these two major plant groups. <it>Aquilegia </it>species are closely related and their distribution covers highly diverse habitats. These provide rich resources to better understand the genetic basis of adaptation to different pollinators and habitats that in turn leads to rapid speciation. To gain insights into the genome structure and facilitate gene identification, comparative genomics and whole-genome shotgun sequencing assembly, BAC-based genomics resources are of crucial importance.</p> <p>Results</p> <p>BAC-based genomic resources, including two BAC libraries, a physical map with anchored markers and BAC end sequences, were established from <it>A. formosa</it>. The physical map was composed of a total of 50,155 BAC clones in 832 contigs and 3939 singletons, covering 21X genome equivalents. These contigs spanned a physical length of 689.8 Mb (~2.3X of the genome) suggesting the complex heterozygosity of the genome. A set of 197 markers was developed from ESTs induced by drought-stress, or involved in anthocyanin biosynthesis or floral development, and was integrated into the physical map. Among these were 87 genetically mapped markers that anchored 54 contigs, spanning 76.4 Mb (25.5%) across the genome. Analysis of a selection of 12,086 BAC end sequences (BESs) from the minimal tiling path (MTP) allowed a preview of the <it>Aquilegia </it>genome organization, including identification of transposable elements, simple sequence repeats and gene content. Common repetitive elements previously reported in both monocots and core eudicots were identified in <it>Aquilegia </it>suggesting the value of this genome in connecting the two major plant clades. Comparison with sequenced plant genomes indicated a higher similarity to grapevine (<it>Vitis vinifera</it>) than to rice and <it>Arabidopsis </it>in the transcriptomes.</p> <p>Conclusions</p> <p>The <it>A. formosa </it>BAC-based genomic resources provide valuable tools to study <it>Aquilegia </it>genome. Further integration of other existing genomics resources, such as ESTs, into the physical map should enable better understanding of the molecular mechanisms underlying adaptive radiation and elaboration of floral morphology.</p

Facilitative parenting and children's social, emotional and behavioural adjustment

Facilitative parenting (FP) supports the development of children’s social and emotional competence and effective peer relationships. Previous research has shown that FP discriminates between children bullied by peers from children who are not bullied, according to reports of teachers. This study investigates the association between FP and children’s social, emotional and behavioral problems, over and above the association with dysfunctional parenting (DP). 215 parents of children aged 5–11 years completed questionnaires about parenting and child behavior, and children and teachers completed measures of child bullying victimization. As predicted, FP accounted for variance in teacher reports of children’s bullying victimization as well as parent reports of children’s social and emotional problems and prosocial behavior better than that accounted for by DP. However for children’s reports of peer victimization the whole-scale DP was a better predictor than FP. Contrary to predictions, FP accounted for variance in conduct problems and hyperactivity better than DP. When analyses were replicated substituting subscales of dysfunctional and FP, a sub-set of FP subscales including Warmth, Supports Friendships, Not Conflicting, Child Communicates and Coaches were correlated with low levels of problems on a broad range of children’s adjustment problems. Parent–child conflict accounted for unique variance in children’s peer victimization (teacher report), peer problems, depression, emotional problems, conduct problems and hyperactivity. The potential relevance of FP as a protective factor for children against a wide range of adjustment problems is discussed

Right hemisphere has the last laugh: neural dynamics of joke appreciation

Understanding a joke relies on semantic, mnemonic, inferential, and emotional contributions from multiple brain areas. Anatomically constrained magnetoencephalography (aMEG) combining high-density whole-head MEG with anatomical magnetic resonance imaging allowed us to estimate where the humor-specific brain activations occur and to understand their temporal sequence. Punch lines provided either funny, not funny (semantically congruent), or nonsensical (incongruent) replies to joke questions. Healthy subjects rated them as being funny or not funny. As expected, incongruous endings evoke the largest N400m in left-dominant temporo-prefrontal areas, due to integration difficulty. In contrast, funny punch lines evoke the smallest N400m during this initial lexical–semantic stage, consistent with their primed “surface congruity” with the setup question. In line with its sensitivity to ambiguity, the anteromedial prefrontal cortex may contribute to the subsequent “second take” processing, which, for jokes, presumably reflects detection of a clever “twist” contained in the funny punch lines. Joke-selective activity simultaneously emerges in the right prefrontal cortex, which may lead an extended bilateral temporo-frontal network in establishing the distant unexpected creative coherence between the punch line and the setup. This progression from an initially promising but misleading integration from left frontotemporal associations, to medial prefrontal ambiguity evaluation and right prefrontal reprocessing, may reflect the essential tension and resolution underlying humor

Loss of the Urothelial Differentiation Marker FOXA1 Is Associated with High Grade, Late Stage Bladder Cancer and Increased Tumor Proliferation

Approximately 50% of patients with muscle-invasive bladder cancer (MIBC) develop metastatic disease, which is almost invariably lethal. However, our understanding of pathways that drive aggressive behavior of MIBC is incomplete. Members of the FOXA subfamily of transcription factors are implicated in normal urogenital development and urologic malignancies. FOXA proteins are implicated in normal urothelial differentiation, but their role in bladder cancer is unknown. We examined FOXA expression in commonly used in vitro models of bladder cancer and in human bladder cancer specimens, and used a novel in vivo tissue recombination system to determine the functional significance of FOXA1 expression in bladder cancer. Logistic regression analysis showed decreased FOXA1 expression is associated with increasing tumor stage (p<0.001), and loss of FOXA1 is associated with high histologic grade (p<0.001). Also, we found that bladder urothelium that has undergone keratinizing squamous metaplasia, a precursor to the development of squamous cell carcinoma (SCC) exhibited loss of FOXA1 expression. Furthermore, 81% of cases of SCC of the bladder were negative for FOXA1 staining compared to only 40% of urothelial cell carcinomas. In addition, we showed that a subpopulation of FOXA1 negative urothelial tumor cells are highly proliferative. Knockdown of FOXA1 in RT4 bladder cancer cells resulted in increased expression of UPK1B, UPK2, UPK3A, and UPK3B, decreased E-cadherin expression and significantly increased cell proliferation, while overexpression of FOXA1 in T24 cells increased E-cadherin expression and significantly decreased cell growth and invasion. In vivo recombination of bladder cancer cells engineered to exhibit reduced FOXA1 expression with embryonic rat bladder mesenchyme and subsequent renal capsule engraftment resulted in enhanced tumor proliferation. These findings provide the first evidence linking loss of FOXA1 expression with histological subtypes of MIBC and urothelial cell proliferation, and suggest an important role for FOXA1 in the malignant phenotype of MIBC

A pilot study using Tissue Velocity Ultrasound Imaging (TVI) to assess muscle activity pattern in patients with chronic trapezius myalgia

<p>Abstract</p> <p>Background</p> <p>Different research techniques indicate alterations in muscle tissue and in neuromuscular control of aching muscles in patients with chronic localized pain. Ultrasound can be used for analysis of muscle tissue dynamics in clinical practice.</p> <p>Aim</p> <p>This study introduces a new muscle tissue sensitive ultrasound technique in order to provide a new methodology for providing a description of local muscle changes. This method is applied to investigate trapezius muscle tissue response – especially with respect to specific regional deformation and deformation rates – during concentric shoulder elevation in patients with chronic trapezius myalgia and healthy controls before and after pain provocation.</p> <p>Methods</p> <p>Patients with trapezius myalgia and healthy controls were analyzed using an ultrasound system equipped with tissue velocity imaging (TVI). The patients performed a standardized 3-cm concentric shoulder elevation before and after pain provocation/exercise at a standardized elevation tempo (30 bpm). A standardized region of interest (ROI), an ellipsis with a size that captures the upper and lower fascia of the trapezius muscle (4 cm width) at rest, was placed in the first frame of the loop registration of the elevation. The ROI was re-anchored frame by frame following the same anatomical landmark in the basal fascia during all frames of the concentric phase. In cardiac measurement, tissue velocities are measured in the axial projection towards and against the probe where red colour represents shortening and red lengthening. In the case of measuring the trapezius muscle, tissue deformation measurements are made orthogonally, thus, indirectly. Based on the assumption of muscle volume incompressibility, blue represents tissue contraction and red relaxation. Within the ROI, two variables were calculated as a function of time: <it>deformation </it>and <it>deformation rate</it>. Hereafter, max, mean, and quadratic mean values (RMS) of each variable were calculated and compared before and after pain provocation/exercise.</p> <p>Results</p> <p>This new methodology seems valuable when looking at local muscle changes and studying the mechanism behind chronic muscle pain. The univariate analyses indicate that patients with chronic trapezius myalgia after pain provocation due to exercise at group level showed decreased strain and unchanged strain rate while healthy controls had unchanged strain and increased strain rate. However, the multivariate analysis indicates that most patients showed lower levels according to both strain and strain rate after exercise compared to most controls.</p> <p>Conclusion</p> <p>Tissue velocity imaging can help describe musculoskeletal tissue activity and dynamics in patients with chronic pain conditions. An altered muscle tissue dynamic after pain provocation/exercise among the majority of trapezius myalgia patients compared with the healthy controls was found.</p