Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks.

Power and Energy Implications of the Number of Threads Used on the Intel Xeon Phi

Energy consumption has become an important area of research of late. With the advent of new manycore processors, situations have arisen where not all the processors need to be active to reach an optimal relation between performance and energy usage. In this paper a study of the power and energy usage of a series of benchmarks, the PARSEC and the SPLASH- 2X Benchmark Suites, on the Intel Xeon Phi for different threads configurations, is presented. To carry out this study, a tool was designed to monitor and record the power usage in real time during execution time and afterwards to compare the r

Inference in Polytrees with Sets of Probabilities

Inferences in directed acyclic graphs associated with probability intervals and sets of probabilities are NP-hard, even for polytrees. We propose: 1) an improvement on Tessem’s A/R algorithm for inferences on polytrees associated with probability intervals; 2) a new algorithm for approximate inferences based on local search; 3) branch-and-bound algorithms that combine the previous techniques. The first two algorithms produce complementary approximate solutions, while branch-and-bound procedures can generate either exact or approximate solutions. We report improvements on existing techniques for inference with probability sets and intervals, in some cases reducing computational effort by several orders of magnitude.

La relación de las exequías de Carlos III en Roma y el nuevo gusto neoclásico

El fallecimiento de Carlos III en diciembre de 1788 fue conmemorado en la Roma de Pío VI con unas exequias oficiales españolas organizadas por el embajador José Nicolás de Azara y por un funeral ordenado por el Papa. Azara aprovechó la ocasión para materializar en dicha función fúnebre sus radicales principios neoclásicos. Paralelamente, ambas ceremonias efímeras se fijaron mediante una serie de lujosas publicaciones en las que intervino decisivamente el impresor más característico del Neoclasicismo: Gimbattista Bodoni. Las exequias de Carlos III en Roma fueron la obra de un intelectual. Son producto de la Roma cosmopolita de los años ochenta del siglo XVIII, foco de atracción para artistas, aficionados, coleccionistas e inteligentes en las artes.