First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Searching the hearts of graphene-like molecules for simplicity, sensitivity and logic

If quantum interference patterns in the hearts of polycyclic aromatic hydrocarbons (PAHs) could be isolated and manipulated, then a significant step towards realizing the potential of single-molecule electronics would be achieved. Here we demonstrate experimentally and theoretically that a simple, parameter-free, analytic theory of interference patterns evaluated at the mid-point of the HOMO-LUMO gap (referred to as M-functions) correctly predicts conductance ratios of molecules with pyrene, naphthalene, anthracene, anthanthrene or azulene hearts. M-functions provide new design strategies for identifying molecules with phase-coherent logic functions and enhancing the sensitivity of molecular-scale interferometers.

Randomized Trial to Evaluate Tandosporine in Geographic Atrophy Secondary to Age-Related Macular Degeneration: the GATE Study.

PURPOSE To determine the safety and efficacy of AL-8309B (tandospirone) in the management of patients with geographic atrophy (GA) secondary to age-related macular degeneration (AMD) and obtain standardized data on GA lesion growth progression. DESIGN Prospective, controlled, double-masked, randomized, multicenter phase 3 clinical trial. METHODS Setting: 48 clinical sites. PATIENTS Patients with GA associated with AMD were enrolled. All patients were followed for a minimum of 30 months, and up to 36 months. Intervention Procedures: Patients were randomized (1:1:1) to receive AL-8309B ophthalmic solution 1.0%, 1.75%, or vehicle, administered as a twice-daily topical ocular drop. MAIN OUTCOME MEASURES The primary efficacy endpoint was mean annualized lesion enlargement from baseline as assessed with fundus autofluorescence (FAF) imaging. RESULTS A total of 768 eyes of 768 patients were enrolled and treated with AL-8309B 1.0% (N=250), AL-8309B 1.75% (N=258), or vehicle (N= 260). An increase in mean lesion size was observed in both the AL-8309B and vehicle treatment groups, and growth rates were similar in all treatment groups. Annualized lesion growth rates were 1.73, 1.76 and 1.71 mm(2) for AL-8309B 1.0%, AL-8309B 1.75%, and vehicle, respectively. CONCLUSIONS AL-8309B 1.0% and 1.75% did not affect lesion growth in eyes with GA secondary to AMD. There were no clinically relevant safety issues identified for AL-8309B. The large natural history dataset from this study is a valuable repository for future comparisons.

Reconsidering the logic of World Federation of Neurosurgical Societies grading in patients with severe subarachnoid hemorrhage.

OBJECT Current data show a favorable outcome in up to 50% of patients with World Federation of Neurosurgical Societies (WFNS) Grade V subarachnoid hemorrhage (SAH) and a rather poor prediction of worst cases. Thus, the usefulness of the current WFNS grading system for identifying the worst scenarios for clinical studies and for making treatment decisions is limited. One reason for this lack of differentiation is the use of "negative" or "silent" diagnostic signs as part of the WFNS Grade V definition. The authors therefore reevaluated the WFNS scale by using "positive" clinical signs and the logic of the Glasgow Coma Scale as a progressive herniation score. METHODS The authors performed a retrospective analysis of 182 patients with SAH who had poor grades on the WFNS scale. Patients were graded according to the original WFNS scale and additionally according to a modified classification, the WFNS herniation (hWFNS) scale (Grade IV, no clinical signs of herniation; Grade V, clinical signs of herniation). The prediction of poor outcome was compared between these two grading systems. RESULTS The positive predictive values of Grade V for poor outcome were 74.3% (OR 3.79, 95% CI 1.94-7.54) for WFNS Grade V and 85.7% (OR 8.27, 95% CI 3.78-19.47) for hWFNS Grade V. With respect to mortality, the positive predictive values were 68.3% (OR 3.9, 95% CI 2.01-7.69) for WFNS Grade V and 77.9% (OR 6.22, 95% CI 3.07-13.14) for hWFNS Grade V. CONCLUSIONS Limiting WFNS Grade V to the positive clinical signs of the Glasgow Coma Scale such as flexion, extension, and pupillary abnormalities instead of including "no motor response" increases the prediction of mortality and poor outcome in patients with severe SAH.

Numerical study of the laser-tip coupling in surface plasmon assisted stacked-double-gate field emitter arrays

Recently, sub-wavelength-pitch stacked double-gate metal nanotip arrays have been proposed to realize high current, high brightness electron bunches for ultrabright cathodes for x-ray free-electron laser applications. With the proposed device structure, ultrafast field emission of photoexcited electrons is efficiently driven by vertical incident near infrared laser pulses, via near field coupling of the surface plasmon polariton resonance of the gate electrodes with the nanotip apex. In this work, in order to gain insight in the underlying physical processes, the authors report detailed numerical studies of the proposed device. The results indicate the importance of the interaction of the double-layer surface plasmon polariton, the position of the nanotip, as well as the incident angle of the near infrared laser pulses.

The Complexity of Non-Iterated Probabilistic Justification Logic

The logic PJ is a probabilistic logic defined by adding (noniterated) probability operators to the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of the derivability problem in the logic PJ. The main result of the paper is that the complexity of the derivability problem in PJ remains the same as the complexity of the derivability problem in the underlying logic J, which is π[p/2] -complete. This implies that the probability operators do not increase the complexity of the logic, although they arguably enrich the expressiveness of the language.

Probabilistic Justification Logic

We present a probabilistic justification logic, PPJ, to study rational belief, degrees of belief and justifications. We establish soundness and completeness for PPJ and show that its satisfiability problem is decidable. In the last part we use PPJ to provide a solution to the lottery paradox.

Beyond a logic of effectiveness: Horizontal coordination, democratic legitimacy and accountability

Horizontal coordination, where actors join together to accomplish a common task, has been applauded for its output legitimacy. However, such processes often face challenges due to opposition from local actors who raise concerns about democratic legitimacy and accountability. Moving beyond a logic of effectiveness, we aim to show how and why other forms of legitimacy such as input and throughput dimensions also affect horizontal coordination, in addition to output criteria. Beyond the assumed positive relationship between coordination and effectiveness, we additionally expect horizontal coordination to be (a) impeded by local actors' fear of losing democratic legitimacy; and (b) fostered by accountability in terms of the steering capacity of the state. A comparative case study analysis of water supply structures at the regional level in Switzerland shows, in contrast to our expectation, that effectiveness has mixed impacts on horizontal coordination. Rather than being solely a positive factor for horizontal coordination, certain output criteria such as financial redistribution are found to be a key hindrance. We also find that democratic legitimacy may, indeed, impede horizontal coordination whereas increased accountability positively affects such coordination.