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.

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.

What supports students' education in the operating room? A focus group study including students' and surgeons' views.

BACKGROUND AND METHODS We conducted a focus group analysis with students and surgeons on factors which influence medical school students' education in the operating room (OR). The interviews were analyzed using grounded theory. RESULTS The analysis resulted in 18 detailed and easily applyable themes, which were grouped into the four categories: "Students' preparation and organizational aspects", "Learning objectives", "Educational strategies for the teacher", and "Social-environmental aspects". CONCLUSION By including students and surgeons, we were able to extend existing knowledge and enable better understanding of factors influencing teaching in the OR.

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.

Noise peaks influence communication in the operating room. An observational study

Noise peaks are powerful distractors. This study focuses on the impact of noise peaks on surgical teams' communication during 109 long abdominal surgeries. We related measured noise peaks during 5-min intervals to the amount of observed communication during the same interval. Results show that noise peaks are associated with less case-relevant communication; this effect is moderated by the level of surgical experience; case-relevant communications decrease under high noise peak conditions among junior, but not among senior surgeons. However, case-irrelevant communication did not decrease under high noise level conditions, rather there was a trend to more case-irrelevant communication under high noise peaks. The results support the hypothesis that noise peaks impair communication because they draw on attentional resources rather than impairing understanding of communication. As case-relevant communication is important for surgical performance, exposure to high noise peaks in the OR should be minimised especially for less experienced surgeons. Practitioner Summary: This study investigated whether noise during surgeries influenced the communication within surgical teams. During abdominal surgeries, noise levels were measured and communication was observed. Results showed that high noise peaks reduced the frequency of patient-related communication, but did not reduce patient-irrelevant communication. Noise may negatively affect team coordination in surgeries.

THE LOGIC OF NOMINAL RECORD LINKAGE WITH A CASE STUDY FROM LAREDO, TEXAS

The Laredo Epidemiology Project is a study of the patterns of degenerative disease, particularly cancer, in the families of Laredo, Texas. The genealogical history of Laredo was reconstructed by the grouping of 350,000 individual church and civil vital event records into multi-generational families, with record linkage based on matching names. Mortality data from death records are mapped onto these pedigrees for analysis. This dissertation describes the construction of the data base and the logic upon which decisions were based. ^

Properties of seawater and particulate matter from a FRRF instrument, operating in a flow-through mode on the continuous surface water sampling system during the Tara Oceans expedition 2009-2013

The Tara Oceans Expedition (2009-2013) sampled the world oceans on board a 36 m long schooner, collecting environmental data and organisms from viruses to planktonic metazoans for later analyses using modern sequencing and state-of-the-art imaging technologies. Tara Oceans Data are particularly suited to study the genetic, morphological and functional diversity of plankton. The present data set provides continuous measurements made with a FRRF instrument, operating in a flow-through mode during the 2009-2012 part of the expedition. It operates by exciting chlorophyll fluorescence using a series of short flashes of controlled energy and time intervals (Kolber et al, 1998). The fluorescence transients produced by this excitation signal were analysed in real-time to provide estimates of abundance of photosynthetic pigments, the photosynthetic yields (Fv/Fm), the functional absorption cross section (a proxy for efficiency of photosynthetic energy acquisition), the kinetics of photosynthetic electron transport between Photosystem II and Photosystem I, and the size of the PQ pool. These parameters were measured at excitation wavelength of 445 nm, 470nm, 505 nm, and 535 nm, allowing to assess the presence and the photosynthetic performance of different phytoplankton taxa based on the spectral composition of their light harvesting pigments. The FRRF-derived photosynthetic characteristics were used to calculate the initial slope, the half saturation, and the maximum level of Photosynthesis vs Irradiance relationship. FRRF data were acquired continuously, at 1-minute time intervals.

Assessment of Hydrogen as suistinable clean energy

The progressive depletion of fossil fuels and their high contribution to the energy supply in this modern society forces that will be soon replaced by renewable fuels. But the dispersion and alternation of renewable energy production also undertake to reduce their costs to use as energy storage and hydrogen carrier. It is necessary to develop technologies for hydrogen production from all renewable energy storage technologies and the development of energy production from hydrogen fuel cells and cogeneration and tri generation systems. In order to propel this technological development discussed where the hydrogen plays a key role as energy storage and renewable energy, the National Centre of Hydrogen and Fuel Cell Technology Experimentation in Spain equipped with installations that enable scientific and technological design, develop, verify, certify, approve, test, measure and, more importantly, the facility ensures continuous operation for 24 hours a day, 365 days year. At the same time, the system is scalable so as to allow continuous adaptation of new technologies are developed and incorporated into the assembly to verify integration at the same time it checks the validity of their development. The transformation sector can be said to be the heart of the system, because without neglecting the other sectors, this should prove the validity of hydrogen as a carrier - energy storage are important efforts that have to do to demonstrate the suitability of fuel cells or internal combustion systems to realize the energy stored in hydrogen at prices competitive with conventional systems. The multiple roles to meet the fuel cells under different conditions of operation require to cover their operating conditions, many different sizes and applications. The fourth area focuses on integration is an essential complement within the installation. We must integrate not only the electricity produced, but also hydrogen is used and the heat generated in the process of using hydrogen energy. The energy management in its three forms: hydrogen chemical, electrical and thermal integration requires complicated and require a logic and artificial intelligence extremes to ensure maximum energy efficiency at the same time optimum utilization is achieved. Verification of the development and approval in the entire production system and, ultimately, as a demonstrator set to facilitate the simultaneous evolution of production technology, storage and distribution of hydrogen fuel cells has been assessed.

Exploring the logic of mobile search

After more than a decade of development work and hopes, the usage of mobile Internet has finally taken off. Now, we are witnessing the first signs of evidence of what might become the explosion of mobile content and applications that will be shaping the (mobile) Internet of the future. Similar to the wired Internet, search will become very relevant for the usage of mobile Internet. Current research on mobile search has applied a limited set of methodologies and has also generated a narrow outcome of meaningful results. This article covers new ground, exploring the use and visions of mobile search with a users' interview-based qualitative study. Its main conclusion builds upon the hypothesis that mobile search is sensitive to a mobile logic different than today's one. First, (advanced) users ask for accessing with their mobile devices the entire Internet, rather than subsections of it. Second, success is based on new added-value applications that exploit unique mobile functionalities. The authors interpret that such mobile logic involves fundamentally the use of personalised and context-based services.