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.     

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.