Abductive Theorem Proving for Analyzing Student Explanations to Guide Feedback in Intelligent Tutoring Systems

The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers through natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems. In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their explanations. We describe in detail the abductive reasoner, Tacitus-lite+, that we use within the tutoring system. We also discuss evaluation results for an early version of the Why2-Atlas system and a subsequent evaluation of the theorem-proving module. We conclude with the discussion of work in progress and additional future work for deriving more benefits from a proof-based approach for tutoring applications.     

The Affective Structure of Supportive Parenting: Depressive Symptoms, Immediate Emotions, and Child-Oriented Motivation.

This study investigated the maternal concerns and emotions that may regulate one form of sensitive parenting, support for children's immediate desires or intentions. While reviewing a videotape of interactions with their 1-year-olds, mothers who varied on depressive symptoms reported concerns and emotions they had during the interaction. Emotions reflected outcomes either to children (child-oriented concerns) or to mothers themselves (parent-oriented concerns). Child-oriented concerns were associated with fewer negative emotions and more supportive behavior. Supportive parenting was high among mothers who experienced high joy and worry and low anger, sadness, and guilt. However, relations depended on whether emotions were child or parent oriented: Supportive behavior occurred more when emotions were child oriented. In addition, as depressive symptoms increased, mothers reported fewer child-oriented concerns, fewer child-oriented positive emotions, and more parent-oriented negative emotions. They also displayed less supportive behavior. Findings suggest that support for children's immediate intentions may be regulated by parents' concerns, immediate emotions, and depressive symptoms. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Morphological segmenting and neighborhood pixel-based locality preserving projection on brain fMRI dataset for semantic feature extraction: an affective computing study

Two specific chemical receptive fields of brain, namely the amygdala and the orbital-frontal cortex, are related to valence and arousal in medical experiments. Functional magnetic resonance imaging (fMRI), which is a noninvasive, repeatable, and atomical tool for medical imaging in clinic system, was widely used in affective computing; however, it faces its dataset processing difficulty for dimensional reduction as well as for decreasing the computational complexity. In addition, features extraction from those de-dimensionality datasets is a challenging issue. The current work solved the de-dimensionality issue by using some preprocessing algorithms including clustering, morphological segmenting, and locality preserving projection. In order to keep useful information in fMRI dataset for reduction process, improved neighborhood pixel-based locality preserving projection (NP-LPP) algorithm was addressed and continuously for feature extraction operating using Otsu weighted sum of histogram. Furthermore, a modified covariance power spectral density (MC-PSD) separately in an fMRI Valence–Arousal experiments was measured. The results were analyzed and compared with affective norms English words system. The experiments established that the proposed methods of NP-LPP effectively simplified high complexity of fMRI, and Otsu weighted sum of histogram exhibited superior performance for features extraction compared to the MC-PSD through the calculation root mean standard error. The current proposed method provided a potential application and promising research direction on human semantic retrieval through medical imaging dataset.

     

Epoxidized linolenic acid salts as multifunctional additives for the thermal stability of plasticized PVC

Calcium and zinc salts of epoxidized linolenic acid were synthesized and used as multifunctional additives, to minimize or prevent the reaction of epoxidized soybean oil (ESO) with liberated hydrochloric acid (HCl) during the thermal degradation of poly(vinyl chloride) (PVC) in particular. These metal epoxy salts were incorporated as thermal stabilizers for both diisodecyl phthalate and ESO–plasticized PVC blends that underwent thermal degradation studies at 170°C. The overall performance of these metal epoxy salts was examined by thermal gravimetric analysis and visual color retention of the PVC blends. The weight loss profiles of the metal salt stabilized PVC were comparable to those of blends containing metal stearates. There were, however, vast improvements in color retention of the plasticized PVC using these novel additives. © 2014 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 41736.     

A Catalytic Nanoreactor Based on in Vivo Encapsulation of Multiple Enzymes in an Engineered Protein Nanocompartment

Bacterial protein compartments concentrate and sequester enzymes, thereby regulating biochemical reactions. Here, we generated a new functional nanocompartment in Escherichia coli by engineering the MS2 phage capsid protein to encapsulate multiple cargo proteins. Sequestration of multiple proteins in MS2‐based capsids was achieved by SpyTag/SpyCatcher protein fusions that covalently crosslinked with the interior surface of the capsid. Further, the functional two‐enzyme indigo biosynthetic pathway could be targeted to the engineered capsids, leading to a 60 % increase in indigo production in vivo. The enzyme‐loaded particles could be purified in their active form and showed enhanced long‐term stability in vitro (about 95 % activity after seven days) compared with free enzymes (about 5 % activity after seven days). In summary, this engineered in vivo encapsulation system provides a simple and versatile way for generating highly stable multi‐enzyme nanoreactors for in vivo and in vitro applications.     

Vitamin E acetate addition to poly(d,l)lactic acid modifies its mechanical behavior without affecting biocompatibility

Mechanical properties of poly(d,l )lactic acid films enriched with Vitamin E and Vitamin E Acetate (5–40% w/w) were investigated. The addition of both formulations resulted in increased polymer Young's modulus and tensile strength. Human foreskin fibroblasts and murine pre‐osteoblasts were used to assess the biocompatibility of polymers. Pre‐osteoblasts adhesion and proliferation were strongly decreased by Vitamin E, whereas Vitamin E Acetate did not alter cell proliferation. Collagen deposition was lower onto Vitamin E blended polymers than onto native and Vitamin E Acetate blended ones. Fibroblasts adhesion and proliferation were increased by both Vitamin E and Vitamin E Acetate addition. © 2013 Wiley Periodicals, Inc. J. Appl. Polym. Sci., 2014 , 131, 39970.     

Evaluation of Cell Migration and Cytokines Expression Changes under the Radiofrequency Electromagnetic Field on Wound Healing In Vitro Model

Wound healing (WH) proceeds through four distinct phases: hemostasis, inflammation, proliferation, and remodeling. Impaired WH may be the consequence of the alteration of one of these phases and represents a significant health and economic burden to millions of individuals. Thus, new therapeutic strategies are the topics of intense research worldwide. Although radiofrequency electromagnetic field (RF-EMF) has many medical applications in rehabilitation, pain associated with musculoskeletal disorders, and degenerative joint disorders, its impact on WH is not fully understood. The process of WH begins just after injury and continues during the inflammatory and proliferative phases. A thorough understanding of the mechanisms by which RF-EMF can improve WH is required before it can be used as a non-invasive, inexpensive, and easily self-applicable therapeutic strategy. Thus, the aim of this study is to explore the therapeutic potential of different exposure setups of RF-EMF to drive faster healing, evaluating the keratinocytes migration, cytokines, and matrix metalloproteinases (MMPs) expression. The results showed that RF-EMF treatment promotes keratinocytes’ migration and regulates the expression of genes involved in healing, such as MMPs, tissue inhibitors of metalloproteinases, and pro/anti-inflammatory cytokines, to improve WH.     

Treatability Study on Membrane Concentrate Containing Pesticides Using Advanced Oxidation Processes

This treatability study evaluated the overall effectiveness of advanced oxidation processes (AOPs) to treat membrane concentrates containing the pesticides bromoxynil and trifluralin. The results of study indicate that high levels of pesticide degradation were achieved using ozone (O₃) plus hydrogen peroxide (H₂O₂) for all concentrate matrices. However, the toxicity of the samples during the O₃/H₂O₂ process was higher than that obtained during ultraviolet (UV) light combined with H₂O₂. Low levels of pesticide oxidation were observed in experiments using a mixture of pesticides during all treatment options.