Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Size does matter: overcoming the adeno-associated virus packaging limit

Recombinant adeno-associated virus (rAAV) vectors mediate long-term gene transfer without any known toxicity. The primary limitation of rAAV has been the small size of the virion (20 nm), which only permits the packaging of 4.7 kilobases (kb) of exogenous DNA, including the promoter, the polyadenylation signal and any other enhancer elements that might be desired. Two recent reports (D Duan et al: Nat Med 2000, 6:595-598; Z Yan et al: Proc Natl Acad Sci USA 2000, 97:6716-6721) have exploited a unique feature of rAAV genomes, their ability to link together in doublets or strings, to bypass this size limitation. This technology could improve the chances for successful gene therapy of diseases like cystic fibrosis or Duchenne muscular dystrophy that lead to significant pulmonary morbidity

Shifting power to people with disability in co-designed research

This paper explores tensions navigated by researchers and project leaders when involving people with disability as experts in co-design and in the core team. Part of an evaluation aiming to improve paid employment of people with intellectual disability is used to consider this work. Assemblage analysis of the data assisted in identifying a range of material and social conditions, flows, and factors that de- and re-territorialise power in the co-design process. The expertise of people with disability informed research design. Structural conditions of funding and institutional support were foundational to the co-design. These included accessible practices, core roles for people with disability and resolving ableist conditions. Power shifts were easily undermined by institutionalised norms that disrespected the co-design contributions. When people in decision-making positions and allies recognised the value of codesigning research, it was key to centring valuable knowledge in articulating key issues, methodology, and analysis. Points of interest It is increasingly expected that people with disability will be involved as researchers and decision-makers in projects. This kind of co-design in research is very popular. When governments or organisations ask researchers to complete research quickly, people with disability are less likely to be involved in designing the research from the start. This reduces how much power they have as members of the research team. Our research found that people with and without disability needed to work together to resist when co-design work was not treated with respect by people or systems. Allies need to work to make co-design positions more secure. For example, people with disability need to be in decision-making positions before research proposals are developed

Inhalation characteristics of asthma patients, COPD patients and healthy volunteers with the Spiromax® and Turbuhaler® devices: a randomised, cross-over study.

BACKGROUND: Spiromax® is a novel dry-powder inhaler containing formulations of budesonide plus formoterol (BF). The device is intended to provide dose equivalence with enhanced user-friendliness compared to BF Turbuhaler® in asthma and chronic obstructive pulmonary disease (COPD). The present study was performed to compare inhalation parameters with empty versions of the two devices, and to investigate the effects of enhanced training designed to encourage faster inhalation. METHODS: This randomised, open-label, cross-over study included children with asthma (n = 23), adolescents with asthma (n = 27), adults with asthma (n = 50), adults with COPD (n = 50) and healthy adult volunteers (n = 50). Inhalation manoeuvres were recorded with each device after training with the patient information leaflet (PIL) and after enhanced training using an In-Check Dial device. RESULTS: After PIL training, peak inspiratory flow (PIF), maximum change in pressure (∆P) and the inhalation volume (IV) were significantly higher with Spiromax than with the Turbuhaler device (p values were at least <0.05 in all patient groups). After enhanced training, numerically or significantly higher values for PIF, ∆P, IV and acceleration remained with Spiromax versus Turbuhaler, except for ∆P in COPD patients. After PIL training, one adult asthma patient and one COPD patient inhaled <30 L/min through the Spiromax compared to one adult asthma patient and five COPD patients with the Turbuhaler. All patients achieved PIF values of at least 30 L/min after enhanced training. CONCLUSIONS: The two inhalers have similar resistance so inhalation flows and pressure changes would be expected to be similar. The higher flow-related values noted for Spiromax versus Turbuhaler after PIL training suggest that Spiromax might have human factor advantages in real-world use. After enhanced training, the flow-related differences between devices persisted; increased flow rates were achieved with both devices, and all patients achieved the minimal flow required for adequate drug delivery. Enhanced training could be useful, especially in COPD patients

Continuous Interaction with a Virtual Human

Attentive Speaking and Active Listening require that a Virtual Human be capable of simultaneous perception/interpretation and production of communicative behavior. A Virtual Human should be able to signal its attitude and attention while it is listening to its interaction partner, and be able to attend to its interaction partner while it is speaking – and modify its communicative behavior on-the-fly based on what it perceives from its partner. This report presents the results of a four week summer project that was part of eNTERFACE’10. The project resulted in progress on several aspects of continuous interaction such as scheduling and interrupting multimodal behavior, automatic classification of listener responses, generation of response eliciting behavior, and models for appropriate reactions to listener responses. A pilot user study was conducted with ten participants. In addition, the project yielded a number of deliverables that are released for public access

Structure and performance of zeolite supported Pd for complete methane oxidation

The influence of zeolite support materials and their impact on CH oxidation activity was studied utilizing Pd supported on H-beta and H-SSZ-13. A correlation between CH oxidation activity, Si/Al ratio (SAR), the type of zeolite framework, reduction-oxidation behaviour, and Pd species present was found by combining catalytic activity measurements with a variety of characterization methods (operando XAS, NH -TPD, SAXS, STEM and NaCl titration). Operando XAS analysis indicated that catalysts with high CH oxidation activity experienced rapid transitions between metallic- and oxidized-Pd states when switching between rich and lean conditions. This behaviour was exhibited by catalysts with dispersed Pd particles. By contrast, the formation of ion-exchanged Pd and large Pd particles appeared to have a detrimental effect on the oxidation-reduction behaviour and the conversion of CH . The formation of ion-exchanged Pd and large Pd particles was limited by using a highly siliceous beta zeolite support with a low capacity for cation exchange. The same effect was also found using a small-pore SSZ-13 zeolite due to the lower mobility of Pd species. It was found that the zeolite support material should be carefully selected so that the well-dispersed Pd particles remain, and the formation of ion-exchanged Pd is minimized. 4 4 3 4 4 2+ 2+ 2

Comments on Supercurrent Multiplets, Supersymmetric Field Theories and Supergravity

We analyze various supersymmetry multiplets containing the supercurrent and the energy-momentum tensor. The most widely known such multiplet, the Ferrara-Zumino (FZ) multiplet, is not always well-defined. This can happen once Fayet-Iliopoulos (FI) terms are present or when the Kahler form of the target space is not exact. We present a new multiplet S which always exists. This understanding of the supersymmetry current allows us to obtain new results about the possible IR behavior of supersymmetric theories. Next, we discuss the coupling of rigid supersymmetric theories to supergravity. When the theory has an FZ-multiplet or it has a global R-symmetry the standard formalism can be used. But when this is not the case such simple gauging is impossible. Then, we must gauge the current S. The resulting theory has, in addition to the graviton and the gravitino, another massless chiral superfield Phi which is essential for the consistency of the theory. Some of the moduli of various string models play the role of Phi. Our general considerations, which are based on the consistency of supergravity, show that such moduli cannot be easily lifted thus leading to constraints on gravity/string models.Comment: 27 pages. v2: references added and minor changes. v3: minor changes. v4: minor clarification

Amelioration of bleomycin-induced lung fibrosis in hamsters by dietary supplementation with taurine and niacin: biochemical mechanisms.

Interstitial pulmonary fibrosis induced by intratracheal instillation of bleomycin (BL) involves an excess production of reactive oxygen species, unavailability of adequate levels of NAD and ATP to repair the injured pulmonary epithelium, and an overexuberant lung collagen reactivity followed by deposition of highly cross-linked mature collagen fibrils resistant to enzymatic degradation. In the present study, we have demonstrated that dietary supplementation with taurine and niacin offered almost complete protection against the lung fibrosis in a multidose BL hamster model. The mechanisms for the protective effect of taurine and niacin are multifaceted. These include the ability of taurine to scavenge HOCl and stabilize the biomembrane; niacin's ability to replenish the BL-induced depletion of NAD and ATP; and the combined effect of taurine and niacin to suppress all aspects of BL-induced increases in the lung collagen reactivity, a hallmark of interstitial pulmonary fibrosis. It was concluded from the data presented at this Conference that the combined treatment with taurine and niacin, which offers a multipronged approach, will have great therapeutic potential in the intervention of the development of chemically induced interstitial lung fibrosis in animals and humans

Fabrication and operation of a two-dimensional ion-trap lattice on a high-voltage microchip

Microfabricated ion traps are a major advancement towards scalable quantum computing with trapped ions. The development of more versatile ion-trap designs, in which tailored arrays of ions are positioned in two dimensions above a microfabricated surface, will lead to applications in fields as varied as quantum simulation, metrology and atom–ion interactions. Current surface ion traps often have low trap depths and high heating rates, because of the size of the voltages that can be applied to them, limiting the fidelity of quantum gates. Here we report on a fabrication process that allows for the application of very high voltages to microfabricated devices in general and use this advance to fabricate a two-dimensional ion-trap lattice on a microchip. Our microfabricated architecture allows for reliable trapping of two-dimensional ion lattices, long ion lifetimes, rudimentary shuttling between lattice sites and the ability to deterministically introduce defects into the ion lattice