Computational mechanics of molecular systems:quantifying high-dimensional dynamics by distribution of Poincaré recurrence times

A framework that connects computational mechanics and molecular dynamics has been developed and described. As the key parts of the framework, the problem of symbolising molecular trajectory and the associated interrelation between microscopic phase space variables and macroscopic observables of the molecular system are considered. Following Shalizi and Moore, it is shown that causal states, the constituent parts of the main construct of computational mechanics, the e-machine, define areas of the phase space that are optimal in the sense of transferring information from the micro-variables to the macro-observables. We have demonstrated that, based on the decay of their Poincare´ return times, these areas can be divided into two classes that characterise the separation of the phase space into resonant and chaotic areas. The first class is characterised by predominantly short time returns, typical to quasi-periodic or periodic trajectories. This class includes a countable number of areas corresponding to resonances. The second class includes trajectories with chaotic behaviour characterised by the exponential decay of return times in accordance with the Poincare´ theorem.

The realisation of JSD specifications in object oriented languages

Jackson System Development (JSD) is an operational software development method which addresses most of the software lifecycle either directly or by providing a framework into which more specialised techniques can fit. The method has two major phases: first an abstract specification is derived that is in principle executable; second the specification is implemented using a variety of transformations. The object oriented paradigm is based on data abstraction and encapsulation coupled to an inheritance architecture that is able to support software reuse. Its claims of improved programmer productivity and easier program maintenance make it an important technology to be considered for building complex software systems. The mapping of JSD specifications into procedural languages typified by Cobol, Ada, etc., involves techniques such as inversion and state vector separation to produce executable systems of acceptable performance. However, at present, no strategy exists to map JSD specifications into object oriented languages. The aim of this research is to investigate the relationship between JSD and the object oriented paradigm, and to identify and implement transformations capable of mapping JSD specifications into an object oriented language typified by Smalltalk-80. The direction which the transformational strategy follows is one whereby the concurrency of a specification is removed. Two approaches implementing inversion - an architectural transformation resulting in a simulated coroutine mechanism being generated - are described in detail. The first approach directly realises inversions by manipulating Smalltalk-80 system contexts. This is possible in Smalltalk-80 because contexts are first class objects and are accessible to the user like any other system object. However, problems associated with this approach are expounded. The second approach realises coroutine-like behaviour in a structure called a `followmap'. A followmap is the results of a transformation on a JSD process in which a collection of followsets is generated. Each followset represents all possible state transitions a process can undergo from the current state of the process. Followsets, together with exploitation of the class/instance mechanism for implementing state vector separation, form the basis for mapping JSD specifications into Smalltalk-80. A tool, which is also built in Smalltalk-80, supports these derived transformations and enables a user to generate Smalltalk-80 prototypes of JSD specifications.

Structural studies on antifolate drugs

Single crystal X-ray structure determinations are reported for eleven compounds all of which are either biologically active or potentially biologically important. The compounds fall into two distinct classes:- 1. Substituted diaminopyrimidines 2. Substituted aminopyrimidinones The first class of compounds were all selected on the basis of their common diaminopyrimidine nucleus which has been demonstrated to be a vital requirement for antifolate activity. They may all be described as non-classical or small molecule lipophilic dihydrofolate reductase (DHFR) inhibitors, as opposed to the classical folate analogues, having the ability to cross the blood-brain barrier, enter cells via a rapid passive diffusion process, and achieve high intracellular concentrations. Thus they are an excellent choice in the search for crystallography in the solid state, providing geometrical and distance data not available from any other analytical techniques to date; supporting and enhancing data obtained in the lower resolution studies of protein crystallography. The biological importance of these compounds is discussed and an attempt is made to relate/predict their pharmacological activity to observed structural features in the crystalline environment. Special attention is focussed on hydrogen bonding, confirmational flexibility and hydrophobicity of substituents; each of which appear to make contributions to tight binding in the enzyme active site. Chapter 9 describes the use of data from the literature and the solid state modelling of an observed enzyme-substrate interaction in an attempt to define it more accurately in terms of its geometric flexibility. Of the second class, one compound (ABPP) is reported; studies in two different crystal forms. In demonstrating both antiviral and high interferon inducing activity it is possible that this compound could be useful against cancer and also viral infections.

Requirements reflection:requirements as runtime entities

Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is mainly applied either to the software architecture or its implementation. We know of no approach that fully supports requirements reflection- that is, making requirements available as runtime objects. Although there is a body of literature on requirements monitoring, such work typically generates runtime artefacts from requirements and so the requirements themselves are not directly accessible at runtime. In this paper, we define requirements reflection and a set of research challenges. Requirements reflection is important because software systems of the future will be self-managing and will need to adapt continuously to changing environmental conditions. We argue requirements reflection can support such self-adaptive systems by making requirements first-class runtime entities, thus endowing software systems with the ability to reason about, understand, explain and modify requirements at runtime. © 2010 ACM.

On the use of software models during software execution

Increasingly software systems are required to survive variations in their execution environment without or with only little human intervention. Such systems are called "eternal software systems". In contrast to the traditional view of development and execution as separate cycles, these modern software systems should not present such a separation. Research in MDE has been primarily concerned with the use of models during the first cycle or development (i.e. during the design, implementation, and deployment) and has shown excellent results. In this paper the author argues that an eternal software system must have a first-class representation of itself available to enable change. These runtime representations (or runtime models) will depend on the kind of dynamic changes that we want to make available during execution or on the kind of analysis we want the system to support. Hence, different models can be conceived. Self-representation inevitably implies the use of reflection. In this paper the author briefly summarizes research that supports the use of runtime models, and points out different issues and research questions. © 2009 IEEE.

Representation in the first African World Cup:'world-class', Pan-Africanism, and exclusion

This paper explores the representation of the first African World Cup in the British and South African press. Drawing on the output of a variety of media outlets between 2004, when South Africa was awarded the right to host the 2010 event, and the culmination of the tournament in July 2010, this paper contends that a range of representations of Africa have been put forward by the British and South African media. These can be interpreted as alarmist, sensationalist and even racist in certain extreme instances, and hypernationalist and overly defensive in other cases. © 2012 Copyright Taylor and Francis Group, LLC.

EpiTOP—a proteochemometric tool for MHC class II binding prediction

Motivation: T-cell epitope identification is a critical immunoinformatic problem within vaccine design. To be an epitope, a peptide must bind an MHC protein. Results: Here, we present EpiTOP, the first server predicting MHC class II binding based on proteochemometrics, a QSAR approach for ligands binding to several related proteins. EpiTOP uses a quantitative matrix to predict binding to 12 HLA-DRB1 alleles. It identifies 89% of known epitopes within the top 20% of predicted binders, reducing laboratory labour, materials and time by 80%. EpiTOP is easy to use, gives comprehensive quantitative predictions and will be expanded and updated with new quantitative matrices over time.

Similarity between class A and class B G-protein-coupled receptors exemplified through calcitonin gene-related peptide receptor modelling and mutagenesis studies

Modelling class B G-protein-coupled receptors (GPCRs) using class A GPCR structural templates is difficult due to lack of homology. The plant GPCR, GCR1, has homology to both class A and class B GPCRs. We have used this to generate a class A-class B alignment, and by incorporating maximum lagged correlation of entropy and hydrophobicity into a consensus score, we have been able to align receptor transmembrane regions. We have applied this analysis to generate active and inactive homology models of the class B calcitonin gene-related peptide (CGRP) receptor, and have supported it with site-directed mutagenesis data using 122 CGRP receptor residues and 144 published mutagenesis results on other class B GPCRs. The variation of sequence variability with structure, the analysis of polarity violations, the alignment of group-conserved residues and the mutagenesis results at 27 key positions were particularly informative in distinguishing between the proposed and plausible alternative alignments. Furthermore, we have been able to associate the key molecular features of the class B GPCR signalling machinery with their class A counterparts for the first time. These include the [K/R]KLH motif in intracellular loop 1, [I/L]xxxL and KxxK at the intracellular end of TM5 and TM6, the NPXXY/VAVLY motif on TM7 and small group-conserved residues in TM1, TM2, TM3 and TM7. The equivalent of the class A DRY motif is proposed to involve Arg(2.39), His(2.43) and Glu(3.46), which makes a polar lock with T(6.37). These alignments and models provide useful tools for understanding class B GPCR function.

Statnote 33:the intra-class correlation coefficient

The intra-class correlation coefficient (ICC or ri) is a method of measuring correlation when the data are paired and therefore, should be used when experimental units are organised into groups. A useful analogy is with the unpaired or paired ‘t’ test to compare the differences between the means of two groups. In studies of reproducibility, there may actually be little difference between the ICC and Pearson’s ‘r’ for ‘true’ repeated measurements. If, however, there is a systematic change in the measurements made on the first compared with the second occasion, then the ICC will be significantly less than ‘r’, and less confidence would be placed in the reproducibility of the results.

Class I T-cell epitope prediction:improvements using a combination of proteasome cleavage, TAP affinity, and MHC binding

Cleavage by the proteasome is responsible for generating the C terminus of T-cell epitopes. Modeling the process of proteasome cleavage as part of a multi-step algorithm for T-cell epitope prediction will reduce the number of non-binders and increase the overall accuracy of the predictive algorithm. Quantitative matrix-based models for prediction of the proteasome cleavage sites in a protein were developed using a training set of 489 naturally processed T-cell epitopes (nonamer peptides) associated with HLA-A and HLA-B molecules. The models were validated using an external test set of 227 T-cell epitopes. The performance of the models was good, identifying 76% of the C-termini correctly. The best model of proteasome cleavage was incorporated as the first step in a three-step algorithm for T-cell epitope prediction, where subsequent steps predicted TAP affinity and MHC binding using previously derived models.

EpiDOCK:a molecular docking-based tool for MHC class II binding prediction

Cellular peptide vaccines contain T-cell epitopes. The main prerequisite for a peptide to act as a T-cell epitope is that it binds to a major histocompatibility complex (MHC) protein. Peptide MHC binder identification is an extremely costly experimental challenge since human MHCs, named human leukocyte antigen, are highly polymorphic and polygenic. Here we present EpiDOCK, the first structure-based server for MHC class II binding prediction. EpiDOCK predicts binding to the 23 most frequent human, MHC class II proteins. It identifies 90% of true binders and 76% of true non-binders, with an overall accuracy of 83%. EpiDOCK is freely accessible at http://epidock.ddg-pharmfac. net. © The Author 2013. Published by Oxford University Press. All rights reserved.

Caste, class and Trade Unionism in India

The caste system in India and its exploitative nature has been well researched (Siddique 2011 Gupta 2000). However, the role of caste in Indian employment relations and in particular its role in the labor movement in India is yet to be fully explored. The primary aim of this paper is to examine the rise of caste- based trade unions in India over the past decade. Specifically, we aim to examine why the lower-caste workers (historically treated as untouchables, referred to as ‘Dalits’and officially designated as Scheduled Caste and Tribes) are leaving established trade unions to organize their own unions along caste lines? While fragmentation of trade unions is a well-known phenomenon both in India and in the Western World (Shyam Sundar 2015; Connolly et al. 2014), the rise of caste based trade unions is a relatively new phenomenon which is yet to be fully explored. Caste based trade unionism appears to be counter-intuitive when the conventional logic suggests that unions are class based collective institutions which represent the interest of the working classes (Ramaswamy 1976). The Indian trade union movement has historically been fragmented along political ideological lines ranging from moderate unions affiliated to the Congress Party to the militant unions affiliated to the Communist and Socialist parties. However, the rise of caste-based trade unions of the lower caste workers is a relatively new phenomenon. Our findings from surveys and interviews with mainstream unions and caste-based trade unions suggest that the caste-based trade unions are unique in at least three ways. First, these unions are breaking away from well-established radical and militant union federations such as those affiliated to the Communist and Socialist parties. Second, these unions are predominantly organized on caste identities and not occupational identities or political ideologies. Third in unionized workplaces, lower caste workers are forming their own separate unions along caste lines with membership restricted only to workers of their own caste instead of joining the mainstream unions where present. We examine these issues using the analytical framework of Paulo Freire (1970) – dialogics, praxis and cultural oppression and relate it with the insights from comparative politics which examine the role of actors & their interests within institutions (Peters 2011).