Re-factoring based program repair applied to programming assignments

Automated program repair has been used to provide feedback for incorrect student programming assignments, since program repair captures the code modification needed to make a given buggy program pass a given test-suite. Existing student feedback generation techniques are limited because they either require manual effort in the form of providing an error model, or require a large number of correct student submissions to learn from, or suffer from lack of scalability and accuracy. In this work, we propose a fully automated approach for generating student program repairs in real-time. This is achieved by first re-factoring all available correct solutions to semantically equivalent solutions. Given an incorrect program, we match the program with the closest matching refactored program based on its control flow structure. Subsequently, we infer the input-output specifications of the incorrect program's basic blocks from the executions of the correct program's aligned basic blocks. Finally, these specifications are used to modify the blocks of the incorrect program via search-based synthesis. Our dataset consists of almost 1,800 real-life incorrect Python program submissions from 361 students for an introductory programming course at a large public university. Our experimental results suggest that our method is more effective and efficient than recently proposed feedback generation approaches. About 30% of the patches produced by our tool Refactory are smaller than those produced by the state-of-art tool Clara, and can be produced given fewer correct solutions (often a single correct solution) and in a shorter time. We opine that our method is applicable not only to programming assignments, and could be seen as a general-purpose program repair method that can achieve good results with just a single correct reference solution

Composting paper and grass clippings with anaerobically treated palm oil mill effluent

Purpose The purpose of this study is to investigate the composting performance of anaerobically treated palm oil mill effluent (AnPOME) mixed with paper and grass clippings. Methods Composting was conducted using a laboratory scale system for 40 days. Several parameters were determined: temperature, mass reduction, pH, electrical conductivity, colour, zeta potential, phytotoxicity and final compost nutrients. Results The moisture content and compost mass were reduced by 24 and 18 %, respectively. Both final compost pH value and electrical conductivity were found to increase in value. Colour (measured as PtCo) was not suitable as a maturity indicator. The negative zeta potential values decreased from −12.25 to −21.80 mV. The phytotoxicity of the compost mixture was found to decrease in value during the process and the final nutrient value of the compost indicates its suitability as a soil conditioner. Conclusions From this study, we conclude that the addition of paper and grass clippings can be a potential substrate to be composted with anaerobically treated palm oil mill effluent (AnPOME). The final compost produced is suitable for soil conditioner

Effect of different drying methods and solvent ratios on biological activities of Phyllanthus acidus extracts

The main purpose of this study was to evaluate the antioxidant and α-glucosidase inhibitory activities of Phyllanthus acidus. The P. acidus fruits were dried using three different methods, namely oven (OD), air (AD) and freeze (FD) dryings and extracted with ethanol at different ratios (50 and 100%). The proximate analysis and total phenolic content (TPC) as well as free radical scavenging and α-glucosidase inhibitory activities were determined. The proximate analysis of P. acidus fruit indicated that all the dried samples contained potential nutrient contents. The highest TPC value, α-glucosidase inhibitory and antioxidant activities were observed for 50% ethanolic extract from OD method with TPC value of 28.39 mg GAE/g dried extract, IC50 value of 12.394 μg/mL and 64.17% inhibition, respectively. The study revealed that phenolic compounds could be the main contributors to the antioxidant and α-glucosidase inhibitory activities based on the Pearson correlation coefficients with R values of 95.0 and 73.8%, respectively. The study could provide scientific evidence for some folk uses in the treatment of diseases related to the production of reactive oxygen species and oxidative stress

Designing the social Internet of Things

Copyright © 2017 by the Association for Computing Machinery, Inc. (ACM). What role do people have in the Internet of Things? Compared to the impressive body of research that is currently tackling the technical issues of the Internet of Things, social aspects of agency, engagement, participation, and ethics, are receiving less attention. The goal of this 'Designing the Social Internet of Things' workshop is to contribute by shedding light on these aspects. We invite prospective participants to take a humanistic standpoint, explore people's relations with 'things' first, and then build on such relations so as to support socially relevant goals of engagement, relatedness, participation, and creativity

MMIC power amplifiers as local oscillator drivers for FIRST

The Heterodyne Instrument for the Far-Infrared and Sub- millimeter Telescope requires local oscillators well into the terahertz frequency range. The mechanism to realize the local oscillators will involve synthesizers, active multiplier chains (AMC's) with output frequencies from 71 - 112.5 GHz, power amplifiers to amplify the AMC signals, and chains of Schottky diode multipliers to achieve terahertz frequencies. We will present the latest state-of-the-art results on 70 - 115 GHz Monolithic Millimeter-wave Integrated Circuit power amplifier technology

A phase I trial of Capecitabine+Gemcitabine with radical radiation for locally advanced pancreatic cancer

Standard chemoradiotherapy with infusional 5FU for locally advanced pancreatic cancer (LAPC) has limited efficacy in this disease. The combination of Capecitabine (Cap) and Gemcitabine (Gem) are synergistic and are potent radiosensitisers. The aim of this phase I trial was thus to determine the highest administered dose of the Cap plus Gem combination with radical radiotherapy (RT) for LAPC. Patients had LAPC, adequate organ function, ECOG PS 0–1. During RT, Gem was escalated from 20–50 mg m−2 day−1 (twice per week), and Cap 800–2000 mg m−2 day−1 (b.i.d, days 1–5 of each week). Radiotherapy 50.4 Gy/28 fractions/5.5 weeks, using 3D-conformal techniques. Three patients were entered to each dose level (DL). Dose-limiting toxicity(s) (DLTs) were based on treatment-related toxicities. Twenty patients were accrued. Dose level (DL) 1: Cap/Gem; 800/20 mg m−2 day−1 (3 patients), DL2: 1000/20 (12 patients), DL3: 1300/30 (5 patients). Dose-limiting toxicities were observed in DL3; grade 3 dehydration (1 patient) and grade 3 diarrhoea and dehydration (1 patient). Dose level 2 was the recommend phase 2 dose. Disease control rate was 75%: PR=15%, SD=60%. Median overall survival was 11.2 months. The addition of Cap and Gem to radical RT was feasible and active and achieved at relatively low doses

Study of Thermal Properties of Graphene-Based Structures Using the Force Constant Method

The thermal properties of graphene-based materials are theoretically investigated. The fourth-nearest neighbor force constant method for phonon properties is used in conjunction with both the Landauer ballistic and the non-equilibrium Green's function techniques for transport. Ballistic phonon transport is investigated for different structures including graphene, graphene antidot lattices, and graphene nanoribbons. We demonstrate that this particular methodology is suitable for robust and efficient investigation of phonon transport in graphene-based devices. This methodology is especially useful for investigations of thermoelectric and heat transport applications.Comment: 23 pages, 9 figures, 1 tabl

MCL-CAw: A refinement of MCL for detecting yeast complexes from weighted PPI networks by incorporating core-attachment structure

Abstract Background The reconstruction of protein complexes from the physical interactome of organisms serves as a building block towards understanding the higher level organization of the cell. Over the past few years, several independent high-throughput experiments have helped to catalogue enormous amount of physical protein interaction data from organisms such as yeast. However, these individual datasets show lack of correlation with each other and also contain substantial number of false positives (noise). Over these years, several affinity scoring schemes have also been devised to improve the qualities of these datasets. Therefore, the challenge now is to detect meaningful as well as novel complexes from protein interaction (PPI) networks derived by combining datasets from multiple sources and by making use of these affinity scoring schemes. In the attempt towards tackling this challenge, the Markov Clustering algorithm (MCL) has proved to be a popular and reasonably successful method, mainly due to its scalability, robustness, and ability to work on scored (weighted) networks. However, MCL produces many noisy clusters, which either do not match known complexes or have additional proteins that reduce the accuracies of correctly predicted complexes. Results Inspired by recent experimental observations by Gavin and colleagues on the modularity structure in yeast complexes and the distinctive properties of "core" and "attachment" proteins, we develop a core-attachment based refinement method coupled to MCL for reconstruction of yeast complexes from scored (weighted) PPI networks. We combine physical interactions from two recent "pull-down" experiments to generate an unscored PPI network. We then score this network using available affinity scoring schemes to generate multiple scored PPI networks. The evaluation of our method (called MCL-CAw) on these networks shows that: (i) MCL-CAw derives larger number of yeast complexes and with better accuracies than MCL, particularly in the presence of natural noise; (ii) Affinity scoring can effectively reduce the impact of noise on MCL-CAw and thereby improve the quality (precision and recall) of its predicted complexes; (iii) MCL-CAw responds well to most available scoring schemes. We discuss several instances where MCL-CAw was successful in deriving meaningful complexes, and where it missed a few proteins or whole complexes due to affinity scoring of the networks. We compare MCL-CAw with several recent complex detection algorithms on unscored and scored networks, and assess the relative performance of the algorithms on these networks. Further, we study the impact of augmenting physical datasets with computationally inferred interactions for complex detection. Finally, we analyse the essentiality of proteins within predicted complexes to understand a possible correlation between protein essentiality and their ability to form complexes. Conclusions We demonstrate that core-attachment based refinement in MCL-CAw improves the predictions of MCL on yeast PPI networks. We show that affinity scoring improves the performance of MCL-CAw.http://deepblue.lib.umich.edu/bitstream/2027.42/78256/1/1471-2105-11-504.xmlhttp://deepblue.lib.umich.edu/bitstream/2027.42/78256/2/1471-2105-11-504-S1.PDFhttp://deepblue.lib.umich.edu/bitstream/2027.42/78256/3/1471-2105-11-504-S2.ZIPhttp://deepblue.lib.umich.edu/bitstream/2027.42/78256/4/1471-2105-11-504.pdfPeer Reviewe

ACBAR: The Arcminute Cosmology Bolometer Array Receiver

We describe the Arcminute Cosmology Bolometer Array Receiver (ACBAR); a multifrequency millimeter-wave receiver designed for observations of the Cosmic Microwave Background (CMB) and the Sunyaev-Zel'dovich effect in clusters of galaxies. The ACBAR focal plane consists of a 16-pixel, background-limited, 240 mK bolometer array that can be configured to observe simultaneously at 150, 220, 280, and 350 GHz. With 4-5' FWHM Gaussian beam sizes and a 3 degree azimuth chop, ACBAR is sensitive to a wide range of angular scales. ACBAR was installed on the 2 m Viper telescope at the South Pole in January 2001. We describe the design of the instrument and its performance during the 2001 and 2002 observing seasons.Comment: 59 pages, 16 figures -- updated to reflect version published in ApJ