Each Girard quantale provides a support for a semantics for linear propositional formulas. Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group. In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of handling duality.

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of (...) handling duality. (shrink)

Each Girard quantale (i.e., commutative quantale with a selected dualizing element) provides a support for a semantics for linear propositional formulas (but not for linear derivations). Several constructions of Girard quantales are known. We give two more constructions, one using an arbitrary partially ordered monoid and one using a partially ordered group (both commutative). In both cases the semantics can be controlled be a relation between pairs of elements of the support and formulas. This gives us a neat way of (...) handling duality. (shrink)

This paper critically examines the claim that parallel distributed processing (PDP) networks are autonomous learning systems. A PDP model of a simple distributed associative memory is considered. It is shown that the 'generic' PDP architecture cannot implement the computations required by this memory system without the aid of external control. In other words, the model is not autonomous. Two specific problems are highlighted: (i) simultaneous learning and recall are not permitted to occur as would be required of an autonomous system; (...) (ii) connections between processing units cannot simultaneously represent current and previous network activation as would be required if learning is to occur. Similar problems exist for more sophisticated networks constructed from the generic PDP architecture. We argue that this is because these models are not adequately constrained by the properties of the functional architecture assumed by PDP modelers. It is also argued that without such constraints, PDP researchers cannot claim to have developed an architecture radically different from that proposed by the Classical approach in cognitive science. (shrink)

This study examines whether scenic beauty judgments based upon photographs of landscapes are similar to scenic beauty judgments based upon on-site experiences of landscapes. Two concerns are emphasized: a concern about the threat to the ecological validity of photo-based assessments caused by differences between on-site and photo-based contexts and a concern that the individual rater, rather than the group average, is the more appropriate unit of analysis for tests of validity of photo-based assessments. On-site scenic beauty assessments were collected from (...) day hikers. These data were compared to photo-based scenic beauty assessments collected from the same persons three months and nine months after their on-site experience. Approximately 38% of participants had insignificant correlations between their on-site and photo-based scenic beauty ratings. These and other results suggest that the validity of photo-based scenic beauty assessments is in doubt, at least for the situation studied here. Moreover, the results suggest that the difference between persons' on-site and photo-based ratings can be explained, in part, by contextual factors such as the mood, meaning, and novelty that differentiate photo-based from on-site landscape experiences. Group averaged on-site and photo-based assessments, however, were very similar, suggesting caution may be in order for studies interpreting summary measures. (shrink)

We report specific heat and μSR measurements on Th and/or B substituted UBe13. The specific heat data show that either Th or B substitution reduces the Kondo temperature TK and increases the entropy at the superconducting transition by almost 20%, indicating an enhanced density of states. However, whereas μSR shows clear evidence for magnetic correlations for Th substitutions, no magnetism is observed for B substitutions. The enhanced specific heat jump in the B-substituted material is associated with a change in the (...) superconducting properties as TK is reduced. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Live donor kidney transplantation is the best treatment option for most patients with late-stage chronic kidney disease; however, the rate of living kidney donation has declined in the United States. A consensus conference was held June 5-6, 2014 to identify best practices and knowledge gaps pertaining to live donor kidney transplantation and living kidney donation. Transplant professionals, patients, and other key stakeholders discussed processes for educating transplant candidates and potential living donors about living kidney donation; efficiencies in the living donor (...) evaluation process; disparities in living donation; and financial and systemic barriers to living donation. We summarize the consensus recommendations for best practices in these educational and clinical domains, future research priorities, and possible public policy initiatives to remove barriers to living kidney donation. (shrink)

In this article, an ethical analysis of an educational programme on renal replacement therapy options for patients and their social network is presented. The two main spearheads of this approach are: (1) offering an educational programme on all renal replacement therapy options ahead of treatment requirement and (2) a home-based approach involving the family and friends of the patient. Arguments are offered for the ethical justification of this approach by considering the viewpoint of the various stakeholders involved. Finally, reflecting on (...) these ethical considerations, essential conditions for carrying out such a programme are outlined. The goal is to develop an ethically justified and responsible educational programme. (shrink)