Sheaves over Heyting lattices

For a complete Heyting lattice , we define a category Etale (). We show that the category Etale () is equivalent to the category of the sheaves over , Sh(), hence also with -valued sets, see [2], [1]. The category Etale() is a generalization of the category Etale (X), see [1], where X is a topological space.     

Uncovering a New Moral Dilemma of Economic Optimization in Biotechnological Processing

The trend of emerging biorefineries is to process the harvest as efficiently as possible and without any waste. From the most valuable phytomass, refined medicines, enzymes, dyes and other special reactants are created. Functional foods, food ingredients, oils, alcohol, solvents, plastics, fillers and a wide variety of other chemical products follow. After being treated with nutrient recovery techniques (for fertilizer production), biofuels or soil improvers are produced from the leftovers. Economic optimization algorithms have confirmed that such complex biorefineries can be financially viable only when a high degree of feedstock concentration is included. Because the plant material is extremely voluminous before processing, the farming intensity of special plants increases in the nearest vicinity of agglomerations where the biorefineries are built for logistical reasons. Interdisciplinary analyses revealed that these optimization measures lead to significantly increased pollen levels in neighbouring urban areas and subsequently an increased risk of allergies, respectively costs to the national health system. A new moral dilemma between the shareholder’s profit and public interest was uncovered and subjected to disputation.     

The Face of the Chameleon: The Experience of Facial Mimicry for the Mimicker and the Mimickee

This research addressed three questions concerning facial mimicry: (a) Does the relationship between mimicry and liking characterize all facial expressions, or is it limited to specific expressions? (b) Is the relationship between facial mimicry and liking symmetrical for the mimicker and the mimickee? (c) Does conscious mimicry have consequences for emotion recognition? A paradigm is introduced in which participants interact over a computer setup with a confederate whose prerecorded facial displays of emotion are synchronized with participants’ behavior to create the illusion of social interaction. In Experiment 1, the confederate did or did not mimic participants’ facial displays of various subsets of basic emotions. Mimicry promoted greater liking for the confederate regardless of which emotions were mimicked. Experiment 2 reversed these roles: participants were instructed to mimic or not to mimic the confederate’s facial displays. Mimicry did not affect liking for the confederate but it did impair emotion recognition.     

Context‐Constrained Judgment of the Perceived Risk of HIV/AIDS1

This study introduces a computer method for assessing perception of stimuli presented in a constrained context. The method is illustrated through experiments on perception of the risk of becoming infected with HIV and AIDS. In five experiments, context‐constrained judgments (CCJ) or context‐independent judgments were obtained from 258 undergraduates. Participants judged the risk of contracting HIV/AIDS for a variety of target populations, including themselves. The CCJ method results in greater response discrimination among the salience of perceived risk factors than does a context independent method. This outcome has potential implications for education and intervention programs to control the spread of HIV.     

Conducting clinical research in Polish conditions

This paper comments on Polish legal guarantees for diseased persons with reference to the hazards that accompany experimental treatment. While acknowledging that participation in a clinical research program provides patients with additional opportunities for advanced treatment, the paper also points out that systems for monitoring patients participating in experimental treatment require improvement. This paper was presented at the 6th International Bioethics Conference on the subject of ‘The Responsible Conduct of Basic and Clinical Research’, held in Warsaw, Poland, 3–4 June 2005.     

Distant Causation in <Emphasis Type="Italic">C</Emphasis>+

The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a high-level, logical formalism for the representation of domains involving action and change. However, one cannot directly express relationships which hold between states more than one time-step distant, or even say that one action determines another at the next time. We present C+_timed, a generalization of C+ which removes these limitations. As for C+, translations to the language of causal theories are given. We also define a new kind of transition system called a ‘run system’ to provide a graphical semantics. Finally, we show how domains involving prohibition and permission can be modelled, by incorporating the ideas of another extension of C+.     

Orientation Toward Intrinsic Motivation Mediates the Relationship Between Metacognition and Creativity

Metacognition and motivation are considered key facets of self-regulation in various contexts. Recent studies identified a link between metacognition and creative performance, with metacognitively aware students performing more creatively and exhibiting higher levels of intrinsic and identified extrinsic motivation. The present study aims to examine the relationship between metacognition, orientation toward intrinsic or extrinsic motivation, and creative performance. One hundred nineteen university students completed the Metacognitive Awareness Inventory (MAI) and Scale of Intrinsic versus Extrinsic Orientation in the Classroom and performed four verbal creativity tasks (product improvement task, consequences task, and two unusual uses tasks). The partial correlation network showed that all the creativity tasks were uniquely related to at least one facet of metacognition, and that the most complex task (product improvement task) was linked to both metacognitive knowledge and regulation. Furthermore, the structural equation model indicated that orientation toward intrinsic motivation mediated the relationship between metacognition and creative performance, explaining 16% of the variance in creative performance.