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

Processing of strong flux trapping high T(subc) oxide superconductors: Center director's discretionary fund

Magnetic suspension effect was first observed in samples of YBa2Cu3O7/AgO(Y-123/AgO) composites. Magnetization measurements of these samples show a much larger hysteresis which corresponds to a large critical current density. In addition to the Y-123AgO composites, recently similar suspension effects in other RE-123/AgO, where RE stands for rare-Earth elements, were also observed. Some samples exhibit even stronger flux pinning than that of the Y-123/AgO sample. An interesting observation was that in order to form the composite which exhibits strong flux trapping effect the sintering temperature depends on the particular RE-123 compound used. The paper presents the detailed processing conditions for the formation of these RE-123/AgO composites, as well as the magnetization and critical field data

Magnetic Interactions of Neighbouring Stator Sets in Multi DOF Local Electromagnetic Actuation for Robotic Abdominal Surgery

This paper aims to characterise the magnetic interaction in neighbouring sets of local electromagnetic actuation (LEMA) actuators in a robotic platform for abdominal surgery. The analysis looks into the affect of the magnetic fields contributed by a stator-rotor set (the actuation unit) located adjacent to the rotor of interest. Each rotor drives one of the degree-of-freedoms (DOFs) on a surgical robotic device. In this study, a two-DOF setup is used for the magnetic interaction analysis, which can be expanded to general case n-DOF setup with the Principle of Superposition of magnetic fields from multiple sources. The magnetic model is then used to compute the dynamics of the system, which involves the equation of motion of the rotors and associated robotic mechanism it drives, and the actuator (electrical) model that takes into account the back EMF generated by the permanent magnet rotors. The magnetic field effect of the neighbouring set onto the rotor is observed by obtaining the speed response of the rotor through simulation so that the dynamic model can be validated against the experimental results. The outcomes are useful for the design specification of the LEMA system configuration, involving the feasible / pragmatic distance between the stator sets such that the interference is minimised, and for the design of the necessary control strategy

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

Disturbance Rejection in Multi-DOF Local Magnetic Actuation for Robotic Abdominal Surgery

The potential of multi-degrees-of-freedom (DOFs) local magnetic actuation (LMA) has been established in recent years for dexterous minimally invasive surgical manipulations. Nonetheless, having multiple magnetic based units, one for each DOF, within a close vicinity to each other leads to magnetic field interaction among the magnetic sources, hence, resulting in a disturbance to a given LMA unit. It is further realized that the disturbance is a result of actuation effort by the neighboring magnetic sources forming the LMA units, and that the actuation command to all LMA units is a known information to the controller. Therefore, partial information of the disturbance is known and can be exploited in a disturbance rejection strategy. In this letter, this disturbance is modeled and used to augment a simplified model of the systems dynamics of the LMA-based surgical manipulators. The internal model principle (IMP) strategy is selected in which an observer is designed to estimate the disturbance to be rejected. Numerical simulation as well as experimental validation were performed to validate the efficacy of the IMP. The results serve to remove a significant technical hurdle in bringing the new emerging technique of LMA into practical reality for abdominal surgeries

Design and fabrication of 3D-printed anatomically shaped lumbar cage for intervertebra disc (IVD) degeneration treatment

Spinal fusion is the gold standard surgical procedure for degenerative spinal conditions when conservative therapies have been unsuccessful in rehabilitation of patients. Novel strategies are required to improve biocompatibility and osseointegration of traditionally used materials for lumbar cages. Furthermore, new design and technologies are needed to bridge the gap due to the shortage of optimal implant sizes to fill the intervertebral disc defect. Within this context, additive manufacturing technology presents an excellent opportunity to fabricate ergonomic shape medical implants. The goal of this study is to design and manufacture a 3D-printed lumbar cage for lumbar interbody fusion. Optimisations of the proposed implant design and its printing parameters were achieved via in silico analysis. The final construct was characterised via scanning electron microscopy, contact angle, x-ray micro computed tomography (μCT), atomic force microscopy, and compressive test. Preliminary in vitro cell culture tests such as morphological assessment and metabolic activities were performed to access biocompatibility of 3D-printed constructs. Results of in silico analysis provided a useful platform to test preliminary cage design and to find an optimal value of filling density for 3D printing process. Surface characterisation confirmed a uniform coating of nHAp with nanoscale topography. Mechanical evaluation showed mechanical properties of final cage design similar to that of trabecular bone. Preliminary cell culture results showed promising results in terms of cell growth and activity confirming biocompatibility of constructs. Thus for the first time, design optimisation based on computational and experimental analysis combined with the 3D-printing technique for intervertebral fusion cage has been reported in a single study. 3D-printing is a promising technique for medical applications and this study paves the way for future development of customised implants in spinal surgical applications

Realistic interpretation of a superposition state does not imply a mixture

Contrary to previous claims, it is shown that, for an ensemble of either single-particle systems or multi-particle systems, the realistic interpretation of a superposition state that mathematically describes the ensemble does not imply that the ensemble is a mixture. Therefore it cannot be argued that the realistic interpretation is wrong on the basis that some predictions derived from the mixture are different from the corresponding predictions derived from the superposition state

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

Can you trust clinical practice guidelines for laparoscopic surgery? A systematic review of clinical practice guidelines for laparoscopic surgery

BACKGROUND: Clinical practice guidelines aim to support clinicians in providing clinical care and should be supported by evidence. There is currently no information on whether clinical practice guidelines in laparoscopic surgery are supported by evidence. METHODS: We performed a systematic review and identified clinical practice guidelines of laparoscopic surgery published in PubMed and Embase between March 2016 and February 2019. We performed an independent assessment of the strength of recommendation based on the evidence provided by the guideline authors. We used the 'Appraisal of Guidelines for Research & Evaluation II' (AGREE-II) Tool's 'rigour of development', 'clarity of presentation', and 'editorial independence' domains to assess the quality of the guidelines. We performed a mixed-effects generalised linear regression modelling. RESULTS: We retrieved 63 guidelines containing 1905 guideline statements. The median proportion of 'difference in rating' of strength of recommendation between the guideline authors and independent assessment was 33.3% (quartiles: 18.3%, 55.8%). The 'rigour of development' domain score (odds ratio 0.06; 95% confidence intervals 0.01-0.48 per unit increase in rigour score; P value = 0.0071) and whether the strength of recommendation was 'strong' by independent evaluation (odds ratio 0.09 (95% confidence intervals 0.06-0.13; P value < 0.001) were the only determinants of difference in rating between the guideline authors and independent evaluation. CONCLUSION: A considerable proportion of guideline statements in clinical practice guidelines in laparoscopic surgery are not supported by evidence. Guideline authors systematically overrated the strength of the recommendation (i.e., even when the evidence points to weak recommendation, guideline authors made strong recommendations)