Safety, the Preface Paradox and Possible Worlds Semantics

This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox

A Review of Contemporary Methods for the Presentation of Scientific Uncertainty

Graphical methods for displaying uncertainty are often the most concise and informative way to communicate abstract concepts. Presentation methods currently in use for the display and interpretation of scientific uncertainty are reviewed. Numerous subjective and objective uncertainty display methods are presented, including qualitative assessments, node and arrow diagrams, standard statistical methods, box-and-whisker plots, robustness and opportunity functions, contribution indexes, probability density functions, cumulative distribution functions, and graphical likelihood functions.This is the author's peer-reviewed final manuscript, as accepted by the publisher. The published article is copyrighted by the Health Physics Society and published by Lippincott Williams & Wilkins. The published article can be found at: http://journals.lww.com/health-physics/pages/default.aspx.Keywords: Reviews, Risk Communication, Risk Estimates, Public Informatio

Propositional update operators based on formula/literal dependence

International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators

Grifonin-1: A Small HIV-1 Entry Inhibitor Derived from the Algal Lectin, Griffithsin

Background: Griffithsin, a 121-residue protein isolated from a red algal Griffithsia sp., binds high mannose N-linked glycans of virus surface glycoproteins with extremely high affinity, a property that allows it to prevent the entry of primary isolates and laboratory strains of T- and M-tropic HIV-1. We used the sequence of a portion of griffithsin's sequence as a design template to create smaller peptides with antiviral and carbohydrate-binding properties. Methodology/Results: The new peptides derived from a trio of homologous β-sheet repeats that comprise the motifs responsible for its biological activity. Our most active antiviral peptide, grifonin-1 (GRFN-1), had an EC50 of 190.8±11.0 nM in in vitro TZM-bl assays and an EC50 of 546.6±66.1 nM in p24gag antigen release assays. GRFN-1 showed considerable structural plasticity, assuming different conformations in solvents that differed in polarity and hydrophobicity. Higher concentrations of GRFN-1 formed oligomers, based on intermolecular β-sheet interactions. Like its parent protein, GRFN-1 bound viral glycoproteins gp41 and gp120 via the N-linked glycans on their surface. Conclusion: Its substantial antiviral activity and low toxicity in vitro suggest that GRFN-1 and/or its derivatives may have therapeutic potential as topical and/or systemic agents directed against HIV-1

ARPES: A probe of electronic correlations

Angle-resolved photoemission spectroscopy (ARPES) is one of the most direct methods of studying the electronic structure of solids. By measuring the kinetic energy and angular distribution of the electrons photoemitted from a sample illuminated with sufficiently high-energy radiation, one can gain information on both the energy and momentum of the electrons propagating inside a material. This is of vital importance in elucidating the connection between electronic, magnetic, and chemical structure of solids, in particular for those complex systems which cannot be appropriately described within the independent-particle picture. Among the various classes of complex systems, of great interest are the transition metal oxides, which have been at the center stage in condensed matter physics for the last four decades. Following a general introduction to the topic, we will lay the theoretical basis needed to understand the pivotal role of ARPES in the study of such systems. After a brief overview on the state-of-the-art capabilities of the technique, we will review some of the most interesting and relevant case studies of the novel physics revealed by ARPES in 3d-, 4d- and 5d-based oxides.Comment: Chapter to appear in "Strongly Correlated Systems: Experimental Techniques", edited by A. Avella and F. Mancini, Springer Series in Solid-State Sciences (2013). A high-resolution version can be found at: http://www.phas.ubc.ca/~quantmat/ARPES/PUBLICATIONS/Reviews/ARPES_Springer.pdf. arXiv admin note: text overlap with arXiv:cond-mat/0307085, arXiv:cond-mat/020850