Threads and Or-Parallelism Unified

One of the main advantages of Logic Programming (LP) is that it provides an excellent framework for the parallel execution of programs. In this work we investigate novel techniques to efficiently exploit parallelism from real-world applications in low cost multi-core architectures. To achieve these goals, we revive and redesign the YapOr system to exploit or-parallelism based on a multi-threaded implementation. Our new approach takes full advantage of the state-of-the-art fast and optimized YAP Prolog engine and shares the underlying execution environment, scheduler and most of the data structures used to support YapOr's model. Initial experiments with our new approach consistently achieve almost linear speedups for most of the applications, proving itself as a good alternative for exploiting implicit parallelism in the currently available low cost multi-core architectures.Comment: 17 pages, 21 figures, International Conference on Logic Programming (ICLP 2010

Logarithmic corrections to the Ising model free energy on lattices with conical singularities

The free energy of a two-dimensional system at criticality has in general an universal part proportional the logarithm of the system size. This term was shown by Cardy and Peschel to be related to the curvature of the system, with smooth metrics and singular points contributing in distinct ways. In this paper we present a numerical study of the effect, for the Ising model on lattices with various topologies from the sphere to genus two surfaces. The nature of this term for specific lattice models is an open problem because the distinction between the two kinds of contributions involves an interchange of the limit of singular curvature with the thermodynamic limit. For all the lattices studied we found precise agreement with the conformal field theory prediction for conical singularities.Comment: 7 pages, tables and eps figures include

NLO electroweak corrections in general scalar singlet models

If no new physics signals are found, in the coming years, at the Large Hadron Collider Run-2, an increase in precision of the Higgs couplings measurements will shift the dicussion to the effects of higher order corrections. In Beyond the Standard Model (BSM) theories this may become the only tool to probe new physics. Extensions of the Standard Model (SM) with several scalar singlets may address several of its problems, namely to explain dark matter, the matter-antimatter asymmetry, or to improve the stability of the SM up to the Planck scale. In this work we propose a general framework to calculate one loop-corrections in BSM models with an arbitrary number of scalar singlets. We then apply our method to a real and to a complex scalar singlet models. We assess the importance of the one-loop radiative corrections first by computing them for a tree level mixing sum constraint, and then for the main Higgs production process $gg \to H$. We conclude that, for the currently allowed parameter space of these models, the corrections can be at most a few percent. Notably, a non-zero correction can survive when dark matter is present, in the SM-like limit of the Higgs couplings to other SM particles.Comment: 35 pages, 3 figure

A Bayesian analysis of inflationary primordial spectrum models using Planck data

The current available CMB data show an anomalously low value of the CMB temperature fluctuations at large angular scales (l < 40). This lack of power is not explained by the minimal LCDM model, and one of the possible mechanisms explored in the literature to address this problem is the presence of features in the primordial power spectrum (PPS) motivated by the early universe physics. In this paper, we analyse a set of cutoff inflationary PPS models using a Bayesian model comparison approach in light of the latest Cosmic Microwave Background (CMB) data from the Planck Collaboration. Our results show that the standard power-law parameterisation is preferred over all models considered in the analysis, which motivates the search for alternative explanations for the observed lack of power in the CMB anisotropy spectrum.Comment: 11 pages, 3 figure

Knowledge and attitude towards the gradual reduction of salt in bread – an online survey

Aim: Assess knowledge and attitude towards the gradual reduction of salt in bread and the potential impact on eating habits of children (6-18 years) and their families, as part as a Health Impact Assessment pilot study.N/

Portability of Prolog programs: theory and case-studies

(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1. Since 2007, YAP and SWI-Prolog have established a basic compatibility framework. This article describes and evaluates this framework. The aim of the framework is running the same code on both systems rather than migrating an application. We show that today, the portability within the family of Edinburgh/Quintus derived Prolog implementations is good enough to allow for maintaining portable real-world applications.Comment: Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburgh, Scotland, U.K., July 15, 201