Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

British industrial relations pluralism in the era of neoliberalism

This article provides a broad overview of the pluralist tradition in UK industrial relations scholarship, identifying its defining characteristics and mapping its evolution in recent decades. It deals in turn with the following: the appreciation of the relative interests of workers and employers that lies at the heart of the pluralist frame of reference, the research agenda that flows from this understanding, pluralist conceptions of context and agency within industrial relations, the standards that pluralists habitually use when assessing the employment relationship, the targets and modes of critique that pluralists direct against intellectual opponents, and the prescriptions that pluralists offer for industrial relations reform. Throughout the article there is a focus on change within the pluralist tradition and the manner in which it has adapted to the hegemony of neoliberalism in the realms of both ideas and policy

Percepção de estudantes de psicologia sobre a informática em sua formação profissional

Neste artigo analisa-se uma pesquisa de natureza qualitativa, cujo objetivo era explorar a percepção de 45 alunos de psicologia de diferentes universidades da cidade de Santiago do Chile, sobre a incorporação da informática como apoio para a aprendizagem em sua formação profissional. A informação foi coletada através de entrevistas semiestruturadas e analisou-se mediante o processo de codificação da Teoría Fundamentada. Os resultados mostram como categorias principais, o conhecimento da informática, a valoração da informática, e os fatores que obstaculizam o uso desta. Da codificação seletiva se desprende uma alta valoração da informática como ferramenta econômica e cômoda, mas também se observa uma alta reticência dos alunos diante de sua utilização no trabalho profissional tradicional do psicólogo. Encontraram-se fatores pessoais e institucionais nos que se baseia a valoração, a motivação e o nível de conhecimento dos estudantes diante do uso de ferramentas informáticas.This paper analyses a qualitative research aimed to exploring the perception of 45 psychology students from different universities in Santiago de Chile, about incorporating information systems to support learning in their professional training. Data were collected through semi structured interviews and their analysis was based on Grounded Theory's coding process. Results show that the major categories are computer knowledge, appreciation of computers and factors that hinder their use. From the selective coding a positive evaluation emerges of information systems as an economic and useful tool. However, there is also a high reluctance on the part of the students regarding the use of such tools in the psychologist' traditional professional work. Personal and organizational factors were found as bases for students' assessment, motivation and level of knowledge facing the use of these tools.En este artículo se analiza una investigación de naturaleza cualitativa, cuyo objetivo era explorar la percepción de 45 alumnos de psicología de diferentes universidades de la ciudad de Santiago de Chile, sobre la incorporación de la informática como apoyo para el aprendizaje en su formación profesional. La información se recolectó a través de entrevistas semiestructuradas y se analizó mediante el proceso de codificación de la Teoría Fundamentada. Los resultados muestran como categorías principales, el conocimiento de la informática, la valoración de la informática, y los factores que obstaculizan el uso de ésta. De la codificación selectiva se desprende una alta valoración de la informática como herramienta económica y cómoda, pero también se observa una alta reticencia de los alumnos frente a su utilización en el trabajo profesional tradicional del psicólogo. Se encontraron factores personales e institucionales en los cuales se fundamenta la valoración, la motivación y el nivel de conocimiento de los estudiantes frente al uso de herramientas informáticas

Geomorphic and stratigraphic evidence for an unusual tsunami or storm a few centuries ago at Anegada, British Virgin Islands

© The Author(s), 2010. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Natural Hazards 63 (2012): 51-84, doi:10.1007/s11069-010-9622-6.Waters from the Atlantic Ocean washed southward across parts of Anegada, east-northeast of Puerto Rico, during a singular event a few centuries ago. The overwash, after crossing a fringing coral reef and 1.5 km of shallow subtidal flats, cut dozens of breaches through sandy beach ridges, deposited a sheet of sand and shell capped with lime mud, and created inland fields of cobbles and boulders. Most of the breaches extend tens to hundreds of meters perpendicular to a 2-km stretch of Anegada’s windward shore. Remnants of the breached ridges stand 3 m above modern sea level, and ridges seaward of the breaches rise 2.2–3.0 m high. The overwash probably exceeded those heights when cutting the breaches by overtopping and incision of the beach ridges. Much of the sand-and-shell sheet contains pink bioclastic sand that resembles, in grain size and composition, the sand of the breached ridges. This sand extends as much as 1.5 km to the south of the breached ridges. It tapers southward from a maximum thickness of 40 cm, decreases in estimated mean grain size from medium sand to very fine sand, and contains mud laminae in the south. The sand-and-shell sheet also contains mollusks—cerithid gastropods and the bivalve Anomalocardia—and angular limestone granules and pebbles. The mollusk shells and the lime-mud cap were probably derived from a marine pond that occupied much of Anegada’s interior at the time of overwash. The boulders and cobbles, nearly all composed of limestone, form fields that extend many tens of meters generally southward from limestone outcrops as much as 0.8 km from the nearest shore. Soon after the inferred overwash, the marine pond was replaced by hypersaline ponds that produce microbial mats and evaporite crusts. This environmental change, which has yet to be reversed, required restriction of a former inlet or inlets, the location of which was probably on the island’s south (lee) side. The inferred overwash may have caused restriction directly by washing sand into former inlets, or indirectly by reducing the tidal prism or supplying sand to post-overwash currents and waves. The overwash happened after A.D. 1650 if coeval with radiocarbon-dated leaves in the mud cap, and it probably happened before human settlement in the last decades of the 1700s. A prior overwash event is implied by an inland set of breaches. Hypothetically, the overwash in 1650–1800 resulted from the Antilles tsunami of 1690, the transatlantic Lisbon tsunami of 1755, a local tsunami not previously documented, or a storm whose effects exceeded those of Hurricane Donna, which was probably at category 3 as its eye passed 15 km to Anegada’s south in 1960.The work was supported in part by the Nuclear Regulatory Commission under its project N6480, a tsunami-hazard assessment for the eastern United States

A comparison of machine learning algorithms for chemical toxicity classification using a simulated multi-scale data model

<p>Abstract</p> <p>Background</p> <p>Bioactivity profiling using high-throughput <it>in vitro </it>assays can reduce the cost and time required for toxicological screening of environmental chemicals and can also reduce the need for animal testing. Several public efforts are aimed at discovering patterns or classifiers in high-dimensional bioactivity space that predict tissue, organ or whole animal toxicological endpoints. Supervised machine learning is a powerful approach to discover combinatorial relationships in complex <it>in vitro/in vivo </it>datasets. We present a novel model to simulate complex chemical-toxicology data sets and use this model to evaluate the relative performance of different machine learning (ML) methods.</p> <p>Results</p> <p>The classification performance of Artificial Neural Networks (ANN), K-Nearest Neighbors (KNN), Linear Discriminant Analysis (LDA), Naïve Bayes (NB), Recursive Partitioning and Regression Trees (RPART), and Support Vector Machines (SVM) in the presence and absence of filter-based feature selection was analyzed using K-way cross-validation testing and independent validation on simulated <it>in vitro </it>assay data sets with varying levels of model complexity, number of irrelevant features and measurement noise. While the prediction accuracy of all ML methods decreased as non-causal (irrelevant) features were added, some ML methods performed better than others. In the limit of using a large number of features, ANN and SVM were always in the top performing set of methods while RPART and KNN (k = 5) were always in the poorest performing set. The addition of measurement noise and irrelevant features decreased the classification accuracy of all ML methods, with LDA suffering the greatest performance degradation. LDA performance is especially sensitive to the use of feature selection. Filter-based feature selection generally improved performance, most strikingly for LDA.</p> <p>Conclusion</p> <p>We have developed a novel simulation model to evaluate machine learning methods for the analysis of data sets in which in vitro bioassay data is being used to predict in vivo chemical toxicology. From our analysis, we can recommend that several ML methods, most notably SVM and ANN, are good candidates for use in real world applications in this area.</p

Proteomic Analysis of Fractionated Toxoplasma Oocysts Reveals Clues to Their Environmental Resistance

Toxoplasma gondii is an obligate intracellular parasite that is unique in its ability to infect a broad range of birds and mammals, including humans, leading to an extremely high worldwide prevalence and distribution. This work focuses on the environmentally resistant oocyst, which is the product of sexual replication in felids and an important source of human infection. Due to the difficulty in producing and working with oocysts, relatively little is known about how this stage is able to resist extreme environmental stresses and how they initiate a new infection, once ingested. To fill this gap, the proteome of the wall and sporocyst/sporozoite fractions of mature, sporulated oocysts were characterized using one-dimensional gel electrophoresis followed by LC-MS/MS on trypsin-digested peptides. A combined total of 1021 non-redundant T. gondii proteins were identified in the sporocyst/sporozoite fraction and 226 were identified in the oocyst wall fraction. Significantly, 172 of the identified proteins have not previously been identified in Toxoplasma proteomic studies. Among these are several of interest for their likely role in conferring environmental resistance including a family of small, tyrosine-rich proteins present in the oocyst wall fractions and late embryogenesis abundant domain-containing (LEA) proteins in the cytosolic fractions. The latter are known from other systems to be key to enabling survival against desiccation

Large Scale Comparative Codon-Pair Context Analysis Unveils General Rules that Fine-Tune Evolution of mRNA Primary Structure

BACKGROUND: Codon usage and codon-pair context are important gene primary structure features that influence mRNA decoding fidelity. In order to identify general rules that shape codon-pair context and minimize mRNA decoding error, we have carried out a large scale comparative codon-pair context analysis of 119 fully sequenced genomes. METHODOLOGIES/PRINCIPAL FINDINGS: We have developed mathematical and software tools for large scale comparative codon-pair context analysis. These methodologies unveiled general and species specific codon-pair context rules that govern evolution of mRNAs in the 3 domains of life. We show that evolution of bacterial and archeal mRNA primary structure is mainly dependent on constraints imposed by the translational machinery, while in eukaryotes DNA methylation and tri-nucleotide repeats impose strong biases on codon-pair context. CONCLUSIONS: The data highlight fundamental differences between prokaryotic and eukaryotic mRNA decoding rules, which are partially independent of codon usage

Diffusion in crowded biological environments: applications of Brownian dynamics

Biochemical reactions in living systems occur in complex, heterogeneous media with total concentrations of macromolecules in the range of 50 - 400 mgml. Molecular species occupy a significant fraction of the immersing medium, up to 40% of volume. Such complex and volume-occupied environments are generally termed 'crowded' and/or 'confined'. In crowded conditions non-specific interactions between macromolecules may hinder diffusion - a major process determining metabolism, transport, and signaling. Also, the crowded media can alter, both qualitatively and quantitatively, the reactions in vivo in comparison with their in vitro counterparts. This review focuses on recent developments in particle-based Brownian dynamics algorithms, their applications to model diffusive transport in crowded systems, and their abilities to reproduce and predict the behavior of macromolecules under in vivo conditions

Mice Lacking Alkbh1 Display Sex-Ratio Distortion and Unilateral Eye Defects

Escherichia coli AlkB is a 2-oxoglutarate- and iron-dependent dioxygenase that reverses alkylated DNA damage by oxidative demethylation. Mouse AlkB homolog 1 (Alkbh1) is one of eight members of the newly discovered family of mammalian dioxygenases.In the present study we show non-Mendelian inheritance of the Alkbh1 targeted allele in mice. Both Alkbh1(-/-) and heterozygous Alkbh1(+/-) offspring are born at a greatly reduced frequency. Additionally, the sex-ratio is considerably skewed against female offspring, with one female born for every three to four males. Most mechanisms that cause segregation distortion, act in the male gametes and affect male fertility. The skewing of the sexes appears to be of paternal origin, and might be set in the pachythene stage of meiosis during spermatogenesis, in which Alkbh1 is upregulated more than 10-fold. In testes, apoptotic spermatids were revealed in 5-10% of the tubules in Alkbh1(-/-) adults. The deficiency of Alkbh1 also causes misexpression of Bmp2, 4 and 7 at E11.5 during embryonic development. This is consistent with the incompletely penetrant phenotypes observed, particularly recurrent unilateral eye defects and craniofacial malformations.Genetic and phenotypic assessment suggests that Alkbh1 mediates gene regulation in spermatogenesis, and that Alkbh1 is essential for normal sex-ratio distribution and embryonic development in mice

A novel, integrated in vitro carcinogenicity test to identify genotoxic and non-genotoxic carcinogens using human lymphoblastoid cells

Human exposure to carcinogens occurs via a plethora of environmental sources, with 70–90% of cancers caused by extrinsic factors. Aberrant phenotypes induced by such carcinogenic agents may provide universal biomarkers for cancer causation. Both current in vitro genotoxicity tests and the animal-testing paradigm in human cancer risk assessment fail to accurately represent and predict whether a chemical causes human carcinogenesis. The study aimed to establish whether the integrated analysis of multiple cellular endpoints related to the Hallmarks of Cancer could advance in vitro carcinogenicity assessment. Human lymphoblastoid cells (TK6, MCL-5) were treated for either 4 or 23 h with 8 known in vivo carcinogens, with doses up to 50% Relative Population Doubling (maximum 66.6 mM). The adverse effects of carcinogens on wide-ranging aspects of cellular health were quantified using several approaches; these included chromosome damage, cell signalling, cell morphology, cell-cycle dynamics and bioenergetic perturbations. Cell morphology and gene expression alterations proved particularly sensitive for environmental carcinogen identification. Composite scores for the carcinogens’ adverse effects revealed that this approach could identify both DNA-reactive and non-DNA reactive carcinogens in vitro. The richer datasets generated proved that the holistic evaluation of integrated phenotypic alterations is valuable for effective in vitro risk assessment, while also supporting animal test replacement. Crucially, the study offers valuable insights into the mechanisms of human carcinogenesis resulting from exposure to chemicals that humans are likely to encounter in their environment. Such an understanding of cancer induction via environmental agents is essential for cancer prevention