Considerations for applying logical reasoning to explain neural network outputs

We discuss the impact of presenting explanations to people for Artificial Intelligence (AI) decisions powered by Neural Networks, according to three types of logical reasoning (inductive, deductive, and abductive). We start from examples in the existing literature on explaining artificial neural networks. We see that abductive reasoning is (unintentionally) the most commonly used as default in user testing for comparing the quality of explanation techniques. We discuss whether this may be because this reasoning type balances the technical challenges of generating the explanations, and the effectiveness of the explanations. Also, by illustrating how the original (abductive) explanation can be converted into the remaining two reasoning types we are able to identify considerations needed to support these kinds of transformations

Supporting High-Uncertainty Decisions through AI and Logic-Style Explanations

A common criteria for Explainable AI (XAI) is to support users in establishing appropriate trust in the AI - rejecting advice when it is incorrect, and accepting advice when it is correct. Previous findings suggest that explanations can cause an over-reliance on AI (overly accepting advice). Explanations that evoke appropriate trust are even more challenging for decision-making tasks that are difficult for humans and AI. For this reason, we study decision-making by non-experts in the high-uncertainty domain of stock trading. We compare the effectiveness of three different explanation styles (influenced by inductive, abductive, and deductive reasoning) and the role of AI confidence in terms of a) the users' reliance on the XAI interface elements (charts with indicators, AI prediction, explanation), b) the correctness of the decision (task performance), and c) the agreement with the AI's prediction. In contrast to previous work, we look at interactions between different aspects of decision-making, including AI correctness, and the combined effects of AI confidence and explanations styles. Our results show that specific explanation styles (abductive and deductive) improve the user's task performance in the case of high AI confidence compared to inductive explanations. In other words, these styles of explanations were able to invoke correct decisions (for both positive and negative decisions) when the system was certain. In such a condition, the agreement between the user's decision and the AI prediction confirms this finding, highlighting a significant agreement increase when the AI is correct. This suggests that both explanation styles are suitable for evoking appropriate trust in a confident AI. Our findings further indicate a need to consider AI confidence as a criterion for including or excluding explanations from AI interfaces. In addition, this paper highlights the importance of carefully selecting an explanation style according to the characteristics of the task and data

A taxonomic survey of female oviducal glands in chondrichthyes: A comparative overview of microanatomy in the two reproductive modes

Oviducal glands (OGs) are distinct expanded regions of the anterior portion of the oviduct, commonly found in chondrichthyans, which play a key role in the production of the egg in-vestments and in the female sperm storage (FSS). The FSS phenomenon has implications for understanding the reproductive ecology and management of exploited populations, but little information is available on its taxonomic extent. For the first time, mature OGs from three lecithotrophic oviparous and four yolk-sac viviparous species, all considered at risk from the fishing impacts in the central western Mediterranean Sea, were examined using light microscopy. The OG microanatomy, whose morphology is generally conserved in all species, shows differences within the two reproductive modalities. Oviparous species show a more developed baffle zone in respect to viviparous ones because of the production of different egg envelopes produced. Among oviparous species, Raja polystigma and Chimaera monstrosa show presence of sperm, but not sperm storage as observed, instead, in Galeus melastomus and in all the viviparous sharks, which preserve sperm inside of specialized structures in the terminal zone

Long-term field and laboratory leaching tests of cemented radioactive wastes

Experiments with real and simulated radioactive cementitious wasteforms were set up to compare the leaching behaviour of cementitious wasteforms containing nuclear power plant operational waste in field and laboratory test conditions. Experiments revealed that the average annual Cs-137 leach rate in deionised water was about thirty-five times greater compared with the measured average value for the 1st year of the field test. Cumulative leached fraction of Cs-137 for 1st year (3.74%) was close to values reported in literature for similar laboratory experiments in deionised water, however more than two orders of magnitude higher than the 1st year leached fraction of Cs-137 in the repository test (0.01%). Therefore, to compare field and laboratory test results, a scaling factor is required in order to account for surface to volume factor difference, multiplied by a temperature factor and a leach rate decrease coefficient related to the ground water composition. (C) 2011 Elsevier B.V. All rights reserved

Combined microwave ablation and osteosynthesis for long bone metastases

Background and Objectives: The purpose of this study was to evaluate the feasibility, safety and efficacy of microwave ablation (MWA) in combination with open surgery nail positioning for the treatment of fractures or impending fractures of long bone metastases. Material and Methods: Eleven patients (four men, seven women) with painful bone metastases of the humerus, femur or tibia with non-displaced fractures (one case) or impending fractures (10 cases) underwent open MWA in combination with osteosynthesis by locked nail positioning. Pain intensity was measured using a VAS score before and after treatment. CT or MRI were acquired at one month before and 1, 3, 6, 12 and 18 months after treatment. Results: All procedures were successfully completed without major complications. The level of pain was significantly reduced one month after treatment. For the patients with humerus metastases, the complete recovery of arm use took 8 weeks, while for the patients with femoral metastases the complete recovery of walking capacity took 11 weeks. The VAS score ranged from 7 (4–9) before treatment to 1.5 (0–2.5) after treatment. During a mid-term follow-up of 18 months (range 4–29 months), none of the patients showed tumor relapse or new fractures in the treated site. Two patients died due to tumor disease progression. Conclusion: Results of this preliminary study suggest that combined MWA and surgical osteosynthesis with locked nails is a safe and effective treatment for pathological fractures or malignant impending fractures of long bone metastases of the humerus, femur and tibia. Further analyses with larger cohorts are warranted to confirm these findings

The Spitzer Spectroscopic Survey of S-type Stars

S-type AGB stars are thought to be in the transitional phase between M-type and C-type AGB stars. Because of their peculiar chemical composition, one may expect a strong influence of the stellar C/O ratio on the molecular chemistry and the mineralogy of the circumstellar dust. In this paper, we present a large sample of 87 intrinsic galactic S-type AGB stars, observed at infrared wavelengths with the Spitzer Space Telescope, and supplemented with ground-based optical data. On the one hand, we derive the stellar parameters from the optical spectroscopy and photometry, using a grid of model atmospheres. On the other, we decompose the infrared spectra to quantify the flux-contributions from the different dust species. Finally, we compare the independently determined stellar parameters and dust properties. For the stars without significant dust emission, we detect a strict relation between the presence of SiS absorption in the Spitzer spectra and the C/O ratio of the stellar atmosphere. These absorption bands can thus be used as an additional diagnostic for the C/O ratio. For stars with significant dust emission, we define three groups, based on the relative contribution of certain dust species to the infrared flux. We find a strong link between group-membership and C/O ratio. We show that these groups can be explained by assuming that the dust-condensation can be cut short before silicates are produced, while the remaining free atoms and molecules can then form the observed magnesium sulfides or the carriers of the unidentified 13 and 20 micron features. Finally, we present the detection of emission features attributed to molecules and dust characteristic to C-type stars, such as molecular SiS, hydrocarbons and magnesium sulfide grains. We show that we often detect magnesium sulfides together with molecular SiS and we propose that it is formed by a reaction of SiS molecules with Mg.Comment: Accepted for publication in A&

A Balance of BMP and Notch Activity Regulates Neurogenesis and Olfactory Nerve Formation

Although the function of the adult olfactory system has been thoroughly studied, the molecular mechanisms regulating the initial formation of the olfactory nerve, the first cranial nerve, remain poorly defined. Here, we provide evidence that both modulated Notch and bone morphogenetic protein (BMP) signaling affect the generation of neurons in the olfactory epithelium and reduce the number of migratory neurons, so called epithelioid cells. We show that this reduction of epithelial and migratory neurons is followed by a subsequent failure or complete absence of olfactory nerve formation. These data provide new insights into the early generation of neurons in the olfactory epithelium and the initial formation of the olfactory nerve tract. Our results present a novel mechanism in which BMP signals negatively affect Notch activity in a dominant manner in the olfactory epithelium, thereby regulating neurogenesis and explain why a balance of BMP and Notch activity is critical for the generation of neurons and proper development of the olfactory nerve

Deep learning approach for cardiovascular disease risk stratification and survival analysis on a Canadian cohort

The quantification of carotid plaque has been routinely used to predict cardiovascular risk in cardiovascular disease (CVD) and coronary artery disease (CAD). To determine how well carotid plaque features predict the likelihood of CAD and cardiovascular (CV) events using deep learning (DL) and compare against the machine learning (ML) paradigm. The participants in this study consisted of 459 individuals who had undergone coronary angiography, contrast-enhanced ultrasonography, and focused carotid B-mode ultrasound. Each patient was tracked for thirty days. The measurements on these patients consisted of maximum plaque height (MPH), total plaque area (TPA), carotid intima-media thickness (cIMT), and intraplaque neovascularization (IPN). CAD risk and CV event stratification were performed by applying eight types of DL-based models. Univariate and multivariate analysis was also conducted to predict the most significant risk predictors. The DL's model effectiveness was evaluated by the area-under-the-curve measurement while the CV event prediction was evaluated using the Cox proportional hazard model (CPHM) and compared against the DL-based concordance index (c-index). IPN showed a substantial ability to predict CV events (p < 0.0001). The best DL system improved by 21% (0.929 vs. 0.762) over the best ML system. DL-based CV event prediction showed a similar to 17% increase in DL-based c-index compared to the CPHM (0.86 vs. 0.73). CAD and CV incidents were linked to IPN and carotid imaging characteristics. For survival analysis and CAD prediction, the DL-based system performs superior to ML-based models

Molecular evolution of the human SRPX2 gene that causes brain disorders of the Rolandic and Sylvian speech areas

<p>Abstract</p> <p>Background</p> <p>The X-linked <it>SRPX2 </it>gene encodes a Sushi Repeat-containing Protein of unknown function and is mutated in two disorders of the Rolandic/Sylvian speech areas. Since it is linked to defects in the functioning and the development of brain areas for speech production, <it>SRPX2 </it>may thus have participated in the adaptive organization of such brain regions. To address this issue, we have examined the recent molecular evolution of the <it>SRPX2 </it>gene.</p> <p>Results</p> <p>The complete coding region was sequenced in 24 human X chromosomes from worldwide populations and in six representative nonhuman primate species. One single, fixed amino acid change (R75K) has been specifically incorporated in human SRPX2 since the human-chimpanzee split. The R75K substitution occurred in the first sushi domain of SRPX2, only three amino acid residues away from a previously reported disease-causing mutation (Y72S). Three-dimensional structural modeling of the first sushi domain revealed that Y72 and K75 are both situated in the hypervariable loop that is usually implicated in protein-protein interactions. The side-chain of residue 75 is exposed, and is located within an unusual and SRPX-specific protruding extension to the hypervariable loop. The analysis of non-synonymous/synonymous substitution rate (Ka/Ks) ratio in primates was performed in order to test for positive selection during recent evolution. Using the branch models, the Ka/Ks ratio for the human branch was significantly different (p = 0.027) from that of the other branches. In contrast, the branch-site tests did not reach significance. Genetic analysis was also performed by sequencing 9,908 kilobases (kb) of intronic <it>SRPX2 </it>sequences. Despite low nucleotide diversity, neither the HKA (Hudson-Kreitman-Aguadé) test nor the Tajima's D test reached significance.</p> <p>Conclusion</p> <p>The R75K human-specific variation occurred in an important functional loop of the first sushi domain of SRPX2, indicating that this evolutionary mutation may have functional importance; however, positive selection for R75K could not be demonstrated. Nevertheless, our data contribute to the first understanding of molecular evolution of the human <it>SPRX2 </it>gene. Further experiments are now required in order to evaluate the possible consequences of R75K on SRPX2 interactions and functioning.</p

P38 Mitogen-Activated Protein Kinase Inhibitor, FR167653, Inhibits Parathyroid Hormone Related Protein-Induced Osteoclastogenesis and Bone Resorption

p38 mitogen-activated protein kinase (MAPK) acts downstream in the signaling pathway that includes receptor activator of NF-κB (RANK), a powerful inducer of osteoclast formation and activation. We investigated the role of p38 MAPK in parathyroid hormone related protein (PTHrP)-induced osteoclastogenesis in vitro and PTHrP-induced bone resorption in vivo. The ability of FR167653 to inhibit osteoclast formation was evaluated by counting the number of tartrate-resistant acid phosphatase positive multinucleated cells (TRAP-positive MNCs) in in vitro osteoclastgenesis assays. Its mechanisms were evaluated by detecting the expression level of c-Fos and nuclear factor of activated T cells c1 (NFATc1) in bone marrow macrophages(BMMs) stimulated with sRANKL and M-CSF, and by detecting the expression level of osteoprotegerin (OPG) and RANKL in bone marrow stromal cells stimulated with PTHrP in the presence of FR167653. The function of FR167653 on bone resorption was assessed by measuring the bone resorption area radiographically and by counting osteoclast number per unit bone tissue area in calvaria in a mouse model of bone resorption by injecting PTHrP subcutaneously onto calvaria. Whole blood ionized calcium levels were also recorded. FR167653 inhibited PTHrP-induced osteoclast formation and PTHrP-induced c-Fos and NFATc1 expression in bone marrow macrophages, but not the expression levels of RANKL and OPG in primary bone marrow stromal cells treated by PTHrP. Furthermore, bone resorption area and osteoclast number in vivo were significantly decreased by the treatment of FR167653. Systemic hypercalcemia was also partially inhibited. Inhibition of p38 MAPK by FR167653 blocks PTHrP-induced osteoclastogenesis in vitro and PTHrP-induced bone resorption in vivo, suggesting that the p38 MAPK signaling pathway plays a fundamental role in PTHrP-induced osteoclastic bone resorption