A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis

We present the first scalable bound analysis that achieves amortized complexity analysis. In contrast to earlier work, our bound analysis is not based on general purpose reasoners such as abstract interpreters, software model checkers or computer algebra tools. Rather, we derive bounds directly from abstract program models, which we obtain from programs by comparatively simple invariant generation and symbolic execution techniques. As a result, we obtain an analysis that is more predictable and more scalable than earlier approaches. Our experiments demonstrate that our analysis is fast and at the same time able to compute bounds for challenging loops in a large real-world benchmark. Technically, our approach is based on lossy vector addition systems (VASS). Our bound analysis first computes a lexicographic ranking function that proves the termination of a VASS, and then derives a bound from this ranking function. Our methodology achieves amortized analysis based on a new insight how lexicographic ranking functions can be used for bound analysis

Extent of primary breast cancer surgery: standards and individualized concepts

Surgery is still a main therapeutic option in breast cancer treatment. Nowadays, methods of resection and reconstruction vary according to different tumors and patients. This review presents and discusses standards of care and arising questions on how radical primary breast cancer surgery should be according to different clinical situations. In most early breast cancer patients, breast conservation is the method of choice. The discussion on resection margins is still controversial as different studies show conflicting results. Modified radical mastectomy is the standard in locally advanced breast cancer patients, although there are different promising approaches to spare skin or even the nipple-areola complex. A sentinel node biopsy is the standard of care in clinically node-negative invasive breast cancer patients, whereas the significance of axillary lymphonodectomy seems to be questioned through a number of different findings. Although there are interesting findings to modify surgical approaches in very young or elderly breast cancer patients, it will always be an individualized approach if we do not adhere to current guidelines. Up to date, there are no special surgical procedures in BRCA mutation carriers or patients of high-risk families

Oxonium ion scanning mass spectrometry for large-scale plasma glycoproteomics

Protein glycosylation, a complex and heterogeneous post-translational modification that is frequently dysregulated in disease, has been difficult to analyse at scale. Here we report a data-independent acquisition technique for the large-scale mass-spectrometric quantification of glycopeptides in plasma samples. The technique, which we named ‘OxoScan-MS’, identifies oxonium ions as glycopeptide fragments and exploits a sliding-quadrupole dimension to generate comprehensive and untargeted oxonium ion maps of precursor masses assigned to fragment ions from non-enriched plasma samples. By applying OxoScan-MS to quantify 1,002 glycopeptide features in the plasma glycoproteomes from patients with COVID-19 and healthy controls, we found that severe COVID-19 induces differential glycosylation in IgA, haptoglobin, transferrin and other disease-relevant plasma glycoproteins. OxoScan-MS may allow for the quantitative mapping of glycoproteomes at the scale of hundreds to thousands of samples

Causes of death and comorbidities in hospitalized patients with COVID-19

Infection by the new corona virus strain SARS-CoV-2 and its related syndrome COVID-19 has been associated with more than two million deaths worldwide. Patients of higher age and with preexisting chronic health conditions are at an increased risk of fatal disease outcome. However, detailed information on causes of death and the contribution of pre-existing health conditions to death yet is missing, which can be reliably established by autopsy only. We performed full body autopsies on 26 patients that had died after SARS-CoV-2 infection and COVID-19 at the Charite University Hospital Berlin, Germany, or at associated teaching hospitals. We systematically evaluated causes of death and pre-existing health conditions. Additionally, clinical records and death certificates were evaluated. We report findings on causes of death and comorbidities of 26 decedents that had clinically presented with severe COVID-19. We found that septic shock and multi organ failure was the most common immediate cause of death, often due to suppurative pulmonary infection. Respiratory failure due to diffuse alveolar damage presented as immediate cause of death in fewer cases. Several comorbidities, such as hypertension, ischemic heart disease, and obesity were present in the vast majority of patients. Our findings reveal that causes of death were directly related to COVID-19 in the majority of decedents, while they appear not to be an immediate result of preexisting health conditions and comorbidities. We therefore suggest that the majority of patients had died of COVID-19 with only contributory implications of preexisting health conditions to the mechanism of death

Prognosis of breast cancer molecular subtypes in routine clinical care: A large prospective cohort study

Background: In Germany, most breast cancer patients are treated in specialized breast cancer units (BCU), which are certified, and routinely monitored. Herein, we evaluate up-to-date oncological outcome of breast cancer (BC) molecular subtypes in routine clinical care of a specialized BCU. Methods: The study was a prospectively single-center cohort study of 4102 female cases with primary, unilateral, non-metastatic breast cancer treated between 01 January 2003 and 31 December 2012. The five routinely used molecular subtypes (Luminal A-like, Luminal B/HER2 negative-like, Luminal B/HER2 positive-like, HER2-type, Triple negative) were analyzed. The median follow-up time of the whole cohort was 55 months. We calculated estimates for local control rate (LCR), disease-free survival (DFS), distant disease-free survival (DDFS), overall survival (OS), and relative overall survival (ROS). Results: Luminal A-like tumors were the most frequent (44.7%) and showed the best outcome with LCR of 99.1% (95% CI 98.5; 99.7), OS of 95.1% (95% CI 93.7; 96.5), and ROS of 100.0% (95% CI 98.5; 101.5). Triple negative tumors (12.3%) presented the poorest outcome with LCR of 89.6% (95% CI 85.8; 93.4), OS of 78.5% (95% CI 73.8; 83.3), and ROS of 80.1% (95% CI 73.8; 83.2). Conclusions: Patients with a favorable subtype can expect an OS above 95% and an LCR of almost 100% over 5 years. On the other hand the outcome of patients with HER2 and Triple negative subtypes remains poor, thus necessitating more intensified research and care

AGO Recommendations for the surgical therapy of breast cancer: update 2022

The recommendations of the AGO Breast Committee on the surgical therapy of breast cancer were last updated in March 2022 (www.ago-online.de). Since surgical therapy is one of several partial steps in the treatment of breast cancer, extensive diagnostic and oncological expertise of a breast surgeon and good interdisciplinary cooperation with diagnostic radiologists is of great importance. The most important changes concern localization techniques, resection margins, axillary management in the neoadjuvant setting and the evaluation of the meshes in reconstructive surgery. Based on meta-analyses of randomized studies, the level of recommendation of an intraoperative breast ultrasound for the localization of non-palpable lesions was elevated to “++”. Thus, the technique is considered to be equivalent to wire localization, provided that it is a lesion which can be well represented by sonography, the surgeon has extensive experience in breast ultrasound and has access to a suitable ultrasound device during the operation. In invasive breast cancer, the aim is to reach negative resection margins (“no tumor on ink”), regardless of whether an extensive intraductal component is present or not. Oncoplastic operations can also replace a mastectomy in selected cases due to the large number of existing techniques, and are equivalent to segmental resection in terms of oncological safety at comparable rates of complications. Sentinel node excision is recommended for patients with cN0 status receiving neoadjuvant chemotherapy after completion of chemotherapy. Minimally invasive biopsy is recommended for initially suspect lymph nodes. After neoadjuvant chemotherapy, patients with initially 1 – 3 suspicious lymph nodes and a good response (ycN0) can receive the targeted axillary dissection and the axillary dissection as equivalent options

mdm2 gene amplification is associated with luminal breast cancer progression in humanized PDX mice and a worse outcome of estrogen receptor positive disease

Estrogen receptor-positive breast cancer is a highly prevalent but heterogeneous disease among women. Advanced molecular stratification is required to enable individually most efficient treatments based on relevant prognostic and predictive biomarkers. First objective of our study was the hypothesis-driven discovery of biomarkers involved in tumor progression upon xenotransplantation of Luminal breast cancer into humanized mice. The second objective was the marker validation and correlation with the clinical outcome of Luminal breast cancer disease within the GeparTrio trial. An elevated mdm2 gene copy number was associated with enhanced tumor growth and lung metastasis in humanized tumor mice. The viability, proliferation and migration capacity of inherently mdm2 positive breast cancer cells in vitro were significantly reduced upon mdm2 knockdown or anti-mdm2 targeting. An mdm2 gain significantly correlated with a worse DFS and OS of Luminal breast cancer patients, albeit it was also associated with an enhanced preoperative pathological response rate. We provide evidence for an enhanced Luminal breast cancer stratification based on mdm2. Moreover, mdm2 can potentially be utilized as a therapeutic target in the Luminal subtype

AGO recommendations for the surgical therapy of the axilla after neoadjuvant chemotherapy: 2021 Update

For many decades, the standard procedure to treat breast cancer included complete dissection of the axillary lymph nodes. The aim was to determine histological node status, which was then used as the basis for adjuvant therapy, and to ensure locoregional tumour control. In addition to the debate on how to optimise the therapeutic strategies of systemic treatment and radiotherapy, the current discussion focuses on improving surgical procedures to treat breast cancer. As neoadjuvant chemotherapy is becoming increasingly important, the surgical procedures used to treat breast cancer, whether they are breast surgery or axillary dissection, are changing. Based on the currently available data, carrying out SLNE prior to neoadjuvant chemotherapy is not recommended. In contrast, surgical axillary management after neoadjuvant chemotherapy is considered the procedure of choice for axillary staging and can range from SLNE to TAD and ALND. To reduce the rate of false negatives during surgical staging of the axilla in pN+(CNB) stage before NACT and ycN0 after NACT, targeted axillary dissection (TAD), the removal of > 2 SLNs (SLNE, no untargeted axillary sampling), immunohistochemistry to detect isolated tumour cells and micro-metastases, and marking positive lymph nodes before NACT should be the standard approach. This most recent update on surgical axillary management describes the significance of isolated tumour cells and micro-metastasis after neoadjuvant chemotherapy and the clinical consequences of low volume residual disease diagnosed using SLNE and TAD and provides an overview of this year's AGO recommendations for surgical management of the axilla during primary surgery and in relation to neoadjuvant chemotherapy

Cost analysis of nondeterministic probabilistic programs

We consider the problem of expected cost analysis over nondeterministic probabilistic programs, which aims at automated methods for analyzing the resource-usage of such programs. Previous approaches for this problem could only handle nonnegative bounded costs. However, in many scenarios, such as queuing networks or analysis of cryptocurrency protocols, both positive and negative costs are necessary and the costs are unbounded as well. In this work, we present a sound and efficient approach to obtain polynomial bounds on the expected accumulated cost of nondeterministic probabilistic programs. Our approach can handle (a) general positive and negative costs with bounded updates in variables; and (b) nonnegative costs with general updates to variables. We show that several natural examples which could not be handled by previous approaches are captured in our framework. Moreover, our approach leads to an efficient polynomial-time algorithm, while no previous approach for cost analysis of probabilistic programs could guarantee polynomial runtime. Finally, we show the effectiveness of our approach using experimental results on a variety of programs for which we efficiently synthesize tight resource-usage bounds