450 research outputs found

    Wave effect on the trajectory of a high-speed rigid body in a water column

    Get PDF
    In “Advances in Fluid Mechanics, 8, edited by M. Rahman and C.A. Brebbia, WIT Press (ISSN-1746-4471), 383-39

    Infinitesimals without Logic

    Full text link
    We introduce the ring of Fermat reals, an extension of the real field containing nilpotent infinitesimals. The construction takes inspiration from Smooth Infinitesimal Analysis (SIA), but provides a powerful theory of actual infinitesimals without any need of a background in mathematical logic. In particular, on the contrary with respect to SIA, which admits models only in intuitionistic logic, the theory of Fermat reals is consistent with classical logic. We face the problem to decide if the product of powers of nilpotent infinitesimals is zero or not, the identity principle for polynomials, the definition and properties of the total order relation. The construction is highly constructive, and every Fermat real admits a clear and order preserving geometrical representation. Using nilpotent infinitesimals, every smooth functions becomes a polynomial because in Taylor's formulas the rest is now zero. Finally, we present several applications to informal classical calculations used in Physics: now all these calculations become rigorous and, at the same time, formally equal to the informal ones. In particular, an interesting rigorous deduction of the wave equation is given, that clarifies how to formalize the approximations tied with Hook's law using this language of nilpotent infinitesimals.Comment: The first part of the preprint is taken directly form arXiv:0907.1872 The second part is new and contains a list of example

    Using the affective priming paradigm to explore the attitudes underlying walking behaviour

    Get PDF
    Objectives. Walking is poorly represented in memory, making it difficult to measure using self-report and even harder to predict. To circumvent this, we used the affective priming paradigm (Fazio, Sanbonmatsu, Powell, & Kardes, 1986) to assess implicit attitudes towards walking. Methods. Royal Air Force trainee aircraftsmen (N ¼ 188) wore pedometers for 1 week prior to completing the affective priming paradigm, questionnaire and interview. The affective priming paradigm involved a computer-based response latency task containing physical activity words as primes followed by adjectives as targets to be evaluated. Targets were drawn from two bipolar dichotomies, good–bad (the original Fazio et al. items) and happy–sad (mood). Results. Priming for mood items was related to levels of physical activity with high frequency participants priming for the positive (happy) pole and low frequency participants priming for the negative (sad). Both groups primed for the negative element of the Fazio (good–bad) dichotomy. Regarding walking and running, there was no differentiation on the basis of participation level. Instead, facilitated responses to happy targets contrasted with inhibited responses to sad targets for both types of locomotion. There was weak evidence that intentions to run were associated with priming of positive target items, irrespective of category. Conclusions. The relationship between implicit attitudes and behaviour is complex. Whereas implicit attitudes were related to overall exercise participation, they were not related to the specific activity of walking, despite the behaviour being mainly under automatic control.</p

    Bezlotoxumab for prevention of recurrent Clostridium difficile infection in patients at increased risk for recurrence

    Get PDF
    Background: Bezlotoxumab is a human monoclonal antibody against Clostridium difficile toxin B indicated to prevent C. difficile infection (CDI) recurrence (rCDI) in adults at high risk for rCDI. This post hoc analysis of pooled monocolonal antibodies for C.difficile therapy (MODIFY) I/II data assessed bezlotoxumab efficacy in participants with characteristics associated with increased risk for rCDI. Methods: The analysis population was the modified intent-to-treat population who received bezlotoxumab or placebo (n = 1554) by risk factors for rCDI that were prespecified in the statistical analysis plan: age ≥65 years, history of CDI, compromised immunity, severe CDI, and ribotype 027/078/244. The proportion of participants with rCDI in 12 weeks, fecal microbiota transplant procedures, 30-day all cause and CDI-associated hospital readmissions, and mortality at 30 and 90 days after randomization were presented. Results: The majority of enrolled participants (75.6%) had ≥1 risk factor; these participants were older and a higher proportion had comorbidities compared with participants with no risk factors. The proportion of placebo participants who experienced rCDI exceeded 30% for each risk factor compared with 20.9% among those without a risk factor, and the rCDI rate increased with the number of risk factors (1 risk factor: 31.3%; ≥3 risk factors: 46.1%). Bezlotoxumab reduced rCDI, fecal microbiota transplants, and CDI-associated 30-day readmissions in participants with risk factors for rCDI. Conclusions: The risk factors prespecified in the MODIFY statistical analysis plan are appropriate to identify patients at high risk for rCDI. While participants with ≥3 risk factors had the greatest reduction of rCDI with bezlotoxumab, those with 1 or 2 risk factors may also benefit. Clinical Trials Registration: NCT01241552 (MODIFY I) and NCT01513239 (MODIFY II)

    Correlated X-ray and Optical Variability in V404 Cyg in Quiescence

    Get PDF
    We report simultaneous X-ray and optical observations of V404 Cyg in quiescence. The X-ray flux varied dramatically by a factor of >20 during a 60ks observation. X-ray variations were well correlated with those in Halpha, although the latter include an approximately constant component as well. Correlations can also be seen with the optical continuum, although these are less clear. We see no large lag between X-ray and optical line variations; this implies they are causally connected on short timescales. As in previous observations, Halpha flares exhibit a double-peaked profile suggesting emission distributed across the accretion disk. The peak separation is consistent with material extending outwards to at least the circularization radius. The prompt response in the entire Halpha line confirms that the variability is powered by X-ray (and/or EUV) irradiation.Comment: 5 pages; Accepted for publication in the Astrophysical Journal Letter

    Improving ranking for systematic reviews using query adaptation

    Get PDF
    Identifying relevant studies for inclusion in systematic reviews requires significant effort from human experts who manually screen large numbers of studies. The problem is made more difficult by the growing volume of medical literature and Information Retrieval techniques have proved to be useful to reduce workload. Reviewers are often interested in particular types of evidence such as Diagnostic Test Accuracy studies. This paper explores the use of query adaption to identify particular types of evidence and thereby reduce the workload placed on reviewers. A simple retrieval system that ranks studies using TF.IDF weighted cosine similarity was implemented. The Log-Likelihood, ChiSquared and Odds-Ratio lexical statistics and relevance feedback were used to generate sets of terms that indicate evidence relevant to Diagnostic Test Accuracy reviews. Experiments using a set of 80 systematic reviews from the CLEF2017 and CLEF2018 eHealth tasks demonstrate that the approach improves retrieval performance

    Pinpointing needles in giant haystacks: use of text mining to reduce impractical screening workload in extremely large scoping reviews.

    Get PDF
    In scoping reviews, boundaries of relevant evidence may be initially fuzzy, with refined conceptual understanding of interventions and their proposed mechanisms of action an intended output of the scoping process rather than its starting point. Electronic searches are therefore sensitive, often retrieving very large record sets that are impractical to screen in their entirety. This paper describes methods for applying and evaluating the use of text mining (TM) technologies to reduce impractical screening workload in reviews, using examples of two extremely large-scale scoping reviews of public health evidence (choice architecture (CA) and economic environment (EE)). Electronic searches retrieved >800,000 (CA) and >1 million (EE) records. TM technologies were used to prioritise records for manual screening. TM performance was measured prospectively. TM reduced manual screening workload by 90% (CA) and 88% (EE) compared with conventional screening (absolute reductions of ≈430 000 (CA) and ≈378 000 (EE) records). This study expands an emerging corpus of empirical evidence for the use of TM to expedite study selection in reviews. By reducing screening workload to manageable levels, TM made it possible to assemble and configure large, complex evidence bases that crossed research discipline boundaries. These methods are transferable to other scoping and systematic reviews incorporating conceptual development or explanatory dimensions
    corecore