Miracle-dz/UniFAR-FTUs huggingface dataset:
Incorporating Integrity Constraints in Uncertain Databases

We develop an approach to incorporate additional knowledge, in the form of general purpose integrity constraints (ICs), to reduce uncertainty in probabilistic databases. While incorporating ICs improves data quality (and hence quality of answers to a query), it significantly complicates query processing. To overcome the additional complexity, we develop an approach to map an uncertain relation U with ICs to another uncertain relation U', that approximates the set of consistent worlds represented by U. Queries over U can instead be evaluated over U' achieving higher quality (due to reduced uncertainty in U') without additional complexity in query processing due to ICs. We demonstrate the effectiveness and scalability of our approach to large data-sets with complex constraints. We also present experimental results demonstrating the utility of incorporating integrity constraints in uncertain relations, in the context of an information extraction application.
Preemptive analgesic effect of diclofenac: experimental study in rats.

BACKGROUND Preemptive analgesia is an antinociceptive treatment that prevents central sensitization. Antinociceptive effects of diclofenac are well-known. The aim of this study was to investigate preemptive analgesic effects of intraperitoneally administrated diclofenac, before and after acute and inflammatory induced pain in rat model. METHODS Forty eight male Sprague Dawley rats were included in the study. The rats are divided in five groups (n=8 per each group); Group A, diclofenac at 10 mg/kg given ip, 30 min before the nociceptive stimulus realized with hot plate test; Group B, diclofenac at 10 mg/kg given ip, 5 min after the nociceptive stimulus, realized with hot plate test; Group C, diclofenac at 10 mg/kg given ip, 30 min before the nociceptive stimulus realized with formalin test, and; Group D, diclofenac at 10 mg/kg given ip, 5 min after the nociceptive stimulus, realized with formalin test. Saline was used as a control. Paw movements in response to induced pain with hot plate test and formalin test were measured during 60 minutes. RESULTS Preemptive analgesic effect was significant in both groups when diclofenac was administrated before the pain stimuli (P < 0.01 and P < 0.001). The significant decrease in paw movements started in 15 min after pain stimuli in group A and in 25 min, in group C. CONCLUSION Intraperitoneally administered diclofenac had preemptive analgesic effects on acute thermal, and inflammatory induced pain in rats. Our results contain the preemptive analgesic effect of systematically administrated diclofenac.
A Web-services architecture for efficient XML data exchange

Business applications often exchange large amounts of enterprise data stored in legacy systems. The advent of XML as a standard specification format has improved applications interoperability. However, optimizing the performance of XML data exchange, in particular, when data volumes are large, is still in its infancy. Quite often, the target system has to undo some of the work the source did to assemble documents in order to map XML elements into its own data structures. This publish&map process is both resource and time consuming. In this paper, we develop a middle-tier Web services architecture to optimize the exchange of large XML data volumes. The key idea is to allow systems to negotiate the data exchange process using an extension to WSDL. The source (target) can specify document fragments that it is willing to produce (consume). Given these fragmentations, the middleware instruments the data exchange process between the two systems to minimize the number of necessary operations and optimize the distributed processing between the source and the target systems. We show that our new exchange paradigm outperforms publish&map and enables more flexible scenarios without necessitating substantial modifications to the underlying systems.
Differential White Blood Cell Count and Type 2 Diabetes: Systematic Review and Meta-Analysis of Cross-Sectional and Prospective Studies

Objective Biological evidence suggests that inflammation might induce type 2 diabetes (T2D), and epidemiological studies have shown an association between higher white blood cell count (WBC) and T2D. However, the association has not been systematically investigated. Research Design and Methods Studies were identified through computer-based and manual searches. Previously unreported studies were sought through correspondence. 20 studies were identified (8,647 T2D cases and 85,040 non-cases). Estimates of the association of WBC with T2D were combined using random effects meta-analysis; sources of heterogeneity as well as presence of publication bias were explored. Results The combined relative risk (RR) comparing the top to bottom tertile of the WBC count was 1.61 (95% CI: 1.45; 1.79, p = 1.5*10−18). Substantial heterogeneity was present (I2 = 83%). For granulocytes the RR was 1.38 (95% CI: 1.17; 1.64, p = 1.5*10−4), for lymphocytes 1.26 (95% CI: 1.02; 1.56, p = 0.029), and for monocytes 0.93 (95% CI: 0.68; 1.28, p = 0.67) comparing top to bottom tertile. In cross-sectional studies, RR was 1.74 (95% CI: 1.49; 2.02, p = 7.7*10−13), while in cohort studies it was 1.48 (95% CI: 1.22; 1.79, p = 7.7*10−5). We assessed the impact of confounding in EPIC-Norfolk study and found that the age and sex adjusted HR of 2.19 (95% CI: 1.74; 2.75) was attenuated to 1.82 (95% CI: 1.45; 2.29) after further accounting for smoking, T2D family history, physical activity, education, BMI and waist circumference. Conclusions A raised WBC is associated with higher risk of T2D. The presence of publication bias and failure to control for all potential confounders in all studies means the observed association is likely an overestimate.
Impaired Recognition of the Goal Location during Spatial Navigation in Rats with Hippocampal Lesions

Converging evidence suggests that the hippocampus is essential for goal-directed spatial navigation. Successful navigation requires not only the ability to compute an appropriate path toward the target but is also guided by recognition of places along the trajectory between start and goal. To determine whether the hippocampus contributes to place recognition, we trained rats with hippocampal lesions in an annular water maze with a remotely controlled escape platform at a constant location in the corridor. The platform remained submerged and unavailable until the rat had swum at least one full lap. Probe trials with the platform unavailable for 60 sec were inserted at regular intervals. In these trials, the rat would swim over the platform several times, regardless of its navigational abilities. After a few training sessions, all sham-operated control animals reduced their swim velocity when they approached the platform, indicating that they recognized the target location. Rats with hippocampal lesions, in contrast, swam at the same velocity as elsewhere in the corridor. Preoperative training or prolonged postoperative training did not alleviate the deficit. Rats with hippocampal lesions were able to learn a cued version of the task, which implies that the failure to slow down was not attributable to motor inflexibility. Thus, hippocampal lesions caused a severe but selective deficit in the identification of a location, suggesting that the hippocampus may be essential for image recognition during spatial navigation.
Classification of elderly as fallers and non-fallers using Centre of Pressure velocity

Falls are a leading cause of death in the elderly. One of the most common methods of predicting falls is to evaluate balance using force plate measurement of the Centre of Pressure (COP) displacement. This signal, known as a stabilogram, can be decomposed into movement in anteroposterior (AP) and mediolateral (ML) directions. It has been suggested that studying the velocity of COP displacement could lead to new insights into fall risk. The aim of this study was to attempt to classify elderly fallers and non-fallers, as well as control subjects based on COP velocity measurements. Three groups of 10 subjects (controls, elderly fallers, and elderly non-fallers) were compared. Discriminant function analysis was able to correctly classify 90% of the subjects based only on COP velocity measurements. Further work is needed to determine whether this parameter might be of use in longitudinal measurement of fall risk in home-dwelling elderly.
IL‐1β induces thymic stromal lymphopoietin and an atopic dermatitis‐like phenotype in reconstructed healthy human epidermis

Atopic dermatitis (AD) is a common skin inflammatory disease characterized by the production of thymic stromal lymphopoietin (TSLP) and marked TH2 polarization. Recent studies suggest that IL‐1β contributes to the development of AD skin inflammation. Here, we have investigated the impact of IL‐1β signalling on the epidermal homeostasis of both healthy subjects and AD patients [with functional filaggrin (FLG) alleles], with particular attention to TSLP production and keratinocyte differentiation. In healthy reconstructed human epidermis (RHE), IL‐1β promoted (i) robust secretion of TSLP in an NF‐κB‐dependent manner and (ii) a significant decrease in the expression of filaggrin and other proteins of the epidermal differentiation complex. These effects were prevented by treatment of RHE with the anti‐IL‐1β mAb canakinumab and by the IL‐1 receptor antagonist anakinra. Interestingly, RHE generated from AD donors behaved like that of healthy individuals and showed comparable responses to IL‐1β signals. Collectively, our results suggest that IL‐1β may be an early key mediator for the acquisition of an AD phenotype through induction of TSLP and alteration of the epidermal homeostasis. Copyright © 2017 Pathological Society of Great Britain and Ireland. Published by John Wiley & Sons, Ltd.
The vampire and the FOOL

This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency.
Association of Cumulatively Low or High Serum Calcium Levels with Mortality in Long-Term Hemodialysis Patients

Background: The outcome-predictability of baseline and instantaneously changing serum calcium in hemodialysis patients has been examined. We investigated the mortality-predictability of time-averaged calcium values to reflect the ‘cumulative’ effect of calcium burden over time. Methods: We employed a Cox model using up-to-5-year (7/2001–6/2006) time-averaged values to examine the mortality-predictability of cumulative serum calcium levels in 107,200 hemodialysis patients prior to the use of calcimimetics, but during the time where other calcium-lowering interventions, including lower dialysate calcium, were employed. Results: Both low (<9.0 mg/dl) and high (>10.0 mg/dl) calcium levels were associated with increased mortality (reference: 9.0 to <9.5 mg/dl). Whereas mortality of hypercalcemia was consistent, hypocalcemia mortality was most prominent with higher serum phosphorus (>3.5 mg/dl) and PTH levels (>150 pg/ml). Higher paricalcitol doses shifted the calcium range associated with the greatest survival to the right, i.e. from 9.0 to <9.5 to 9.5 to <10.0 mg/dl. African-Americans exhibited the highest death hazard ratio of hypocalcemia <8.5 mg/dl, being 1.35 (95% CI: 1.22–1.49). Both a rise and drop in serum calcium over 6 months were associated with increased mortality compared to the stable group. Conclusions: Whereas in hemodialysis patients cumulatively high or low calcium levels are associated with higher death risk, subtle but meaningful interactions with phosphorus, PTH, paricalcitol dose and race exist.
Potential drug interactions and duplicate prescriptions among cancer patients.

BACKGROUND Cancer patients receive numerous medications, including antineoplastic agents, drugs for supportive care, and medications for comorbid illnesses. Therefore, they are at risk for drug interactions and duplicate prescribing. METHODS A questionnaire eliciting information on demographics and medications taken in the previous 4 weeks was given to adult outpatients receiving systemic anticancer therapy for solid tumors. The Drug Interaction Facts software, version 4.0, was used to identify potential drug interactions and to classify them by level of severity (major, moderate, or minor) and the strength of scientific evidence for them (using categories [1-5] of decreasing certainty). Summary statistics and logistic regression were used to analyze the data. All statistical tests were two-sided. RESULTS The survey was completed by 405 patients. We observed 276 potential drug interactions, and at least one potential interaction was identified in 109 patients (27%; 95% confidence interval [CI] = 23% to 31%). Of the potential interactions, 25 (9%) were classified as major and 211 (77%) as moderate. Nearly half (49%) of potential interactions were supported by level 1 or 2 scientific evidence. Most potential drug interactions (87%) involved non-anticancer agents such as warfarin, antihypertensive drugs, corticosteroids, and anticonvulsants, but some (n = 36, 13%) involved antineoplastic agents. In multivariable analysis, increased risk of receiving drug combinations in which there were potential drug interactions was associated with receipt of increasing numbers of drugs (odds ratio [OR] = 1.4 per additional drug, 95% CI = 1.26 to 1.58, P<.001 from the Wald chi-square test), type of medication (drugs to treat comorbid conditions versus supportive care medications only; OR = 8.6, 95% CI = 2.9 to 25, P<.001), and the presence of brain tumors. Thirty-two (8%) patients were exposed to duplicate medications, most often corticosteroids, proton pump inhibitors, or benzodiazepines. CONCLUSION Potential drug interactions were common among cancer patients and most often involved medications to treat comorbid conditions. Duplicate medications were infrequent.
Theory of Earth

The maturing of the Earth sciences has led to a fragmentation into subdisciplines which speak imperfectly to one another. Some of these subdisciplines are field geology, petrology, mineralogy, geochemistry, geodesy and seismology, and these in turn are split into even finer units. The science has also expanded to include the planets and even the cosmos. The practitioners in each of these fields tend to view the Earth in a completely different way. Discoveries in one field diffuse only slowly into the consciousness of a specialist in another. In spite of the fact that there is only one Earth, there are probably more Theories of the Earth than there are of astronomy, particle physics or cell biology where there are uncountable samples of each object. Even where there is cross-talk among disciplines, it is usually as noisy as static. Too often, one discipline's unproven assumptions or dogmas are treated as firm boundary conditions for a theoretician in a slightly overlapping area. The data of each subdiscipline are usually consistent with a range of hypotheses. The possibilities can be narrowed considerably as more and more diverse data are brought to bear on a particular problem. The questions of origin, composition and evolution of the Earth require input from astronomy, cosmochemistry, meteoritics, planetology, geology, petrology, mineralogy, crystallography, materials science and seismology, at a minimum. To a student of the Earth, these are artificial divisions, however necessary they are to make progress on a given front. In Theory of the Earth I attempt to assemble the bits and pieces from a variety of disciplines which are relevant to an understanding of the Earth. Rocks and magmas are our most direct source of information about the interior, but they are biased toward the properties of the crust and shallow mantle. Seismology is our best source of information about the deep interior; however, the interpretation of seismic data for purposes other than purely structural requires input from solid-state physics and experimental petrology. Although this is not a book about seismology, it uses seismology in a variety of ways. The "Theory of the Earth" developed here differs in many respects from conventional views. Petrologists' models for the Earth's interior usually focus on the composition of mantle samples contained in basalts and kimberlites. The simplest hypothesis based on these samples is that the observed basalts and peridotites bear a complementary relation to one another, that peridotites are the source of basalts or the residue after their removal, and that the whole mantle is identical in composition to the inferred chemistry of the upper mantle and the basalt source region. The mantle is therefore homogeneous in composition, and thus all parts of the mantle eventually rise to the surface to provide basalts. Subducted slabs experience no barrier in falling through the mantle to the core-mantle boundary.
Neighbor detection at the leaf tip adaptively regulates upward leaf movement through spatial auxin dynamics

Significance Plants often grow at high plant densities where they risk being shaded by surrounding plants. Neighbors are detected through changes in the composition of reflected light, and plants respond to such changes by growing their photosynthetic organs away from their competitors. This research shows that Arabidopsis plants first detect these light cues in the tips of their leaves and that this information then is transmitted through the mobile plant hormone auxin to the very base of the organ, where it induces an upward leaf movement response. 3D computational models show that this spatial separation in signal detection and response is adaptive for plant performance in dense stands. Vegetation stands have a heterogeneous distribution of light quality, including the red/far-red light ratio (R/FR) that informs plants about proximity of neighbors. Adequate responses to changes in R/FR are important for competitive success. How the detection and response to R/FR are spatially linked and how this spatial coordination between detection and response affects plant performance remains unresolved. We show in Arabidopsis thaliana and Brassica nigra that localized FR enrichment at the lamina tip induces upward leaf movement (hyponasty) from the petiole base. Using a combination of organ-level transcriptome analysis, molecular reporters, and physiology, we show that PIF-dependent spatial auxin dynamics are key to this remote response to localized FR enrichment. Using computational 3D modeling, we show that remote signaling of R/FR for hyponasty has an adaptive advantage over local signaling in the petiole, because it optimizes the timing of leaf movement in response to neighbors and prevents hyponasty caused by self-shading.
MT1‐MMP expression promotes tumor growth and angiogenesis through an up‐regulation of vascular endothelial growth factor expression

Membrane type 1 metalloprotease (MT1‐MMP) is a transmembrane metalloprotease that plays a major role in the extracellular matrix remodeling, directly by degrading several of its components and indirectly by activating pro‐MMP 2. We investigated the effects of MT1‐MMP overexpression on in vitro and in vivo properties of human breast adenocarcinoma MCF7 cells, which do not express MT1‐MMP or MMP‐2. MT1‐MMP and MMP‐2 cDNAs were either transfected alone or cotransfected. All clones overexpressing MT1‐MMP 1) were able to activate endogenous or exogenous pro‐MMP‐2, 2) displayed an enhanced in vitro invasiveness through matrigel‐coated filters independent of MMP‐2 transfection, 3) induced the rapid development of highly vascularized tumors when injected subcutanously in nude mice, and 4) promoted blood vessels sprouting in the rat aortic ring assay. These effects were observed in all clones overexpressing MT1‐MMP regardless of MMP‐2 expression levels, suggesting that the production of MMP‐2 by tumor cells themselves does not play a critical role in these events. The angiogenic phenotype of MT1‐MMP‐producing cells was associated with an up‐regulation of VEGF expression. These results emphasize the importance of MT1‐MMP during tumor angiogenesis and open new opportunities for the development of anti‐angiogenic strategies combining inhibitors of MT1‐MMP and VEGF antagonists. —Sounni, N. E. , Devy, L. , Hajitou, A. , Frankenne, F. , Munaut, C. , Gilles, C. , Deroanne, C. , Thompson, E. W. , Foidart, J. M. , Noel, A. MT1‐MMP expression promotes tumor growth and angiogenesis through an up‐regulation of vascular en‐dothelial growth factor expression. FASEB J. 16, 555–564 (2002)
Functional Modeling of Longitudinal Data

SUMMARY Functional data analysis provides an inherently nonparametric approach for the analysis of data which consist of samples of time courses or random trajectories. It is a relatively young field aiming at modeling and data exploration under very flexible model assumptions with no or few parametric components. Basic tools of functional data analysis are smoothing, functional principal components, functional linear models and time-warping. Warping or curve registration aims at adjusting for random time distortions. While in the usual functional data analysis paradigm the sample functions were considered as continuously observed, in longitudinal data analysis one mostly deals with sparsely and irregularly observed data that also are corrupted with noise. Adjustments of functional data analysis techniques which take these particular features into account are needed to use them to advantage for longitudinal data. We review some techniques that have been recently proposed to connect functional data analysis methodology with longitudinal data. The extension of functional data analysis towards longitudinal data is a fairly recent undertaking that presents a promising avenue for future research. This article provides a review of some of the recent developments.
Evaluation of Streptococcus pneumoniae Type XIV Opsonins by Phagocytosis-Associated Chemiluminescence and a Bactericidal Assay

The relative roles of serum factors required for opsonization of type XIV Streptococcus pneumoniae were investigated by means of luminol-enhanced chemiluminescence (CL), bactericidal, and immunofluorescence assays employing adult sera containing high (>1,000 ng of antibody nitrogen per ml) or low (<200 ng of antibody nitrogen per ml) antibody concentrations as determined by radioimmunoassay. Specific antibody concentration correlated directly with both total and heat-labile CL activity (P < 0.005) and with the bactericidal index (P < 0.05) at a serum concentration of 10%. The importance of specific antibody as an opsonin was confirmed by the abolition of CL activity and immunoglobulin immunofluorescence observed after absorption of heated sera with type XIV pneumococcal cells and by the dose response in CL and bactericidal activity observed with the addition of immunoglobulin G to hypogammaglobulinemic serum. A role for the classical complement pathway in opsonization was indicated by significantly greater CL integrals for high-antibody sera than for low-antibody sera depleted of factor D and by the bactericidal activity noted for untreated, but not magnesium ethylene glycol-bis(β-aminoethyl ether)-N,N-tetraacetic acid-chelated low-antibody sera. The alternative pathway contributed more than half of the CL activity of both high- and low-antibody sera. However, after magnesium ethylene glycol-bis(β-aminoethyl ether)-N,N-tetraacetic acid chelation, only sera with high antibody concentrations or agammaglobulinemic serum reconstituted with immunoglobulin G with high specific antibody levels supported significant bactericidal activity. Therefore, type-specific antibody and complement promote opsonization of type XIV S. pneumoniae, and this may occur via either complement pathway. These results suggest that CL is a suitable tool to delineate serum factors and their contribution to opsonization, but results must be related to other functional assays.