We present an interactive tool, called iscc, for manipulating sets and relations of integer tuples bounded by affine constraints over the set variables, parameters and existentially quantified variables. A distinguishing feature of iscc is that it provides a cardinality operation on sets and relations that computes a symbolic expression in terms of the parameters and domain variables for the nu...

Recombination rate is a key evolutionary parameter that determines the degree to which sites are linked. Estimating recombination rates is thus of crucial importance for population genetic and molecular evolutionary studies. We present here a user-friendly web-based tool that can be used to retrieve recombination rate estimates for single and/or multiple loci in the Drosophila melanogaster geno...

Sahar Fanian, Stephanie K. Young, Mason Mantla*, Anita Daniels and Susan Chatwood Institute for Circumpolar Health Research, Yellowknife, Northwest Territories, Canada; Social & Behavioral Health Science Division, Dalla Lana School of Public Health, University of Toronto, Toronto, Ontario, Canada; Community Action Research Team, Tłı̨chǫ Government, Behchokǫ̀, Northwest Territories, Canada; Depart...

Over sixty percent of employees at a large South African company contribute the minimum rate 7.5% to retirement fund—far below 15% recommended by financial advisers. I use field experiment investigate whether providing with calculator, which shows projections income, leads increases in contributions. The impact is negligible. lack response calculator suggests many may wish save less than minimu...

BACKGROUND The incidence of knee osteoarthritis (OA) is rising. While several risk factors have been associated with the development of knee OA, this information is not readily accessible to those at risk for osteoarthritis. Risk calculators have been developed for several prevalent chronic conditions but not for OA. Using published evidence on established risk factors, we developed an interact...

BACKGROUND The purpose of this study was to evaluate the American Society of Cataract and Refractive Surgery (ASCRS) intraocular lens (IOL) calculator for eyes with prior radial keratotomy and assess the accuracy of its methods in predicting IOL power in patients with previous radial keratotomy. METHODS This retrospective study included data from 15 eyes with previous radial keratotomy and su...

Chronic kidney disease (CKD) has joined a list of other financially-incentivised quality indicators for UK general practice contained within the Quality and Outcomes Framework (QOF). The QOF CKD indicators expect practices to identify people with CKD and to control their blood pressure, ideally using angiotensin-converting enzyme inhibitors or angiotensin II receptor blockers. To help practices...

We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and complete equational axiomatization for the equivalence. Both results are derived from a decomposition property of hhp-b, which is the main technical contribution of the paper. Altogether, our results complement previous work o...

BACKGROUND The specific properties of a synapse determine how neuronal activity evokes neurotransmitter release. Evaluating changes in synaptic properties during sustained activity is essential to understanding how genetic manipulations and neuromodulators regulate neurotransmitter release. Analyses of postsynaptic responses to high-frequency stimulation have provided estimates of the size of t...

The aim of this study was to evaluate the benefit of adding hypoalbuminemia to the American College of Surgeons-National Surgical Quality Improvement Program (ACS-NSQIP) Surgical Risk Calculator when predicting postoperative outcomes in colorectal cancer patients.The ACS-NSQIP Surgical Risk Calculator offers qualified risk evaluation in surgical decision-making and informed patient consent. To ...