Polyhedral Analysis using Parametric Objectives

The abstract domain of polyhedra lies at the heart of many program analysis techniques. However, its operations can be expensive, precluding their application to polyhedra that involve many variables. This paper describes a new approach to computing polyhedral domain operations. The core of this approach is an algorithm to calculate variable elimination (projection) based on parametric linear programming. The algorithm enumerates only non-redundant inequalities of the projection space, hence permits anytime approximation of the output

Phase diagram of the one-dimensional extended attractive Hubbard model for large nearest-neighbor repulsion

We consider the extended Hubbard model with attractive on-site interaction U and nearest-neighbor repulsions V. We construct an effective Hamiltonian H_{eff} for hopping t<<V and arbitrary U<0. Retaining the most important terms, H_{eff} can be mapped onto two XXZ models, solved by the Bethe ansatz. The quantum phase diagram shows two Luttinger liquid phases and a region of phase separation between them. For density n<0.422 and U<-4, singlet superconducting correlations dominate at large distances. For some parameters, the results are in qualitative agreement with experiments in BaKBiO.Comment: 6 pages, 3 figures, submitted to Phys. Rev.

Gemini Observations of Disks and Jets in Young Stellar Objects and in Active Galaxies

We present first results from the Near-infrared Integral Field Spectrograph (NIFS) located at Gemini North. For the active galaxies Cygnus A and Perseus A we observe rotationally-supported accretion disks and adduce the existence of massive central black holes and estimate their masses. In Cygnus A we also see remarkable high-excitation ionization cones dominated by photoionization from the central engine. In the T-Tauri stars HV Tau C and DG Tau we see highly-collimated bipolar outflows in the [Fe II] 1.644 micron line, surrounded by a slower molecular bipolar outflow seen in the H_2 lines, in accordance with the model advocated by Pyo et al. (2002).Comment: Invited paper presented at the 5th Stromlo Symposium. 9 pages, 7 figures. Accepted for publication in Astrophysics & Space Scienc

Arterio-ureteral fistula:a nationwide cross-sectional questionnaire analysis

PURPOSE: Arterio-ureteral fistula (AUF) is an uncommon diagnosis, but potentially lethal. Although the number of reports has increased over the past two decades, the true incidence and contemporary urologists’ experience and approach in clinical practice remains unknown. This research is conducted to provide insight in the incidence of AUF in The Netherlands, and the applied diagnostic tests and therapeutic approaches in modern practice. METHODS: A nationwide cross-sectional questionnaire analysis was performed by sending a survey to all registered Dutch urologists. Data collection included information on experience with patients with AUF; and their medical history, diagnostics, treatment, and follow-up, and were captured in a standardized template by two independent reviewers. Descriptive statistics were used. RESULTS: Response rate was 62% and 56 AUFs in 53 patients were reported between 2003 and 2018. The estimated incidence of AUF in The Netherlands in this time period is 3.5 AUFs per year. Hematuria was observed in all patients; 9% intermittent microhematuria, and 91% presenting with, or building up to massive hematuria. For the final diagnosis, angiography was the most efficient modality, confirming diagnosis in 58%. Treatment comprised predominantly endovascular intervention. CONCLUSION: The diagnosis AUF should be considered in patients with persistent intermittent or massive hematuria. SUPPLEMENTARY INFORMATION: The online version contains supplementary material available at 10.1007/s00345-021-03910-3

Quotients of AdS_{p+1} x S^q: causally well-behaved spaces and black holes

Starting from the recent classification of quotients of Freund--Rubin backgrounds in string theory of the type AdS_{p+1} x S^q by one-parameter subgroups of isometries, we investigate the physical interpretation of the associated quotients by discrete cyclic subgroups. We establish which quotients have well-behaved causal structures, and of those containing closed timelike curves, which have interpretations as black holes. We explain the relation to previous investigations of quotients of asymptotically flat spacetimes and plane waves, of black holes in AdS and of Godel-type universes.Comment: 48 pages; v2: minor typos correcte

Reflections on the four facets of symmetry: how physics exemplifies rational thinking

In contemporary theoretical physics, the powerful notion of symmetry stands for a web of intricate meanings among which I identify four clusters associated with the notion of transformation, comprehension, invariance and projection. While their interrelations are examined closely, these four facets of symmetry are scrutinised one after the other in great detail. This decomposition allows us to examine closely the multiple different roles symmetry plays in many places in physics. Furthermore, some connections with others disciplines like neurobiology, epistemology, cognitive sciences and, not least, philosophy are proposed in an attempt to show that symmetry can be an organising principle also in these fields

ADVANCE database characterisation and fit for purpose assessment for multi-country studies on the coverage, benefits and risks of pertussis vaccinations

Introduction: The public-private ADVANCE consortium (Accelerated development of vaccine benefit-risk collaboration in Europe) aimed to assess if electronic healthcare databases can provide fit-for purpose data for collaborative, distributed studies and monitoring of vaccine coverage, benefits and risks of vaccines. Objective: To evaluate if European healthcare databases can be used to estimate vaccine coverage, benefit and/or risk using pertussis-containing vaccines as an example. Methods: Characterisation was conducted using open-source Java-based (Jerboa) software and R scripts. We obtained: (i) The general characteristics of the database and data source (meta-data) and (ii) a detailed description of the database population (size, representatively of age/sex of national population, rounding of birth dates, delay between birth and database entry), vaccinations (number of vaccine doses, recording of doses, pattern of doses by age and coverage) and events of interest (diagnosis codes, incidence rates). A total of nine databases (primary care, regional/national record linkage) provided data on events (pertussis, pneumonia, death, fever, convulsions, injection site reactions, hypotonic hypo-responsive episode, persistent crying) and vaccines (acellular pertussis and whole cell pertussis) related to the pertussis proof of concept studies. Results: The databases contained data for a total population of 44 million individuals. Seven databases had recorded doses of vaccines. The pertussis coverage estimates were similar to those reported by the World Health Organisation (WHO). Incidence rates of ev

An Integrated TCGA Pan-Cancer Clinical Data Resource to Drive High-Quality Survival Outcome Analytics

For a decade, The Cancer Genome Atlas (TCGA) program collected clinicopathologic annotation data along with multi-platform molecular profiles of more than 11,000 human tumors across 33 different cancer types. TCGA clinical data contain key features representing the democratized nature of the data collection process. To ensure proper use of this large clinical dataset associated with genomic features, we developed a standardized dataset named the TCGA Pan-Cancer Clinical Data Resource (TCGA-CDR), which includes four major clinical outcome endpoints. In addition to detailing major challenges and statistical limitations encountered during the effort of integrating the acquired clinical data, we present a summary that includes endpoint usage recommendations for each cancer type. These TCGA-CDR findings appear to be consistent with cancer genomics studies independent of the TCGA effort and provide opportunities for investigating cancer biology using clinical correlates at an unprecedented scale. Analysis of clinicopathologic annotations for over 11,000 cancer patients in the TCGA program leads to the generation of TCGA Clinical Data Resource, which provides recommendations of clinical outcome endpoint usage for 33 cancer types

Heavy quarkonium: progress, puzzles, and opportunities

A golden age for heavy quarkonium physics dawned a decade ago, initiated by the confluence of exciting advances in quantum chromodynamics (QCD) and an explosion of related experimental activity. The early years of this period were chronicled in the Quarkonium Working Group (QWG) CERN Yellow Report (YR) in 2004, which presented a comprehensive review of the status of the field at that time and provided specific recommendations for further progress. However, the broad spectrum of subsequent breakthroughs, surprises, and continuing puzzles could only be partially anticipated. Since the release of the YR, the BESII program concluded only to give birth to BESIII; the $B$-factories and CLEO-c flourished; quarkonium production and polarization measurements at HERA and the Tevatron matured; and heavy-ion collisions at RHIC have opened a window on the deconfinement regime. All these experiments leave legacies of quality, precision, and unsolved mysteries for quarkonium physics, and therefore beg for continuing investigations. The plethora of newly-found quarkonium-like states unleashed a flood of theoretical investigations into new forms of matter such as quark-gluon hybrids, mesonic molecules, and tetraquarks. Measurements of the spectroscopy, decays, production, and in-medium behavior of c\bar{c}, b\bar{b}, and b\bar{c} bound states have been shown to validate some theoretical approaches to QCD and highlight lack of quantitative success for others. The intriguing details of quarkonium suppression in heavy-ion collisions that have emerged from RHIC have elevated the importance of separating hot- and cold-nuclear-matter effects in quark-gluon plasma studies. This review systematically addresses all these matters and concludes by prioritizing directions for ongoing and future efforts.Comment: 182 pages, 112 figures. Editors: N. Brambilla, S. Eidelman, B. K. Heltsley, R. Vogt. Section Coordinators: G. T. Bodwin, E. Eichten, A. D. Frawley, A. B. Meyer, R. E. Mitchell, V. Papadimitriou, P. Petreczky, A. A. Petrov, P. Robbe, A. Vair