The Potential and Challenges of CAD with Equational Constraints for SC-Square

Cylindrical algebraic decomposition (CAD) is a core algorithm within Symbolic Computation, particularly for quantifier elimination over the reals and polynomial systems solving more generally. It is now finding increased application as a decision procedure for Satisfiability Modulo Theories (SMT) solvers when working with non-linear real arithmetic. We discuss the potentials from increased focus on the logical structure of the input brought by the SMT applications and SC-Square project, particularly the presence of equational constraints. We also highlight the challenges for exploiting these: primitivity restrictions, well-orientedness questions, and the prospect of incrementality.Comment: Accepted into proceedings of MACIS 201

Positron emission tomography/computerised tomography imaging in detecting and managing recurrent cervical cancer: systematic review of evidence, elicitation of subjective probabilities and economic modelling.

© Queen’s Printer and Controller of HMSO 2013. This work was produced by Meads et al. under the terms of a commissioning contract issued by the Secretary of State for Health. This issue may be freely reproduced for the purposes of private research and study and extracts (or indeed, the full report) may be included in professional journals provided that suitable acknowledgement is made and the reproduction is not associated with any form of advertising.Cancer of the uterine cervix is a common cause of mortality in women. After initial treatment women may be symptom free, but the cancer may recur within a few years. It is uncertain whether it is more clinically effective to survey asymptomatic women for signs of recurrence or to await symptoms or signs before using imaging.National Institute for Health Research Health Technology Assessment programm

Evaluating PET-CT in the detection and management of recurrent cervical cancer: Systematic reviews of diagnostic accuracy and subjective elicitation

Background: Positron emission tomography-computed tomography (PET-CT) is recommended to triage women for exenterative surgery and surveillance after treatment for advanced cervical cancer. Objective: To evaluate diagnostic accuracy of additional whole body PET-CT compared with CT/magnetic resonance imaging (MRI) alone in women with suspected recurrent/persistent cervical cancer and in asymptomatic women as surveillance. Design: Systematic reviews. Subjective elicitation to supplement diagnostic information. Search strategy/Selection criteria/Data collection and analysis: Searches of electronic databases were performed to June 2013. Studies in women with suspected recurrent/persistent cervical cancer and in asymptomatic women undergoing follow up with sufficient numeric data were included. We calculated sensitivity, specificity and corresponding 95% confidence intervals. Meta-analyses employed a bivariate model that included a random-effects term for between-study variations (CT studies) and univariate random effects meta-analyses (PET-CT studies) for sensitivity and specificity separately. Subjective elicitation: Prevalence of recurrence and the accuracy of imaging elicited using the allocation of points technique. Coherence of elicited subjective probabilities with estimates in the literature examined. Results: We identified 15 relevant studies; none directly compared additional PET-CT with MRI or CT separately. Most CT and MRI studies used older protocols and the majority did not distinguish between asymptomatic and symptomatic women. Meta-analysis of nine PET-CT studies in mostly symptomatic women showed sensitivity of 94.8 (95% CI 91.2-96.9), and specificity of 86.9% (95% CI 82.2-90.5). The summary estimate of the sensitivity of CT for detection of recurrence was 89.64% (95% CI 81.59-94.41) and specificity was 76% (95% CI 43.68-92.82). Meta-analysis for MRI test accuracy studies was not possible because of clinical heterogeneity. The sensitivity and specificity of MRI in pelvic recurrence varied between 82 and 100% and between 78 and 100%, respectively. Formal statistical comparisons of the accuracy of index tests were not possible. Subjective elicitation provided estimates comparable to the literature. Subjective estimates of the increase in accuracy from the addition of PET-CT were less than elicited increases required to justify the use in PET-CT for surveillance. Conclusion: Evidence to support additional PET-CT is scarce, of average quality and does not distinguish between application for surveillance and diagnosis. Guidelines recommending PET-CT in recurrent cervical cancer need to be reconsidered in the light of the existing evidence base

The history, evolution, and future of big data & analytics:A bibliometric analysis of its relationship to performance in organizations

Big data and analytics (BDA) are gaining momentum, particularly in the practitioner world. Research linking BDA to improved organizational performance seems scarce and widely dispersed though, with the majority focused on specific domains and/or macro-level relationships. In order to synthesize past research and advance knowledge of the potential organizational value of BDA, the authors obtained a data set of 327 primary studies and 1252 secondary cited papers. This paper reviews this body of research, using three bibliometric methods. First, it elucidates its intellectual foundations via co-citation analysis. Second, it visualizes the historical evolution of BDA and performance research and its substreams through algorithmic historiography. Third, it provides insights into the field's potential evolution via bibliographic coupling. The results reveal that the academic attention for the BDA-performance link has been increasing rapidly. The study uncovered ten research clusters that form the field's foundation. While research seems to have evolved following two main, isolated streams, the past decade has witnessed more cross-disciplinary collaborations. Moreover, the study identified several research topics undergoing focused development, including financial and customer risk management, text mining and evolutionary algorithms. The review concludes with a discussion of the implications for different functional management domains and the gaps for both research and practice.</p

A Method to Tackle First Order Differential Equations with Liouvillian Functions in the Solution - II

We present a semi-decision procedure to tackle first order differential equations, with Liouvillian functions in the solution (LFOODEs). As in the case of the Prelle-Singer procedure, this method is based on the knowledge of the integrating factor structure.Comment: 11 pages, late

Splanchnic metabolism of nutrients and hormones in steers fed alfalfa under conditions of increased absorption of ammonia and L-arginine supply across the portal-drained viscera

Effects of increased ammonia and/or arginine absorption on net splanchnic (portal-drained viscera [PDV] plus liver) metabolism of nonnitrogenous nutrients and hormones in cattle were examined. Six Hereford × Angus steers (501 ± 1 kg BW) prepared with vascular catheters for measurements of net flux across the splanchnic bed were fed a 75% alfalfa:25% (as-fed basis) corn and soybean meal diet (0.523 MJ of ME/[kg BW0.75.d]) every 2 h without (27.0 g of N/kg of DM) and with 20 g of urea/kg of DM (35.7 g of N/kg of DM) in a split-plot design. Net flux measurements were made immediately before and after a 72-h mesenteric vein infusion of L-arginine (15 mmol/h). There were no treatment effects onPDVor hepaticO2 consumption. Dietary urea had no effect on splanchnic metabolism of glucose or L-lactate, but arginine infusion decreased net hepatic removal of L-lactate when urea was fed (P < 0.01). Net PDV appearance of n-butyrate was increased by arginine infusion (P < 0.07), and both dietary urea (P < 0.09) and arginine infusion (P < 0.05) increased net hepatic removal of n-butyrate. Dietary urea also increased total splanchnic acetate output (P < 0.06), tended to increase arterial glucagon concentration (P < 0.11), and decreased arterial ST concentration (P < 0.03). Arginine infusion increased arterial concentration (P < 0.07) and net PDV release (P < 0.10) and tended to increase hepatic removal (P < 0.11) of insulin, as well as arterial concentration (P < 0.01) and total splanchnic output (P < 0.01) of glucagon. Despite changes in splanchnic N metabolism, increased ammonia and arginine absorption had little measurable effect on splanchnic metabolism of glucose and other nonnitrogenous components of splanchnic energy metabolism

Estimation in high dimensions: a geometric perspective

This tutorial provides an exposition of a flexible geometric framework for high dimensional estimation problems with constraints. The tutorial develops geometric intuition about high dimensional sets, justifies it with some results of asymptotic convex geometry, and demonstrates connections between geometric results and estimation problems. The theory is illustrated with applications to sparse recovery, matrix completion, quantization, linear and logistic regression and generalized linear models.Comment: 56 pages, 9 figures. Multiple minor change

Clearance of chikungunya virus infection in lymphoid tissues is promoted by treatment with an agonistic anti-CD137 antibody

CD137, a member of the tumor necrosis factor receptor superfamily of cell surface proteins, acts as a costimulatory receptor on T cells, natural killer cells, B cell subsets, and some dendritic cells. Agonistic anti-CD137 monoclonal antibody (MAb) therapy has been combined with other chemotherapeutic agents in human cancer trials. Based on its ability to promote tumor clearance, we hypothesized that anti-CD137 MAb might activate immune responses and resolve chronic viral infections. We evaluated anti-CD137 MAb therapy in a mouse infection model of chikungunya virus (CHIKV), an alphavirus that causes chronic polyarthritis in humans and is associated with reservoirs of CHIKV RNA that are not cleared efficiently by adaptive immune responses. Analysis of viral tropism revealed that CHIKV RNA was present preferentially in splenic B cells and follicular dendritic cells during the persistent phase of infection, and animals lacking B cells did not develop persistent CHIKV infection in lymphoid tissue. Anti-CD137 MAb treatment resulted in T cell-dependent clearance of CHIKV RNA in lymphoid tissue, although this effect was not observed in musculoskeletal tissue. The clearance of CHIKV RNA from lymphoid tissue by anti-CD137 MAb was associated with reductions in the numbers of germinal center B cells and follicular dendritic cells. Similar results were observed with anti-CD137 MAb treatment of mice infected with Mayaro virus, a related arthritogenic alphavirus. Thus, anti-CD137 MAb treatment promotes resolution of chronic alphavirus infection in lymphoid tissues by reducing the numbers of target cells for infection and persistence

Rings of real functions in pointfree topology

AbstractThis paper deals with the algebra F(L) of real functions on a frame L and its subclasses LSC(L) and USC(L) of, respectively, lower and upper semicontinuous real functions. It is well known that F(L) is a lattice-ordered ring; this paper presents explicit formulas for its algebraic operations which allow to conclude about their behaviour in LSC(L) and USC(L).As applications, idempotent functions are characterized and previous pointfree results about strict insertion of functions are significantly improved: general pointfree formulations that correspond exactly to the classical strict insertion results of Dowker and Michael regarding, respectively, normal countably paracompact spaces and perfectly normal spaces are derived.The paper ends with a brief discussion concerning the frames in which every arbitrary real function on the α-dissolution of the frame is continuous