Interface adaptor logic: A new model for interfacing peripherals in IP based designs

The introduction of standard on-chip buses has eased integration and boosted the production of IP functional cores. However, once an IP is bus specific retargeting to a different bus is time-consuming and tedious, and this reduces the reusability of the bus-specific IP. As new bus standards are introduced and different interconnection methods are proposed, this problem increases. Many solutions have been proposed, however these solutions either limit the IP block performance or are restricted to a particular platform. A new concept is presented that can connect IP blocks to a wide variety of interface architectures with low overhead. This is achieved through the use a special interface adaptor logic layer.

Exceptional overproduction of a functional human membrane protein

Eukaryotic-especially human-membrane protein overproduction remains a major challenge in biochemistry. Heterologously overproduced and purified proteins provide a starting point for further biochemical, biophysical and structural studies, and the lack of sufficient quantities of functional membrane proteins is frequently a bottleneck hindering this. Here, we report exceptionally high production levels of a correctly folded and crystallisable recombinant human integral membrane protein in its active form; human aquaporin 1 (hAQP1) has been heterologously produced in the membranes of the methylotrophic yeast Pichia pastoris. After solubilisation and a two step purification procedure, at least 90 mg hAQP1 per liter of culture is obtained. Water channel activity of this purified hAQP1 was verified by reconstitution into proteoliposomes and performing stopped-flow vesicle shrinkage measurements. Mass spectrometry confirmed the identity of hAQP1 in crude membrane preparations, and also from purified protein reconstituted into proteoliposomes. Furthermore, crystallisation screens yielded diffraction quality crystals of untagged recombinant hAQP1. This study illustrates the power of the yeast P. pastoris as a host to produce exceptionally high yields of a functionally active, human integral membrane protein for subsequent functional and structural characterization. © 2007 Elsevier Inc. All rights reserved.

Functional split and crosslinking of the membrane domain of the β subunit of proton-translocating transhydrogenase from Escherichia coli

Proton pumping nicotinamide nucleotide transhydrogenase from Escherichia coli contains an α subunit with the NAD(H)-binding domain I and a β subunit with the NADP(H)-binding domain III. The membrane domain (domain II) harbors the proton channel and is made up of the hydrophobic parts of the α and β subunits. The interface in domain II between the α and the β subunits has previously been investigated by cross-linking loops connecting the four transmembrane helices in the α subunit and loops connecting the nine transmembrane helices in the β subunit. However, to investigate the organization of the nine transmembrane helices in the β subunit, a split was introduced by creating a stop codon in the loop connecting transmembrane helices 9 and 10 by a single mutagenesis step, utilizing an existing downstream start codon. The resulting enzyme was composed of the wild-type α subunit and the two new peptides β1 and β2. As compared to other split membrane proteins, the new transhydrogenase was remarkably active and catalyzed activities for the reduction of 3-acetylpyridine-NAD + by NADPH, the cyclic reduction of 3-acetylpyridine-NAD + by NADH (mediated by bound NADP(H)), and proton pumping, amounting to about 50-107% of the corresponding wild-type activities. These high activities suggest that the α subunit was normally folded, followed by a concerted folding of β1 + β2. Cross-linking of a βS105C-βS237C double cysteine mutant in the functional split cysteine-free background, followed by SDS-PAGE analysis, showed that helices 9, 13, and 14 were in close proximity. This is the first time that cross-linking between helices in the same β subunit has been demonstrated.

The implementation of a functional query language front-end to a relational database system. Available in 2 volumes.

Database systems have a user interface one of the components of which will normally be a query language which is based on a particular data model. Typically data models provide primitives to define, manipulate and query databases. Often these primitives are designed to form self-contained query languages. This thesis describes a prototype implementation of a system which allows users to specify queries against the database in a query language whose primitives are not those provided by the actual model on which the database system is based, but those provided by a different data model. The implementation chosen is the Functional Query Language Front End (FQLFE). This uses the Daplex functional data model and query language. Using FQLFE, users can specify the underlying database (based on the relational model) in terms of Daplex. Queries against this specified view can then be made in Daplex. FQLFE transforms these queries into the query language (Quel) of the underlying target database system (Ingres). The automation of part of the Daplex function definition phase is also described and its implementation discussed.

A unification-based natural language interface to a database.

An implementation of a Lexical Functional Grammar (LFG) natural language front-end to a database is presented, and its capabilities demonstrated by reference to a set of queries used in the Chat-80 system. The potential of LFG for such applications is explored. Other grammars previously used for this purpose are briefly reviewed and contrasted with LFG. The basic LFG formalism is fully described, both as to its syntax and semantics, and the deficiencies of the latter for database access application shown. Other current LFG implementations are reviewed and contrasted with the LFG implementation developed here specifically for database access. The implementation described here allows a natural language interface to a specific Prolog database to be produced from a set of grammar rule and lexical specifications in an LFG-like notation. In addition to this the interface system uses a simple database description to compile metadata about the database for later use in planning the execution of queries. Extensions to LFG's semantic component are shown to be necessary to produce a satisfactory functional analysis and semantic output for querying a database. A diverse set of natural language constructs are analysed using LFG and the derivation of Prolog queries from the F-structure output of LFG is illustrated. The functional description produced from LFG is proposed as sufficient for resolving many problems of quantification and attachment.

The development of functional in vitro toxicity tests

In vitro toxicity tests which detect evidence of the formation of reactive metabolites have previously relied upon cell death as a toxicity end point. Therefore these tests determine cytotoxicity in terms of quantitative changes in specified cell functions. In the studies involving the CaC0-2 cell model, there was no significant change in the transport of [3H] L-proline by the cell after eo-incubation with either dapsone or cyclophosphamide (50µM) and rat liver microsomal metabolite generating system. The pre incubation of the cells with N-ethylmalemide to inhibit Phase II sulphotransferase activity, prior to the microsomal incubations, resulted in cytotoxcity in all incubation groups. Studies involving the L6 cell model showed that there was no significant effect in the cell signalling pathway producing the second messenger cAMP, after incubation with dapsone or cyclophosphamide (50µM) and the rat microsomal metabolite generating system. There was also no significant affect on the vasopressin stimulated production of the second messenger IP3, after incubation with the hydroxylamine metabolite of dapsone, although there were some morphological changes observed with the cells at the highest concentration of dapsone hydroxylamine (100µM). With the test involving the NG115-401 L-C3 cell model, there was no significant changes in DNA synthesis in terms of [3H] thymidine incorporation, after eo-incubation with either phenytoin or cyclophosphamide (50µM) and the rat microsomal metabolite generating system. In the one compartment erythrocyte studies, there were significant decreases in glutathione with cyclophosphamide (50µM) (0.44 ± 0.04 mM), sulphamethoxazole (50µM) (0.43 ± 0.08mM) and carbamazepine (50µM) (0.47 ± 0.034 mM), when eoincubated with the rat microsomal system, compared to the control (0.52 ± 0.07mM). There was no significant depletion in glutathione when the erythrocytes were eoincubated with phenytoin and the rat microsomal system. In the two compartment erythrocyte studies, there was a significant decrease in the erythrocyte glutathione with cyclophosphamide (50µM) (0.953 ± 0110mM) when co-incubated the rat microsomal system, compared to the control (1.124 ± 0.032mM). Differences were considered statistically significant for p<0.05, using the Student's two tailed 't' test with Bonferroni's correction. There was no significant depletion of glutathione with phenytoin, carbamazepine and sulphamethoxazole when co-incubated with the rat microsomalsystem, compared to the control.

Translation as an ideological interface : English translations of Hitler's Mein Kampf

The present thesis is located within the framework of descriptive translation studies and critical discourse analysis. Modern translation studies have increasingly taken into account the complexities of power relations and ideological management involved in the production of translations. Paradoxically, persuasive political discourse has not been much touched upon, except for studies following functional (e.g. Schäffner 2002) or systemic-linguistic approaches (e.g. Calzada Pérez 2001). By taking 11 English translations of Hitler’s Mein Kampf as prime examples, the thesis aims to contribute to a better understanding of the translation of politically sensitive texts. Actors involved in political discourse are usually more concerned with the emotional appeal of their message than they are with its factual content. When such political discourse becomes the locus of translation, it may equally be crafted rhetorically, being used as a tool to persuade. It is thus the purpose of the thesis to describe subtle ‘persuasion strategies’ in institutionally translated political discourse. The subject of the analysis is an illustrative corpus of four full-text translations, two abridgements, and five extract translations of Mein Kampf. Methodologically, the thesis pursues a top-down approach. It begins by delineating sociocultural and situative-agentive conditions as causal factors impinging on the individual translations. Such interactive and interpersonal factors determined textual choices. The overall textual analysis consists of an interrelated corpus-driven and corpus-based approach. It demonstrates how corpus software can be fruitfully harnessed to discern ‘ideological significations’ in the translated texts. Altogether, the thesis investigates how translational decision-makers attempted to position the source text author and his narrative in line with overall rhetorical purposes.

User interface design support for the development of knowledge-based systems

The present scarcity of operational knowledge-based systems (KBS) has been attributed, in part, to an inadequate consideration shown to user interface design during development. From a human factors perspective the problem has stemmed from an overall lack of user-centred design principles. Consequently the integration of human factors principles and techniques is seen as a necessary and important precursor to ensuring the implementation of KBS which are useful to, and usable by, the end-users for whom they are intended. Focussing upon KBS work taking place within commercial and industrial environments, this research set out to assess both the extent to which human factors support was presently being utilised within development, and the future path for human factors integration. The assessment consisted of interviews conducted with a number of commercial and industrial organisations involved in KBS development; and a set of three detailed case studies of individual KBS projects. Two of the studies were carried out within a collaborative Alvey project, involving the Interdisciplinary Higher Degrees Scheme (IHD) at the University of Aston in Birmingham, BIS Applied Systems Ltd (BIS), and the British Steel Corporation. This project, which had provided the initial basis and funding for the research, was concerned with the application of KBS to the design of commercial data processing (DP) systems. The third study stemmed from involvement on a KBS project being carried out by the Technology Division of the Trustees Saving Bank Group plc. The preliminary research highlighted poor human factors integration. In particular, there was a lack of early consideration of end-user requirements definition and user-centred evaluation. Instead concentration was given to the construction of the knowledge base and prototype evaluation with the expert(s). In response to this identified problem, a set of methods was developed that was aimed at encouraging developers to consider user interface requirements early on in a project. These methods were then applied in the two further projects, and their uptake within the overall development process was monitored. Experience from the two studies demonstrated that early consideration of user interface requirements was both feasible, and instructive for guiding future development work. In particular, it was shown a user interface prototype could be used as a basis for capturing requirements at the functional (task) level, and at the interface dialogue level. Extrapolating from this experience, a KBS life-cycle model is proposed which incorporates user interface design (and within that, user evaluation) as a largely parallel, rather than subsequent, activity to knowledge base construction. Further to this, there is a discussion of several key elements which can be seen as inhibiting the integration of human factors within KBS development. These elements stem from characteristics of present KBS development practice; from constraints within the commercial and industrial development environments; and from the state of existing human factors support.

Identification of the HLA-DM/HLA-DR interface

Human leukocyte antigen (HLA)-DM is a critical participant in antigen presentation that catalyzes the dissociation of the Class II-associated Invariant chain-derived Peptide (CLIP) from the major histocompatibility complex (MHC) Class II molecules. There is competition amongst peptides for access to an MHC Class II groove and it has been hypothesised that DM functions as a 'peptide editor' that catalyzes the replacement of one peptide for another within the groove. It is established that the DM catalyst interacts directly with the MHC Class II but the precise location of the interface is unknown. Here, we combine previously described mutational data with molecular docking and energy minimisation simulations to identify a putative interaction site of >4000A2 which agrees with known point mutational data for both the DR and DM molecule. The docked structure is validated by comparison with experimental data and previously determined properties of protein-protein interfaces. A possible dissociation mechanism is suggested by the presence of an acidic cluster near the N terminus of the bound peptide.

Molecular and genetic evidence for abnormalities in the nodes of Ranvier in schizophrenia

Context: Genetic, neuroimaging, and molecular neurobiological evidence support the hypothesis that the disconnectivity syndrome in schizophrenia (SZ) could arise from failures of saltatory conduction and abnormalities at the nodes of Ranvier (NOR) interface where myelin and axons interact. Objective: To identify abnormalities in the expression of oligodendroglial genes and proteins that participate in the formation, maintenance, and integrity of the NOR in SZ. Design: The messenger RNA (mRNA) expression levels of multiple NOR genes were quantified in 2 independent postmortem brain cohorts of individuals with SZ, and generalizability to protein expression was confirmed. The effect of the ANK3 genotype on the mRNA expression level was tested in postmortem human brain. Case-control analysis tested the association of the ANK3 genotype with SZ. The ANK3 genotype's influence on cognitive task performance and functional magnetic resonance imaging activation was tested in 2 independent cohorts of healthy individuals. Setting: Research hospital. Patients: Postmortem samples from patients with SZ and healthy controls were used for the brain expression study (n=46) and the case-control analysis (n=272). Healthy white men and women participated in the cognitive (n=513) and neuroimaging (n=52) studies. Main Outcome Measures: The mRNA and protein levels in postmortem brain samples, genetic association with schizophrenia, cognitive performance, and blood oxygenation level-dependent functional magnetic resonance imaging. Results: The mRNA expression of multiple NOR genes was decreased in schizophrenia. The ANK3 rs9804190 C allele was associated with lower ANK3 mRNA expression levels, higher risk for SZ in the case-control cohort, and poorer working memory and executive function performance and increased prefrontal activation during a working memory task in healthy individuals. Conclusions: These results point to abnormalities in the expression of genes and protein associated with the integrity of the NOR and suggest them as substrates for the disconnectivity syndrome in SZ. The association of ANK3 with lower brain mRNA expression levels implicates a molecular mechanism for its genetic, clinical, and cognitive associations with SZ. ©2012 American Medical Association. All rights reserved.

Teallach - a flexible user - interface development environment for object database applications

The Teallach project has adapted model-based user-interface development techniques to the systematic creation of user-interfaces for object-oriented database applications. Model-based approaches aim to provide designers with a more principled approach to user-interface development using a variety of underlying models, and tools which manipulate these models. Here we present the results of the Teallach project, describing the tools developed and the flexible design method supported. Distinctive features of the Teallach system include provision of database-specific constructs, comprehensive facilities for relating the different models, and support for a flexible design method in which models can be constructed and related by designers in different orders and in different ways, to suit their particular design rationales. The system then creates the desired user-interface as an independent, fully functional Java application, with automatically generated help facilities.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

Virtual Instruments – Functional Model, Organization and Programming Architecture

∗ Thematic Harmonisation in Electrical and Information EngineeRing in Europe,Project Nr. 10063-CP-1-2000-1-PT-ERASMUS-ETNE.

Existence Results for Fractional Functional Differential Inclusions with Infinite Delay and Applications to Control Theory

Mathematics Subject Classification: 26A33, 34A60, 34K40, 93B05

Impulsive Partial Hyperbolic Functional Differential Equations of Fractional Order with State-Dependent Delay

MSC 2010: 26A33, 34A37, 34K37, 34K40, 35R11