Towards Large-scale Inconsistency Measurement

We investigate the problem of inconsistency measurement on large knowledge bases by considering stream-based inconsistency measurement, i.e., we investigate inconsistency measures that cannot consider a knowledge base as a whole but process it within a stream. For that, we present, first, a novel inconsistency measure that is apt to be applied to the streaming case and, second, stream-based approximations for the new and some existing inconsistency measures. We conduct an extensive empirical analysis on the behavior of these inconsistency measures on large knowledge bases, in terms of runtime, accuracy, and scalability. We conclude that for two of these measures, the approximation of the new inconsistency measure and an approximation of the contension inconsistency measure, large-scale inconsistency measurement is feasible.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 63-70, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-15056

Discovery of a New Quadruple Lens HST 1411+5211

Gravitational lensing is an important tool for probing the mass distribution of galaxies. In this letter we report the discovery of a new quadruple lens HST 1411+5211 found in archived WFPC2 images of the galaxy cluster CL140933+5226. If the galaxy is a cluster member then its redshift is $z=0.46$. The images of the source appear unresolved in the WFC implying that the source is a quasar. We have modeled the lens as both a single galaxy and a galaxy plus a cluster. The latter model yields excellent fits to the image positions along with reasonable parameters for the galaxy and cluster making HST 1411+5211 a likely gravitational lens. Determination of the source redshift and confirmation of the lens redshift would allow us to put strong constraints on the mass distribution of the lensing galaxy.Comment: 11 pages including 1 postscript figure, aastex. Accepted to the ApJL. Also available from: http://www.astro.lsa.umich.edu:80/users/philf/www/papers/list.htm

Relationship of family homegardens to the nutritional status and work performance of farm women in the Dominican Republic

Call number: LD2668 .T4 FN 1988 T55Master of ScienceHuman Nutritio

Use marketing strategy in the intrnet space

This article deals with the theory and practice of modern methods of promotion products by industrial. The features of the concept of marketing in the Internet space and theiradvantages

Microscopic theory for quantum mirages in quantum corrals

Scanning tunneling microscopy permits to image the Kondo resonance of a single magnetic atom adsorbed on a metallic surface. When the magnetic impurity is placed at the focus of an elliptical quantum corral, a Kondo resonance has been recently observed both on top of the impurity and on top of the focus where no magnetic impurity is present. This projection of the Kondo resonance to a remote point on the surface is referred to as quantum mirage. We present a quantum mechanical theory for the quantum mirage inside an ideal quantum corral and predict that the mirage will occur in corrals with shapes other than elliptical

Paintomics: a web based tool for the joint visualization of transcriptomics and metabolomics data

Motivation: The development of the omics technologies such as transcriptomics, proteomics and metabolomics has made possible the realization of systems biology studies where biological systems are interrogated at different levels of biochemical activity (gene expression, protein activity and/or metabolite concentration). An effective approach to the analysis of these complex datasets is the joined visualization of the disparate biomolecular data on the framework of known biological pathways

A multi-agent system framework for dialogue games in the group decision-making context

Dialogue games have been applied to various contexts in computer science and artificial intelligence, particularly to define interactions between autonomous software agents. However, in order to implement dialogue games, the developers need to deal with other important details besides what is presented in the model’s definition. This is a complex work, mostly when it is expected that the agents’ interactions correctly represent a human group behavior. In this work, we present a multi-agent system framework specifically designed to facilitate the implementation of dialogue games under the context of group decision-making in which agents interact as the humans do in face-to-face meetings. The proposed framework, named MAS4GDM, encapsulates the JADE framework and provides a layer that allows developers to easily implement their dialogue models without being concerned with some complex implementation details, such as: the communication model, the agents’ life cycle, among others. We ran an experimental evaluation and verified that the proposed framework allows to implement dialogue models in an easier way and abstract the developers from important implementation details that can compromise the application’s success.This work was supported by the GrouPlanner Project (POCI-01-0145-FEDER-29178) and by National Funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the Projects UID/CEC/00319/2013 and UID/EEA/00760/2013