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

The Correlation-Based Method for the Movement Compensation in the Analysis of the Results of FRAP Experiments

This paper presents a computational algorithm for the detection and compensation for intracellular movement in the FRAP experiments with focal adhesions in living cells. The developed approach is based on the calculation of correlation coefficient. It was validated on the series of the experimental datasets and shows the successful results in the comparison with other widelyestablished methods

Successful Auxiliary Liver Transplant Followed by Hematopoietic Stem Cell Transplantation in X-Linked Lymphoproliferative Disease Type 1

We described a five-year-old boy who presented with acute liver failure of indeterminate aetiology, requiring urgent liver transplant. Post-operative course was complicated by pancytopaenia, hypogammaglobulinaemia and cerebral lesions, histologically confirmed as EBV-driven post-transplant lymphoproliferative disease. Genetic testing showed XLP1 mutation, prompting matched-unrelated haematopoietic stem cell transplant to cure his primary immunodeficiency

Anomalous f-electron Hall Effect in the Heavy-Fermion System CeTIn5_{5} (T = Co, Ir, or Rh)

The in-plane Hall coefficient $R_{H}(T)$ of CeRhIn$_{5}$, CeIrIn$_{5}$, and CeCoIn$_{5}$ and their respective non-magnetic lanthanum analogs are reported in fields to 90 kOe and at temperatures from 2 K to 325 K. $R_{H}(T)$ is negative, field-independent, and dominated by skew-scattering above $\sim$ 50 K in the Ce compounds. $R_{H}(H \to 0)$ becomes increasingly negative below 50 K and varies with temperature in a manner that is inconsistent with skew scattering. Field-dependent measurements show that the low-T anomaly is strongly suppressed when the applied field is increased to 90 kOe. Measurements on LaRhIn$_{5}$, LaIrIn$_{5}$, and LaCoIn$_{5}$ indicate that the same anomalous temperature dependence is present in the Hall coefficient of these non-magnetic analogs, albeit with a reduced amplitude and no field dependence. Hall angle ($\theta_{H}$) measurements find that the ratio $\rho_{xx}/\rho_{xy}=\cot(\theta_{H})$ varies as $T^{2}$ below 20 K for all three Ce-115 compounds. The Hall angle of the La-115 compounds follow this T-dependence as well. These data suggest that the electronic-structure contribution dominates the Hall effect in the 115 compounds, with $f$-electron and Kondo interactions acting to magnify the influence of the underlying complex band structure. This is in stark contrast to the situation in most $4f$ and $5f$ heavy-fermion compounds where the normal carrier contribution to the Hall effect provides only a small, T-independent background to $R_{H}.$Comment: 23 pages and 8 figure

Continuously-variable survival exponent for random walks with movable partial reflectors

We study a one-dimensional lattice random walk with an absorbing boundary at the origin and a movable partial reflector. On encountering the reflector, at site x, the walker is reflected (with probability r) to x-1 and the reflector is simultaneously pushed to x+1. Iteration of the transition matrix, and asymptotic analysis of the probability generating function show that the critical exponent delta governing the survival probability varies continuously between 1/2 and 1 as r varies between 0 and 1. Our study suggests a mechanism for nonuniversal kinetic critical behavior, observed in models with an infinite number of absorbing configurations.Comment: 5 pages, 3 figure

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

Hemodynamic impact of isobaric levobupivacaine versus hyperbaric bupivacaine for subarachnoid anesthesia in patients aged 65 and older undergoing hip surgery

BackgroundThe altered hemodynamics, and therefore the arterial hypotension is the most prevalent adverse effect after subarachnoid anesthesia. The objective of the study was to determine the exact role of local anesthetic selection underlying spinal anesthesia-induced hypotension in the elderly patient. We conducted a descriptive, observational pilot study to assess the hemodynamic impact of subarachnoid anesthesia with isobaric levobupivacaine versus hyperbaric bupivacaine for hip fracture surgery.DescriptionHundred twenty ASA status I-IV patients aged 65 and older undergoing hip fracture surgery were enrolled. The primary objective of our study was to compare hemodynamic effects based on systolic blood pressure (SBP) and dyastolic blood pressure (DBP) values, heart rate (HR) and hemoglobin (Hb) and respiratory effects based on partial oxygen saturation (SpO2%) values. The secondary objective was to assess potential adverse events with the use of levobupivacaine versus bupivacaine. Assessments were performed preoperatively, at 30 minutes into surgery, at the end of anesthesia and at 48 hours and 6 months after surgery.Among intraoperative events, the incidence of hypotension was statistically significantly higher (p <0.05) in group BUPI (38.3%) compared to group LEVO (13.3%). There was a decrease (p <0.05) in systolic blood pressure (SBP) and diastolic blood pressure (DBP) at 30 minutes intraoperatively (19% in group BUPI versus 17% in group LEVO). SpO2% increased at 30 minutes after anesthesia onset (1% in group BUPI versus 1.5% in group LEVO). Heart rate (HR) decreased at 30 minutes after anesthesia onset (5% in group BUPI versus 9% in group L). Hemoglobin (Hb) decreased from time of operating room (OR) admission to the end of anesthesia (9.3% in group BUPI versus 12.5% in group LEVO). The incidence of red blood cell (RBC) transfusion was 13.3% in group BUPI versus 31.7% in group LEVO, this difference was statistically significant. Among postoperative events, the incidence of congestive heart failure (CHF) was significantly higher in group BUPI (8,3%). At 6 months after anesthesia, no differences were found.ConclusionsGiven the hemodynamic stability and lower incidence of intraoperative hypotension observed, levobupivacaine could be the agent of choice for subarachnoid anesthesia in elderly patients

Healthy ageing and depletion of intracellular glutathione influences T cell membrane thioredoxin-1 levels and cytokine secretion

Background: During ageing an altered redox balance has been observed in both intracellular and extracellular compartments, primarily due to glutathione depletion and metabolic stress. Maintaining redox homeostasis is important for controlling proliferation and apoptosis in response to specific stimuli for a variety of cells. For T cells, the ability to generate specific response to antigen is dependent on the oxidation state of cell surface and cytoplasmic protein-thiols. Intracellular thiols are maintained in their reduced state by a network of redox regulating peptides, proteins and enzymes such as glutathione, thioredoxins and thioredoxin reductase. Here we have investigated whether any relationship exists between age and secreted or cell surface thioredoxin-1, intracellular glutathione concentration and T cell surface thioredoxin 1 (Trx-1) and how this is related to interleukin (IL)-2 production.Results: Healthy older adults have reduced lymphocyte surface expression and lower circulating plasma Trx-1 concentrations. Using buthionine sulfoximine to deplete intracellular glutathione in Jurkat T cells we show that cell surface Trx-1 is lowered, secretion of Trx-1 is decreased and the response to the lectin phytohaemagglutinin measured as IL-2 production is also affected. These effects are recapitulated by another glutathione depleting agent, diethylmaleate.Conclusion: Together these data suggest that a relationship exists between the intracellular redox compartment and Trx-1 proteins. Loss of lymphocyte surface Trx-1 may be a useful biomarker of healthy ageing. © 2013 Carilho Torrao et al.; licensee Chemistry Central Ltd

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