Loop invariants,exploration of regularities,and mathematical games

Loop invariants are assertions of regularities that characterize the loop components of algorithms. They are fundamental components of computerprograms verification, but their relevance goes beyond verification—they can be significantly utilized for algorithm design and analysis. Unfortunately, they are only modestly introduced in the teaching of programming and algorithms. One reason for this is an unjustified notion that loop invariants are ‘tied to formality’, hard to illustrate, and difficult to comprehend. In this paper a novel approach is presented for illustrating on a rather intuitive level the significance of loop invariants. The illustration is based on mathematical games, which are attractive examples that require the exploration of regularities via problemsolving heuristics. Throughout the paper students' application of heuristics is described and emphasis is placed on the links between loop invariants, heuristic search activities, recognition of regularities and design and analysis of algorithms.     

Beliefs,Practical Knowledge,and Context: A Longitudinal Study of a Beginning Biology Teacher's 5E Unit

The purpose of this three‐year case study was to understand how a beginning biology teacher (Alice) designed and taught a 5E unit on natural selection, how the unit changed when she took a position in a different school district, and why the changes occurred. We examined Alice's developing beliefs about science teaching and learning, practical knowledge, and perceptions of school context in relation to the 5E unit. Data sources consisted of interviews, classroom observations, and lesson materials. We found that Alice placed more emphasis on the explore phase, less emphasis on the engage and explain phases, and removed the elaborate phase over time. Alice's beliefs about science teaching and learning acted as a filter for making sense of practical knowledge and perceptions of context. Although her beliefs were student centered, they aligned with discovery learning in which little intervention from the teacher is required. We discuss how her beliefs, practical knowledge, and perceptions of context explained the changes in her practice. This study sheds insight into the nature of beliefs and how they relate to the 5E lesson phases, as well as the different lenses for viewing the 5E instructional model. Implications for science teacher preparation and induction programs are discussed.     

Enhancing Formative Assessment Practice and Encouraging Middle School Mathematics Engagement and Persistence

In the transition to middle school, and during the middle school years, students' motivation for mathematics tends to decline from what it was during elementary school. Formative assessment strategies in mathematics can help support motivation by building confidence for challenging tasks. In this study, the authors developed and piloted a professional development program, Learning to Use Formative Assessment in Mathematics with the Assessment Work Sample Method (AWSM) to build middle school math teachers' understanding of the characteristics of high‐quality formative assessment processes and increases their ability to use them in their classrooms. AWSM proved to be feasible to implement in the middle school setting. It improved teachers' practice of formative assessment, especially in their feedback practices, regardless of their pedagogical content knowledge at entry. Results from focus groups suggested that teachers were better able to implement ungraded practice and student self‐ and peer‐assessment after AWSM, and that students were more willing to engage in complex problem solving.     

Budget-constrained optimal insurance with belief heterogeneity

We re-examine the problem of budget-constrained demand for insurance indemnification when the insured and the insurer disagree about the likelihoods associated with the realizations of the insurable loss. For ease of comparison with the classical literature, we adopt the original setting of Arrow (1971), but allow for divergence in beliefs between the insurer and the insured; and in particular for singularity between these beliefs, that is, disagreement about zero-probability events. We do not impose the no sabotage condition on admissible indemnities. Instead, we impose a state-verification cost that the insurer can incur in order to verify the loss severity, which rules out ex post moral hazard issues that could otherwise arise from possible misreporting of the loss by the insured. Under a mild consistency requirement between these beliefs that is weaker than the Monotone Likelihood Ratio (MLR) condition, we characterize the optimal indemnity and show that it has a simple two-part structure: full insurance on an event to which the insurer assigns zero probability, and a variable deductible on the complement of this event, which depends on the state of the world through a likelihood ratio. The latter is obtained from a Lebesgue decomposition of the insured’s belief with respect to the insurer’s belief.     

Development of an Instrument to Assess Attitudes Toward Science,Technology, Engineering,and Mathematics (STEM)

There is a need for more students to be interested in science, technology, engineering, and mathematics (STEM) careers to advance U.S. competitiveness and economic growth. A consensus exists that improving STEM education is necessary for motivating more students to pursue STEM careers. In this study, a survey to measure student (grades 4–6) attitudes toward STEM and STEM careers was developed and administered to 662 students from two STEM‐focused and three comprehensive (non‐STEM‐focused) schools. Cronbach's alphas for the whole survey and subscales indicated a high internal consistency. Statistically significant difference in means between students attending the STEM‐focused and comprehensive schools on the two subscales of the survey and the overall survey were found. However, the explained variance for these results was approximately 1%. The survey is a useful tool to assess efficacy of STEM education programs on student attitudes toward STEM and STEM careers.     

Ways of talking and ways of positioning: Students’ beliefs in an inquiry-oriented differential equations class

As part of developmental research for an inquiry-oriented differential equations course, this study investigates the change in students’ beliefs about mathematics. The discourse analysis has identified two different types of perspective modes - i.e., discourse of the third-person perspective and discourse of the first-person perspective - in the students’ mathematical narratives, depending on their ways of positioning themselves with respect to mathematics. In the third-person perspective discourse, the students positioned themselves as passive recipients of mathematics that has been established by some external authority. In the first-person perspective discourse, the students positioned themselves as active mathematical inquirers and produced mathematics by interweaving their own mathematical ideas and experiences. Over the semester, students’ mathematical discourse changed from third-person perspective narratives to first-person perspective narratives. This change in their discourse pattern is interpreted as an indication of change in their beliefs about mathematics. Finally, this article discusses the instructional features that promote the change.     

Redistribution of longevity risk: The effect of heterogeneous mortality beliefs

Existing literature regarding the natural hedge potential that arises from combining different longevity-linked liabilities typically does not address the question how changes in the liability mix can be obtained. We consider firms who aim to exploit the benefits of natural hedge potential by redistributing their risks, and characterize the risk redistributions that will arise when the parties bargain for a redistribution of risk that weakly benefits them all. We analyze the effects of heterogeneity in the beliefs regarding the probability distribution of future mortality rates on the properties of these risk redistributions, and provide a numerical illustration for a case where an insurer with a portfolio of term assurance contracts and a pension fund with a portfolio of life annuities redistribute their risks.     

Preparing preservice elementary teachers to teach engineering: Impact on self‐efficacy and outcome expectancy

Research indicates there is a need for teachers to experience multiple mastery experiences with engineering teaching in order to improve teaching engineering self‐efficacy. To prepare future K–5 teachers to teach the engineering design process, one science methods course integrated 2‐day engineering mini‐units into the class meeting and school‐based field experience. The preservice teachers participated as students in an exemplar mini‐unit and then designed their own mini‐unit, which they later taught to K–5 students. Pre‐ and post‐testing of the preservice teachers indicated significant improvement in engineering pedagogical content knowledge self‐efficacy, engagement self‐efficacy, and disciplinary self‐efficacy. Significant improvement was not observed in engineering outcome expectancy.     

Supporting disciplinary and interdisciplinary knowledge development and design thinking in an informal,pre‐engineering program: A Workplace Simulation Project

In this paper, we examined students’ engagement in an implementation of a Workplace Simulation Project (WSP). The WSP was designed to actively engage students in learning disciplinary content by inviting engineers from industry to have a physical presence within the school building to collaborate with teachers and students to complete projects which simulate the tasks authentic to their work. We focus on the first year implementation of the program that partnered a high school in the rural Midwest with an engineering unit of a government organization. Using a multiple methods study design, we analyzed disciplinary and interdisciplinary pre and posts test along with students’ interviews to determine learning gains as well as students’ interpretations of creative and critical thinking as experienced in the project and their knowledge of the engineering design process. Effect sizes showed that students in the WSP group had notable gains over the control group participants. Additionally, students’ knowledge of core elements of the design process were identified in inductive analyses of the interviews. Findings from this study will provide usable knowledge about effective ways to support systems and design thinking and ways to support expert‐novice collaboration to ensure success.