A Fibred Tableau Calculus for Modal Logics of Agents

In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} $\&$ \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Sillon de Talbert, Pleubian, Bretagne, France

Coastal photograph of Sillon du Talbert, L'Armor, Pleubian on 16 April 2004 low tide. End of the Sillon, looking N-N-E at the Archipel d'Ollone. The Sillon du Talbert is a natural thin 3-km long tongue made of "galets" (pebbles about 5 to 20 cm) and sand. It is located at the tip of a peninsula between the estuaries of the rivers Jaudy (Le Jaudy) and Trieux (Le Trieux) next to Ile de Bre´hat. At the end of the Sillon, there is an archipel of small islands and rocks called "Archipel d'Ollone" (Ollone archipel), also called the Talbert islands (Iles de Talbert) by the locals. The Sillon du Talbert (or Sillon de Talbert) is an important reserve of flora and fauna. The Sillon was damaged by locals using stones for construction until 1928, and by the Germans, who used stones for the Ile Blanche bunker system construction in 1943 as part of the WWII Atlantic wall. (Coastal Photograph by Hubert Chanson, Department of Civil Engineering, the University of Queensland, Brisbane, Queensland 4072, Australia.)

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Demonic Possession and Exorcism in Early Modern France

This is a highly original study of possession by demons and their exorcism, which was rife in early modern times, focussing on the place where they were most prevalent, France. Catholics at the time believed that the devil was present everywhere, in the rise of the heretics, in the activities of witches, and even in the bodies of the pious young women. The rite of exorcism was intended to heal the possessed and show the power of the church - but it generated as many problems as it resolved. Possessed nuns endured frequently violent exorcisms, exorcists were suspected of conjuring devils, and possession itself came to be seen as a form of holiness, elevating several women to the status of living saints. Sarah Ferber offers a challenging study of one of the most intriguing phenomena of early modern Europe; looking also at the present day, it argues that early modern conflicts over the devil still carry an unexpected force and significance for western Christianity (from publisher).

Synthesis of hydroperoxide and perketal derivatives of polyunsaturated fatty acids as potential antimalarial agents

Hydroperoxide derivatives of beta-oxa-substituted polyunsaturated fatty acids were prepared by 15-lipoxygenase catalysed oxidation and perketal derivatives of fatty acid hydroperoxides were synthesized. The perketals are more stable than their parent fatty acid hydroperoxides, but less active as antimalarial agents in the in vitro growth inhibition of Plasmodium falciparum. (C) 1998 Elsevier Science Ltd. All rights reserved.

Optimal release strategies for biological control agents: an application of stochastic dynamic programming to population management

1. Establishing biological control agents in the field is a major step in any classical biocontrol programme, yet there are few general guidelines to help the practitioner decide what factors might enhance the establishment of such agents. 2. A stochastic dynamic programming (SDP) approach, linked to a metapopulation model, was used to find optimal release strategies (number and size of releases), given constraints on time and the number of biocontrol agents available. By modelling within a decision-making framework we derived rules of thumb that will enable biocontrol workers to choose between management options, depending on the current state of the system. 3. When there are few well-established sites, making a few large releases is the optimal strategy. For other states of the system, the optimal strategy ranges from a few large releases, through a mixed strategy (a variety of release sizes), to many small releases, as the probability of establishment of smaller inocula increases. 4. Given that the probability of establishment is rarely a known entity, we also strongly recommend a mixed strategy in the early stages of a release programme, to accelerate learning and improve the chances of finding the optimal approach.

The structure of worker compensation in Brazil, with a comparison to France and the United States

We employ comprehensive linked employer-employee data for Brazil to analyze wage determinants and compare results to Abowd et al. (2001) for French and U.S. manufacturing. While returns to human capita in Brazilian manufacturing exceed those of the other countries, occupation and gender differentials are similar. The worker-characteristics component accounts for much of the greater wage inequality in Brazil, but the establishment-fixed component has scant explanatory power. Thus, firm-or industry-level factors offer little scope for explaining the differences in wage inequality. Brazil`s wage structure resembles that of France, a country with some similarity in labor market institutions.

Randomized Evaluation of Two Drug-Eluting Stents With Identical Metallic Platform and Biodegradable Polymer But Different Agents (Paclitaxel or Sirolimus) Compared Against Bare Stents: 1-Year Results of the PAINT Trial

Objectives: We tested two novel drug-eluting stents (DES), covered with a biodegradable-polymer carrier and releasing paclitaxel or sirolimus, which were compared against a bare metal stent (primary objective). The DES differed by the drug, but were identical otherwise, allowing to compare the anti-restenosis effects of sirolimus versus paclitaxel (secondary objective). Background: The efficacy of novel DES with biodegradable polymers should be tested in the context of randomized trials, even when using drugs known to be effective, such as sirolimus and paclitaxel. Methods: Overall, 274 patients with de novo coronary lesions in native vessels scheduled for stent implantation were randomly assigned (2:21 ratio) for the paclitaxel (n = 111), sirolimus (n = 106), or bare metal stent (n = 57) groups. Angiographic follow-up was obtained at 9 months and major cardiac adverse events up to 12 months. Results: Both paclitaxel and sirolimus stents reduced the 9-month in-stent late loss (0.54-0.44 mm, 0.32-0.43 mm, vs. 0.90-0.45 mm respectively), and 1-year risk of target vessel revascularization and combined major adverse cardiac events (P < 0.05 for both, in all comparisons), compared with controls. Sirolimus stents had lower late loss than paclitaxel stents (P < 0.01), but similar 1-year clinical outcomes. There were no differences in the risk of death, infarction, or stent thrombosis among the study groups. Conclusion: Both novel DES were effective in reducing neointimal hyperplasia and 1-year re-intervention, compared to bare metal stents. Our findings also suggest that sirolimus is more effective than paclitaxel in reducing angiographic neointima, although this effect was not associated with better clinical outcomes. (C) 2009 Wiley-Liss, Inc.

Percutaneous absorption of sunscreen agents from liquid paraffin: Self-association of octyl salicylate and effects on skin flux

This study provides an investigation of the availability of octyl salicylate (OS), a common sunscreen agent, from liquid paraffin and the effect of OS on skin permeability. A model membrane system to isolate the vehicle effect from membrane permeability has been developed. Partitioning of OS between liquid paraffin and aqueous receptor phases was conducted. Partition coefficients increased with increase in OS concentration. A range of OS concentrations in liquid paraffin was diffused across human epidermis and synthetic membranes into 4% bovine serum albumin in phosphate-buffered saline and 50% ethanol. Absorption profiles of OS obtained from silicone and low-density polyethylene (LDPE) membranes were similar to each other but higher than for the high-density polyethylene [HDPE (3 times)] membrane and human epidermis (15 times). The steady state fluxes and apparent permeability coefficients (K-p') obtained from the diffusion studies showed the same trends with all membranes, except for the HDPE membrane which showed greater increase in flux and K-p' at concentrations above 30%. IR spectra showed that several bands of OS were shifted with concentrations, and the molecular models further suggested that the main contribution to the self-association is from non-1,4 van der Waals interactions.

An ergonomic approach to reorganize parking inspection agents` work productivity, health and safety in Sao Paulo, Brazil

Objective: The Traffic Engineering Company of the City of Sao Paulo (Brazil) observed a decrease in productivity, and an increase in sick leave, accidents and psychological distress among their parking inspection agents. To document this situation, qualitative research was undertaken to obtain an in-depth comprehension of work activity. Participants: Workers, managers and health and safety professionals contributed to the documentation of the problem and to the proposal of possible solutions. Methods: Ergonomic work analysis focusing on real work activity, as well as interviews with individual or groups of stakeholders, were conducted. Results: This research revealed that political-economic factors gradually contributed to: 1) an increasing work load; 2) growing fatigue throughout the day, increasing the workers` vulnerability to incidents and accidents and their tendency to react inappropriately to violence experienced on the street; and 3) excessive individual responsibility to manage dangerous situations. Conclusions: Recommendations to ameliorate the situation are proposed. These suggestions are discussed in terms of feasibility given the impact of macro social factors upon micro work activity, and the associated potential expansion of the ergonomist`s role.