Towards the Prediction of User Actions on Exercises with Hints Based on Survey Results

Proceedings of: 6th European Conference of Technology Enhanced Learning, EC-TEL 2011, Palermo, Italy, September 20-23, 2011.The actions a user performs on exercises depending on the different hinting techniques applied, can be used to adapt future exercises. In this paper, we propose a survey for users in order to know their different actions depending on different conditions. The analysis of preliminary results for some questions of the model shows that there is a correlation between some survey questions and the real student actions, but there is a case in which there is not such correlation. For the cases where that correlation exists, this correlation leads to think that some prediction of users actions based on survey results is possible.Work partially funded by the Learn3 project TIN2008-05163/TSI within the Spanish “Plan Nacional de I+D+I”, and the Madrid regional community project eMadrid S2009/TIC-1650

Knowledge protection in firms: A conceptual framework and evidence from HP Labs

This paper proposes a simple framework to examine organizational methods of knowledge protection. The framework highlights a basic trade‐off between improving decision‐making and innovation through communication and mitigating security risks by imposing restrictions on communication flows. The trade‐off is mediated by factors such as the sensitivity of information, the degree to which employees can be trusted to handle sensitive information appropriately, and firms’ investments in legal protection mechanisms. Evidence from HP Labs supports the basic predictions of the model, in particular the importance of employee trustworthiness and internalized codes of behavior in promoting open communication. Our interviews also suggest a potential conflict between two of the most important appropriability mechanisms: secrecy and lead‐time advantage

PDE-4 inhibition rescues aberrant synaptic plasticity in Drosophila and mouse models of fragile X syndrome.

Fragile X syndrome (FXS) is the leading cause of both intellectual disability and autism resulting from a single gene mutation. Previously, we characterized cognitive impairments and brain structural defects in a Drosophila model of FXS and demonstrated that these impairments were rescued by treatment with metabotropic glutamate receptor (mGluR) antagonists or lithium. A well-documented biochemical defect observed in fly and mouse FXS models and FXS patients is low cAMP levels. cAMP levels can be regulated by mGluR signaling. Herein, we demonstrate PDE-4 inhibition as a therapeutic strategy to ameliorate memory impairments and brain structural defects in the Drosophila model of fragile X. Furthermore, we examine the effects of PDE-4 inhibition by pharmacologic treatment in the fragile X mouse model. We demonstrate that acute inhibition of PDE-4 by pharmacologic treatment in hippocampal slices rescues the enhanced mGluR-dependent LTD phenotype observed in FXS mice. Additionally, we find that chronic treatment of FXS model mice, in adulthood, also restores the level of mGluR-dependent LTD to that observed in wild-type animals. Translating the findings of successful pharmacologic intervention from the Drosophila model into the mouse model of FXS is an important advance, in that this identifies and validates PDE-4 inhibition as potential therapeutic intervention for the treatment of individuals afflicted with FXS

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook-style mathematical proofs. We characterize the particularities of the domain and discuss common ITS design models. Our approach is motivated by phenomena found in a corpus of tutorial dialogs that were collected in a Wizard-of-Oz experiment. We show how an intelligent tutor for textbook-style mathematical proofs can be built on top of an adapted assertion-level proof assistant by reusing representations and proof search strategies originally developed for automated and interactive theorem proving. The resulting prototype was successfully evaluated on a corpus of tutorial dialogs and yields good results.Comment: In Proceedings THedu'11, arXiv:1202.453

Inside Organizations: Pricing, Politics, and Path Dependence

When economists have considered organizations, much attention has focused on the boundary of the firm, rather than its internal structures and processes. In contrast, this review sketches three approaches to the economic theory of internal organization—one substantially developed, another rapidly emerging, and a third on the horizon. The first approach (pricing) applies Pigou's prescription: If markets get prices wrong, then the economist's job is to fix the prices. The second approach (politics) considers environments where important actions inside organizations simply cannot be priced, so power and control become central. Finally, the third approach (path dependence) complements the first two by shifting attention from the between variance to the within. That is, rather than asking how organizations confronting different circumstances should choose different structures and processes, the focus here is on how path dependence can cause persistent performance differences among seemingly similar enterprises