In this position paper we briefly review the development history of automated inductive theorem proving and computer-assisted mathematical induction. We think that the current low expectations on progress in this field result from a faulty narrow-scope historical projection. Our main motivation is to explain — on an abstract but hopefully sufficiently descriptive level — why we believe that fut...

abstract background: motivation to academic achievement is critical for students of medical sciences, particularly nursing students. it is directly related to high levels of achievement and quality of life. accordingly, diminished motivation would result in academic decline, study and work desertion and exhaustion. therefore, this study aimed to investigate the effect of cognitive behavioural i...

Although research on team motivation has been one of the fastest growing research domains in organizational science, progress in this domain has been hampered by a lack of integrative reviews. Thus, we develop a theoretical framework in this article to summarize and discuss different conceptual approaches to team motivation for the following six content areas: team design, team needs, team goal...

in many countries around the world, including iran, obesity is reaching epidemic proportions. doctors have recently taken, or expressed support for, an extreme ‘personal responsibility for health’ policy against obesity: refusing services to obese patients. this policy may initially seem to improve patients’ incentives to fight obesity. but turning access to medical services into a benefit depe...

We examined the utility of the bi-factor model for disentangling general motivation and specific motivations (i.e., amotivation, external, introjected, identified, and intrinsic regulations) in relation to goal progress and physical activity (PA). Participants (N = 186 undergraduate students; Mage = 19.26 years) completed assessments of motivation and PA at Time 1. Four weeks later, PA and goal...

This study investigates the effects of learning progress assessment (LPA) combined with student-set goals on students’ reading achievement, reading motivation, and reading self-concept in fourth grade. Classes (n1⁄4 41) were assigned to either an LPA group with goal setting (LPA-G), an LPA group only (LPA), or a control group (CG). Students of both LPA groups completed eight LPA tests over a pe...

abstract purpose: the main purpose of this study was to investigate the relationship between job characteristics of librarians of universities under authority of the ministry of health and medical education in tehran and their motivation for knowledge sharing. methodology: method of the research was analytical survey, and the data were gathered using three questionnaires of job characteristics,...

Project overview • NSF funded project and recent JHU summer workshop team • General topic: discriminative language modeling for ASR and MT – Learning language models with discriminative objectives • Specific topic: learning models from text only – Enabling use of much more training data; adaptation scenarios • Have made some progress with ASR models (topic today) – Less progress on improving MT...

This study considers how students’ perceptions of their teachers’ communicative style, particularly the extent to which teachers are perceived to support students’ autonomy and to provide useful feedback about students’ learning progress, are related to students’ extrinsic and intrinsic motivational orientations. It also examines the link between these variables and various language learning ou...

We study how virtual incentive mechanisms (such as leaderboards) help motivate players to extend the game playing time. We have designed a multiplayer strategy game, called OilTrader, which is set in a game-theoretic framework of a Minority Game, to verify the effect of motivation reinforcement on the sustainability of game playing process. We have conducted an experiment with 114 players and e...