Determinants of non attendance to mammography program in a region with high voluntary health insurance coverage

<p>Abstract</p> <p>Background</p> <p>High participation rates are needed to ensure that breast cancer screening programs effectively reduce mortality. We identified the determinants of non-participation in a public breast cancer screening program.</p> <p>Methods</p> <p>In this case-control study, 274 women aged 50 to 64 years included in a population-based mammography screening program were personally interviewed. Socio-demographic characteristics, health beliefs, health service utilization, insurance coverage, prior mammography and other preventive activities were examined.</p> <p>Results</p> <p>Of the 192 cases and 194 controls contacted, 101 and 173, respectively, were subsequently interviewed. Factors related to non-participation in the breast cancer screening program included higher education (odds ratio [OR] = 5.28; 95% confidence interval [CI95%] = 1.57–17.68), annual dental checks-ups (OR = 1.81; CI95%1.08–3.03), prior mammography at a private health center (OR = 7.27; CI95% 3.97–13.32), gynecologist recommendation of mammography (OR = 2.2; CI95%1.3–3.8), number of visits to a gynecologist (median visits by cases = 1.2, versus controls = 0.92, P = 0.001), and supplemental private insurance (OR = 5.62; CI95% = 3.28–9.6). Among women who had not received a prior mammogram or who had done so at a public center, perceived barriers were the main factors related to non-participation. Among women who had previously received mammograms at a private center, supplemental private health insurance also influenced non-participation. Benign breast symptoms increased the likelihood of participation.</p> <p>Conclusion</p> <p>Our data indicate that factors related to the type of insurance coverage (such as prior mammography at a private health center and supplemental private insurance) influenced non-participation in the screening program.</p

Global Guidance for Local Generalization in Model Checking

SMT-based model checkers, especially IC3-style ones, are currently the most effective techniques for verification of infinite state systems. They infer global inductive invariants via local reasoning about a single step of the transition relation of a system, while employing SMT-based procedures, such as interpolation, to mitigate the limitations of local reasoning and allow for better generalization. Unfortunately, these mitigations intertwine model checking with heuristics of the underlying SMT-solver, negatively affecting stability of model checking. In this paper, we propose to tackle the limitations of locality in a systematic manner. We introduce explicit global guidance into the local reasoning performed by IC3-style algorithms. To this end, we extend the SMT-IC3 paradigm with three novel rules, designed to mitigate fundamental sources of failure that stem from locality. We instantiate these rules for the theory of Linear Integer Arithmetic and implement them on top of SPACER solver in Z3. Our empirical results show that GSPACER, SPACER extended with global guidance, is significantly more effective than both SPACER and sole global reasoning, and, furthermore, is insensitive to interpolation.Comment: Published in CAV 202

Global Guidance for Local Generalization in Model Checking

SMT-based model checkers, especially IC3-style ones, are currently the most effective techniques for verification of infinite state systems. They infer global inductive invariants via local reasoning about a single step of the transition relation of a system, while employing SMT-based procedures, such as interpolation, to mitigate the limitations of local reasoning and allow for better generalization. Unfortunately, these mitigations intertwine model checking with heuristics of the underlying SMT-solver, negatively affecting stability of model checking. In this paper, we propose to tackle the limitations of locality in a systematic manner. We introduce explicit global guidance into the local reasoning performed by IC3-style algorithms. To this end, we extend the SMT-IC3 paradigm with three novel rules, designed to mitigate fundamental sources of failure that stem from locality. We instantiate these rules for the theory of Linear Integer Arithmetic and implement them on top of Spacer solver in Z3. Our empirical results show that GSpacer, Spacer extended with global guidance, is significantly more effective than both Spacer and sole global reasoning, and, furthermore, is insensitive to interpolation

Influence of routine computed tomography on predicted survival from blunt thoracoabdominal trauma

Item does not contain fulltextINTRODUCTION: Many scoring systems have been proposed to predict the survival of trauma patients. This study was performed to evaluate the influence of routine thoracoabdominal computed tomography (CT) on the predicted survival according to the trauma injury severity score (TRISS). PATIENTS AND METHODS: 1,047 patients who had sustained a high-energy blunt trauma over a 3-year period were prospectively included in the study. All patients underwent physical examination, conventional radiography of the chest, thoracolumbar spine and pelvis, abdominal sonography, and routine thoracoabdominal CT. From this group with routine CT, we prospectively defined a selective CT (sub)group for cases with abnormal physical examination and/or conventional radiography and/or sonography. Type and extent of injuries were recorded for both the selective and the routine CT groups. Based on the injuries found by the two different CT algorithms, we calculated the injury severity scores (ISS) and predicted survivals according to the TRISS methodology for the routine and the selective CT algorithms. RESULTS: Based on injuries detected by the selective CT algorithm, the mean ISS was 14.6, resulting in a predicted mortality of 12.5%. Because additional injuries were found by the routine CT algorithm, the mean ISS increased to 16.9, resulting in a predicted mortality of 13.7%. The actual observed mortality was 5.4%. CONCLUSION: Routine thoracoabdominal CT in high-energy blunt trauma patients reveals more injuries than a selective CT algorithm, resulting in a higher ISS. According to the TRISS, this results in higher predicted mortalities. Observed mortality, however, was significantly lower than predicted. The predicted survival according to MTOS seems to underestimate the actual survival when routine CT is used

Generalized Property-Directed Reachability for Hybrid Systems

Generalized property-directed reachability (GPDR) belongs to the family of the model-checking techniques called IC3/PDR. It has been successfully applied to software verification; for example, it is the core of Spacer, a state-of-the-art Horn-clause solver bundled with Z3. However, it has yet to be applied to hybrid systems, which involve a continuous evolution of values over time. As the first step towards GPDR- based model checking for hybrid systems, this paper formalizes HGPDR, an adaptation of GPDR to hybrid systems, and proves its soundness. We also implemented a semi-automated proof-of-concept verifier, which allows a user to provide hints to guide verification steps.Comment: To appear in VMCAI 202

The Evolution of Compact Binary Star Systems

We review the formation and evolution of compact binary stars consisting of white dwarfs (WDs), neutron stars (NSs), and black holes (BHs). Binary NSs and BHs are thought to be the primary astrophysical sources of gravitational waves (GWs) within the frequency band of ground-based detectors, while compact binaries of WDs are important sources of GWs at lower frequencies to be covered by space interferometers (LISA). Major uncertainties in the current understanding of properties of NSs and BHs most relevant to the GW studies are discussed, including the treatment of the natal kicks which compact stellar remnants acquire during the core collapse of massive stars and the common envelope phase of binary evolution. We discuss the coalescence rates of binary NSs and BHs and prospects for their detections, the formation and evolution of binary WDs and their observational manifestations. Special attention is given to AM CVn-stars -- compact binaries in which the Roche lobe is filled by another WD or a low-mass partially degenerate helium-star, as these stars are thought to be the best LISA verification binary GW sources.Comment: 105 pages, 18 figure

Development of a Mouse Monoclonal Antibody Cocktail for Post-exposure Rabies Prophylaxis in Humans

As the demand for rabies post-exposure prophylaxis (PEP) treatments has increased exponentially in recent years, the limited supply of human and equine rabies immunoglobulin (HRIG and ERIG) has failed to provide the required passive immune component in PEP in countries where canine rabies is endemic. Replacement of HRIG and ERIG with a potentially cheaper and efficacious alternative biological for treatment of rabies in humans, therefore, remains a high priority. In this study, we set out to assess a mouse monoclonal antibody (MoMAb) cocktail with the ultimate goal to develop a product at the lowest possible cost that can be used in developing countries as a replacement for RIG in PEP. Five MoMAbs, E559.9.14, 1112-1, 62-71-3, M727-5-1, and M777-16-3, were selected from available panels based on stringent criteria, such as biological activity, neutralizing potency, binding specificity, spectrum of neutralization of lyssaviruses, and history of each hybridoma. Four of these MoMAbs recognize epitopes in antigenic site II and one recognizes an epitope in antigenic site III on the rabies virus (RABV) glycoprotein, as determined by nucleotide sequence analysis of the glycoprotein gene of unique MoMAb neutralization-escape mutants. The MoMAbs were produced under Good Laboratory Practice (GLP) conditions. Unique combinations (cocktails) were prepared, using different concentrations of the MoMAbs that were capable of targeting non-overlapping epitopes of antigenic sites II and III. Blind in vitro efficacy studies showed the MoMab cocktails neutralized a broad spectrum of lyssaviruses except for lyssaviruses belonging to phylogroups II and III. In vivo, MoMAb cocktails resulted in protection as a component of PEP that was comparable to HRIG. In conclusion, all three novel combinations of MoMAbs were shown to have equal efficacy to HRIG and therefore could be considered a potentially less expensive alternative biological agent for use in PEP and prevention of rabies in humans

Factors contributing to attrition behavior in diabetes self-management programs: A mixed method approach

<p>Abstract</p> <p>Background</p> <p>Diabetes self-management education is a critical component in diabetes care. Despite worldwide efforts to develop efficacious DSME programs, high attrition rates are often reported in clinical practice. The objective of this study was to examine factors that may contribute to attrition behavior in diabetes self-management programs.</p> <p>Methods</p> <p>We conducted telephone interviews with individuals who had Type 2 diabetes (n = 267) and attended a diabetes education centre. Multivariable logistic regression was performed to identify factors associated with attrition behavior. Forty-four percent of participants (n = 118) withdrew prematurely from the program and were asked an open-ended question regarding their discontinuation of services. We used content analysis to code and generate themes, which were then organized under the Behavioral Model of Health Service Utilization.</p> <p>Results</p> <p>Working full and part-time, being over 65 years of age, having a regular primary care physician or fewer diabetes symptoms were contributing factors to attrition behaviour in our multivariable logistic regression. The most common reasons given by participants for attrition from the program were conflict between their work schedules and the centre's hours of operation, patients' confidence in their own knowledge and ability when managing their diabetes, apathy towards diabetes education, distance to the centre, forgetfulness, regular physician consultation, low perceived seriousness of diabetes, and lack of familiarity with the centre and its services. There was considerable overlap between our quantitative and qualitative results.</p> <p>Conclusion</p> <p>Reducing attrition behaviour requires a range of strategies targeted towards delivering convenient and accessible services, familiarizing individuals with these services, increasing communication between centres and their patients, and creating better partnerships between centres and primary care physicians.</p