A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair

At ICSE'2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a novel template-based approach for fixing Java bugs. We strongly disagree with key points of this paper. Our critical review has two goals. First, we aim at explaining why we disagree with Kim and colleagues and why the reasons behind this disagreement are important for research on automatic software repair in general. Second, we aim at contributing to the field with a clarification of the essential ideas behind automatic software repair. In particular we discuss the main evaluation criteria of automatic software repair: understandability, correctness and completeness. We show that depending on how one sets up the repair scenario, the evaluation goals may be contradictory. Eventually, we discuss the nature of fix acceptability and its relation to the notion of software correctness.Comment: ICSE 2014, India (2014

Maximum augmented empirical likelihood estimation of categorical marginal models for large sparse contingency tables

Categorical marginal models (CMMs) are flexible tools for modelling dependent or clustered categorical data, when the dependencies themselves are not of interest. A major limitation of maximum likelihood (ML) estimation of CMMs is that the size of the contingency table increases exponentially with the number of variables, so even for a moderate number of variables, say between 10 and 20, ML estimation can become computationally infeasible. An alternative method, which retains the optimal asymptotic efficiency of ML, is maximum empirical likelihood (MEL) estimation. However, we show that MEL tends to break down for large, sparse contingency tables. As a solution, we propose a new method, which we call maximum augmented empirical likelihood (MAEL) estimation and which involves augmentation of the empirical likelihood support with a number of well-chosen cells. Simulation results show good finite sample performance for very large contingency tables

INTRINSIC MECHANISM FOR ENTROPY CHANGE IN CLASSICAL AND QUANTUM EVOLUTION

It is shown that the existence of a time operator in the Liouville space representation of both classical and quantum evolution provides a mechanism for effective entropy change of physical states. In particular, an initially effectively pure state can evolve under the usual unitary evolution to an effectively mixed state.Comment: 20 pages. For more information or comments contact E. Eisenberg at [email protected] (internet)

Evolution of Liouville density of a chaotic system

An area-preserving map of the unit sphere, consisting of alternating twists and turns, is mostly chaotic. A Liouville density on that sphere is specified by means of its expansion into spherical harmonics. That expansion initially necessitates only a finite number of basis functions. As the dynamical mapping proceeds, it is found that the number of non-negligible coefficients increases exponentially with the number of steps. This is to be contrasted with the behavior of a Schr\"odinger wave function which requires, for the analogous quantum system, a basis of fixed size.Comment: LaTeX 4 pages (27 kB) followed by four short PostScript files (2 kB + 2 kB + 1 kB + 4 kB

Chaotic Evolution in Quantum Mechanics

A quantum system is described, whose wave function has a complexity which increases exponentially with time. Namely, for any fixed orthonormal basis, the number of components required for an accurate representation of the wave function increases exponentially.Comment: 8 pages (LaTeX 16 kB, followed by PostScript 2 kB for figure

Leg-focused high-weight resistance training improves ventricular stroke volume, exercise capacity and strength in young patients with a Fontan circulation

INTRODUCTION: Effective therapy to improve exercise capacity in Fontan patients is lacking. Leg-focused high-weight resistance training might augment the peripheral muscle pump and thereby improve exercise capacity.METHODS: This randomized semi-cross-over controlled trial investigated effects of a 12-week leg-focused high-weight resistance training plus high-protein diet, on (sub)maximal exercise capacity, cardiac function (assessed with cardiovascular magnetic resonance), muscle strength and quality of life in pediatric Fontan patients.RESULTS: Twenty-eight pediatric Fontan patients were included, 27 patients, (median age 12.9 [10.5-15.7]), successfully completed the program. Peak oxygen uptake (PeakVO2) at baseline was reduced (33.3 ml/kg/min [27.1-37.4],73% [62-79] of predicted). After training PeakVO2/kg and Peak workload improved significantly with +6.2 ml/kg/min [95%CI: 3.4-9.0](+18%) p&lt;0.001 and +22 Watts [95%CI: 12-32](+18%) p&lt;0.001 respectively, compared to the control period. Indexed single ventricle stroke volume increased significantly (43 ml/beat/m2 [40-49] versus 46 [41-53], p=0.014), as did inferior vena cava flow (21 ml/beat/m2 [18-24] versus 23 [20-28], p=0.015), while superior vena cava flow remained unchanged. Strength of all measured leg muscles increased significantly compared to the control period. Self-reported quality of life improved on the physical functioning and change in health domains of the child health questionnaire, parent-reported quality of life improved on the bodily pain, general health perception, and change in health domains compared to the control period.CONCLUSION:In a relatively large group of 27 older Fontan children, 12-weeks of leg-focused high-weight resistance training improved exercise capacity, stroke volume, (sub)maximal exercise capacity, muscle strength, and domains of quality of life.</p

Mechanical similarity as a generalization of scale symmetry

In this paper we study the symmetry known as mechanical similarity (LMS) and present for any monomial potential. We analyze it in the framework of the Koopman-von Neumann formulation of classical mechanics and prove that in this framework the LMS can be given a canonical implementation. We also show that the LMS is a generalization of the scale symmetry which is present only for the inverse square potential. Finally we study the main obstructions which one encounters in implementing the LMS at the quantum mechanical level.Comment: 9 pages, Latex, a new section adde

Clinicopathological features and outcome in advanced colorectal cancer patients with synchronous vs metachronous metastases

Contains fulltext : 88999.pdf (publisher's version ) (Open Access)BACKGROUND: Synchronous metastases of colorectal cancer (CRC) are considered to be of worse prognostic value compared with metachronous metastases, but only few and conflicting data have been reported on this issue. METHODS: We retrospectively investigated patient demographics, primary tumour characteristics and overall survival (OS) in 550 advanced CRC patients with metachronous vs synchronous metastases, who participated in the phase III CAIRO study. For this purpose only patients with a prior resection of the primary tumour were considered. RESULTS: The clinical and pathological characteristics associated with poor prognosis that we observed more often in patients with synchronous metastases (n=280) concerned an abnormal serum lactate dehydrogenase (LDH) concentration (P=0.01), a worse WHO performance status (P=0.02), primary tumour localisation in the colon (P=0.002) and a higher T stage (P=0.0006). No significant difference in median OS was observed between patients with synchronous metastases and metachronous metastases (17.6 vs 18.5 months, respectively, P=0.24). CONCLUSION: Despite unfavourable clinicopathological features in patients with synchronous metastases with a resected primary tumour compared to patients with metachronous metastases, no difference in the median OS was observed. Possible explanations include a (partial) chemoresistance in patients with metachronous disease because of previous adjuvant treatment, whereas differences between the two groups in screening procedures resulting in a lead time bias to diagnosis or in prognostic molecular markers remain speculative