Adaptive mesh optimization for simulation of immiscible viscous fingering

Viscous fingering can be a major concern when waterflooding heavy-oil reservoirs. Most commercial reservoir simulators use low-order finite-volume/-difference methods on structured grids to resolve this phenomenon. However, this approach suffers from a significant numerical-dispersion error because of insufficient mesh resolution, which smears out some important features of the flow. We simulate immiscible incompressible two-phase displacements and propose the use of unstructured control-volume finite-element (CVFE) methods for capturing viscous fingering in porous media. Our approach uses anisotropic mesh adaptation where the mesh resolution is optimized on the basis of the evolving features of flow. The adaptive algorithm uses a metric tensor field dependent on solution-interpolation-error estimates to locally control the size and shape of elements in the metric. The mesh optimization generates an unstructured finer mesh in areas of the domain where flow properties change more quickly and a coarser mesh in other regions where properties do not vary so rapidly. We analyze the computational cost of mesh adaptivity on unstructured mesh and compare its results with those obtained by a commercial reservoir simulator on the basis of the finite-volume methods

Modelling, inference and big data in biophysics

Letter to the editorIn recognition of the increasing importance of big data in biophysics, a new session called 'Modelling, inference, big data' is incorporated into the IUPAB/EBSA Congress on 18 July 2017 at Edinburgh, UK

Refinement type contracts for verification of scientific investigative software

Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural and social sciences, but little is known about how to ensure its correctness. The structure of this code and the development process used to build it limit the utility of traditional testing methodology. Formal methods for software verification have seen great success in ensuring code correctness but generally require more specialized training, development time, and funding than is available in the natural and social sciences. Here, we present a Python library which uses lightweight formal methods to provide correctness guarantees without the need for specialized knowledge or substantial time investment. Our package provides runtime verification of function entry and exit condition contracts using refinement types. It allows checking hyperproperties within contracts and offers automated test case generation to supplement online checking. We co-developed our tool with a medium-sized ($\approx$3000 LOC) software package which simulates decision-making in cognitive neuroscience. In addition to helping us locate trivial bugs earlier on in the development cycle, our tool was able to locate four bugs which may have been difficult to find using traditional testing methods. It was also able to find bugs in user code which did not contain contracts or refinement type annotations. This demonstrates how formal methods can be used to verify the correctness of scientific software which is difficult to test with mainstream approaches

Relatively Low HIV Infection Rates in Rural Uganda, but with High Potential for a Rise: A Cohort Study in Kayunga District, Uganda

BACKGROUND: Few studies have been conducted in Uganda to identify and quantify the determinants of HIV-1 infection. We report results from a community-based cohort study, whose primary objectives were to determine HIV-1 prevalence, incidence, and determinants of these infections, among other objectives. METHODOLOGY: Consenting volunteers from the rural district of Kayunga in Uganda aged 15-49 years were enrolled between March and July 2006. Participants were evaluated every six months. A questionnaire that collected information on behavioral and other HIV-1 risk factors was administered, and a blood sample obtained for laboratory analysis at each study visit. PRINCIPAL FINDINGS: HIV-1 prevalence among the 2025 participants was 9.9% (95% CI = 8.6%-11.2%). By the end of 12 months of follow-up, 1689.7 person-years had been accumulated, with a median follow-up time of 11.97 months. Thirteen HIV-1 incident cases were detected giving an annual HIV-1 incidence of 0.77% (95% CI = 0.35-1.19). Prevalence of HSV-2 infection was 57% and was strongly associated with prevalent HIV-1 infection (adjusted Odds Ratio = 3.9, 95% CI = 2.50-6.17); as well as incident HIV-1 infection (adjusted Rate Ratio (RR) = 8.7, 95% CI = 1.11-67.2). The single most important behavioral characteristic associated with incident HIV infection was the number of times in the past 6 months, a participant had sex with person(s) they suspected/knew were having sex with others; attaining statistical significance at 10 times and higher (adjusted RR = 6.3, 95% CI = 1.73-23.1). By the end of 12 months of follow-up, 259 participants (13%) were lost to follow-up, 13 (0.6%) had died, and 2 (0.1%) had withdrawn consent. CONCLUSIONS: Despite relatively low HIV-1 incidence observed in this community, prevalence remains relatively high. In the presence of high prevalence of HSV-2 infection and the behavioral characteristic of having sex with more than one partner, there is potential for increase in HIV-1 incidence

A multi-factorial analysis of response to warfarin in a UK prospective cohort

Background Warfarin is the most widely used oral anticoagulant worldwide, but it has a narrow therapeutic index which necessitates constant monitoring of anticoagulation response. Previous genome-wide studies have focused on identifying factors explaining variance in stable dose, but have not explored the initial patient response to warfarin, and a wider range of clinical and biochemical factors affecting both initial and stable dosing with warfarin. Methods A prospective cohort of 711 patients starting warfarin was followed up for 6 months with analyses focusing on both non-genetic and genetic factors. The outcome measures used were mean weekly warfarin dose (MWD), stable mean weekly dose (SMWD) and international normalised ratio (INR) > 4 during the first week. Samples were genotyped on the Illumina Human610-Quad chip. Statistical analyses were performed using Plink and R. Results VKORC1 and CYP2C9 were the major genetic determinants of warfarin MWD and SMWD, with CYP4F2 having a smaller effect. Age, height, weight, cigarette smoking and interacting medications accounted for less than 20 % of the variance. Our multifactorial analysis explained 57.89 % and 56.97 % of the variation for MWD and SMWD, respectively. Genotypes for VKORC1 and CYP2C9*3, age, height and weight, as well as other clinical factors such as alcohol consumption, loading dose and concomitant drugs were important for the initial INR response to warfarin. In a small subset of patients for whom data were available, levels of the coagulation factors VII and IX (highly correlated) also played a role. Conclusion Our multifactorial analysis in a prospectively recruited cohort has shown that multiple factors, genetic and clinical, are important in determining the response to warfarin. VKORC1 and CYP2C9 genetic polymorphisms are the most important determinants of warfarin dosing, and it is highly unlikely that other common variants of clinical importance influencing warfarin dosage will be found. Both VKORC1 and CYP2C9*3 are important determinants of the initial INR response to warfarin. Other novel variants, which did not reach genome-wide significance, were identified for the different outcome measures, but need replication

Body mass index and outcome in renal transplant recipients: a systematic review and meta-analysis

BACKGROUND: Whether overweight or obese end stage renal disease (ESRD) patients are suitable for renal transplantation (RT) is often debated. The objective of this review and meta-analysis was to systematically investigate the outcome of low versus high BMI recipients after RT. METHODS: Comprehensive searches were conducted in MEDLINE OvidSP, Web of Science, Google Scholar, Embase, and CENTRAL (the Cochrane Library 2014, issue 8). We reviewed four major guidelines that are available regarding (potential) RT recipients. The methodology was in accordance with the Cochrane Handbook for Systematic Reviews of Interventions and written based on the PRISMA statement. The quality assessment of studies was performed by using the GRADE tool. A meta-analysis was performed using Review Manager 5.3. Random-effects models were used. RESULTS: After identifying 5,526 studies addressing this topic, 56 studies were included. We extracted data for 37 outcome measures (including data of more than 209,000 RT recipients), of which 26 could be meta-analysed. The following outcome measures demonstrated significant differences in favour of low BMI (<30) recipients: mortality (RR = 1.52), delayed graft function (RR = 1.52), acute rejection (RR = 1.17), 1-, 2-, and 3-year graft survival (RR = 0.97, 0.95, and 0.97), 1-, 2-, and 3-year patient survival (RR = 0.99, 0.99, and 0.99), wound infection and dehiscence (RR = 3.13 and 4.85), NODAT (RR = 2.24), length of hospital stay (2.31 days), operation duration (0.77 hours), hypertension (RR = 1.35), and incisional hernia (RR = 2.72). However, patient survival expressed in hazard ratios was in significant favour of high BMI recipients. Differences in other outcome parameters were not significant. CONCLUSIONS: Several of the pooled outcome measurements show significant benefits for ‘low’ BMI (<30) recipients. Therefore, we postulate that ESRD patients with a BMI >30 preferably should lose weight prior to RT. If this cannot be achieved with common measures, in morbidly obese RT candidates, bariatric surgery could be considered. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s12916-015-0340-5) contains supplementary material, which is available to authorized users

Understanding the Impact of Male Circumcision Interventions on the Spread of HIV in Southern Africa

BACKGROUND: Three randomised controlled trials have clearly shown that circumcision of adult men reduces the chance that they acquire HIV infection. However, the potential impact of circumcision programmes--either alone or in combination with other established approaches--is not known and no further field trials are planned. We have used a mathematical model, parameterised using existing trial findings, to understand and predict the impact of circumcision programmes at the population level. FINDINGS: Our results indicate that circumcision will lead to reductions in incidence for women and uncircumcised men, as well as those circumcised, but that even the most effective intervention is unlikely to completely stem the spread of the virus. Without additional interventions, HIV incidence could eventually be reduced by 25-35%, depending on the level of coverage achieved and whether onward transmission from circumcised men is also reduced. However, circumcision interventions can act synergistically with other types of prevention programmes, and if efforts to change behaviour are increased in parallel with the scale-up of circumcision services, then dramatic reductions in HIV incidence could be achieved. In the long-term, this could lead to reduced AIDS deaths and less need for anti-retroviral therapy. Any increases in risk behaviours following circumcision, i.e. 'risk compensation', could offset some of the potential benefit of the intervention, especially for women, but only very large increases would lead to more infections overall. CONCLUSIONS: Circumcision will not be the silver bullet to prevent HIV transmission, but interventions could help to substantially protect men and women from infection, especially in combination with other approaches

Genetic drivers of heterogeneity in type 2 diabetes pathophysiology.

Type 2 diabetes (T2D) is a heterogeneous disease that develops through diverse pathophysiological processes1,2 and molecular mechanisms that are often specific to cell type3,4. Here, to characterize the genetic contribution to these processes across ancestry groups, we aggregate genome-wide association study data from 2,535,601 individuals (39.7% not of European ancestry), including 428,452 cases of T2D. We identify 1,289 independent association signals at genome-wide significance (P < 5 × 10-8) that map to 611 loci, of which 145 loci are, to our knowledge, previously unreported. We define eight non-overlapping clusters of T2D signals that are characterized by distinct profiles of cardiometabolic trait associations. These clusters are differentially enriched for cell-type-specific regions of open chromatin, including pancreatic islets, adipocytes, endothelial cells and enteroendocrine cells. We build cluster-specific partitioned polygenic scores5 in a further 279,552 individuals of diverse ancestry, including 30,288 cases of T2D, and test their association with T2D-related vascular outcomes. Cluster-specific partitioned polygenic scores are associated with coronary artery disease, peripheral artery disease and end-stage diabetic nephropathy across ancestry groups, highlighting the importance of obesity-related processes in the development of vascular outcomes. Our findings show the value of integrating multi-ancestry genome-wide association study data with single-cell epigenomics to disentangle the aetiological heterogeneity that drives the development and progression of T2D. This might offer a route to optimize global access to genetically informed diabetes care

Demographic, clinical and antibody characteristics of patients with digital ulcers in systemic sclerosis: data from the DUO Registry

OBJECTIVES: The Digital Ulcers Outcome (DUO) Registry was designed to describe the clinical and antibody characteristics, disease course and outcomes of patients with digital ulcers associated with systemic sclerosis (SSc). METHODS: The DUO Registry is a European, prospective, multicentre, observational, registry of SSc patients with ongoing digital ulcer disease, irrespective of treatment regimen. Data collected included demographics, SSc duration, SSc subset, internal organ manifestations, autoantibodies, previous and ongoing interventions and complications related to digital ulcers. RESULTS: Up to 19 November 2010 a total of 2439 patients had enrolled into the registry. Most were classified as either limited cutaneous SSc (lcSSc; 52.2%) or diffuse cutaneous SSc (dcSSc; 36.9%). Digital ulcers developed earlier in patients with dcSSc compared with lcSSc. Almost all patients (95.7%) tested positive for antinuclear antibodies, 45.2% for anti-scleroderma-70 and 43.6% for anticentromere antibodies (ACA). The first digital ulcer in the anti-scleroderma-70-positive patient cohort occurred approximately 5 years earlier than the ACA-positive patient group. CONCLUSIONS: This study provides data from a large cohort of SSc patients with a history of digital ulcers. The early occurrence and high frequency of digital ulcer complications are especially seen in patients with dcSSc and/or anti-scleroderma-70 antibodies