Extended Formulations in Mixed-integer Convex Programming

We present a unifying framework for generating extended formulations for the polyhedral outer approximations used in algorithms for mixed-integer convex programming (MICP). Extended formulations lead to fewer iterations of outer approximation algorithms and generally faster solution times. First, we observe that all MICP instances from the MINLPLIB2 benchmark library are conic representable with standard symmetric and nonsymmetric cones. Conic reformulations are shown to be effective extended formulations themselves because they encode separability structure. For mixed-integer conic-representable problems, we provide the first outer approximation algorithm with finite-time convergence guarantees, opening a path for the use of conic solvers for continuous relaxations. We then connect the popular modeling framework of disciplined convex programming (DCP) to the existence of extended formulations independent of conic representability. We present evidence that our approach can yield significant gains in practice, with the solution of a number of open instances from the MINLPLIB2 benchmark library.Comment: To be presented at IPCO 201

Biomarker-based prediction of inflammatory bowel disease-related colorectal cancer: a case–control study

Regular colonoscopic surveillance for detection of dysplasia is recommended in longstanding inflammatory bowel disease (IBD), however, its sensitivity is disputed. Screening accuracy may increase by using a biomarker-based surveillance strategy.A case-control study was performed to determine the prognostic value of DNA ploidy and p53 in IBD-related neoplasia. Cases with IBD-related colorectal cancer (CRC), detected in our surveillance program between 1985-2008, were selected and matched with two controls, for age, gender, disease characteristics, interval of follow-up, PSC, and previous surgery. Biopsies were assessed for DNA ploidy, p53, grade of inflammation and neoplasia. Progression to neoplasia was analyzed with Cox regression analysis, adjusting for potentially confounding variables.Adjusting for age, we found statistically significant Hazard ratios (HR) between development of CRC, and low grade dysplasia (HR5.5; 95%CI 2.6-11.5), abnormal DNA ploidy (DNA index (DI) 1.06-1.34, HR4.7; 95%CI 2.9-7.8 and DI>1.34, HR6.6; 95%CI 3.7-11.7) and p53 immunopositivity (HR3.0; 95%CI 1.9-4.7) over time. When adjusting for all confounders, abnormal DNA ploidy (DI 1.06-1.34, HR4.7; 95%CI 2.7-7.9 and DI>1.34, HR5.0; 95%CI 2.5-10.0) and p53 immunopositivity (HR1.7; 95%CI 1.0-3.1) remained statistically significant predictive of neoplasia. In longstanding IBD, abnormal DNA ploidy and p53 immunopositivity are important risk factors of developing CRC. The yield of surveillance may potentially increase by adding these biomarkers to the routine assessment of biopsies

Comparison of the efficacy of a neutral wrist splint and wrist splint with lumbrical unit for the treatment of patients with carpal tunnel syndrome

Purpose: The purpose of this study was to compare the effect of a neutral wrist splint or a wrist splint with an additional metacarpophalangeal (MCP) unit on pain, function, grip and pinch strength in patients with mild-to-moderate carpal tunnel syndrome (CTS). Methods: Twenty four patients received conservative treatment using either the neutral wrist splint or wrist splint with the MCP unit for a period of 6 weeks. Primary outcome measures were pain, function, grip and pinch strength. Data was collected immediately before and after using the two types of splints at baseline (0 weeks) and 6 weeks. Statistical analysis was performed using the paired t-test and independent T-test. Results: Compared to baseline, both the neutral wrist splint and the wrist splint with an MCP unit significantly decreased pain, increased function and pinch and grip strength. Comparisons of the two types of splints for grip (P =0.675) and pinch strength (P =0.650) revealed that there were no significant differences between the two after 6 weeks of wear. However, there were significant differences in pain levels (P =0.022) and the DASH score (P =0.027) between the two types of splints from baseline to 6 weeks. Conclusion: The wrist splint with an MCP unit was more effective than the neutral wrist splint in pain reduction and improvement of function

Effects of Short-Term Continuous Montmorency Tart Cherry Juice Supplementation in Participants with Metabolic Syndrome

© 2020 Springer-Verlag. The final publication is available at Springer via https://doi.org/10.1007/s00394-020-02355-5Purpose: Metabolic Syndrome (MetS) augments the incidence of cardiovascular disease by two-fold and type II diabetes mellitus by five-fold. Montmorency tart cherries are rich in phytochemicals shown to improve biomarkers related to cardio-metabolic health in humans. This study aimed to examine cardio-metabolic responses after 7-days Montmorency tart cherry juice (MTCJ) supplementation and also acute on short-term supplementation responses to a single bolus, in humans with MetS. Methods: In a randomised, single-blind, placebo-controlled, crossover trial, 12 participants with MetS (50 ± 10 years; 6M/6F), consumed MTCJ or placebo (PLA) for 7 days. Blood-based and functional cardio-metabolic biomarkers were measured pre- and post-supplementation, and acute responses measured pre-bolus and up to 5 h post-bolus on the 7th day. Results: 24-h ambulatory systolic (P = 0.016), diastolic (P = 0.009) blood pressure and mean arterial pressure (P = 0.041) were significantly lower after 7-days MTCJ supplementation compared to PLA. Glucose (P = 0.038), total cholesterol (P = 0.036), LDL (P = 0.023) concentrations, total cholesterol:HDL ratio (P = 0.004) and respiratory exchange ratio values (P = 0.009) were significantly lower after 6-days MTCJ consumption compared to PLA. Conclusions: This study revealed for the first time in humans that MTCJ significantly improved 24-h BP, fasting glucose, total cholesterol and total cholesterol:HDL ratio, and also lowered resting respiratory exchange ratio compared to a control group. Responses demonstrated clinically relevant improvements on aspects of cardio-metabolic function, emphasising the potential efficacy of MTCJ in preventing further cardio-metabolic dysregulation in participants with MetS. Registered at clinicaltrials.gov (NCT03619941).Peer reviewedFinal Accepted Versio

Association of sleep, screen time and physical activity with overweight and obesity in Mexico

PURPOSE: Approximately 70% of adults in Mexico are overweight or obese. Unhealthy lifestyle behaviors are also prevalent. We examined the association of three lifestyle behaviors with body mass index (BMI) categories in adults from Mexico. METHODS: We used publicly available data from the ENSANUT 2016 survey (n = 6419). BMI was used to categorize participants. Differences in sleep duration, suffering from symptoms of insomnia, TV watching time, time in front of any screen, vigorous physical activity (yes vs no), moderate physical activity (> 30 min/day-yes vs. no) and walking (> 60 min/day-yes vs. no) were compared across BMI groups using adjusted linear and logistic regression analyses. RESULTS: Thirty-nine percent of participants were overweight and 37% obese. Time in front of TV, in front of any screen, sleep duration and physical activity were significantly associated with overweight and obesity. Compared to normal weight participants, participants in the obese II category spend on average 0.60 h/day (95% CI 0.36-0.84, p = 0.001) and participants in the obese III category 0.54 h/day (95% CI 0.19-0.89, p < 0.001) more in front of any screen; participants in the obese II category reported 0.55 h/day less sleep (95% CI - 0.67 to - 0.43, p < 0.001); participants in the obese III category were less likely to engage in vigorous activity (OR = 0.60, 95% CI 0.43-0.84, p ≤ 0.003), or walking (OR = 0.65, 95% CI 0.49-0.88, p = 0.005). CONCLUSION: Screen time, sleeping hours, and physical activity were associated with overweight and obesity. However, these associations were not consistent across all BMI categories. Assuming established causal connections, overweight individuals and individuals with obesity would benefit from reduced screen time and engaging in moderate/vigorous physical activity. LEVEL OF EVIDENCE: Level III: observational case-control analytic study

Semen molecular and cellular features: these parameters can reliably predict subsequent ART outcome in a goat model

Currently, the assessment of sperm function in a raw or processed semen sample is not able to reliably predict sperm ability to withstand freezing and thawing procedures and in vivo fertility and/or assisted reproductive biotechnologies (ART) outcome. The aim of the present study was to investigate which parameters among a battery of analyses could predict subsequent spermatozoa in vitro fertilization ability and hence blastocyst output in a goat model. Ejaculates were obtained by artificial vagina from 3 adult goats (Capra hircus) aged 2 years (A, B and C). In order to assess the predictive value of viability, computer assisted sperm analyzer (CASA) motility parameters and ATP intracellular concentration before and after thawing and of DNA integrity after thawing on subsequent embryo output after an in vitro fertility test, a logistic regression analysis was used. Individual differences in semen parameters were evident for semen viability after thawing and DNA integrity. Results of IVF test showed that spermatozoa collected from A and B lead to higher cleavage rates (0 < 0.01) and blastocysts output (p < 0.05) compared with C. Logistic regression analysis model explained a deviance of 72% (p < 0.0001), directly related with the mean percentage of rapid spermatozoa in fresh semen (p < 0.01), semen viability after thawing (p < 0.01), and with two of the three comet parameters considered, i.e tail DNA percentage and comet length (p < 0.0001). DNA integrity alone had a high predictive value on IVF outcome with frozen/thawed semen (deviance explained: 57%). The model proposed here represents one of the many possible ways to explain differences found in embryo output following IVF with different semen donors and may represent a useful tool to select the most suitable donors for semen cryopreservation