Generalization of Clauses under Implication

In the area of inductive learning, generalization is a main operation, and the usual definition of induction is based on logical implication. Recently there has been a rising interest in clausal representation of knowledge in machine learning. Almost all inductive learning systems that perform generalization of clauses use the relation theta-subsumption instead of implication. The main reason is that there is a well-known and simple technique to compute least general generalizations under theta-subsumption, but not under implication. However generalization under theta-subsumption is inappropriate for learning recursive clauses, which is a crucial problem since recursion is the basic program structure of logic programs. We note that implication between clauses is undecidable, and we therefore introduce a stronger form of implication, called T-implication, which is decidable between clauses. We show that for every finite set of clauses there exists a least general generalization under T-implication. We describe a technique to reduce generalizations under implication of a clause to generalizations under theta-subsumption of what we call an expansion of the original clause. Moreover we show that for every non-tautological clause there exists a T-complete expansion, which means that every generalization under T-implication of the clause is reduced to a generalization under theta-subsumption of the expansion.Comment: See http://www.jair.org/ for any accompanying file

Unraveling the Pharmacokinetic Interaction of Ticagrelor and MEDI2452 (Ticagrelor Antidote) by Mathematical Modeling

The investigational ticagrelor-neutralizing antibody fragment, MEDI2452, is developed to rapidly and specifically reverse the antiplatelet effects of ticagrelor. However, the dynamic interaction of ticagrelor, the ticagrelor active metabolite (TAM), and MEDI2452, makes pharmacokinetic (PK) analysis nontrivial and mathematical modeling becomes essential to unravel the complex behavior of this system. We propose a mechanistic PK model, including a special observation model for post-sampling equilibration, which is validated and refined using mouse in vivo data from four studies of combined ticagrelor-MEDI2452 treatment. Model predictions of free ticagrelor and TAM plasma concentrations are subsequently used to drive a pharmacodynamic (PD) model that successfully describes platelet aggregation data. Furthermore, the model indicates that MEDI2452-bound ticagrelor is primarily eliminated together with MEDI2452 in the kidneys, and not recycled to the plasma, thereby providing a possible scenario for the extrapolation to humans. We anticipate the modeling work to improve PK and PD understanding, experimental design, and translational confidence

Parton cascade description of relativistic heavy-ion collisions at CERN SPS energies ?

We examine Pb+Pb collisions at CERN SPS energy 158 A GeV, by employing the earlier developed and recently refined parton-cascade/cluster-hadronization model and its Monte Carlo implementation. This space-time model involves the dynamical interplay of perturbative QCD parton production and evolution, with non-perturbative parton-cluster formation and hadron production through cluster decays. Using computer simulations, we are able to follow the entwined time-evolution of parton and hadron degrees of freedom in both position and momentum space, from the instant of nuclear overlap to the final yield of particles. We present and discuss results for the multiplicity distributions, which agree well with the measured data from the CERN SPS, including those for K mesons. The transverse momentum distributions of the produced hadrons are also found to be in good agreement with the preliminary data measured by the NA49 and the WA98 collaboration for the collision of lead nuclei at the CERN SPS. The analysis of the time evolution of transverse energy deposited in the collision zone and the energy density suggests an existence of partonic matter for a time of more than 5 fm.Comment: 16 pages including 7 postscript figure

Effect of exposing rams to a female stimulus before semen collection on ram libido and semen quality

peer-reviewedRams with strong libido and desirable semen characteristics can provide more insemination doses per ejaculate and produce more progeny, improving population genetic linkage to improve the accuracy of EBV. The objective of this study was to determine if teasing rams, either by sight and smell alone (Exp. 1), or physical contact (Exp. 2), could improve libido and semen quality of rams. In Exp. 1, there were 3 treatments in which rams were exposed to the sight and smell of the ewe for 1 h: control treatment (n = 5) in which rams were exposed to a ewe not in estrus; non-novel treatment (n = 6) in which rams were exposed to a ewe in estrus and the same ewe was used for semen collection; and novel treatment (n = 6) in which rams were exposed to a ewe in estrus and a different ewe in estrus was used for semen collection. In Exp. 2, rams were individually given full access to a ewe, which had a cotton apron fi tted to cover her vulva, for 15 min. The 3 treatments in Exp. 2 were: control treatment (n = 5) in which rams were placed in a pen with a ewe not in estrus; a nonnovel treatment (n = 5) in which rams were placed in a pen with a ewe in estrus and the same ewe was used for semen collection; novel treatment (n = 6) in which rams were placed in a pen with a ewe in estrus and a different ewe in estrus was used for semen collection. Experiment 1 was repeated for 5 consecutive days and Exp. 2 was repeated for 4 consecutive days. Data on reaction time, number of mounts, semen volume, semen concentration, sperm wave motion, and progressive linear motion (Exp. 1 only) were collected and analyzed as a randomized complete block design, where rams were initially blocked for breed and age. In Exp. 1, there was an effect of day (P < 0.05) and a treatment × day interaction (P < 0.05) on semen volume, whereas there was also an effect of treatment (P < 0.05) and day (P < 0.01) on semen concentration, which was most evident on d 1. In Exp. 2, there was an effect of treatment on reaction time (P < 0.05) and semen volume (P = 0.08), which was most evident on d 1. This study demonstrates an acute effect on d 1 on semen concentration when rams were exposed to the sight and smell of a ewe in estrus. Alternatively, when rams were stimulated with physical contact of a ewe in estrus, an acute increase in semen volume was evident on d 1. These effects were not evident on subsequent days and thus the overall benefi ts on ram libido and semen quality of exposing rams to ewes in estrus are minimal.PUBLISHEDpeer-reviewe

Relativistic Heavy--Ion Collisions in the Dynamical String--Parton Model

We develop and extend the dynamical string parton model. This model, which is based on the salient features of QCD, uses classical Nambu-Got\=o strings with the endpoints identified as partons, an invariant string breaking model of the hadronization process, and interactions described as quark-quark interactions. In this work, the original model is extended to include a phenomenological quantization of the mass of the strings, an analytical technique for treating the incident nucleons as a distribution of string configurations determined by the experimentally measured structure function, the inclusion of the gluonic content of the nucleon through the introduction of purely gluonic strings, and the use of a hard parton-parton interaction taken from perturbative QCD combined with a phenomenological soft interaction. The limited number of parameters in the model are adjusted to $e^+e^-$ and $p$--$p$ data. Utilizing these parameters, the first calculations of the model for $p$--$A$ and $A$--$A$ collisions are presented and found to be in reasonable agreement with a broad set of data.Comment: 26 pages of text with 23 Postscript figures placed in tex

Determinants of serum levels of vitamin D: a study of life-style, menopausal status, dietary intake, serum calcium, and PTH

Background: Low blood levels of vitamin D (25-hydroxy D3, 25OHD3) in women have been associated with an increased risk of several diseases. A large part of the population may have suboptimal 25OHD3 levels but high-risk groups are not well known. The aim of the present study was to identify determinants for serum levels of 25OHD3 in women, i.e. factors such as lifestyle, menopausal status, diet and selected biochemical variables. Methods: The study was based on women from the Malmo Diet and Cancer Study (MDCS), a prospective, population-based cohort study in Malmo, Sweden. In a previous case-control study on breast cancer, 25OHD3 concentrations had been measured in 727 women. In these, quartiles of serum 25OHD3 were compared with regard to age at baseline, BMI (Body Max Index), menopausal status, use of oral contraceptives or menopausal hormone therapy (MHT), life-style (e. g. smoking and alcohol consumption), socio-demographic factors, season, biochemical variables (i.e. calcium, PTH, albumin, creatinine, and phosphate), and dietary intake of vitamin D and calcium. In order to test differences in mean vitamin D concentrations between different categories of the studied factors, an ANOVA test was used followed by a t-test. The relation between different factors and 25OHD3 was further investigated using multiple linear regression analysis and a logistic regression analysis. Results: We found a positive association between serum levels of 25OHD3 and age, oral contraceptive use, moderate alcohol consumption, blood collection during summer/autumn, creatinine, phosphate, calcium, and a high intake of vitamin D. Low vitamin D levels were associated with obesity, being born outside Sweden and high PTH levels. Conclusions: The present population-based study found a positive association between serum levels of 25OHD3 and to several socio-demographic, life-style and biochemical factors. The study may have implications e. g. for dietary recommendations. However, the analysis is a cross-sectional and it is difficult to suggest Lifestyle changes as cause-effect relationships are difficult to assess

An Improved High Order Finite Difference Method for Non-conforming Grid Interfaces for the Wave Equation

This paper presents an extension of a recently developed high order finite difference method for the wave equation on a grid with non-conforming interfaces. The stability proof of the existing methods relies on the interpolation operators being norm-contracting, which is satisfied by the second and fourth order operators, but not by the sixth order operator. We construct new penalty terms to impose interface conditions such that the stability proof does not require the norm-contracting condition. As a consequence, the sixth order accurate scheme is also provably stable. Numerical experiments demonstrate the improved stability and accuracy property

Disappearance of myocardial perfusion defects on prone SPECT imaging: Comparison with cardiac magnetic resonance imaging in patients without established coronary artery disease

<p>Abstract</p> <p>Background</p> <p>It is of great clinical importance to exclude myocardial infarction in patients with suspected coronary artery disease who do not have stress-induced ischemia. The diagnostic use of myocardial perfusion single-photon emission computed tomography (SPECT) in this situation is sometimes complicated by attenuation artifacts that mimic myocardial infarction. Imaging in the prone position has been suggested as a method to overcome this problem.</p> <p>Methods</p> <p>In this study, 52 patients without known prior infarction and no stress-induced ischemia on SPECT imaging were examined in both supine and prone position. The results were compared with cardiac magnetic resonance imaging (CMR) with delayed-enhancement technique to confirm or exclude myocardial infarction.</p> <p>Results</p> <p>There were 63 defects in supine-position images, 37 of which disappeared in the prone position. None of the 37 defects were associated with myocardial infarction by CMR, indicating that all of them represented attenuation artifacts. Of the remaining 26 defects that did not disappear on prone imaging, myocardial infarction was confirmed by CMR in 2; the remaining 24 had no sign of ischemic infarction but 2 had other kinds of myocardial injuries. In 3 patients, SPECT failed to detect small scars identified by CMR.</p> <p>Conclusion</p> <p>Perfusion defects in the supine position that disappeared in the prone position were caused by attenuation, not myocardial infarction. Hence, imaging in the prone position can help to rule out ischemic heart disease for some patients admitted for SPECT with suspected but not documented ischemic heart disease. This would indicate a better prognosis and prevent unnecessary further investigations and treatment.</p

Rotational knee laxity: Reliability of a simple measurement device in vivo

<p>Abstract</p> <p>Background</p> <p>Double bundle ACL reconstruction has been demonstrated to decrease rotational knee laxity. However, there is no simple, commercially-available device to measure knee rotation. The investigators developed a simple, non-invasive device to measure knee rotation. In conjunction with a rigid boot to rotate the tibia and a force/moment sensor to allow precise determination of torque about the knee, a magnetic tracking system measures the axial rotation of the tibia with respect to the femur. This device has been shown to have acceptable levels of test re-test reliability to measure knee rotation in cadaveric knees.</p> <p>Methods</p> <p>The objective of this study was to determine reliability of the device in measuring knee rotation of human subjects. Specifically, the intra-tester reliability within a single testing session, test-retest reliability between two testing sessions, and inter-tester reliability were assessed for 11 male subjects with normal knees.</p> <p>Results</p> <p>The 95% confidence interval for rotation was less than 5° for intra-tester, test-retest, and inter-tester reliability, and the standard error of measurement for the differences between left and right knees was found to be less than 3°.</p> <p>Conclusion</p> <p>It was found that the knee rotation measurements obtained with this device have acceptable limits of reliability for clinical use and interpretation.</p