Connection-Driven Inductive Theorem Proving

We present a method for integrating rippling-based rewriting into matrix-based theorem proving as a means for automating inductive specification proofs. The selection of connections in an inductive matrix proof is guided by symmetries between induction hypothesis and induction conclusion. Unification is extended by decision procedures and a rippling/reverse-rippling heuristic. Conditional substitutions are generated whenever a uniform substitution is impossible. We illustrate the integrated method by discussing several inductive proofs for the integer square root problem as well as the algorithms extracted from these proofs.     

Language Impairment and Sexual Assault of Girls and Women: Findings from a Community Sample

Both children and adults with disabilities face increased prevalence of abuse and assault, including sexual assault. Women and girls are disproportionately the victims of sexual assault in both disabled and nondisabled populations. Communication difficulties have been identified as a factor that may increase the vulnerability of individuals with disabilities to sexual assault. However, few studies have examined whether language impairment increases risk for sexual assault. This study reports on a community sample of children with speech or language impairment, followed to age 25. Sexual assault history was assessed based on two questions from the Composite International Diagnostic Interview Posttraumatic Stress Disorder module. Women with language impairment (n = 33) were more likely than women with unimpaired language (n = 59) to report sexual abuse/assault, controlled for socioeconomic status. Sexual assault was associated with higher rates of psychiatric disorders and poorer functioning. Women with neither language impairment nor a history of sexual assault had fewer psychiatric disorders and higher functioning than women with language impairment and/or a history of sexual assault.     

Longitudinal Associations Between Fathers’ Heavy Drinking Patterns and Children’s Psychosocial Adjustment

Psychosocial adjustment in children of alcoholics (N = 114) was examined in the year before and at three follow-ups in the 15 months after their alcoholic fathers entered alcoholism treatment, testing the hypothesis that children's adjustment problems will vary over time as a function of their fathers' heavy drinking patterns. Three unique patterns of heavy drinking in alcoholic fathers were identified through cluster analysis. The results demonstrated significant and meaningful associations between these drinking patterns in fathers and adjustment problems in children over time. Overall, children whose fathers remained mostly abstinent following their treatment showed lowest and decreasing adjustment problems, while children whose fathers continued and increased heavy drinking following their treatment showed greatest and increasing adjustment problems over time.     

Defense mechanisms predict differential lifespan change in Self-control and Self-acceptance

Individual differences in the direction of personality change over a period of 40 years for two scales of the California Psychological Inventory (CPI: Gough & Bradley, 1996) - Self-control (Sc) and Self-acceptance (Sa) - as previously identified through the use of longitudinal hierarchical linear modeling (Jones, Livson & Peskin, 2003), were studied in a sample of men and women from the Institute of Human Development Intergenerational Studies. It was hypothesized that the use of defense mechanisms, as assessed by the Defense Mechanism Manual (DMM: Cramer, 1991a), would be differentially related to change in Sc and Sa, depending on whether participants were increasing or decreasing in that trait over time. Results indicated that for participants who decreased in Sa, the use of Denial was associated with less decrease. For participants who increased in Sc, the use of Identification was associated with less increase.     

A longitudinal study of child siblings and theory of mind development

This study tested a sample of 63 children twice in a longitudinal design over 14 months to examine their theory-of-mind (ToM) understanding in relation to their number of child-aged siblings (1–12 years). Age-appropriate batteries of ToM tests emphasising false belief were given at the start of the study, when children had a mean age of 4–2 (range: 3–3 to 5–6), and at the end, when mean age was 5–4 (range: 4–3 to 6–9). Irrespective of chronological age, children with 2 or more child siblings scored significantly higher on both the earlier and the later battery than those with no child-aged siblings. Hierarchical multiple regression analyses revealed that, over and above chronological age and verbal intelligence, having more child siblings predicted higher ToM scores at Times 1 and 2. Furthermore, at Time 2, the participant's number of child-aged siblings continued to predict higher ToM scores even after controlling for age, verbal intelligence, and Time 1 ToM scores. Results were considered in relation to the kinds of family-based social and conversational experiences that might foster ToM growth throughout the period from toddlerhood to the threshold of primary school.     

Cognitive Progression in Epilepsy

The issue of cognitive progression in people with epilepsy is of considerable interest and has important clinical and theoretical implications. In this paper, we review recent studies in both the adult and childhood epilepsy literature which have included a longitudinal test–retest design to examine this question. Several important methodological issues of this literature are highlighted and areas which require more investigation are identified.     

Self-esteem during university studies predicts career characteristics 10 years later

To examine how self-esteem measured during university studies would impact on the characteristics of the work career 10 years later, 297 university students completed the Rosenberg’s self-esteem inventory four times while at university and various career-related questionnaires 10 years later. Latent Growth Curve Modeling showed that a high overall level of self-esteem predicted being in permanent employment 10 years later, having a high salary, and reporting a high level of work engagement, and job satisfaction, and a low level of burnout. By contrast, low self-esteem predicted unemployment, feelings of exhaustion, cynicism and reduced accomplishment at work, and low levels of work engagement and job satisfaction.     

Development of occupational aspiration prestige: A piecewise latent growth model of selected influences

Using the National Education Longitudinal Study of 1988 (NELS:88) data sets, the complex phenomenon of intra-individual and inter-individual differences in and the potential predictors of those differences on career aspirations development over a 12-year period was analyzed. Results indicated that 73.1% of the total growth (change) in adolescents’ occupational aspiration prestige scores were achieved between grades 8-10, while 26.9% of growth was achieved between grades 10 and 12. One-third of the total growth in the occupational aspiration scores of these individuals as young adults was observed between high school graduation and 2 years after graduation, while 67.4% of the total growth was obtained during the period between 2 and 8 years after high school graduation. Individuals with higher initial aspiration scores experienced slower growth in aspirations than those with lower initial aspirations. A negative association between career aspiration prestige scores in grade 12 and 8 years post-graduation existed.     

Transverse diffusivity of cerebral parenchyma predicts visual tracking performance in relapsing–remitting multiple sclerosis

This study investigated the relation between cerebral damage related to multiple sclerosis (MS) and cognitive decline as determined by two classical mental tracking tests. Cerebral damage in 15 relapsing–remitting MS patients was measured by diffusion tensor imaging (DTI). Fractional anisotropy, longitudinal and transverse diffusivity were defined in the cerebral parenchyma. Cognitive performance of the MS patients was assessed with the oral response format of the Symbol Digit Modalities Test (SDMT) and the Paced Auditory Serial Addition Test (PASAT). A significant correlation was found between performance on the SDMT and the fractional anisotropy in the brain. This correlation was predominantly induced by transverse diffusivity. Transverse diffusivity refers to the diffusion across fibers rather than along the fibers and is believed to be a specific marker for axonal loss and demyelination associated with MS. No significant association between DTI-measures and PASAT performance was found and this negative finding was mainly attributed to psychometric qualities. These results indicate that diffusivity along the non-principal diffusion direction, a possible signature of MS-related white matter pathology, contributes to information processing speed as measured with the SDMT, a task that requires close visual tracking and a widely used clinical marker for cognitive decline in MS.     

Proactive Personality, Employee Creativity, and Newcomer Outcomes: A Longitudinal Study

Purpose  To examine the relationship between proactive personality, employee creativity, and newcomer outcomes (i.e., career satisfaction and perceived insider status). Design/methodology/approach   A survey was conducted using a 3-wave longitudinal design with 146 Hong Kong Chinese employees from various organizations. Structural equation modeling was used to test the research hypotheses including the mediation effects. Findings   Proactive personality was positively associated with employee creativity and employee creativity was positively associated with career satisfaction and perceived insider status. In addition, employee creativity fully mediated the relationships between proactive personality and career satisfaction and perceived insider status. Implications   Based on self-reported responses, these data show that newcomers with a proactive personality shape their work environments in part through creative behavior, which in turn leads to feelings of career satisfaction and perceptions of being an organizational insider. Our study’s results also show that employee creativity is positively and significantly related to workers’ career satisfaction and perceived insider status, suggesting that employee creativity can improve employees’ attitudes toward their career and perceptions as valued and contributing organizational insiders. Future research may examine other possible variables that might mediate the relationship between proactive personality and individual outcomes. Originality/value  One of the few studies that have examined the intervening mechanism by which proactive personality leads to employee outcomes and examined the effects of proactive personality on employee outcomes in Asian culture. Received and reviewed by former editor, George Neuman.