The KB paradigm and its application to interactive configuration

The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference. As such, the paradigm applies a strict separation of concerns between information and problem solving. In this paper, we analyze the principles and feasibility of the knowledge base paradigm in the context of an important class of applications: interactive configuration problems. In interactive configuration problems, a configuration of interrelated objects under constraints is searched, where the system assists the user in reaching an intended configuration. It is widely recognized in industry that good software solutions for these problems are very difficult to develop. We investigate such problems from the perspective of the KB paradigm. We show that multiple functionalities in this domain can be achieved by applying different forms of logical inferences on a formal specification of the configuration domain. We report on a proof of concept of this approach in a real-life application with a banking company. To appear in Theory and Practice of Logic Programming (TPLP).Comment: To appear in Theory and Practice of Logic Programming (TPLP

Increased susceptibility to proactive interference in adults with dyslexia?

Recent findings show that people with dyslexia have an impairment in serial-order memory. Based on these findings, the present study aimed to test the hypothesis that people with dyslexia have difficulties dealing with proactive interference (PI) in recognition memory. A group of 25 adults with dyslexia and a group of matched controls were subjected to a 2-back recognition task, which required participants to indicate whether an item (mis)matched the item that had been presented 2 trials before. PI was elicited using lure trials in which the item matched the item in the 3-back position instead of the targeted 2-back position. Our results demonstrate that the introduction of lure trials affected 2-back recognition performance more severely in the dyslexic group than in the control group, suggesting greater difficulty in resisting PI in dyslexia.Peer reviewedFinal Accepted Versio

Dielectric barrier discharges used for the conversion of greenhouse gases : modeling the plasma chemistry by fluid simulations

Abstract only

Fluid modeling of the conversion of CH4 in presence of O2 of CO2 into methanol and syngas in an atmospheric pressure dielectric barrier discharge

Abstract only

Violence Defied? A Review of Prevention of Violence in the Public and Semi-public Domain

This report provides a synthesis of 48 studies of the effects of the prevention of violence in the public and semi-public domain

Surface nanoscale axial photonics: Robust fabrication of high quality factor microresonators

Recently introduced Surface Nanoscale Axial Photonics (SNAP) makes it possible to fabricate high Q-factor microresonators and other photonic microdevices by dramatically small deformation of the optical fiber surface. To become a practical and robust technology, the SNAP platform requires methods enabling reproducible modification of the optical fiber radius at nanoscale. In this Letter, we demonstrate super-accurate fabrication of high Q-factor microresonators by nanoscale modification of the optical fiber radius and refractive index using the CO2 laser and the UV excimer laser beam exposures. The achieved fabrication accuracy is better than 2 angstroms in variation of the effective fiber radius

Dissection of the Human Multipotent Adult Progenitor Cell (MAPC) Secretome by Proteomic Analysis

Digitalitzat per Artypla

Generalized Kahler manifolds and off-shell supersymmetry

We solve the long standing problem of finding an off-shell supersymmetric formulation for a general N = (2, 2) nonlinear two dimensional sigma model. Geometrically the problem is equivalent to proving the existence of special coordinates; these correspond to particular superfields that allow for a superspace description. We construct and explain the geometric significance of the generalized Kahler potential for any generalized Kahler manifold; this potential is the superspace Lagrangian.Comment: 21 pages; references clarified and added; theorem generalized; typos correcte