nils-herrmann/clean_scirepeval huggingface dataset:
Reliability analysis of test cases for program slicing
Venue: 2016 International Conference on Innovation and Challenges in Cyber Security (ICICCS INBUSH)

The concept used in the research paper includes program slicing which is referred as the process of computing the chosen set of instructions of the program. The slicing criterion refers to the slice that is likely to affect the values at some point while executing the program. The paper highlights the different test cases and comparative analysis of program slicing methods which corresponds to the applications which are usually utilized in software modification activities i.e. Debugging process, testing analysis and its phases, calculating complexity and program understanding etc. In the approach used in the paper the "slicing" method of the program focus on precise defined sub components of a program; which can further be used to produce the instructions needed for the program, relevant to an explicit method of computation. Applying slicing techniques to software's using slicing tools, we can determine which components can be facilitated and reused. The process of designing phase of and the reused patterns are likely to suggest improvement in the respective code.
Optimisation and Constraint Based Heuristic Methods for Advanced Planning and Scheduling Systems

Manufacturing Resources Planning (MRPII) systems are unable to prevent capacity problems occurring on the shop floor such as varying workloads, changing bottlenecks, high Work in Process (WIP) levels, lower machine utilisation, less throughput, late deliveries that cannot be resolved easily in the short term because production scheduling is based on fixed lead times and backward scheduling logic. For this reason, a new breed of concepts called APS (Advanced Planning and Scheduling) systems emerged which include finite capacity planning at the shop floor level through constraint based planning. In this paper, we present a Constraint Programming (CP) model to show how optimisation models could be used in this context. We also present a two phase heuristic to solve this complicated APS problem. While jobs are assigned to the best eligible machines to smooth the workload on the machines in the first phase, a constraint based scheduling heuristic schedules jobs once they are assigned to eligible machines in the second phase. We provide numerical tests and discuss the results for both models and the heuristic. The concluding remarks and suggestions for future research are stated in the final section of the paper.
Recycling Randomness with Structure for Sublinear time Kernel Expansions
Venue: ICML

We propose a scheme for recycling Gaussian random vectors into structured matrices to approximate various kernel functions in sublinear time via random embeddings. Our framework includes the Fastfood construction of Le et al. (2013) as a special case, but also extends to Circulant, Toeplitz and Hankel matrices, and the broader family of structured matrices that are characterized by the concept of low displacement rank. We introduce notions of coherence and graph theoretic structural constants that control the approximation quality, and prove unbiasedness and low variance properties of random feature maps that arise within our framework. For the case of low displacement matrices, we show how the degree of structure and randomness can be controlled to reduce statistical variance at the cost of increased computation and storage requirements. Empirical results strongly support our theory and justify the use of a broader family of structured matrices for scaling up kernel methods using random features.
Peoples' Perception towards Telemedicine: A Case Study on Rural Area of Bangladesh

Telemedicine is a two way, real time interactive session between the patient and the physician or practitioner at the remote location for the purpose of providing consultation. Telemedicine has enormous prospect to reduce health care service gap between rural area and urban area of Bangladesh. The aim of this paper is to demonstrate the peoples' perception towards telemedicine and the factors influencing peoples' perception in telemedicine. The chi square analysis and descriptive statistics have been used as statistical tools to test the hypotheses. A self administered questionnaire has been developed and snowball sampling method is used to collect data from the study area. In addition to the traditional health care system, urban specialist doctors provide medical consultation in rural area by telemedicine. The findings of this study have revealed that age, gender, educational qualification, trust, privacy and confidentiality, awareness, service quality, existing equipment status, proper coordination, treatment cost and IT infrastructure have significant influence on the perception of telemedicine. The findings and recommendations may be taken by policymakers to make effective decisions regarding telemedicine services.  Telemedicine, Urban area, Peoples' perception, Bangladesh.
Web Systems Quality Evolution
Venue: 2016 10th International Conference on the Quality of Information and Communications Technology (QUATIC)

Software evolution is a well established research area, but not in the area of web systems/applications. Web projects are normally more complex than other software development projects because they have both server and client code, encompass a variety of programming languages, and are multidisciplinary. We aim to produce a catalog of web smells to help avoiding the problems in web development code before they happen, thus saving time and reducing cost. By means of longitudinal studies we plan to analyze the impact of these web smells in web systems maintainability and reliability. This will require developing a tool to detect the proposed web smells. For validation sake, we will also use surveys among web systems developers and peer reviewing in academic fora.
Assuring the quality of interpretative comments in clinical chemistry
Venue: Clinical chemistry and laboratory medicine

The provision of interpretative advice on laboratory results is a post analytic activity and an integral part of clinical laboratory services. It is valued by healthcare workers and has the potential to prevent or reduce errors and improve patient outcomes. It is important to ensure that interpretative comments provided by laboratory personnel are of high quality: comments should be patient focused and answer the implicit or explicit question raised by the requesting clinician. Comment providers need to be adequately trained and qualified and be able to demonstrate their proficiency to provide advice on laboratory reports. External quality assessment (EQA) schemes can play a part in assessing and demonstrating the competence of such laboratory staff and have an important role in their education and continuing professional development. A standard structure is proposed for EQA schemes for interpretative comments in clinical chemistry, which addresses the scope and method of assessment including nomenclature and marking scales. There is a need for evidence that participation in an EQA program for interpretative commenting facilitates improved quality of comments. It is proposed that standardizing goals and methods of assessment as well as nomenclature and marking scales may help accumulate evidence to demonstrate the impact of participation in EQA for interpretative commenting on patient outcome.
UML Based Development of Embedded Real Time Software on Multi Core in Practice: Lessons Learned and Future Perspectives
Venue: IEEE Access

Model driven engineering has got a foothold in industry as an effective way to tame the complexity of modern software, which is meant to run on embedded systems with real time constraints by promoting abstraction, in terms of prescriptive models, and automation, in terms of model manipulations. In the plethora of modeling languages, the unified modeling language (UML) has emerged and established itself as a de facto standard in industry, the most widely used architectural description language and an ISO/IEC standard. In the SMARTCore project, we have provided solutions for the UML based development of software to run on multicore embedded real time systems with the specific focus of automating the generation of executable code and the optimization of task allocation based on a unique combination of model based and execution based mechanisms. In this paper, we describe the lessons learned in the research work carried out within SMARTCore and provide a set of perspectives that we consider to be highly relevant for the forthcoming future of this research area to enable a wider adoption of UML based development in industry in general, and in the multicore embedded real time domain in particular.
Big data analytics in E commerce: a systematic review and agenda for future research
Venue: Electron. Mark.

There has been an increasing emphasis on big data analytics (BDA) in e commerce in recent years. However, it remains poorly explored as a concept, which obstructs its theoretical and practical development. This position paper explores BDA in e commerce by drawing on a systematic review of the literature. The paper presents an interpretive framework that explores the definitional aspects, distinctive characteristics, types, business value and challenges of BDA in the e commerce landscape. The paper also triggers broader discussions regarding future research challenges and opportunities in theory and practice. Overall, the findings of the study synthesize diverse BDA concepts (e.g. definition of big data, types, nature, business value and relevant theories) that provide deeper insights along the cross cutting analytics applications in e commerce.
Auditory nerve disease and auditory neuropathy spectrum disorders.
Venue: Auris, nasus, larynx

In 1996, a new type of bilateral hearing disorder was discerned and published almost simultaneously by Kaga et al.  and Starr et al.  Although the pathophysiology of this disorder as reported by each author was essentially identical, Kaga used the term "auditory nerve disease" and Starr used the term "auditory neuropathy" Auditory neuropathy (AN) in adults is an acquired disorder characterized by mild to moderate pure tone hearing loss, poor speech discrimination, and absence of the auditory brainstem response (ABR) all in the presence of normal cochlear outer hair cell function as indicated by normal distortion product otoacoustic emissions (DPOAEs) and evoked summating potentials (SPs) by electrocochleography (ECoG) A variety of processes and etiologies are thought to be involved in its pathophysiology including mutations of the OTOF and/or OPA1 genes. Most of the subsequent reports in the literature discuss the various auditory profiles of patients with AN [3,4] and in this report we present the profiles of an additional 17 cases of adult AN. Cochlear implants are useful for the reacquisition of hearing in adult AN although hearing aids are ineffective. In 2008, the new term of Auditory Neuropathy Spectrum Disorders (ANSD) was proposed by the Colorado Children's Hospital group following a comprehensive study of newborn hearing test results. When ABRs were absent and DPOAEs were present in particular cases during newborn screening they were classified as ANSD. In 2013, our group in the Tokyo Medical Center classified ANSD into three types by following changes in ABRs and DPOAEs over time with development. In Type I, there is normalization of hearing over time, Type II shows a change into profound hearing loss and Type III is true auditory neuropathy (AN) We emphasize that, in adults, ANSD is not the same as AN.
Tier 2 Interventions in Positive Behavior Support: A Survey of School Implementation

As increasing numbers of schools implement Multi Tiered Systems of Support (MTSS) schools are looking for and implementing evidence based practices for students whose needs are not fully met by Tier 1 supports. Although there is relative consistency and clarity in what constitutes Tier 1 behavior support within MTSS, Tier 2 supports may be more varied and less well researched. The current study sought to better understand Tier 2 intervention implementation by surveying school personnel on their Tier 2 data, systems, and practices. Results from 180 school level respondents are presented that describe differences according to their number of years spent implementing schoolwide positive behavior supports and their school level. Additionally, responses of perceived strengths and limitations of current social skills instructional programs, one type of Tier 2 intervention, are shared. Implications, limitations, and future directions for research and practice are provided.
Positive Behavior Support

Positive behavior support (PBS) has been a dynamic and growing enterprise for more than 25 years. During this period, PBS has expanded applications across a wide range of populations and multiple levels of implementation. As a result, there have been understandable inconsistencies and confusion regarding the definition of PBS. In this essay, we offer an updated and unified definition. We provide a brief historical perspective and describe a process for developing a proposed definition. We also discuss the rationale for key elements of the definition.
School wide Positive Behavior Support and Response to Intervention: System Similarities, Distinctions, and Research to Date at the Universal Level of Support

Problem behavior is unfortunately a universal challenge in schools. While several evidence based strategies are widely available to address problem behavior, educators continue to rely on ineffective strategies including exclusionary options and fail to build comprehensive school wide systems necessary to truly realize effective intervention potential. A parallel challenge is to embed effective strategies at the first indication of risk to prevent problems from becoming chronic and intensive to the point specialized instruction is necessary. This chapter provides an overview of School wide Positive Behavior Support (SW PBS) within the context of building systems of early intervention/prevention that incorporate evidence based practices and the potential of SW PBS as a possible element of a social behavioral response to intervention (RTI) framework that might allow for an improved special education evaluation process under the Individuals with Disabilities Education Act category of seriously emotionally disturbed. The history and logic of SW PBS, essential features, research to date, and implications for practice are discussed.
Positive Behavior Support

Positive behavior support (PBS) is an applied science that uses educational and sys tems change methods (environmental redesign) to enhance quality of life and minimize prob lem behavior. PBS initially evolved within the field of developmental disabilities and emerged from three major sources: applied behavior analysis, the normalization/inclusion movement, and person centered values. Although elements of PBS can be found in other approaches, its uniqueness lies in the fact that it integrates the following critical features into a cohesive whole: comprehensive lifestyle change, a lifespan perspective, ecological validity, stakeholder partici pation, social validity, systems change and multicomponent intervention, emphasis on preven tion, flexibility in scientific practices, and multiple theoretical perspectives. These characteristics are likely to produce future evolution of PBS with respect to assessment prac tices, intervention strategies, training, and extension to new populations. The approach reflects a more general trend in the social sciences and education away from pathology based models to a new positive model that stresses personal competence and environmental integrity.
The Effect of Trade Liberalization On Economic Growth: Selected MENA Countries

This paper investigates the combined effects of international trade on economic development deals and tariff rates. A sample of 12 countries (selected countries MENA) during the period of 2000 2013, and the dynamic panel data model have been used for this purpose. Our results show that the sensitivity of economic growth have significant and inverse relationship with tariff changes, though its relationship with trade volume is positive.
The Effect of Financial Liberalization through the General Agreement on Trade and Services on Economic Growth in Developing Countries

This study investigates the influence of financial liberalization on economic growth in developing countries indirectly through their effect on financial development. It selects the size and activity of the financial system as indicators of financial development. The general agreement on trade and services (GATS) is a very useful option for developing countries to consolidate their financial sector reform to give foreign investors more certainty about financial investment opportunities in the economies of developing countries. This study chooses the level of commitments taking by developing countries in the GATS in banking sector as a measure of financial liberalization. The main objective is to examine the effect of developing countries financial liberalization commitments at the GATS on economic growth through their effect on the size and activity of the financial sector. According to the analysis conducted, the results show no real effect of the level of commitments taking by developing countries in the GATS on economic growth through their effect on the size and activity of financial development. Even though the effect of financial development on economic growth is positive, the effect of financial liberalization through the GATS on financial development is almost zero.
Distributed learning: Developing a predictive model based on data from multiple hospitals without data leaving the hospital A real life proof of concept.
Venue: Radiotherapy and oncology journal of the European Society for Therapeutic Radiology and Oncology

One of the major hurdles in enabling personalized medicine is obtaining sufficient patient data to feed into predictive models. Combining data originating from multiple hospitals is difficult because of ethical, legal, political, and administrative barriers associated with data sharing. In order to avoid these issues, a distributed learning approach can be used. Distributed learning is defined as learning from data without the data leaving the hospital.  Clinical data from 287 lung cancer patients, treated with curative intent with chemoradiation (CRT) or radiotherapy (RT) alone were collected from and stored in 5 different medical institutes (123 patients at MAASTRO (Netherlands, Dutch) 24 at Jessa (Belgium, Dutch) 34 at Liege (Belgium, Dutch and French) 48 at Aachen (Germany, German) and 58 at Eindhoven (Netherlands, Dutch) A Bayesian network model is adapted for distributed learning (watch the animation: http:/youtu.be/nQpqMIuHyOk) The model predicts dyspnea, which is a common side effect after radiotherapy treatment of lung cancer.  We show that it is possible to use the distributed learning approach to train a Bayesian network model on patient data originating from multiple hospitals without these data leaving the individual hospital. The AUC of the model is 0.61 (95%CI, 0.51 0.70) on a 5 fold cross validation and ranges from 0.59 to 0.71 on external validation sets.  Distributed learning can allow the learning of predictive models on data originating from multiple hospitals while avoiding many of the data sharing barriers. Furthermore, the distributed learning approach can be used to extract and employ knowledge from routine patient data from multiple hospitals while being compliant to the various national and European privacy laws.
Theoretical re evaluations of the black hole mass bulge mass relation I. Effect of seed black hole mass

We explore the effect of varying the mass of the seed black hole on the resulting black hole mass bulge mass relation at z 0, using a semi analytic model of galaxy formation combined with large cosmological N body simulations. We constrain our model by requiring the observed properties of galaxies at z 0 are reproduced. In keeping with previous semi analytic models, we place a seed black hole immediately after a galaxy forms. When the mass of the seed is set at 10^5 M_sun, we find that the model results become inconsistent with recent observational results of the black hole mass bulge mass relation for dwarf galaxies. In particular, the model predicts that bulges with 10^9 M_sun harbour larger black holes than observed. On the other hand, when we employ seed black holes with 10^3 M_sun, or randomly select their mass within a 10^(3 5) M_sun range, the resulting relation is consistent with observation estimates, including the observed dispersion. We find that to obtain stronger constraints on the mass of seed black holes, observations of less massive bulges at z 0 are a more powerful comparison than the relations at higher redshifts.
The effect of the thermal reduction on the kinetics of low temperature 4He sorption and the structural characteristics of graphene oxide

The kinetics of the sorption and the subsequent desorption of 4He by the starting graphite oxide (GtO) and the thermally reduced graphene oxide samples (TRGO, Treduction 200, 300, 500, 700 and 900 degC) have been investigated in the temperature interval 1.5 20 K. The effect of the annealing temperature on the structural characteristics of the samples was examined by the x ray diffraction (XRD) technique. On lowering the temperature from 20 to 11 12 K, the time of 4He sorption increased for all the samples, which is typically observed under the condition of thermally activated diffusion. Below 5 K the characteristic times of 4He sorption by the GtO and TRGO 200 samples were only weakly dependent on temperature, suggesting the dominance of the tunnel mechanism. In the same region (T 5 K) the characteristic times of the TRGOs reduced at higher temperatures (300, 500, 700 and 900 degC) were growing with lowering temperature, presumably due to the defects generated in the carbon planes on removing the oxygen f.
Automatic test data generator: A tool based on search based techniques
Venue: INFOCOM 2016

Software Testing is the most time consuming activity in the software development lifecycle. It is impossible to test everything. Hence, several automated test data generation techniques have been introduced in recent times in order to reduce the effort spent during testing. Search based techniques have been found to be more efficient than normal or random testing. In this paper, we propose to demonstrate the designing framework, implementation and explore the capabilities of a tool to aid in the generation of test data. Our tool is based on generating the optimal set of test cases based on the user defined coverage criteria. We have implemented the system in C+ language and have restricted ourselves to the use of command line interface. We provide the path as well as the test cases generated to the tester making his work of testing a lot easier.
Design, modeling and control of omni directional aerial robot
Venue: 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

We propose a novel multi rotor flying platform, ODAR (omni directional aerial robot) which is fully actuated (i.e. can assume arbitrary motion in SE(3) or generate arbitrary control wrench in se(3) by six opportunistically distributed rotors, each driven by reversible ESC (electronic speed controller) for bi directional thrust generation. Due to this omni directional wrench generation, the ODAR system can realize such powerful behaviors impossible with conventional multi rotor flying platforms as: 360deg photo/video shooting while holding its position for VR scene generation; or resisting sideway gust while keeping its attitude and exerting downward pushing force larger than its own weight for aerial manipulation applications. This paper presents optimal mechanical design, modeling and control, hardware and software implementation, and experimental verification of the ability of the ODAR system to attain those behaviors impossible with the conventional drones as stated above.