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

Stability of oligosaccharides derived from lactulose during the processing of milk and apple juice

The scientific evidence on the bioactivity of oligosaccharides from lactulose has encouraged us to study their physicochemical modifications during the processing of milk and apple juice. The carbohydrate fraction with a degree of polymerization ≥3 was stable in milk heated at temperatures up to 100°C for 30 min and in apple juice heated up to 90°C for 15 min. An assessment of the Maillard reaction in heated milk pointed out a higher formation of furosine in milk with oligosaccharides from lactulose as compared to its counterpart without this ingredient, due to a higher presence of galactose. The organoleptic properties of juice with oligosaccharides from lactulose were acceptable and similar to those of apple juice with commercial galactooligosaccharides. The results presented herein demonstrate that oligosaccharides from lactulose can be used as prebiotic ingredients in a wide range of functional foods, including those intended for diabetics and lactose intolerant individuals.This work has been supported by project AGL2011-27884 from Spanish Ministerio de Economía y Competitividad.Peer Reviewe

Non-Gaussian states for continuous variable quantum computation via Gaussian maps

We investigate non-Gaussian states of light as ancillary inputs for generating nonlinear transformations required for quantum computing with continuous variables. We consider a recent proposal for preparing a cubic phase state, find the exact form of the prepared state and perform a detailed comparison to the ideal cubic phase state. We thereby identify the main challenges to preparing an ideal cubic phase state and describe the gates implemented with the non-ideal prepared state. We also find the general form of operations that can be implemented with ancilla Fock states, together with Gaussian input states, linear optics and squeezing transformations, and homodyne detection with feed forward, and discuss the feasibility of continuous variable quantum computing using ancilla Fock states.Comment: 8 pages, 6 figure

From regional pulse vaccination to global disease eradication: insights from a mathematical model of Poliomyelitis

Mass-vaccination campaigns are an important strategy in the global fight against poliomyelitis and measles. The large-scale logistics required for these mass immunisation campaigns magnifies the need for research into the effectiveness and optimal deployment of pulse vaccination. In order to better understand this control strategy, we propose a mathematical model accounting for the disease dynamics in connected regions, incorporating seasonality, environmental reservoirs and independent periodic pulse vaccination schedules in each region. The effective reproduction number, $R_e$, is defined and proved to be a global threshold for persistence of the disease. Analytical and numerical calculations show the importance of synchronising the pulse vaccinations in connected regions and the timing of the pulses with respect to the pathogen circulation seasonality. Our results indicate that it may be crucial for mass-vaccination programs, such as national immunisation days, to be synchronised across different regions. In addition, simulations show that a migration imbalance can increase $R_e$ and alter how pulse vaccination should be optimally distributed among the patches, similar to results found with constant-rate vaccination. Furthermore, contrary to the case of constant-rate vaccination, the fraction of environmental transmission affects the value of $R_e$ when pulse vaccination is present.Comment: Added section 6.1, made other revisions, changed titl

Quantum Simulation of Tunneling in Small Systems

A number of quantum algorithms have been performed on small quantum computers; these include Shor's prime factorization algorithm, error correction, Grover's search algorithm and a number of analog and digital quantum simulations. Because of the number of gates and qubits necessary, however, digital quantum particle simulations remain untested. A contributing factor to the system size required is the number of ancillary qubits needed to implement matrix exponentials of the potential operator. Here, we show that a set of tunneling problems may be investigated with no ancillary qubits and a cost of one single-qubit operator per time step for the potential evolution. We show that physically interesting simulations of tunneling using 2 qubits (i.e. on 4 lattice point grids) may be performed with 40 single and two-qubit gates. Approximately 70 to 140 gates are needed to see interesting tunneling dynamics in three-qubit (8 lattice point) simulations.Comment: 4 pages, 2 figure

Spectroscopy of 28^{28}Na: shell evolution toward the drip line

Excited states in $^{28}$Na have been studied using the $\beta$-decay of implanted $^{28}$Ne ions at GANIL/LISE as well as the in-beam $\gamma$-ray spectroscopy at the NSCL/S800 facility. New states of positive (J$^{\pi}$=3,4$^+$) and negative (J$^{\pi}$=1-5$^-$) parity are proposed. The former arise from the coupling between 0d$\_{5/2}$ protons and a 0d$\_{3/2}$ neutron, while the latter are due to couplings with 1p$\_{3/2}$ or 0f$\_{7/2}$ neutrons. While the relative energies between the J$^{\pi}$=1-4$^+$ states are well reproduced with the USDA interaction in the N=17 isotones, a progressive shift in the ground state binding energy (by about 500 keV) is observed between $^{26}$F and $^{30}$Al. This points to a possible change in the proton-neutron 0d$\_{5/2}$-0d$\_{3/2}$ effective interaction when moving from stability to the drip line. The presence of J$^{\pi}$=1-4$^-$ negative parity states around 1.5 MeV as well as of a candidate for a J$^{\pi}$=5$^-$ state around 2.5 MeV give further support to the collapse of the N=20 gap and to the inversion between the 0f$\_{7/2}$ and 1p$\_{3/2}$ levels below Z=12. These features are discussed in the framework of Shell Model and EDF calculations, leading to predicted negative parity states in the low energy spectra of the $^{26}$F and $^{25}$O nuclei.Comment: Exp\'erience GANIL/LISE et NSCL/S80

Differential neuromuscular training effects onACL injury risk factors in"high-risk" versus "low-risk" athletes

<p>Abstract</p> <p>Background</p> <p>Neuromuscular training may reduce risk factors that contribute to ACL injury incidence in female athletes. Multi-component, ACL injury prevention training programs can be time and labor intensive, which may ultimately limit training program utilization or compliance. The purpose of this study was to determine the effect of neuromuscular training on those classified as "high-risk" compared to those classified as "low-risk." The hypothesis was that high-risk athletes would decrease knee abduction moments while low-risk and control athletes would not show measurable changes.</p> <p>Methods</p> <p>Eighteen high school female athletes participated in neuromuscular training 3×/week over a 7-week period. Knee kinematics and kinetics were measured during a drop vertical jump (DVJ) test at pre/post training. External knee abduction moments were calculated using inverse dynamics. Logistic regression indicated maximal sensitivity and specificity for prediction of ACL injury risk using external knee abduction (25.25 Nm cutoff) during a DVJ. Based on these data, 12 study subjects (and 4 controls) were grouped into the high-risk (knee abduction moment >25.25 Nm) and 6 subjects (and 7 controls) were grouped into the low-risk (knee abduction <25.25 Nm) categories using mean right and left leg knee abduction moments. A mixed design repeated measures ANOVA was used to determine differences between athletes categorized as high or low-risk.</p> <p>Results</p> <p>Athletes classified as high-risk decreased their knee abduction moments by 13% following training (Dominant pre: 39.9 ± 15.8 Nm to 34.6 ± 9.6 Nm; Non-dominant pre: 37.1 ± 9.2 to 32.4 ± 10.7 Nm; p = 0.033 training X risk factor interaction). Athletes grouped into the low-risk category did not change their abduction moments following training (p > 0.05). Control subjects classified as either high or low-risk also did not significantly change from pre to post-testing.</p> <p>Conclusion</p> <p>These results indicate that "high-risk" female athletes decreased the magnitude of the previously identified risk factor to ACL injury following neuromuscular training. However, the mean values for the high-risk subjects were not reduced to levels similar to low-risk group following training. Targeting female athletes who demonstrate high-risk knee abduction loads during dynamic tasks may improve efficacy of neuromuscular training. Yet, increased training volume or more specific techniques may be necessary for high-risk athletes to substantially decrease ACL injury risk.</p

Designing programs for eliminating canine rabies from islands: Bali, Indonesia as a case study

&lt;p&gt;Background: Canine rabies is one of the most important and feared zoonotic diseases in the world. In some regions rabies elimination is being successfully coordinated, whereas in others rabies is endemic and continues to spread to uninfected areas. As epidemics emerge, both accepted and contentious control methods are used, as questions remain over the most effective strategy to eliminate rabies. The Indonesian island of Bali was rabies-free until 2008 when an epidemic in domestic dogs began, resulting in the deaths of over 100 people. Here we analyze data from the epidemic and compare the effectiveness of control methods at eliminating rabies.&lt;/p&gt; &lt;p&gt;Methodology/Principal Findings: Using data from Bali, we estimated the basic reproductive number, R0, of rabies in dogs, to be ~1·2, almost identical to that obtained in ten–fold less dense dog populations and suggesting rabies will not be effectively controlled by reducing dog density. We then developed a model to compare options for mass dog vaccination. Comprehensive high coverage was the single most important factor for achieving elimination, with omission of even small areas (&#60;0.5% of the dog population) jeopardizing success. Parameterizing the model with data from the 2010 and 2011 vaccination campaigns, we show that a comprehensive high coverage campaign in 2012 would likely result in elimination, saving ~550 human lives and ~$15 million in prophylaxis costs over the next ten years.&lt;/p&gt; &lt;p&gt;Conclusions/Significance: The elimination of rabies from Bali will not be achieved through achievable reductions in dog density. To ensure elimination, concerted high coverage, repeated, mass dog vaccination campaigns are necessary and the cooperation of all regions of the island is critical. Momentum is building towards development of a strategy for the global elimination of canine rabies, and this study offers valuable new insights about the dynamics and control of this disease, with immediate practical relevance.&lt;/p&gt

Rederivation of transgenic mice from iPS cells derived from frozen tissue

In mice, induced pluripotent stem (iPS) cells with embryonic stem (ES)-like characteristics have been derived by ectopic expression of four transcription factors in somatic cells: Sox2, Oct3/4, Klf4 and/or c-Myc. To date, iPS cells have only be made from freshly harvested tissues and cells. However, if iPS cells could be derived from frozen tissues and cells, then cryopreservation of tissues such as mouse tails could conceivably become a reliable alternative to the more traditional formats, like germplasm and ES cells, for the archiving of genetically altered mouse lines. To test this hypothesis, we sought to demonstrate that a live transgenic mouse line could be recovered from transgenic iPS cells derived from cryopreserved mouse tissues. Tails and tail-derived fibroblasts from a DsRED transgenic mouse were cryopreserved in the presence of 5% dimethylsulfoxide (DMSO) in liquid nitrogen for 1 week and 1 month, respectively. Afterward, tissues and cells were thawed and underwent nuclear reprogramming by molecular transfection to derive iPS cells which generated germline confirmed transgenic mice. Our results demonstrate for the first time that iPS cells can be efficiently derived from frozen-stored-thawed tail tissue and fibroblasts and used to re-establish a transgenic mouse line. Therefore, this study provides conclusive evidence that, as a practical matter, frozen tails and fibroblasts can be used as an effective and reliable alternative to frozen germplasm and ES cells for the storage, maintenance, and distribution of genetically-altered mutant mice