Rational Partial Choice Functions and Their Application to Belief Revision.

Necessary and sufficient conditions for choice functions to be rational have been intensively studied in the past. However, in these attempts, a choice function is completely specified. That is, given any subset of options, called an issue, the best option over that issue is always known, whilst in real-world scenarios, it is very often that only a few choices are known instead of all. In this paper, we study partial choice functions and investigate necessary and sufficient rationality conditions for situations where only a few choices are known. We prove that our necessary and sufficient condition for partial choice functions boils down to the necessary and sufficient conditions for complete choice functions proposed in the literature. Choice functions have been instrumental in belief revision theory. That is, in most approaches to belief revision, the problem studied can simply be described as the choice of possible worlds compatible with the input information, given an agent’s prior belief state. The main effort has been to devise strategies in order to infer the agents revised belief state. Our study considers the converse problem: given a collection of input information items and their corresponding revision results (as provided by an agent), does there exist a rational revision operation used by the agent and a consistent belief state that may explain the observed results?

Secure Implementation in Production Economies

This paper shows that, in production economies, the generalized serial social choice functions defined by Shenker (1992) are securely implementable (in the sense of Saijo et al., 2007) and that they include the well-known fixed path social choice functions.

Parametric CAD model based shape optimization using adjoint functions

Adjoint methods have proven to be an efficient way of calculating the gradient of an objective function with respect to a shape parameter for optimisation, with a computational cost nearly independent of the number of the design variables [1]. The approach in this paper links the adjoint surface sensitivities (gradient of objective function with respect to the surface movement) with the parametric design velocities (movement of the surface due to a CAD parameter perturbation) in order to compute the gradient of the objective function with respect to CAD variables.
For a successful implementation of shape optimization strategies in practical industrial cases, the choice of design variables or parameterisation scheme used for the model to be optimized plays a vital role. Where the goal is to base the optimization on a CAD model the choices are to use a NURBS geometry generated from CAD modelling software, where the position of the NURBS control points are the optimisation variables [2] or to use the feature based CAD model with all of the construction history to preserve the design intent [3]. The main advantage of using the feature based model is that the optimized model produced can be directly used for the downstream applications including manufacturing and process planning.
This paper presents an approach for optimization based on the feature based CAD model, which uses CAD parameters defining the features in the model geometry as the design variables. In order to capture the CAD surface movement with respect to the change in design variable, the “Parametric Design Velocity” is calculated, which is defined as the movement of the CAD model boundary in the normal direction due to a change in the parameter value.
The approach presented here for calculating the design velocities represents an advancement in terms of capability and robustness of that described by Robinson et al. [3]. The process can be easily integrated to most industrial optimisation workflows and is immune to the topology and labelling issues highlighted by other CAD based optimisation processes. It considers every continuous (“real value”) parameter type as an optimisation variable, and it can be adapted to work with any CAD modelling software, as long as it has an API which provides access to the values of the parameters which control the model shape and allows the model geometry to be exported. To calculate the movement of the boundary the methodology employs finite differences on the shape of the 3D CAD models before and after the parameter perturbation. The implementation procedure includes calculating the geometrical movement along a normal direction between two discrete representations of the original and perturbed geometry respectively. Parametric design velocities can then be directly linked with adjoint surface sensitivities to extract the gradients to use in a gradient-based optimization algorithm.
The optimisation of a flow optimisation problem is presented, in which the power dissipation of the flow in an automotive air duct is to be reduced by changing the parameters of the CAD geometry created in CATIA V5. The flow sensitivities are computed with the continuous adjoint method for a laminar and turbulent flow [4] and are combined with the parametric design velocities to compute the cost function gradients. A line-search algorithm is then used to update the design variables and proceed further with optimisation process.

Cognitive inhibition and interference in dissociative indentity disorder: the effects of anxiety on specific executive functions:The effects of anxiety on specific executive functions

Using an experimentally based, computer-presented task, this study assessed cognitive inhibition and interference in individuals from the dissociative identity disorder (DID; n=12), generalized anxiety disorder (GAD; n=12) and non-clinical (n=12) populations. Participants were assessed in a neutral and emotionally negative (anxiety provoking) context, manipulated by experimental instructions and word stimuli. The DID sample displayed effective cognitive inhibition in the neutral but not the anxious context. The GAD sample displayed the opposite findings. However, the interaction between group and context failed to reach significance. There was no indication of an attentional bias to non-schema specific negative words in any sample. Results are discussed in terms of the potential benefit of weakened cognitive inhibition during anxious arousal in dissociative individuals.

BRCA1 Functions as a Differential Modulator of Chemotherapy-induced Apoptosis

We have evaluated the role played by BRCA1 in mediating the phenotypic response to a range of chemotherapeutic agents commonly used in cancer treatment. Here we provide evidence that BRCA1 functions as a differential mediator of chemotherapy-induced apoptosis. Specifically, we demonstrate that BRCA1 mediates sensitivity to apoptosis induced by antimicrotubule agents but conversely induces resistance to DNA-damaging agents. These data are supported by a variety of experimental models including cells with inducible expression of BRCA1, siRNA-mediated inactivation of endogenous BRCA1, and reconstitution of BRCA1-deficient cells with wild-type BRCA1. Most notably we demonstrate that BRCA1 induces a 10–1000-fold increase in resistance to a range of DNA-damaging agents, in particular those that give rise to double-strand breaks such as etoposide or bleomycin. In contrast, BRCA1 induces a >1000-fold increase in sensitivity to the spindle poisons, paclitaxel and vinorelbine. Fluorescence-activated cell sorter analysis demonstrated that BRCA1 mediates G2/M arrest in response to both antimicrotubule and DNA-damaging agents. However, poly(ADP-ribose) polymerase and caspase-3 cleavage assays indicate that the differential effect mediated by BRCA1 in response to these agents occurs through the inhibition or induction of apoptosis. Therefore, our data suggest that BRCA1 acts as a differential modulator of apoptosis depending on the nature of the cellular insult.