Logical foundations of nonmonotonic reasoning

In this paper we shall review the main appraches to nonmonotonic reasoning which we classify from the perspective of their underlying logical settings as classical, intuitionistic, three-valued/partial models, and conditional. We shall be placing special emphasis on some of the prominent approaches. We shall also give hints on potential future directions and emphasize that more theoretical work is still needed before a move to application is made.     

ViStA: a visualization system for exploring Arabic text

Text visualization has become a significant tool that facilitates knowledge discovery and insightful presentation of large amounts of data. This paper presents a visualization system for exploring Arabic text called ViStA. We report about the design, the implementation and some of the experiments we conducted on the system. The development of such tools assists Arabic language analysts to effectively explore, understand, and discover interesting knowledge hidden in text data. We used statistical techniques from the field of Information Retrieval to identify the relevant documents coupled with sophisticated natural language processing (NLP) tools to process the text. For text visualization, the system used a hybrid approach combining latent semantic indexing for feature selection and multidimensional scaling for dimensionality reduction. Initial results confirm the viability of using this approach to tackle the problem of Arabic text visualization and other Arabic NLP applications.     

Multivariate statistical analysis for monitoring the hydrocarbon potentiality of the source rocks in the North Western Desert,Egypt

The authors aimed to examine a multivariate statistical analysis approach for monitoring the hydrocarbon potentiality of source rocks in the North Western Desert to recognize the potentiality of source rocks and subsequently investigate the maturation level of the proven potential source formations for oil preservation. To achieve this aim, they applied multivariate statistics analysis (principle component analysis [PCA], cluster analysis, and correlation coefficient) and Rock-Eval pyrolysis analyses. The results showed that both PCA and cluster analyses have showed two types of source rocks. The first is classified as poor to fair source rock and immature to marginally mature source rock, the second is considered as fair to good source rock and mature to post mature source rock. PCA extracted two independent factors, which explained 81.87% of the total variance. The first type of source rock was responsible for 50% of the total variance and was best represented by variables TOC, S2, OI, and R_o, and the second one was responsible for 31.65% of the total variance and was represented by the HI variable. Pearson correlation coefficient showed a significant positive correlation between TOC and S2 or R_o. A positive correlation between S2 and HI or OI and also between OI and R_o was observed, while no significant correlation was noticed between HI and R_o.     

Laparoscopic diagnosis and excision of Meckel's diverticulum

Meckel's diverticulum is one of the primary concerns in the differential diagnosis of the pediatric patient with massive, acute gastrointestinal bleeding, intussusception, or abdominal pain of uncertain cause. The hospital course of two children with Meckel's diverticulum, successfully treated by laparoscopic excision, is presented, along with details of the operative procedure. Both patients recovered from the procedure without incident and were discharged at 24 and 48 hours after surgery. The authors believe a laparoscopic approach is safe and effective in the diagnosis and treatment of Meckel's diverticulum.     

More IMPATIENT: A gridding-accelerated Toeplitz-based strategy for non-Cartesian high-resolution 3D MRI on GPUs

Several recent methods have been proposed to obtain significant speed-ups in MRI image reconstruction by leveraging the computational power of GPUs. Previously, we implemented a GPU-based image reconstruction technique called the Illinois Massively Parallel Acquisition Toolkit for Image reconstruction with ENhanced Throughput in MRI (IMPATIENT MRI) for reconstructing data collected along arbitrary 3D trajectories. In this paper, we improve IMPATIENT by removing computational bottlenecks by using a gridding approach to accelerate the computation of various data structures needed by the previous routine. Further, we enhance the routine with capabilities for off-resonance correction and multi-sensor parallel imaging reconstruction. Through implementation of optimized gridding into our iterative reconstruction scheme, speed-ups of more than a factor of 200 are provided in the improved GPU implementation compared to the previous accelerated GPU code.     

Prospective and retrospective reports of mood states before relapse to substance use.

In a prospective design, it was predicted that the role of negative mood in precipitating relapses and crises among alcohol-dependent Ss would be greater when assessed with retrospective mood ratings than when assessed by prospective mood ratings because of Ss' attributional biases. This hypothesis was not supported. Support was found, however, for a relationship between negative bias and the amount of negative mood assessed at the time the retrospective report was given. As has been previously found, the most frequent precipitant of relapses and crises in this study was negative emotional states. Female Ss were more likely to report interpersonal and less likely to report intrapersonal determinants than male Ss. Minor relapses were more likely to be precipitated by social pressure and less likely to be related to negative emotions than major relapses. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Answers to modal and hypothetical questions in knowledge base systems

This paper describes a computational model which is geared towards providing helpful answers to modal and hypothetical questions in knowledge base systems (KBSs). The model is an essential component of a more complete model which aims at giving helpful answers to questions presented in a natural language. The overall work touches on formal semantic theories on modality and question answering (which have been mainly addressed by linguists and semanticists), intensionality, partiality and belief revision. In this paper, we shall mainly be concerned with the question of partiality where we present a three-valued logic, to which we shall refer as K-T, for reasoning with incomplete information and a proof method for the logic. Along the way, we shall lightly touch on other issues such as answerhood, modality, context and helpfulness.     

Is HLA-DRW13 (W6) associated with juvenile myoclonic epilepsy in Arab patients?

In a study of 32 unrelated Arab patients with juvenile myoclonic epilepsy (JME), we compared the frequencies of human leukocyte antigen (HLA) class I and II alleles with those of unrelated healthy controls. A significant difference between the phenotypic frequencies in JME patients and controls was observed for DRW13, the split of DRW6 (37.5 vs 11% of controls). The strength of association as measured by the relative risk was 4.85 for this antigen (p = 0.002). The possible association of JME with HLA-DRW6 recently reported in Caucasians was confirmed in this study. This finding speaks for the homogeneity of the disease among Arabic and Caucasian JME patients. The existence of this association is evidence of a locus in the HLA region that influences expression of JME.