Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming.

We present a general approach to forming structure-activity relationships (SARs). This approach is based on representing chemical structure by atoms and their bond connectivities in combination with the inductive logic programming (ILP) algorithm PROGOL. Existing SAR methods describe chemical structure by using attributes which are general properties of an object. It is not possible to map chemical structure directly to attribute-based descriptions, as such descriptions have no internal organization. A more natural and general way to describe chemical structure is to use a relational description, where the internal construction of the description maps that of the object described. Our atom and bond connectivities representation is a relational description. ILP algorithms can form SARs with relational descriptions. We have tested the relational approach by investigating the SARs of 230 aromatic and heteroaromatic nitro compounds. These compounds had been split previously into two subsets, 188 compounds that were amenable to regression and 42 that were not. For the 188 compounds, a SAR was found that was as accurate as the best statistical or neural network-generated SARs. The PROGOL SAR has the advantages that it did not need the use of any indicator variables handcrafted by an expert, and the generated rules were easily comprehensible. For the 42 compounds, PROGOL formed a SAR that was significantly (P < 0.025) more accurate than linear regression, quadratic regression, and back-propagation. This SAR is based on an automatically generated structural alert for mutagenicity.

Trans-dominant inhibitory human immunodeficiency virus type 1 protease monomers prevent protease activation and virion maturation.

Production of infectious human immunodeficiency virus (HIV) requires proper polyprotein processing by the dimeric viral protease. The trans-dominant inhibitory activity of a defective protease monomer with the active site Asp-25 changed to Asn was measured by transient transfection. A proviral plasmid that included the drug-selectable Escherichia coli gpt gene was used to deliver the wild-type (wt) or mutant proteases to cultured cells. Coexpression of the wt proviral DNA (HIV-gpt) with increasing amounts of the mutant proviral DNA (HIV-gpt D25N) results in a concomitant decrease in proteolytic activity monitored by in vivo viral polyprotein processing. The viral particles resulting from inactivation of the protease were mostly immature, consisting predominantly of unprocessed p55gag and p160gag-pol polyproteins. In the presence of HIV-1 gp160 env, the number of secreted noninfectious particles correlated with the presence of increasing amounts of the defective protease. Greater than 97% reduction in infectivity was observed at a 1:6 ratio of wt to defective protease DNA. This provides an estimate of the level of inhibition required for effectively preventing virion processing. Stable expression of the defective protease in monkey cells reduced the yield of infectious particles from these cells by 90% upon transfection with the wt proviral DNA. These results show that defective subunits of the viral protease exert a trans-dominant inhibitory effect resulting from the formation of catalytically compromised heterodimers in vivo, ultimately yielding noninfectious viral particles.

Single-headed myosin II acts as a dominant negative mutation in Dictyostelium.

Conventional myosin II is an essential protein for cytokinesis, capping of cell surface receptors, and development of Dictyostelium cells. Myosin II also plays an important role in the polarization and movement of cells. All conventional myosins are double-headed molecules but the significance of this structure is not understood since single-headed myosin II can produce movement and force in vitro. We found that expression of the tail portion of myosin II in Dictyostelium led to the formation of single-headed myosin II in vivo. The resultant cells contain an approximately equal ratio of double- and single-headed myosin II molecules. Surprisingly, these cells were completely blocked in cytokinesis and capping of concanavalin A receptors although development into fruiting bodies was not impaired. We found that this phenotype is not due to defects in myosin light chain phosphorylation. These results show that single-headed myosin II cannot function properly in vivo and that it acts as a dominant negative mutation for myosin II function. These results suggest the possibility that cooperativity of myosin II heads is critical for force production in vivo.

Lymphocytes selected in allogeneic thymic epithelium mediate dominant tolerance toward tissue grafts of the thymic epithelium haplotype.

Athymic mice grafted at birth with allogeneic thymic epithelium (TE) from day 10 embryos before hematopoietic cell colonization reconstitute normal numbers of T cells and exhibit full life-long tolerance to skin grafts of the TE haplotype. Intravenous transfers of splenic cells, from these animals to adult syngeneic athymic recipients, reconstitute T-cell compartments and the ability to reject third-party skin grafts. The transfer of specific tolerance to skin grafts of the TE donor strain, however, is not observed in all reconstituted recipients, and the fraction of nontolerant recipients increases with decreasing numbers of cells transferred. Furthermore, transfers of high numbers of total or CD4+ T cells from TE chimeras to T-cell receptor-anti-H-Y antigen transgenic immunocompetent syngeneic hosts specifically hinder the rejection of skin grafts of the TE haplotype that normally occurs in such recipients. These observations demonstrate (i) that mice tolerized by allogeneic TE and bearing healthy skin grafts harbor peripheral immunocompetent T cells capable of rejecting this very same graft; and (ii) that TE selects for regulatory T cells that can inhibit effector activities of graft-reactive cells.

Multiple loci govern the bone marrow-derived immunoregulatory mechanism controlling dominant resistance to autoimmune orchitis.

The existence of immunoregulatory genes conferring dominant resistance to autoimmunity is well documented. In an effort to better understand the nature and mechanisms of action of these genes, we utilized the murine model of autoimmune orchitis as a prototype. When the orchitis-resistant strain DBA/2J is crossed with the orchitis-susceptible strain BALB/cByJ, the F1 hybrid is completely resistant to the disease. By using reciprocal radiation bone marrow chimeras, the functional component mediating this resistance was mapped to the bone marrow-derived compartment. Resistance is not a function of either low-dose irradiation- or cyclophosphamide (20 mg/kg)-sensitive immunoregulatory cells, but can be adoptively transferred by primed splenocytes. Genome exclusion mapping identified three loci controlling the resistant phenotype. Orch3 maps to chromosome 11, whereas Orch4 and Orch5 map to the telomeric and centromeric regions of chromosome 1, respectively. All three genes are linked to a number of immunologically relevant candidate loci. Most significant, however, is the linkage of Orch3 to Idd4 and Orch5 to Idd5, two susceptibility genes which play a role in autoimmune insulin-dependent type 1 diabetes mellitus in the nonobese diabetic mouse.

A dominant-negative mutant of human poly(ADP-ribose) polymerase affects cell recovery, apoptosis, and sister chromatid exchange following DNA damage.

Poly(ADP-ribose) polymerase [PARP; NAD+ ADP-ribosyltransferase; NAD+:poly(adenosine-diphosphate-D-ribosyl)-acceptor ADP-D-ribosyltransferase, EC 2.4.2.30] is a zinc-dependent eukaryotic DNA-binding protein that specifically recognizes DNA strand breaks produced by various genotoxic agents. To study the biological function of this enzyme, we have established stable HeLa cell lines that constitutively produce the 46-kDa DNA-binding domain of human PARP (PARP-DBD), leading to the trans-dominant inhibition of resident PARP activity. As a control, a cell line was constructed, producing a point-mutated version of the DBD, which has no affinity for DNA in vitro. Expression of the PARP-DBD had only a slight effect on undamaged cells but had drastic consequences for cells treated with genotoxic agents. Exposure of cell lines expressing the wild-type (wt) or the mutated PARP-DBD, with low doses of N-methyl-N'-nitro-N-nitrosoguanidine (MNNG) resulted in an increase in their doubling time, a G2 + M accumulation, and a marked reduction in cell survival. However, UVC irradiation had no preferential effect on the cell growth or viability of cell lines expressing the PARP-DBD. These PARP-DBD-expressing cells treated with MNNG presented the characteristic nucleosomal DNA ladder, one of the hallmarks of cell death by apoptosis. Moreover, these cells exhibited chromosomal instability as demonstrated by higher frequencies of both spontaneous and MNNG-induced sister chromatid exchanges. Surprisingly, the line producing the mutated DBD had the same behavior as those producing the wt DBD, indicating that the mechanism of action of the dominant-negative mutant involves more than its DNA-binding function. Altogether, these results strongly suggest that PARP is an element of the G2 checkpoint in mammalian cells.

Dominant-negative action of the jimpy mutation in mice complemented with an autosomal transgene for myelin proteolipid protein.

Mutations in genes encoding membrane proteins have been associated with cell death of unknown cause from invertebrate development to human degenerative diseases. A point mutation in the gene for myelin proteolipid protein (PLP) underlies oligodendrocyte death and dysmyelination in jimpy mice, an accurate model for Pelizaeus-Merzbacher disease. To distinguish the loss of PLP function from other effects of the misfolded protein, we took advantage of the X chromosomal linkage of the gene and have complemented jimpy with a wild-type PLP transgene. In this artificial heterozygous situation, the jimpy mutation emerged as genetically dominant. At the cellular level oligodendrocytes showed little increase in survival although endogenous PLP gene and autosomal transgene were truly coexpressed. In surviving oligodendrocytes, wild-type PLP was functional and immunodetectable in myelin. Moreover, compacted myelin sheaths regained their normal periodicity. This strongly suggests that, despite the presence of functional wild-type PLP, misfolded jimpy PLP is by itself the primary cause of abnormal oligodendrocyte death.

Discursive constructions of social and environmental accounting in Brazil: the case of Petrobras.

In the 29 years following \"Our Common Future\" by the United Nations, there is considerable debate among governments, civil society, interest groups and business organisations about what constitutes sustainable development, which constitutes evidence for a contested discourse concerning sustainability. The purpose of this study is to understand this debate in the developing economic context of Brazil, and in particular, to understand and critique the social and environmental accounting [SEA] discursive constructions relating to the State-owned, Petrobras as well as to understand the Brazilian literature on SEA. The discourse theory [DT]-based analysis employs rhetorical redescription to analyse twenty-two reports from Petrobras from 2004-2013. I investigate the political notions by employing the methodological framework of the Logics of Critical Explanation [LCE]. LCE engenders five methodological steps: problematisation, retroduction, logics (social, political and fantasmatic), articulation and critique. The empirical discussion suggests that the hegemony of economic development operates to obfuscate, rhetorically, the development of sustainability, so as to maintain the core business of Petrobras conceived as capital accumulation. Equally, these articulations also illustrate how the constructions of SEA operate to serve the company\'s purpose with few (none) profound changes in integration of sustainability. The Brazilian literature on SEA sustains the status quo of neo-liberal market policies that operate to protect the dominant business case approach to maintain an agenda of wealth-creation in relation to social and environmental needs. The articulations of the case manifested in policies regarding, for example, corruption, which involved over-payments for contracts and unsustainable practices relating to the use of fossil fuels and demonstrated that there was antagonism between action and disclosure. The corruption scandal that emerged after SEA disclosures highlighted the rhetorical nature of disclosure when financial resources were subtracted from the company for political parties and engineering contractors hid facts through incomplete disclosures. The articulations of SEA misrepresent a broader context of the meanings associated with sustainability, which restricted the constructions of SEA to principally serve and represent the intention of the most powerful groups. The significance of SEA, then is narrowed to represent particular interests. The study argues for more critical studies as limited Brazilian literature concerning SEA kept a \'safe distance\' from substantively critiquing the constructions of SEA and its articulations in the Brazilian context. The literature review and the Petrobras\' case illustrate a variety of naming, instituting and articulatory practices that endeavour to maintain the current hegemony of development in an emerging economy, which allows Petrobras to continue to exercise significant profit at the expense of the social and environmental. The constructed idea of development in Petrobras\' discourses emphasises a rhetoric of wider development, but, in reality, these discourses were the antithesis of political, social and ethical developmental issues. These constructions aim to hide struggles between social inequalities and exploitation of natural resources and constitute excuses about a fanciful notion of rhetorical and hegemonic neo-liberal development. In summary, this thesis contributes to the prior literature in five ways: (i) the addition of DT to the analysis of SEA enhances the discussion of political elements such as hegemony, antagonism, logic of equivalence/difference, ideology and articulation; (ii) the analysis of an emerging economy such as Brazil incorporates a new perspective of the discussion of the discourses of SEA and development; (iii) this thesis includes a focus on rhetoric to discuss the maintenance of the status quo; (iv) the holistic structure of the LCE approach enlarges the understanding of the social, political and fantasmatic logics of SEA studies and; (v) this thesis combines an analysis of the literature and the case of Petrobras to characterise and critique the state of the Brazilian academy and its impacts and reflections on the significance of SEA. This thesis, therefore, argues for more critical studies in the Brazilian academy due to the persistence of idea of SEA and development that takes-for-granted deep exclusions and contradictions and provide little space for critiques.

Clarity, Light, and Logic : Parallels between Olafur Eliasson’s The weather project and the Gothic Cathedral

This Master’s Research Paper investigates Olafur Eliasson’s The weather project as a case study for the dialogue between Gothic artistic principles and prominent elements of contemporary art. A product of a post-modern mindset, weakened historicity allows us to examine these connections anew; past, present, and future blur and artists (and viewers) have the whole of time from which to gain inspiration and meaning in works of art. I demonstrate similarities through theories on phenomenology; the spatiotemporal relationship between viewer and artwork; the convergence of art and science; and the communal, quasi-liminal experience of pilgrimage. I embrace Eliasson’s belief in the self-reflexive potential of art and the importance of the viewer’s own values, memories, and methods of seeing. This new interpretive layer will hopefully offer a richer experience for future participants of both Gothic cathedrals and environments produced by Studio Olafur Eliasson.

An approach based on Logic Forms and WordNet relationships to Textual Entailment performance

This paper outlines the approach adopted by the PLSI research group at University of Alicante in the PASCAL-2006 second Recognising Textual Entailment challenge. Our system is composed of several components. On the one hand, the first component performs the derivation of the logic forms of the text/hypothesis pairs and, on the other hand, the second component provides us with a similarity score given by the semantic relations between the derived logic forms. In order to obtain this score we apply several measures of similitude and relatedness based on the structure and content of WordNet.

Applying logic forms and statistical methods to CL-SR performance

This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.

An application of fuzzy logic for hardware/software partitioning in embedded systems

Hardware/Software partitioning (HSP) is a key task for embedded system co-design. The main goal of this task is to decide which components of an application are to be executed in a general purpose processor (software) and which ones, on a specific hardware, taking into account a set of restrictions expressed by metrics. In last years, several approaches have been proposed for solving the HSP problem, directed by metaheuristic algorithms. However, due to diversity of models and metrics used, the choice of the best suited algorithm is an open problem yet. This article presents the results of applying a fuzzy approach to the HSP problem. This approach is more flexible than many others due to the fact that it is possible to accept quite good solutions or to reject other ones which do not seem good. In this work we compare six metaheuristic algorithms: Random Search, Tabu Search, Simulated Annealing, Hill Climbing, Genetic Algorithm and Evolutionary Strategy. The presented model is aimed to simultaneously minimize the hardware area and the execution time. The obtained results show that Restart Hill Climbing is the best performing algorithm in most cases.

Logic hybrid simulation-optimization algorithm for distillation design

In this paper, we propose a novel algorithm for the rigorous design of distillation columns that integrates a process simulator in a generalized disjunctive programming formulation. The optimal distillation column, or column sequence, is obtained by selecting, for each column section, among a set of column sections with different number of theoretical trays. The selection of thermodynamic models, properties estimation etc., are all in the simulation environment. All the numerical issues related to the convergence of distillation columns (or column sections) are also maintained in the simulation environment. The model is formulated as a Generalized Disjunctive Programming (GDP) problem and solved using the logic based outer approximation algorithm without MINLP reformulation. Some examples involving from a single column to thermally coupled sequence or extractive distillation shows the performance of the new algorithm.

Truth Values in t-norm based Systems Many-valued FUZZY Logic

In t-norm based systems many-valued logic, valuations of propositions form a non-countable set: interval [0,1]. In addition, we are given a set E of truth values p, subject to certain conditions, the valuation v is v=V(p), V reciprocal application of E on [0,1]. The general propositional algebra of t-norm based many-valued logic is then constructed from seven axioms. It contains classical logic (not many-valued) as a special case. It is first applied to the case where E=[0,1] and V is the identity. The result is a t-norm based many-valued logic in which contradiction can have a nonzero degree of truth but cannot be true; for this reason, this logic is called quasi-paraconsistent.

Paraconsistent Multivalued Logic and Coincidentia Oppositorum: Evaluation with Complex Numbers

Paraconsistent logic admits that the contradiction can be true. Let p be the truth values and P be a proposition. In paraconsistent logic the truth values of contradiction is . This equation has no real roots but admits complex roots . This is the result which leads to develop a multivalued logic to complex truth values. The sum of truth values being isomorphic to the vector of the plane, it is natural to relate the function V to the metric of the vector space R2. We will adopt as valuations the norms of vectors. The main objective of this paper is to establish a theory of truth-value evaluation for paraconsistent logics with the goal of using in analyzing ideological, mythical, religious and mystic belief systems.