Coastal and shelf circulation in the vicinity of Camamu Bay (14 degrees S), Eastern Brazilian Shelf

The Camamu Bay (CMB) is located on the narrowest shelf along the South American coastline and close to the formation of two major Western Boundary Currents (WBC), the Brazil/North Brazil Current (BC/NBC). These WBC flow close to the shelf break/slope region and are expected to interact with the shelf currents due to the narrowness of the shelf. The shelf circulation is investigated in terms of current variability based on an original data set covering the 2002-2003 austral summer and the 2003 austral autumn. The Results show that the currents at the shelf are mainly wind driven, experiencing a complete reversal between seasons due to a similar change in the wind field. Currents at the inner-shelf have a polarized nature, with the alongshore velocity mostly driven by forcings at the sub-inertial frequency band and the cross-shore velocity mainly supra-inertially forced, with the tidal currents playing an important role at this direction. The contribution of the forcing mechanisms at the mid-shelf changes between seasons. During the summer, forcings in the two frequency bands are important to drive the currents with a similar contribution of the tidal currents. On the other hand, during the autumn season, the alongshore velocity is mostly driven by sub-inertial forcings and tidally driven currents still remain important in both directions. Moreover, during the autumn when the stratification is weaker, the response of the shelf currents to the wind forcing presents a barotropic signature. The meso-scale processes related to the WBC flowing at the shelf/slope region also affect the circulation within the shelf, which contribute to cause significant current reversals during the autumn season. Currents at the shelf-estuary connection are clearly supra-inertially forced with the tidal currents playing a key role in the generation of the along-channel velocities. The sub-inertial forcings at this location act mainly to drive the weak ebb currents which were highly correlated with both local and remote wind forcing during the summer season. (C) 2010 Elsevier Ltd. All rights reserved.

Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Computation of (3)J(HH) coupling constants with a combination of density functional theory and semiempirical calculations. Application to complex molecules

This work evaluates the efficiency of economic levels of theory for the prediction of (3)J(HH) spin-spin coupling constants, to be used when robust electronic structure methods are prohibitive. To that purpose, DFT methods like mPW1PW91. B3LYP and PBEPBE were used to obtain coupling constants for a test set whose coupling constants are well known. Satisfactory results were obtained in most of cases, with the mPW1PW91/6-31G(d,p)//B3LYP/6-31G(d,p) leading the set. In a second step. B3LYP was replaced by the semiempirical methods PM6 and RM1 in the geometry optimizations. Coupling constants calculated with these latter structures were at least as good as the ones obtained by pure DFT methods. This is a promising result, because some of the main objectives of computational chemistry - low computational cost and time, allied to high performance and precision - were attained together. (C) 2012 Elsevier B.V. All rights reserved.