A history based logic for dynamic preference updates

History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework

The reversibility of sea ice loss in a state-of-the-art climate model

Rapid Arctic sea ice retreat has fueled speculation about the possibility of threshold (or ‘tipping point’) behavior and irreversible loss of the sea ice cover. We test sea ice reversibility within a state-of-the-art atmosphere–ocean global climate model by increasing atmospheric carbon dioxide until the Arctic Ocean becomes ice-free throughout the year and subsequently decreasing it until the initial ice cover returns. Evidence for irreversibility in the form of hysteresis outside the envelope of natural variability is explored for the loss of summer and winter ice in both hemispheres. We find no evidence of irreversibility or multiple ice-cover states over the full range of simulated sea ice conditions between the modern climate and that with an annually ice-free Arctic Ocean. Summer sea ice area recovers as hemispheric temperature cools along a trajectory that is indistinguishable from the trajectory of summer sea ice loss, while the recovery of winter ice area appears to be slowed due to the long response times of the ocean near the modern winter ice edge. The results are discussed in the context of previous studies that assess the plausibility of sea ice tipping points by other methods. The findings serve as evidence against the existence of threshold behavior in the summer or winter ice cover in either hemisphere

Cytokines and depression in cancer patients and caregivers.

Objective:A better understanding of the biobehavioral mechanisms underlying depression in cancer is required to translate biomarker findings into clinical interventions. We tested for associations between cytokines and the somatic and psychological symptoms of depression in cancer patients and their healthy caregivers. Patients and methods:The GRID Hamilton Rating Scale for Depression (Ham-D) was administered to 61 cancer patients of mixed type and stage, 26 primary caregivers and 38 healthy controls. Concurrently, blood was drawn for multiplexed plasma assays of 15 cytokines. Multiple linear regression, adjusted for biobehavioral variables, identified cytokine associations with the psychological (Ham-Dep) and somatic (Ham-Som) subfactors of the Ham-D. Results:The Ham-Dep scores of cancer patients were similar to their caregivers, but their Ham-Som scores were significantly higher (twofold, p=0.016). Ham-Som was positively associated with IL-1ra (coefficient: 1.27, p≤0.001) in cancer patients, and negatively associated with IL-2 (coefficient: -0.68, p=0.018) in caregivers. Ham-Dep was negatively associated with IL-4 (coefficient: -0.67, p=0.004) in cancer patients and negatively associated with IL-17 (coefficient: -1.81, p=0.002) in caregivers. Conclusion:The differential severity of somatic symptoms of depression in cancer patients and caregivers and the unique cytokine associations identified with each group suggests the potential for targeted interventions based on phenomenology and biology. The clinical implication is that depressive symptoms in cancer patients can arise from biological stressors, which is an important message to help destigmatize the development of depression in cancer patients

The cosmic ray spectrum above 10(17) eV

The final analysis of the data obtained by the Sydney University Giant Airshower Recorder (SUGAR) is presented. The data has been reanalysed to take into account the effects of afterpulsing in the photomultiplier tubes. Event data was used to produce a spectrum of equivalent vertical muon number and from this a model dependent primary energy spectrum was obtained. These spectra show good evidence for the Ankle: a flattening at 10(19) eV. There is no sign of the cut-off which would be expected from the effects of the universal black body radiation

Analysis of the internal electric fields of pristine ice crystals and aggregate snowflakes, and their effect on scattering

The discrete dipole approximation is used to explore the internal electric fields of plane-wave-illuminated ice particles, and analyse their differential scattering cross sections. The results are displayed for monocrystals and aggregates of size parameters x=2 and x=10. We show that the field is relatively uniform for x=2, but for monocrystals of x=10 there is a complex internal structure. For a hexagonal plate, this structure is a combination of two components: a "distorted" plane wave, with wavefronts aligned perpendicular to the incident wave close to the centre of the plate, and curved forward near the particle boundary; and a standing wave, internally reflected around the perimeter. The former is due to the transverse component of the field i.e., the component perpendicular to the incident wave, and the latter is due to the component parallel to the incident direction. Focussing of the field towards the forward side of the particle is observed. As the particle complexity is increased due to aggregation, the field becomes smoother and less focussing is seen. For complex aggregates, the individual monomers act independently of one another, suggesting simplified methods of calculating scattering from such particles. The influence of the internal fields on far-field scattering is explored. It is demonstrated that scattering in the forward and backward directions is dominated by the transverse component. The parallel component contributes to sidescattering, with its influence on total scattering decreasing with particle complexity. We propose that this is due to the inability of complex particles to maintain a standing wave, diminishing much of the sidescattering observed for monocrystals. Comparisons of the far-field scattering properties of complex aggregates using the discrete dipole and Rayleigh-Gans approximations are also presented for x=2 and x=10, along with results obtained using a soft sphere approximation

Breaking the Mould and the Birth of a New Journal: Online Educational Research Journal

Academic journals are evolving and proliferating but despite their success there is much room for improvement. The traditional paper based model is expensive, constrained by space, exclusive and beset with problems of refereeing and publication time. The newer on-line journals go some way to dealing with these issues but they fail to capitalise on the possibilities opened up by the web. This paper launches a new journal Online Educational Research Journal (OERJ) which is free, unconstrained by space and accessible to all. It takes a novel approach to refereeing allowing discussion online and deals with the shortage of refereeing by requiring authors to reciprocate. A key feature of the journal is that papers are guaranteed to be published albeit anonymously in the first instance. After receiving the ratings and comments of referees which will go online the paper becomes onymous unless the author chooses to withdraw

Molecular dynamics of ion transport through the open conformation of a bacterial voltage-gated sodium channel

The crystal structure of the open conformation of a bacterial voltage-gated sodium channel pore from Magnetococcus sp. (NaVMs) has provided the basis for a molecular dynamics study defining the channel’s full ion translocation pathway and conductance process, selectivity, electrophysiological characteristics, and ion-binding sites. Microsecond molecular dynamics simulations permitted a complete time-course characterization of the protein in a membrane system, capturing the plethora of conductance events and revealing a complex mixture of single and multi-ion phenomena with decoupled rapid bidirectional water transport. The simulations suggest specific localization sites for the sodium ions, which correspond with experimentally determined electron density found in the selectivity filter of the crystal structure. These studies have also allowed us to identify the ion conductance mechanism and its relation to water movement for the NavMs channel pore and to make realistic predictions of its conductance properties. The calculated single-channel conductance and selectivity ratio correspond closely with the electrophysiology measurements of the NavMs channel expressed in HEK 293 cells. The ion translocation process seen in this voltage-gated sodium channel is clearly different from that exhibited by members of the closely related family of voltage-gated potassium channels and also differs considerably from existing proposals for the conductance process in sodium channels. These studies simulate sodium channel conductance based on an experimentally determined structure of a sodium channel pore that has a completely open transmembrane pathway and activation gate

Detection-Loophole-Free Test of Quantum Nonlocality, and Applications

We present a source of entangled photons that violates a Bell inequality free of the "fair-sampling" assumption, by over 7 standard deviations. This violation is the first experiment with photons to close the detection loophole, and we demonstrate enough "efficiency" overhead to eventually perform a fully loophole-free test of local realism. The entanglement quality is verified by maximally violating additional Bell tests, testing the upper limit of quantum correlations. Finally, we use the source to generate secure private quantum random numbers at rates over 4 orders of magnitude beyond previous experiments.Comment: Main text: 5 pages, 2 figures, 1 table. Supplementary Information: 7 pages, 2 figure

Understanding game semantics through coherence spaces

AbstractGame Semantics has successfully provided fully abstract models for a variety of programming languages not possible using other denotational approaches. Although it is a flexible and accurate way to give semantics to a language, its underlying mathematics is awkward. For example, the proofs that strategies compose associatively and maintain properties imposed on them such as innocence are intricate and require a lot of attention. This work aims at beginning to provide a more elegant and uniform mathematical ground for Game Semantics. Our quest is to find mathematical entities that will retain the properties that make games an accurate way to give semantics to programs, yet that are simple and familiar to work with. Our main result is a full, faithful strong monoidal embedding of a category of games into a category of coherence spaces, where composition is simple composition of relations