snu-aidas/HVMap-dataset huggingface dataset:
An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair

Automated program repair (APR) has attracted great research attention, and various techniques have been proposed. Search-based APR is one of the most important categories among these techniques. Existing researches focus on the design of effective mutation operators and searching algorithms to better find the correct patch. Despite various efforts, the effectiveness of these techniques are still limited by the search space explosion problem. One of the key factors attribute to this problem is the quality of fault spaces as reported by existing studies. This motivates us to study the importance of the fault space to the success of finding a correct patch. Our empirical study aims to answer three questions. Does the fault space significantly correlate with the performance of search-based APR? If so, are there any indicative measurements to approximate the accuracy of the fault space before applying expensive APR techniques? Are there any automatic methods that can improve the accuracy of the fault space? We observe that the accuracy of the fault space affects the effectiveness and efficiency of search-based APR techniques, e.g., the failure rate of GenProg could be as high as 60% when the real fix location is ranked lower than 10 even though the correct patch is in the search space. Besides, GenProg is able to find more correct patches and with fewer trials when given a fault space with a higher accuracy. We also find that the negative mutation coverage, which is designed in this study to measure the capability of a test suite to kill the mutants created on the statements executed by failing tests, is the most indicative measurement to estimate the efficiency of search-based APR. Finally, we confirm that automated generated test cases can help improve the accuracy of fault spaces, and further improve the performance of search-based APR techniques. Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from permissions@acm.org. c © 2017 ACM. ISBN 978-1-4503-2138-9. DOI: 10.1145/1235 CCS Concepts •Software and its engineering→Automatic programming; Empirical software validation;
CIRCULAR POLARIZATION DUAL FEED MICROSTRIP PATCH ANTENNA WITH 3 dB HYBRID COUPLER FOR WLAN ( 2 . 4 GHZ

Microstrip patch antennas represent one family of compact antennas that offer a conformal nature and the capability of ready integration with communication system’s printed circuitry. In this project, a 2.4 GHz circular polarization microstrip antenna is designed, constructed and measured. The selected microstrip antenna is a dual –fed circular polarized microstrip antenna. The antenna consists of square patch and 3 dB hybrid coupler. The dual – fed circular polarized microstrip antenna is etched on a FR4 with dielectric substrate of 4.6 with the height of 1.6 mm. Circular polarization is obtained when two orthogonal modes are equally excited with 90° phase difference between them. Circular polarization is important because regardless of the receiver orientation, it will always be receiving a component of the signal. This is due to the resulting wave having an angular variation. KEYWORD:MICROSTRIP,CIRCULAR POLARIZATION
A High-Performance FPGA-Based Implementation of the LZSS Compression Algorithm

The increasing growth of embedded networking applications has created a demand for high-performance logging systems capable of storing huge amounts of high-bandwidth, typically redundant data. An efficient way of maximizing the logger performance is doing a real-time compression of the logged stream. In this paper we present a flexible high-performance implementation of the LZSS compression algorithm capable of processing up to 50 MB/s on a Virtex-5 FPGA chip. We exploit the independently addressable dual-port block RAMs inside the FPGA chip to achieve an average performance of 2 clock cycles per byte. To make the compressed stream compatible with the ZLib library [1] we encode the LZSS algorithm output using a fixed Huffman table defined by the Deflate specification [2]. We also demonstrate how changing the amount of memory allocated to various internal tables impacts the performance and compression ratio. Finally, we provide a cycle-accurate estimation tool that allows finding a trade-off between FPGA resource utilization, compression ratio and performance for a specific data sample.
Usability and Design Guidelines of Smart Canes for Users with Visual Impairments

The percentage of the population with visual impairments is increasing rapidly. Every year, the number of visually impaired people grows by up to 2 million worldwide. The World Health Organization (WHO, 2011) estimates that there are 39 million blind people and 246 million visually impaired people internationally. In addition, visual impairments are closely associated with aging. About 65% of the visually impaired are 50 years of age or older, with about 20% of the world’s population in this age group (WHO, 2011). In Europe, in particular, about 90% of visually impaired and partially sighted people are over the age of 60. One of the most severe difficulties for the visually impaired is safe independent mobility. Having independent mobility is a significant factor in ensuring that this aging group can perform simple daily tasks without depending on others. Clark-Carter (1985) indicates that visually impaired people have a low level of mobility. Further, a recent survey in France revealed that only 2% of the overall visually impaired population uses mobility aids (Sander, Lelievre, & Tallec, 2005). One model of an independent mobility aid for the visually impaired is the traditional white cane, which is inexpensive, lightweight and foldable. Unfortunately, white cane users have difficulty detecting protruding bars or moving vehicles until they are dangerously close, which can lead to collisions and falls. The limited capability of the white cane corresponds to its length and a user’s maneuvering skills. As such, users rarely detect overhanging obstacles at head-level or ranges further than approximately 1 m from the user. Manduchi and Kurniawan (2011) report in a recent survey of 300 visually impaired people that over 40% of the respondents experienced head-level accidents at least once a month. Further, Clark-Carter (1985) found that visually impaired people were shown to be potentially dangerous when using a white cane. To address these difficulties, many “smart” products for the visually impaired have been introduced in the last four decades, including smart canes and handheld or wearable devices that are equipped with a sensor system. A smart cane offers an improvement over a traditional white cane because it has the ability to detect objects above the cane and up to a range of 2 m away using an ultrasonic sensor. A white cane allows objects to be sensed through touch and echolocation from tapping. A smart cane has the same capabilities, except that it uses vibrotactile information and produces vibration alerts for obstacles in front of the user. However, these smart products have not been successfully adopted and used by a large number of visually impaired people (Roentgen, Gelderblom, Soede, & de Witte, 2008). Several ORIGINAL ARTICLE
Mutual Coupling Reduction Using F-Shaped Stubs in UWB-MIMO Antenna

A compact, high performance, and novel-shaped ultra-wideband (UWB) multiple-input multiple-output (MIMO) antenna with low mutual coupling is presented in this paper. The proposed antenna consists of two radiating elements with shared ground plane having an area of <inline-formula> <tex-math notation="LaTeX">$50\times 30$ </tex-math></inline-formula> mm<sup>2</sup>. F-shaped stubs are introduced in the shared ground plane of the proposed antenna to produce high isolation between the MIMO antenna elements. The designed MIMO antenna has very low mutual coupling of (S<sub>21</sub> < −20 dB), low envelop correlation coefficient (ECC <0.04), high diversity gain (DG >7.4 dB), high multiplexing efficiency (<inline-formula> <tex-math notation="LaTeX">${\eta }_{\mathrm {Mux}}> -3.5$ </tex-math></inline-formula>), and high peak gain over the entire UWB frequencies. The antenna performance is studied in terms of S-Parameters, radiation properties, peak gain, diversity gain, envelop correlation coefficient, and multiplexing efficiency. A good agreement between the simulated and measured results is observed.
Could on-line voting boost desire to vote? - Technology acceptance perceptions of young Hungarian citizens

Article history: Received 24 May 2015 Received in revised form 2 October 2016 Accepted 18 November 2016 In our paper we develop and test the argument that intent to i-vote (to use on-line voting systems) drives intent to vote, while intent to i-vote is influenced by four key attitudes: performance expectation, perception on ease of use, trust in the internet and trust in the government.We show that these findings contradict thosewhich exclusively identified economical, legal, and cultural drivers to enhance democratic participation in the Central and Eastern European region. Rooted cardinally in the Technology Acceptance Model (TAM) six hypotheses were set, and then tested with partial least square (PLS) structural equation modelling. In the context of young, educated and internet-ready Hungarian voters the testing of the hypotheses has shown high level of on-line voting intent and that perception of on-line voting would enhance voting desire amongst young Hungarian internet users. Also, our findings show that performance expectation, perception on ease of use and trust in the internet are positively associated with i-voting intent. © 2016 Elsevier Inc. All rights reserved.
Advanced image fusion to overlay coronary sinus anatomy with real-time fluoroscopy to facilitate left ventricular lead implantation in CRT.

BACKGROUND
Failure rate for left ventricular (LV) lead implantation in cardiac resynchronization therapy (CRT) is up to 12%. The use of segmentation tools, advanced image registration software, and high-fidelity images from computerized tomography (CT) and cardiac magnetic resonance (CMR) of the coronary sinus (CS) can guide LV lead implantation. We evaluated the feasibility of advanced image registration onto live fluoroscopic images to allow successful LV lead placement.


METHODS
Twelve patients (11 male, 59 ± 16.8 years) undergoing CRT had three-dimensional (3D) whole-heart imaging (six CT, six CMR). Eight patients had at least one previously failed LV lead implant. Using segmentation software, anatomical models of the cardiac chambers, CS, and its branches were overlaid onto the live fluoroscopy using a prototype version of the Philips EP Navigator software to guide lead implantation.


RESULTS
We achieved high-fidelity segmentations of cardiac chambers, coronary vein anatomy, and accurate registration between the 3D anatomical models and the live fluoroscopy in all 12 patients confirmed by balloon occlusion angiography. The CS was cannulated successfully in every patient and in 11, an LV lead was implanted successfully. (One patient had no acceptable lead values due to extensive myocardial scar).


CONCLUSION
Using overlaid 3D segmentations of the CS and cardiac chambers, it is feasible to guide CRT implantation in real time by fusing advanced imaging and fluoroscopy. This enabled successful CRT in a group of patients with previously failed implants. This technology has the potential to facilitate CRT and improve implant success.
Pneumatic muscle actuators within robotic and mechatronic systems

Pneumatic artificial muscles (PAMs) as soft, lightweight and compliant actuators have great potential in applications for the actuations of new types of robots and manipulators. The favourable characteristics of fluidic muscles, such as high power-to-weight ratio and safe interaction with humans are also very suitable during the process of musculoskeletally rehabilitating patients and are often used in making artificial orthoses. This technology, despite the problems of control relatng to nonlinear phenomena, may also have wide future applications within industrial and mechatronic systems. This paper presents several experimental systems actuated by PAMs, which have been designed as test models within the fields of mobile robots, mechatronics, fluid power systems and the feedback control education of mechanical engineering students. This paper first presents the design and construction of a four legged walking robot actuated by pneumatic muscles. The robot has a fully autonomous system with a wireless application platform and can be controlled using a cell phone. Then the paper describes the design and construction of the prototype of an actively-powered ankle foot orthosis. This orthosis device actuated by a single PAM is able to provide the appropriate functions required during the rehabilitations of patients and the loss of mobility. Then the paper focuses on the design and control of a ball and beam system with an antagonistic muscle pair for generating the necessary torque for beam rotation. This mechatronic balancing mechanism falls into the category of unstable, under-actuated, multivariable systems with highly nonlinear dynamics. The final section of the article presents the design and control of a single-joint manipulator arm with pneumatic muscle actuators that enable some new features for the controlled systems. Fluid Power 2015 176
Diabetes management in the primary care setting: a comparison of physicians' performance by gender.

BACKGROUND
A major shift in the gender of the medical-doctor workforce is now underway, and all over the world it is expected that an average 65% of the medical workforce will be women by 2030. In addition, an aging population means that chronic diseases, such as diabetes, are becoming more prevalent and the demand for care is rising. There is growing evidence of female physicians performing better than male physicians.AimOur study aimed to investigate whether any differences in diabetes process indicators are associated with gender, and/or the interaction between gender and different organizational models.Design and settingA population-based cross-sectional analysis was conducted on a large data set obtained by processing the public health administration databases of seven Italian local health units (LHUs). The seven LHUs, distributed all over the Italian peninsula in seven different regions, took part in a national project called MEDINA, with the focus on chronic disease management in primary care (PC).


METHODS
A total score was calculated for the average performance in the previously listed five indicators, representing global adherence to a quality management of patients with diabetes. A multilevel analysis was applied to see how LHUs affected the outcome. A quantile regression model was also fitted.


RESULTS
Our study included 2287 Italian general practitioners (586 of them female) caring for a total of 2 646 059 patients. Analyzing the performance scores confirmed that female general practitioners obtained better results than males. The differences between males and females were stronger on the 25th and 75th percentiles of the score than on the median values. The interaction between gender and LHU was not significant.


CONCLUSION
Our study evidenced that female physicians perform better than males in providing PC for diabetes independently by the different organizational models. Further research to understand the reasons for these gender differences is needed.
Direct type-specific conic fitting and eigenvalue bias correction

A new method to fit specific types of conics to scattered data points is introduced. Direct, specific fitting of ellipses and hyperbolae is achieved by imposing a quadratic constraint on the conic coefficients, whereby an improved partitioning of the design matrix is devised so as to improve computational efficiency and numerical stability by eliminating redundant aspects of the fitting procedure. Fitting of parabolas is achieved by determining an orthogonal basis vector set in the Grassmannian space of the quadratic terms’ coefficients. The linear combination of the basis vectors that fulfills the parabolic condition and has a minimum residual norm is determined using Lagrange multipliers. This is the first known direct solution for parabola specific fitting. Furthermore, the inherent bias of a linear conic fit is addressed. We propose a linear method of correcting this bias, producing better geometric fits which are still constrained to specific conic type. 2007 Published by Elsevier B.V.
Congested traffic states in empirical observations and microscopic simulations

We present data from several German freeways showing different kinds of congested traffic forming near road inhomogeneities, specifically lane closings, intersections, or uphill gradients. The states are localized or extended, homogeneous or oscillating. Combined states are observed as well, like the coexistence of moving localized clusters and clusters pinned at road inhomogeneities, or regions of oscillating congested traffic upstream of nearly homogeneous congested traffic. The experimental findings are consistent with a recently proposed theoretical phase diagram for traffic near on-ramps [D. Helbing, A. Hennecke, and M. Treiber, Phys. Rev. Lett. 82, 4360 (1999)]. We simulate these situations with a continuous microscopic single-lane model, the "intelligent driver model," using empirical boundary conditions. All observations, including the coexistence of states, are qualitatively reproduced by describing inhomogeneities with local variations of one model parameter. We show that the results of the microscopic model can be understood by formulating the theoretical phase diagram for bottlenecks in a more general way. In particular, a local drop of the road capacity induced by parameter variations has essentially the same effect as an on-ramp.
A DYNAMIC FUZZY-COGNITIVE-MAP APPROACH BASED ON RANDOM NEURAL NETWORKS

A fuzzy cognitive map is a graphical means of representing arbitrarily complex models of interrelations between concepts. The purpose of this paper is to describe a dynamic fuzzy cognitive map based on the random neural network model. Previously, we have developed a random fuzzy cognitive map and illustrated its application in the modeling of processes. The adaptive fuzzy cognitive map changes its fuzzy causal web as causal patterns change and as experts update their causal knowledge. Our model carries out inferences via numerical calculation instead of symbolic deduction. We show how the dynamic random fuzzy cognitive map can reveal implications of models composed of dynamic processes. Copyright c ©2003 Yang’s Scientific Research Institute, LLC. All rights reserved.
EHRs Connect Research and Practice: Where Predictive Modeling, Artificial Intelligence, and Clinical Decision Support Intersect

Objectives: Electronic health records (EHRs) are only a first step in capturing and utilizing healthrelated data—the challenge is turning that data into useful information. Furthermore, EHRs are increasingly likely to include data relating to patient outcomes, functionality such as clinical decision support, and genetic information as well, and, as such, can be seen as repositories of increasingly valuable information about patients’ health conditions and responses to treatment over time. Methods: We describe a case study of 423 patients treated by Centerstone within Tennessee and Indiana in which we utilized electronic health record data to generate predictive algorithms of individual patient treatment response. Multiple models were constructed using predictor variables derived from clinical, financial and geographic data. Results: For the 423 patients, 101 deteriorated, 223 improved and in 99 there was no change in clinical condition. Based on modeling of various clinical indicators at baseline, the highest accuracy in predicting individual patient response ranged from 70% to 72% within the models tested. In terms of individual predictors, the Centerstone Assessment of Recovery Level—Adult (CARLA) baseline score was most significant in predicting outcome over time (odds ratio 4.1+2.27). Other variables with consistently significant impact on outcome included payer, diagnostic category, location and provision of case management services. Conclusions: This approach represents a promising avenue toward reducing the current gap between research and practice across healthcare, developing data-driven clinical decision support based on real-world populations, and serving as a component of embedded clinical artificial intelligences that ‘‘learn’’ over time. & 2012 Fellowship of Postgraduate Medicine. Published by Elsevier Ltd. All rights reserved. 2211-8837/$ see front matter & 2012 Fellowship of Postgraduate Medicine. Published by Elsevier Ltd. All rights reserved. http://dx.doi.org/10.1016/j.hlpt.2012.03.001 Corresponding author at: Department of Informatics, Centerstone Research Institute, 365 South Park Ridge Road, Suite 103, Bloomington, IN 47401, United States. Tel.: +1 812 337 2302. E-mail addresses: Casey.Bennett@CenterstoneResearch.org (C.C. Bennett), Tom.Doub@CenterstoneResearch.org (T.W. Doub), RebeccaSelove@CenterstoneResearch.org (R. Selove). Health Policy and Technology (2012) 1, 105–114 Author's personal copy
Highly Parallel Genome-wide Expression Profiling of Individual Cells Using Nanoliter Droplets

Cells, the basic units of biological structure and function, vary broadly in type and state. Single-cell genomics can characterize cell identity and function, but limitations of ease and scale have prevented its broad application. Here we describe Drop-seq, a strategy for quickly profiling thousands of individual cells by separating them into nanoliter-sized aqueous droplets, associating a different barcode with each cell's RNAs, and sequencing them all together. Drop-seq analyzes mRNA transcripts from thousands of individual cells simultaneously while remembering transcripts' cell of origin. We analyzed transcriptomes from 44,808 mouse retinal cells and identified 39 transcriptionally distinct cell populations, creating a molecular atlas of gene expression for known retinal cell classes and novel candidate cell subtypes. Drop-seq will accelerate biological discovery by enabling routine transcriptional profiling at single-cell resolution. VIDEO ABSTRACT.
Introduction to This is Watson
An agent-based decision support system for wholesale electricity market

Application software has been developed for analyzing and understanding a dynamic price change in the US wholesale power market. Traders can use the software as an effective decision-making tool by modeling and simulating a power market. The software uses different features of a decision support system by creating a framework for assessing new trading strategies in a competitive electricity trading environment. The practicality of the software is confirmed by comparing its estimation accuracy with those of other methods (e.g., neural network and genetic algorithm). The software has been applied to a data set regarding the California electricity crisis in order to examine whether the learning (convergence) speed of traders is different between the two periods (before and during the crisis). Such an application confirms the validity of the proposed software. © 2007 Elsevier B.V. All rights reserved.