Weak and strong disjunction in possibilistic asp

Abstract. Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets.

Aspects of String-Gas Cosmology at Finite Temperature

We study string-gas cosmology in dilaton gravity, inspired by the fact that it naturally arises in a string theory context. Our main interest is the thermodynamical treatment of the string-gas and the resulting implications for the cosmology. Within an adiabatic approximation, thermodynamical equilibrium and a small, toroidal universe as initial conditions, we numerically solve the corresponding equations of motions in two different regimes describing the string-gas thermodynamics: (i) the Hagedorn regime, with a single scale factor, and (ii) an almost-radiation dominated regime, which includes the leading corrections due to the lightest Kaluza Klein and winding modes, with two scale factors. The scale factor in the Hagedorn regime exhibits very slow time evolution with nearly constant energy and negligible pressure. By contrast, in case (ii) we find interesting cosmological solutions where the large dimensions continue to expand and the small ones are kept undetectably small.Comment: 21 pages, 5 eps figure

Unconventional Cosmology

I review two cosmological paradigms which are alternative to the current inflationary scenario. The first alternative is the "matter bounce", a non-singular bouncing cosmology with a matter-dominated phase of contraction. The second is an "emergent" scenario, which can be implemented in the context of "string gas cosmology". I will compare these scenarios with the inflationary one and demonstrate that all three lead to an approximately scale-invariant spectrum of cosmological perturbations.Comment: 45 pages, 10 figures; invited lectures at the 6th Aegean Summer School "Quantum Gravity and Quantum Cosmology", Chora, Naxos, Greece, Sept. 12 - 17 2012, to be publ. in the proceedings; these lecture notes form an updated version of arXiv:1003.1745 and arXiv:1103.227

High-contrast imaging constraints on gas giant planet formation - The Herbig Ae/Be star opportunity

Planet formation studies are often focused on solar-type stars, implicitly considering our Sun as reference point. This approach overlooks, however, that Herbig Ae/Be stars are in some sense much better targets to study planet formation processes empirically, with their disks generally being larger, brighter and simply easier to observe across a large wavelength range. In addition, massive gas giant planets have been found on wide orbits around early type stars, triggering the question if these objects did indeed form there and, if so, by what process. In the following I briefly review what we currently know about the occurrence rate of planets around intermediate mass stars, before discussing recent results from Herbig Ae/Be stars in the context of planet formation. The main emphasis is put on spatially resolved polarized light images of potentially planet forming disks and how these images - in combination with other data - can be used to empirically constrain (parts of) the planet formation process. Of particular interest are two objects, HD100546 and HD169142, where, in addition to intriguing morphological structures in the disks, direct observational evidence for (very) young planets has been reported. I conclude with an outlook, what further progress we can expect in the very near future with the next generation of high-contrast imagers at 8-m class telescopes and their synergies with ALMA.Comment: Accepted by Astrophysics and Space Science as invited short review in special issue about Herbig Ae/Be stars; 12 pages incl. 5 figures, 2 tables and reference

Dragon-kings: mechanisms, statistical methods and empirical evidence

This introductory article presents the special Discussion and Debate volume "From black swans to dragon-kings, is there life beyond power laws?" published in Eur. Phys. J. Special Topics in May 2012. We summarize and put in perspective the contributions into three main themes: (i) mechanisms for dragon-kings, (ii) detection of dragon-kings and statistical tests and (iii) empirical evidence in a large variety of natural and social systems. Overall, we are pleased to witness significant advances both in the introduction and clarification of underlying mechanisms and in the development of novel efficient tests that demonstrate clear evidence for the presence of dragon-kings in many systems. However, this positive view should be balanced by the fact that this remains a very delicate and difficult field, if only due to the scarcity of data as well as the extraordinary important implications with respect to hazard assessment, risk control and predictability.Comment: 20 page

Green function techniques in the treatment of quantum transport at the molecular scale

The theoretical investigation of charge (and spin) transport at nanometer length scales requires the use of advanced and powerful techniques able to deal with the dynamical properties of the relevant physical systems, to explicitly include out-of-equilibrium situations typical for electrical/heat transport as well as to take into account interaction effects in a systematic way. Equilibrium Green function techniques and their extension to non-equilibrium situations via the Keldysh formalism build one of the pillars of current state-of-the-art approaches to quantum transport which have been implemented in both model Hamiltonian formulations and first-principle methodologies. We offer a tutorial overview of the applications of Green functions to deal with some fundamental aspects of charge transport at the nanoscale, mainly focusing on applications to model Hamiltonian formulations.Comment: Tutorial review, LaTeX, 129 pages, 41 figures, 300 references, submitted to Springer series "Lecture Notes in Physics

Identification of independent association signals and putative functional variants for breast cancer risk through fine-scale mapping of the 12p11 locus.

BACKGROUND: Multiple recent genome-wide association studies (GWAS) have identified a single nucleotide polymorphism (SNP), rs10771399, at 12p11 that is associated with breast cancer risk. METHOD: We performed a fine-scale mapping study of a 700 kb region including 441 genotyped and more than 1300 imputed genetic variants in 48,155 cases and 43,612 controls of European descent, 6269 cases and 6624 controls of East Asian descent and 1116 cases and 932 controls of African descent in the Breast Cancer Association Consortium (BCAC; http://bcac.ccge.medschl.cam.ac.uk/ ), and in 15,252 BRCA1 mutation carriers in the Consortium of Investigators of Modifiers of BRCA1/2 (CIMBA). Stepwise regression analyses were performed to identify independent association signals. Data from the Encyclopedia of DNA Elements project (ENCODE) and the Cancer Genome Atlas (TCGA) were used for functional annotation. RESULTS: Analysis of data from European descendants found evidence for four independent association signals at 12p11, represented by rs7297051 (odds ratio (OR) = 1.09, 95 % confidence interval (CI) = 1.06-1.12; P = 3 × 10(-9)), rs805510 (OR = 1.08, 95 % CI = 1.04-1.12, P = 2 × 10(-5)), and rs1871152 (OR = 1.04, 95 % CI = 1.02-1.06; P = 2 × 10(-4)) identified in the general populations, and rs113824616 (P = 7 × 10(-5)) identified in the meta-analysis of BCAC ER-negative cases and BRCA1 mutation carriers. SNPs rs7297051, rs805510 and rs113824616 were also associated with breast cancer risk at P < 0.05 in East Asians, but none of the associations were statistically significant in African descendants. Multiple candidate functional variants are located in putative enhancer sequences. Chromatin interaction data suggested that PTHLH was the likely target gene of these enhancers. Of the six variants with the strongest evidence of potential functionality, rs11049453 was statistically significantly associated with the expression of PTHLH and its nearby gene CCDC91 at P < 0.05. CONCLUSION: This study identified four independent association signals at 12p11 and revealed potentially functional variants, providing additional insights into the underlying biological mechanism(s) for the association observed between variants at 12p11 and breast cancer risk.UK funding includes Cancer Research UK and NIH.This is the final version of the article. It first appeared from BioMed Central via http://dx.doi.org/10.1186/s13058-016-0718-

Functional mechanisms underlying pleiotropic risk alleles at the 19p13.1 breast-ovarian cancer susceptibility locus

A locus at 19p13 is associated with breast cancer (BC) and ovarian cancer (OC) risk. Here we analyse 438 SNPs in this region in 46,451 BC and 15,438 OC cases, 15,252 BRCA1 mutation carriers and 73,444 controls and identify 13 candidate causal SNPs associated with serous OC (P=9.2 × 10-20), ER-negative BC (P=1.1 × 10-13), BRCA1-associated BC (P=7.7 × 10-16) and triple negative BC (P-diff=2 × 10-5). Genotype-gene expression associations are identified for candidate target genes ANKLE1 (P=2 × 10-3) and ABHD8 (P<2 × 10-3). Chromosome conformation capture identifies interactions between four candidate SNPs and ABHD8, and luciferase assays indicate six risk alleles increased transactivation of the ADHD8 promoter. Targeted deletion of a region containing risk SNP rs56069439 in a putative enhancer induces ANKLE1 downregulation; and mRNA stability assays indicate functional effects for an ANKLE1 3′-UTR SNP. Altogether, these data suggest that multiple SNPs at 19p13 regulate ABHD8 and perhaps ANKLE1 expression, and indicate common mechanisms underlying breast and ovarian cancer risk

Texture Quantification in Y Ba 2 Cu 3 O 7 Superconducting Films

Una capa superconductora epitaxial de Y Ba2Cu3 7 es el resultado de un óptimo proceso de crecimiento epitaxial de los granos superconductores. Además, la epitaxia del sustrato tiene una directa repercusión en la microestructura y las propiedades físicas de la capa. Por medio de técnicas de caracterización convencionales, tales como: microscopía electrónica de barrido, y difracción de rayos X, permiten realizar una rápida valoración de la calidad de la epitaxia por medio de la cuantificación de la textura de la capa. Presentamos los resultados de la cuantificación de la textura en capas superconductoras de Y Ba2Cu3O7 .Y Ba2Cu3O7 epitaxial superconducting film is consequence of an optimum epitaxial growth process of superconducting grains. Also, the substrate's epitaxy has a direct repercussion on the lm microstructure and its physical properties. Conventional characterization techniques such as: scanning electronic microscopy, and x ray difrraction, allowed us to obtain a quick assessment of epitaxy quality through of texture quantification of the film. We present the results of texture quantification in Y&nbsp;Ba2Cu3O7 superconducting films