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?

Parasite neuropeptide biology:Seeding rational drug target selection?

The rationale for identifying drug targets within helminth neuromuscular signalling systems is based on the premise that adequate nerve and muscle function is essential for many of the key behavioural determinants of helminth parasitism, including sensory perception/host location, invasion, locomotion/orientation, attachment, feeding and reproduction. This premise is validated by the tendency of current anthelmintics to act on classical neurotransmitter-gated ion channels present on helminth nerve and/or muscle, yielding therapeutic endpoints associated with paralysis and/or death. Supplementary to classical neurotransmitters, helminth nervous systems are peptide-rich and encompass associated biosynthetic and signal transduction components - putative drug targets that remain to be exploited by anthelmintic chemotherapy. At this time, no neuropeptide system-targeting lead compounds have been reported, and given that our basic knowledge of neuropeptide biology in parasitic helminths remains inadequate, the short-term prospects for such drugs remain poor. Here, we review current knowledge of neuropeptide signalling in Nematoda and Platyhelminthes, and highlight a suite of 19 protein families that yield deleterious phenotypes in helminth reverse genetics screens. We suggest that orthologues of some of these peptidergic signalling components represent appealing therapeutic targets in parasitic helminths.

Optimising drug solubilisation in amorphous polymer dispersions: rational selection of hot-melt extrusion processing parameters

The aim of this article was to construct a T–ϕ phase diagram for a model drug (FD) and amorphous polymer (Eudragit® EPO) and to use this information to understand the impact of how temperature–composition coordinates influenced the final properties of the extrudate. Defining process boundaries and understanding drug solubility in polymeric carriers is of utmost importance and will help in the successful manufacture of new delivery platforms for BCS class II drugs. Physically mixed felodipine (FD)–Eudragit® EPO (EPO) binary mixtures with pre-determined weight fractions were analysed using DSC to measure the endset of melting and glass transition temperature. Extrudates of 10 wt% FD–EPO were processed using temperatures (110°C, 126°C, 140°C and 150°C) selected from the temperature–composition (T–ϕ) phase diagrams and processing screw speed of 20, 100 and 200rpm. Extrudates were characterised using powder X-ray diffraction (PXRD), optical, polarised light and Raman microscopy. To ensure formation of a binary amorphous drug dispersion (ADD) at a specific composition, HME processing temperatures should at least be equal to, or exceed, the corresponding temperature value on the liquid–solid curve in a F–H T–ϕ phase diagram. If extruded between the spinodal and liquid–solid curve, the lack of thermodynamic forces to attain complete drug amorphisation may be compensated for through the use of an increased screw speed. Constructing F–H T–ϕ phase diagrams are valuable not only in the understanding drug–polymer miscibility behaviour but also in rationalising the selection of important processing parameters for HME to ensure miscibility of drug and polymer.

Some Attempts in the Rational Design of Heterogeneous Catalysts Using Density Functional Theory Calculations

Heterogeneous catalysis is of great importance both industrially and academically. Rational design of heterogeneous catalysts is highly desirable, and the computational screening and design method is one of the most promising approaches for rational design of heterogeneous catalysts. Herein, we review some attempts towards the rational catalyst design using density functional theory from our group. Some general relationships and theories on the activity and selectivity are covered, such as the Brønsted–Evans–Polanyi relation, volcano curves/surfaces, chemical potentials, optimal adsorption energy window and energy descriptor of selectivity. Furthermore, the relations of these relationships and theories to the rational design are discussed, and some examples of computational screening and design method are given.

Towards rational catalyst design: a general optimization framework

Rational catalyst design is one of the most fundamental goals in heterogeneous catalysis. Herein, we briefly review our previous design work, and then introduce a general optimization framework, which converts catalyst design into an optimization problem. Furthermore, an example is given using the gradient ascent method to show how this framework can be used for rational catalyst design. This framework may be applied to other design schemes.

Classifying Rational G-Spectra for Finite G

We give a new proof that for a finite group G, the category of rational G-equivariant spectra is Quillen equivalent to the product of the model categories of chain complexes of modules over the rational group ring of the Weyl group of H in G, as H runs over the conjugacy classes of subgroups of G. Furthermore, the Quillen equivalences of our proof are all symmetric monoidal. Thus we can understand categories of algebras or modules over a ring spectrum in terms of the algebraic model.

A monoidal algebraic model for rational SO(2)-spectra

The category of rational SO(2)--equivariant spectra admits an algebraic model. That is, there is an abelian category A(SO(2)) whose derived category is equivalent to the homotopy category of rational$SO(2)--equivariant spectra. An important question is: does this algebraic model capture the smash product of spectra? The category A(SO(2)) is known as Greenlees' standard model, it is an abelian category that has no projective objects and is constructed from modules over a non--Noetherian ring. As a consequence, the standard techniques for constructing a monoidal model structure cannot be applied. In this paper a monoidal model structure on A(SO(2)) is constructed and the derived tensor product on the homotopy category is shown to be compatible with the smash product of spectra. The method used is related to techniques developed by the author in earlier joint work with Roitzheim. That work constructed a monoidal model structure on Franke's exotic model for the K_(p)--local stable homotopy category. A monoidal Quillen equivalence to a simpler monoidal model category that has explicit generating sets is also given. Having monoidal model structures on the two categories removes a serious obstruction to constructing a series of monoidal Quillen equivalences between the algebraic model and rational SO(2)--equivariant spectra.

Rational O(2)–Equivariant Spectra

The category of rational O(2)-equivariant cohomology theories has an algebraic model A(O(2)), as established by work of Greenlees. That is, there is an equivalence of categories between the homotopy category of rational O(2)-equivariant spectra and the derived category of the abelian model DA(O(2)). In this paper we lift this equivalence of homotopy categories to the level of Quillen equivalences of model categories. This Quillen equivalence is also compatible with the Adams short exact sequence of the algebraic model.

Phosphorylation Mechanism of Phosphomevalonate Kinase: Implications for Rational Engineering of Isoprenoid Biosynthetic Pathway Enzymes

Mevalonate pathway is of important clinical, pharmaceutical and biotechnological relevance. However, lack of the understanding of the phosphorylation mechanism of the kinases in this pathway has limited rationally engineering the kinases in industry. Here the phosphorylation reaction mechanism of a representative kinase in the mevalonate pathway, phosphomevalonate kinase, was studied by using molecular dynamics and hybrid QM/MM methods. We find that a conserved residue (Ser106) is reorientated to anchor ATP via a stable H-bond interaction. In addition, Ser213 located on the α-helix at the catalytic site is repositioned to further approach the substrate, facilitating the proton transfer during the phosphorylation. Furthermore, we elucidate that Lys101 functions to neutralize the negative charge developed at the β-, γ-bridging oxygen atom of ATP during phosphoryl transfer. We demonstrate that the dissociative catalytic reaction occurs via a direct phosphorylation pathway. This is the first study on the phosphorylation mechanism of a mevalonate pathway kinase. The elucidation of the catalytic mechanism not only sheds light on the common catalytic mechanism of GHMP kinase superfamily, but also provides the structural basis for engineering the mevalonate pathway kinases to further exploit their applications in the production of a wide range of fine chemicals such as biofuels or pharmaceuticals. 

Rational design of a (S)-selective-Transaminase for asymmetric synthesis of (1S)-1-(1,1'-biphenyl 2-yl)ethanamine

Amine transaminases offer an environmentally sustainable synthesis route for the production ofpure chiral amines. However, their catalytic efficiency towards bulky ketone substrates isgreatly limited by steric hindrance and therefore presents a great challenge for industrialsynthetic applications. Hereby we report an example of rational transaminase enzyme design tohelp alleviate these challenges. Starting from the Vibrio fluvialis amine transaminase that has nodetectable catalytic activity towards the bulky aromatic ketone 2-acetylbiphenyl, we employed arational design strategy combining in silico and in vitro studies to engineer the transaminaseenzyme with a minimal number of mutations, achieving an high catalytic activity and highenantioselectivity. We found that by introducing two mutations W57G/R415A detectableenzyme activity was achieved. The rationally designed best variant,W57F/R88H/V153S/K163F/I259M/R415A/V422A, showed an improvement in reaction rateby > 1716-fold towards the bulky ketone under study, producing the corresponding enantiomericpure (S)-amine (ee value of > 99%). 

GTP Cyclohydrolase I Gene Transfer Augments Intracellular Tetrahydrobiopterin in Human Endothelial Cells: Effects on Nitric Oxide Synthase Activity and Dimerisation.

Objectives: Tetrahydrobiopterin (BH4) is an essential cofactor for endothelial nitric oxide synthase (eNOS) activity. BH4 levels are regulated by de novo biosynthesis; the rate-limiting enzyme is GTP cyclohydrolase I (GTPCH). BH4 activates and promotes homodimerisation of purified eNOS protein, but the intracellular mechanisms underlying BH4-mediated eNOS regulation in endothelial cells remain less clear. We aimed to investigate the role of BH4 levels in intracellular eNOS regulation, by targeting the BH4 synthetic pathway as a novel strategy to modulate intracellular BH4 levels. Methods: We constructed a recombinant adenovirus, AdGCH, encoding human GTPCH. We infected human endothelial cells with AdGCH, investigated the changes in intracellular biopterin levels, and determined the effects on eNOS enzymatic activity, protein levels and dimerisation. Results: GTPCH gene transfer in EAhy926 endothelial cells increased BH4 >10-fold compared with controls (cells alone or control adenovirus infection), and greatly enhanced NO production in a dose-dependent, eNOS-specific manner. We found that eNOS was principally monomeric in control cells, whereas GTPCH gene transfer resulted in a striking increase in eNOS homodimerisation. Furthermore, the total amounts of both native eNOS protein and a recombinant eNOS–GFP fusion protein were significantly increased following GTPCH gene transfer. Conclusions: These findings suggest that GTPCH gene transfer is a valid approach to increase BH4 levels in human endothelial cells, and provide new evidence for the relative importance of different mechanisms underlying BH4-mediated eNOS regulation in intact human endothelial cells. Additionally, these observations suggest that GTPCH may be a rational target to augment endothelial BH4 and normalise eNOS activity in endothelial dysfunction states.

Serviceability of bridge deck slabs with arching action

The deterioration of infrastructure, such as bridges, has been one of the major challenges facing both the designers and the owners of such utilities. Sustainable development and a climate of increasing commercialism has led to a requirement for more accurate means of structural analysis. Bridge assessment is one area where this is particularly relevant. It has been known for some time that bridge deck slabs have inherent enhanced strength due to the presence of arching or compressive membrane action (CMA) but only in recent years has there been some acceptance of a rational treatment of this phenomenon for design and assessment purposes. To use the benefits of arching action, this paper presents the results of tests carried out on a reinforced-concrete beam and slab bridge in Northern Ireland that incorporated novel reinforcement type and position. The research was aimed at extending previous laboratory tests on 1/3scale bridge deck edge panels. The measured crack widths and deflections have been compared with the current code requirements.

Instrumental and interpretive methods in evaluating urban programmes

The turn within urban policy to address increasingly complex social, economic and environmental problems has exposed some of the fragility of traditional measurement models and their reliance on the rational paradigm. This article looks at the experiences of the European Union (EU) Programme for Peace and Reconciliation in Northern Ireland and its particular attempt to construct new District Partnerships to deliver area-based regeneration programmes. It highlights the need to combine instrumental and interpretative evaluation methods in an attempt to explain the wider contribution of governance to conflict resolution and participatory practice in local development. It concludes by highlighting the value of conceptual approaches that deal with the politics of evaluation and the distributional effects of policy interventions designed to create new relationships within and between multiple stakeholders.