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

Exposure to the rxr agonist sr11237 in early life causes disturbed skeletal morphogenesis in a rat model

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. Longitudinal bone growth occurs through endochondral ossification (EO), controlled by various signaling molecules. Retinoid X Receptor (RXR) is a nuclear receptor with important roles in cell death, development, and metabolism. However, little is known about its role in EO. In this study, the agonist SR11237 was used to evaluate RXR activation in EO. Rats given SR11237 from post-natal day 5 to post-natal day 15 were harvested for micro-computed tomography (microCT) scanning and histology. In parallel, newborn CD1 mouse tibiae were cultured with increasing concentrations of SR11237 for histological and whole-mount evaluation. RXR agonist-treated rats had shorter long bones than the controls and developed dysmorphia of the growth plate. Cells invading the calcified and dysmorphic growth plate appeared pre-hypertrophic in size and shape, in correspondence with p57 immunostaining. Additionally, SOX9-positive cells were found surrounding the calcified tissue. The epiphysis of SR11237-treated bones showed increased TRAP staining and additional TUNEL staining at the osteo-chondral junction. MicroCT revealed morphological disorganization in the long bones of the treated animals. This study suggests that stimulation of RXR causes irregular ossification, premature closure of the growth plate, and disrupted long bone growth in rodent models

Recommended motor assessments based on psychometric properties in individuals with dementia: A systematic review

Abstract Background Motor assessments are important to determine effectiveness of physical activity in individuals with dementia (IWD). However, inappropriate and non-standardised assessments without sound psychometric properties have been used. This systematic review aims to examine psychometric properties of motor assessments in IWD combined with frequency of use and effect sizes and to provide recommendations based on observed findings. We performed a two-stage systematic literature search using Pubmed, Web of Science, Cochrane Library, ALOIS, and Scopus (inception - July/September 2018, English and German). The first search purposed to identify motor assessments used in randomised controlled trials assessing effectiveness of physical activity in IWD and to display their frequency of use and effect sizes. The second search focused on psychometric properties considering influence of severity and aetiology of dementia and cueing on test-retest reliability. Two reviewers independently extracted and analysed findings of eligible studies in a narrative synthesis. Results Literature searches identified 46 randomised controlled trials and 21 psychometric property studies. While insufficient information was available for validity, we observed sufficient inter-rater and relative test-retest reliability but unacceptable absolute test-retest reliability for most assessments. Combining these findings with frequency of use and effect sizes, we recommend Functional Reach Test, Groningen Meander Walking Test (time), Berg Balance Scale, Performance Oriented Mobility Assessment, Timed Up & Go Test, instrumented gait analysis (spatiotemporal parameters), Sit-to-Stand assessments (repetitions> 1), and 6-min walk test. It is important to consider that severity and aetiology of dementia and cueing influenced test-retest reliability of some assessments. Conclusion This review establishes an important foundation for future investigations. Sufficient relative reliability supports the conclusiveness of recommended assessments at group level, while unacceptable absolute reliability advices caution in assessing intra-individual changes. Moreover, influences on test-retest reliability suggest tailoring assessments and instructions to IWD and applying cueing only where it is inevitable. Considering heterogeneity of included studies and insufficient examination in various areas, these recommendations are not comprehensive. Further research, especially on validity and influences on test-retest reliability, as well as standardisation and development of tailored assessments for IWD is crucial. This systematic review was registered in PROSPERO (CRD42018105399)

Large Anomalous Hall effect in a silicon-based magnetic semiconductor

Magnetic semiconductors are attracting high interest because of their potential use for spintronics, a new technology which merges electronics and manipulation of conduction electron spins. (GaMn)As and (GaMn)N have recently emerged as the most popular materials for this new technology. While Curie temperatures are rising towards room temperature, these materials can only be fabricated in thin film form, are heavily defective, and are not obviously compatible with Si. We show here that it is productive to consider transition metal monosilicides as potential alternatives. In particular, we report the discovery that the bulk metallic magnets derived from doping the narrow gap insulator FeSi with Co share the very high anomalous Hall conductance of (GaMn)As, while displaying Curie temperatures as high as 53 K. Our work opens up a new arena for spintronics, involving a bulk material based only on transition metals and Si, and which we have proven to display a variety of large magnetic field effects on easily measured electrical properties.Comment: 19 pages with 5 figure

Rehabilitation Needs, Service Provision, and Costs in the First Year Following Traumatic Injuries: Protocol for a Prospective Cohort Study

Background: Traumatic injuries, defined as physical injuries with sudden onset, are a major public health problem worldwide. There is a paucity of knowledge regarding rehabilitation needs and service provision for patients with moderate and major trauma, even if rehabilitation research on a spectrum of specific injuries is available. Objective: This study aims to describe the prevalence of rehabilitation needs, the provided services, and functional outcomes across all age groups, levels of injury severity, and geographical regions in the first year after trauma. Direct and indirect costs of rehabilitation provision will also be assessed. The overarching aim is to better understand where to target future efforts. Methods: This is a population-based prospective follow-up study. It encompasses patients of all ages with moderate and severe acute traumatic injury (New Injury Severity Score >9) admitted to the regional trauma centers in southeastern and northern Norway over a 1-year period (2020). Sociodemographic and injury data will be collected. Upon hospital discharge, rehabilitation physicians estimate rehabilitation needs. Rehabilitation needs are assessed by the Rehabilitation Complexity Scale Extended–Trauma (RCS E–Trauma; specialized inpatient rehabilitation), Needs and Provision Complexity Scale (NPCS; community-based rehabilitation and health care service delivery), and Family Needs Questionnaire–Pediatric Version (FNQ-P). Patients, family caregivers, or both will complete questionnaires at 6- and 12-month follow-ups, which are supplemented by telephone interviews. Data on functioning and disability, mental health, health-related quality of life measured by the EuroQol Questionnaire (EQ-5D), and needs and provision of rehabilitation and health care services are collected by validated outcome measures. Unmet needs are represented by the discrepancies between the estimates of the RCS E–Trauma and NPCS at the time of a patient’s discharge and the rehabilitation services the patient has actually received. Formal service provision (including admission to inpatient- or outpatient-based rehabilitation), informal care, and associated costs will be collected. Results: The project was funded in December 2018 and approved by the Regional Committee for Medical and Health Research Ethics in October 2019. Inclusion of patients began at Oslo University Hospital on January 1, 2020, and at the University Hospital of North Norway on February 1, 2020. As of February 2021, we have enrolled 612 patients, and for 286 patients the 6-month follow-up has been completed. Papers will be drafted for publication throughout 2021 and 2022. Conclusions: This study will improve our understanding of existing service provision, the gaps between needs and services, and the associated costs for treating patients with moderate and major trauma. This may guide the improvement of rehabilitation and health care resource planning and allocation

Pilot, randomized, placebo-controlled clinical field study to evaluate the effectiveness of bupivacaine liposome injectable suspension for the provision of post-surgical analgesia in dogs undergoing stifle surgery

Abstract Background Local anesthetics are an important component of perioperative pain management, but the duration of action of available products is limited. We hypothesized that a single local infiltration of a novel bupivacaine liposome injectable suspension (AT-003) would provide clinically effective analgesia over a 72-h period. In a masked, randomized, placebo-controlled, multi-center pilot field study, dogs undergoing lateral retinacular suture placement for cranial cruciate insufficiency were randomly assigned to surgical site infiltration with AT-003 (5.3 mg/kg) or an equivalent volume of saline. Infiltration of the surgical site was done prior to closure. Primary outcome measure was the Glasgow Composite Measure Pain Scale (CMPS-SF) assessed prior to surgery and at 2, 4, 8, 12, 24, 30, 36, 48, 54, 60 and 72 h following surgery by trained individuals. Provision for rescue analgesia was employed. Repeated measures analysis of variance were utilized to test for possible differences between treatment groups and a success/failure analysis was also employed, based on the need for rescue analgesia. Results Forty-six dogs were enrolled and evaluated. For CMPS-SF scores there was a significant overall treatment effect (p = 0.0027) in favor of AT-003. There were significantly more successes in the AT-003 group compared to placebo over each time period (p = 0.0001 for 0–24 h, p = 0.0349 for 0–48 h, and p = 0.0240 for 0-72 h). No significant adverse events were seen. Conclusions AT-003 (bupivacaine liposome injectable suspension) provided measurable local analgesia over a 72-h period following post-stifle surgery surgical site tissue infiltration. Further work is indicated to develop this product for clinical use

Functional Electrical Stimulation of Intrinsic Laryngeal Muscles under Varying Loads in Exercising Horses

Bilateral vocal fold paralysis (BVCP) is a life threatening condition and appears to be a good candidate for therapy using functional electrical stimulation (FES). Developing a working FES system has been technically difficult due to the inaccessible location and small size of the sole arytenoid abductor, the posterior cricoarytenoid (PCA) muscle. A naturally-occurring disease in horses shares many functional and etiological features with BVCP. In this study, the feasibility of FES for equine vocal fold paralysis was explored by testing arytenoid abduction evoked by electrical stimulation of the PCA muscle. Rheobase and chronaxie were determined for innervated PCA muscle. We then tested the hypothesis that direct muscle stimulation can maintain airway patency during strenuous exercise in horses with induced transient conduction block of the laryngeal motor nerve. Six adult horses were instrumented with a single bipolar intra-muscular electrode in the left PCA muscle. Rheobase and chronaxie were within the normal range for innervated muscle at 0.55±0.38 v and 0.38±0.19 ms respectively. Intramuscular stimulation of the PCA muscle significantly improved arytenoid abduction at all levels of exercise intensity and there was no significant difference between the level of abduction achieved with stimulation and control values under moderate loads. The equine larynx may provide a useful model for the study of bilateral fold paralysis