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.     

The Pharmacology and Therapeutic Utility of Sodium Hydroselenide

Metabolically active gasotransmitters (nitric oxide, carbon monoxide and hydrogen sulfide) are important signalling molecules that show therapeutic utility in oxidative pathologies. The reduced form of selenium, hydrogen selenide (HSe⁻/H₂Se), shares some characteristics with these molecules. The simple selenide salt, sodium hydroselenide (NaHSe) showed significant metabolic activity, dose-dependently decreasing ex vivo O₂ consumption (rat soleus muscle, liver) and transiently inhibiting mitochondrial cytochrome C oxidase (liver, heart). Pharmacological manipulation of selenoprotein expression in HepG2 human hepatocytes revealed that the oxidation status of selenium impacts on protein expression; reduced selenide (NaHSe) increased, whereas (oxidized) sodium selenite decreased the abundance of two ubiquitous selenoproteins. An inhibitor of endogenous sulfide production (DL-propargylglycine; PAG) also reduced selenoprotein expression; this was reversed by exogenous NaHSe, but not sodium hydrosulfide (NaHS). NaHSe also conferred cytoprotection against an oxidative challenge (H₂O₂), and this was associated with an increase in mitochondrial membrane potential. Anesthetized Wistar rats receiving intravenous NaHSe exhibited significant bradycardia, metabolic acidosis and hyperlactataemia. In summary, NaHSe modulates metabolism by inhibition of cytochrome C oxidase. Modification of selenoprotein expression revealed the importance of oxidation status of selenium therapies, with implications for current clinical practice. The utility of NaHSe as a research tool and putative therapeutic is discussed.     

Structural Basis for The Recognition of Deaminated Nucleobases by An Archaeal DNA Polymerase

With increasing temperature, nucleobases in DNA become increasingly damaged by hydrolysis of exocyclic amines. The most prominent damage includes the conversion of cytosine to uracil and adenine to hypoxanthine. These damages are mutagenic and put the integrity of the genome at risk if not repaired appropriately. Several archaea live at elevated temperatures and thus, are exposed to a higher risk of deamination. Earlier studies have shown that DNA polymerases of archaea have the property of sensing deaminated nucleobases in the DNA template and thereby stalling the DNA synthesis during DNA replication providing another layer of DNA damage recognition and repair. However, the structural basis of uracil and hypoxanthine sensing by archaeal B-family DNA polymerases is sparse. Here we report on three new crystal structures of the archaeal B-family DNA polymerase from Thermococcus kodakarensis (KOD) DNA polymerase in complex with primer and template strands that have extended single stranded DNA template 5’-overhangs. These overhangs contain either the canonical nucleobases as well as uracil or hypoxanthine, respectively, and provide unprecedented structural insights into their recognition by archaeal B-family DNA polymerases.     

Synchronous receiver initiated MAC protocol for long-lived sensor networks

In this paper, we discuss the design of a new Medium Access Control (MAC) protocol, SRI-MAC (Synchronous Receiver Initiated MAC), for wireless sensor networks whose goal is to extend the lifetime of the network by avoiding major energy waste causes, such as collisions, overhearing and idle listening.     

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.     

A Framework of Deep Optimal Features Selection for Apple Leaf Diseases Recognition

Identifying fruit disease manually is time-consuming, expert-required, and expensive; thus, a computer-based automated system is widely required. Fruit diseases affect not only the quality but also the quantity. As a result, it is possible to detect the disease early on and cure the fruits using computer-based techniques. However, computer-based methods face several challenges, including low contrast, a lack of dataset for training a model, and inappropriate feature extraction for final classification. In this paper, we proposed an automated framework for detecting apple fruit leaf diseases using CNN and a hybrid optimization algorithm. Data augmentation is performed initially to balance the selected apple dataset. After that, two pre-trained deep models are fine-tuning and trained using transfer learning. Then, a fusion technique is proposed named Parallel Correlation Threshold (PCT). The fused feature vector is optimized in the next step using a hybrid optimization algorithm. The selected features are finally classified using machine learning algorithms. Four different experiments have been carried out on the augmented Plant Village dataset and yielded the best accuracy of 99.8%. The accuracy of the proposed framework is also compared to that of several neural nets, and it outperforms them all.     

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.     

Angiotensin II stimulates cAMP production and protein tyrosine phosphorylation in mouse spermatozoa

Angiotensin II (AII), found in seminal plasma, has been shown to stimulate capacitation in uncapacitated mammalian spermatozoa. The present study investigated the location of AII receptors on spermatozoa and AII's mechanism of action. AT1 type receptors for AII are present on the acrosomal cap region and along the whole of the flagellum of both mouse and human spermatozoa. Because combinations of low concentrations of AII and either calcitonin or fertilization-promoting peptide (FPP), both known to regulate the adenylyl cyclase (AC)/cAMP signal transduction pathway, elicited a significant response, this study investigated the hypothesis that these peptides act on the same pathway. AII was shown to significantly stimulate cAMP production in both uncapacitated and capacitated mouse spermatozoa and this was associated with increases in protein tyrosine phosphorylation. Using an anti-phosphotyrosine antibody to visualize the location of tyrosine phosphoproteins within individual cells, AII significantly stimulated phosphorylation within 20 min in both the head, especially in the acrosomal cap region, and the flagellum, especially in the principal piece, of uncapacitated mouse spermatozoa; combined AII + FPP was stimulatory within 5 min. In addition, Western blotting revealed that AII stimulation increased phosphorylation in a number of tyrosine phosphoproteins in both uncapacitated and capacitated mouse spermatozoa, with some being altered only in the latter category of cells. These results support the hypothesis that AII stimulates AC/cAMP in mammalian spermatozoa.     

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.