This study examines the outcomes of a four-year faculty learning community (FLC) that aimed to transform departmental ethics curriculum by supporting Earth Sciences faculty members as they ethically inquired into their teaching of ethics and refined existing courses in alignment with an Integrated Community-Engaged Learning and Ethical Reflection (ICELER) framework. We present ethnographic case studies that unpack processes through which three faculty members transformed undergraduate courses. We assembled case studies by triangulating interview data, course artifacts, and faculty reflections. We examine (...) how faculty (1) built awareness around teaching ethics, (2) took responsibility for and made judgments about teaching ethics, (3) experimented by designing and implementing ICELER-inspired courses, and (4) interrogated the outcomes of their ethics teaching, utilizing findings to enhance awareness and revise courses. The paper closes by introducing a model detailing how instructors inquire into ethics teaching and how model components might inspire future educational practice and research. (shrink)

This paper examines the relationship of bonding with nonhuman animals during an interactive, animal-in-the-wild science program and the science attitudes of 358 young children between the ages of 8 and 14 Talking Talons utilizes typically wild animals such as raptors, reptiles, and bats in a school-based educational science curriculum. Qualitative data from interviews with students in the program indicated that "bonding with animals" and the educators within the program were related to increased positive attitudes toward science. The program used quantitative (...) methods to examine these dual relationships—with animals and with educators- on student attitude toward science. The program performed a step-wise multiple regression with "Attitude toward Science" as the dependent variable and "Gender," "Age," and "Bonding with Animals" as independent variables. Both "Bonding with Animals" and "Bonding with the Educator" contributed significantly to prediction of the participants' science attitudes. Altogether 28% of the variance in "Science Attitude" was predicted by both "Gender" and "Age" , "Bonding with Animals" and "Bonding with Educator" . Bonding with the animals had a large quantifiable relationship with student attitudes toward science. (shrink)

In this contribution we propose an agent architecture for theorem proving which we intend to investigate in depth in the future. The work reported in this paper is in an early state, and by no means finished. We present and discuss our proposal in order to get feedback from the Calculemus community.

Accessing knowledge of a single knowledge source with different client applications often requires the help of mediator systems as middleware components. In the domain of theorem proving large efforts have been made to formalize knowledge for mathematics and verification issues, and to structure it in databases. But these databases are either specialized for a single client, or if the knowledge is stored in a general database, the services this database can provide are usually limited and hard to adjust for a (...) particular theorem prover. Only recently there have been initiatives to flexibly connect existing theorem proving systems into networked environments that contain large knowledge bases. An intermediate layer containing both, search and proving functionality can be used to mediate between the two. In this paper we motivate the need and discuss the requirements for mediators between mathematical knowledge bases and theorem proving systems. We also present an attempt at a concurrent mediator between a knowledge base and a proof planning system. (shrink)

This paper reports on the integration of the higher-order theorem proving environment TPS [Andrews96] into the mathematical assistant OMEGA [Omega97]. TPS can be called from OMEGA either as a black box or as an interactive system. In black box mode, the user has control over the parameters which control proof search in TPS; in interactive mode, all features of the TPS-system are available to the user. If the subproblem which is passed to TPS contains concepts defined in OMEGA’s database of (...) mathematical theories, these definitions are not instantiated but are also passed to TPS. Using a special theory which contains proof tactics that model the ND-calculus variant of TPS within OMEGA, any complete or partial proof generated in TPS can be translated one to one into an OMEGA proof plan. Proof transformation is realised by proof plan expansion in OMEGA’s 3-dimensional proof data structure, and remains transparent to the user. (shrink)

Breast cancer treatments have multiple adverse effects, including concerns about body appearance and function that are experienced by most patients. Altered body image negatively affects mental health, social, and relationship functioning. While the relationship with a partner is critical for patients’ psychological wellbeing and partners can promote positive body image, limited research has investigated individual and relational factors affecting the experience of both. This cross-sectional study aimed at exploring rates of body image concerns among breast cancer patients, and identifying dyadic (...) profiles among participating dyads. Couples composed by patients who had undergone surgery and their romantic partners were recruited from the Breast Unit of a hospital in northern Italy. Both partners completed measures of personality characteristics, psychological distress, coping flexibility, dyadic coping, and closeness. Body image and adjustment to cancer measures were completed by patients only. K-mean cluster analyses identified 2-cluster solution among patients and partners, respectively. “Active patients” reported low rates of body image concerns, anxious preoccupation, negative dyadic coping, and self-oriented stress communication, compared to “worried patients”. “Comfortable partners” reported lower anxiety and depression, self-oriented negative dyadic coping and closeness than “uncomfortable partners”. Three different dyadic profiles emerged: functional, dysfunctional, and ambivalent. Significant variations by anxiety, depression, and delegating dyadic coping existed. Results indicate there are groups of couples at greater risk for impaired psychological distress and body image concerns, which should be addressed in the context of dyadic psychosocial interventions. (shrink)

Twenty-four critical essays, including a substantial introduction, written by the most distinguished international scholars, in honour of Graziella Federici Vescovini.