nils-herrmann/clean_scirepeval huggingface dataset:
Accelerating search-based program synthesis using learned probabilistic models

A key challenge in program synthesis concerns how to efficiently search for the desired program in the space of possible programs. We propose a general approach to accelerate search-based program synthesis by biasing the search towards likely programs. Our approach targets a standard formulation, syntax-guided synthesis (SyGuS), by extending the grammar of possible programs with a probabilistic model dictating the likelihood of each program. We develop a weighted search algorithm to efficiently enumerate programs in order of their likelihood. We also propose a method based on transfer learning that enables to effectively learn a powerful model, called probabilistic higher-order grammar, from known solutions in a domain. We have implemented our approach in a tool called Euphony and evaluate it on SyGuS benchmark problems from a variety of domains. We show that Euphony can learn good models using easily obtainable solutions, and achieves significant performance gains over existing general-purpose as well as domain-specific synthesizers.
Choosing Qualitative Research: A Primer for Technology Education Researchers

A number of writers have commented on the dearth of substantive research within the field of technology education, and point to the expansion of its research agenda as a means of strengthening the discipline. Waetjen, in his call for good research in technology education, states that “the plea is to use experimental type research as much as possible” (1992, p. 30). Interestingly, the three areas of research need outlined in his essay would all lend themselves to alternative methodologies, including qualitative methodologies. More recently, others have called for an expansion in the types of research methods used. Of the 220 reports included in Zuga’s review of technology education-related research (1994), only 16 are identified as having used qualitative methods, and Zuga notes that many of those studies were conducted outside the United States. Johnson (1995) suggests that technology educators “engage in research that probes for deeper understanding rather than examining surface features.” He notes that qualitative methodologies are powerful tools for enhancing our understanding of teaching and learning, and that they have “gained increasing acceptance in recent years” (p. 4). There are compelling reasons for the selection of qualitative methodologies within the educational research arena, yet many people remain unfamiliar with these methods. Researchers trained in the use of quantitative designs face real challenges when called upon to use or teach qualitative research ( 1995). There is, however, a growing body of literature devoted to qualitative research in education, some of which is synthesized here. The goals of this article are to elaborate on the reasons for choosing qualitative methodologies, and to provide a basic introduction to the features of this type of research.
A Short Term Quality Control Tool for Biodegradable Microspheres

Accelerated in vitro release testing methodology has been developed as an indicator of product performance to be used as a discriminatory quality control (QC) technique for the release of clinical and commercial batches of biodegradable microspheres. While product performance of biodegradable microspheres can be verified by in vivo and/or in vitro experiments, such evaluation can be particularly challenging because of slow polymer degradation, resulting in extended study times, labor, and expense. Three batches of Leuprolide poly(lactic-co-glycolic acid) (PLGA) microspheres having varying morphology (process variants having different particle size and specific surface area) were manufactured by the solvent extraction/evaporation technique. Tests involving in vitro release, polymer degradation and hydration of the microspheres were performed on the three batches at 55°C. In vitro peptide release at 55°C was analyzed using a previously derived modification of the Weibull function termed the modified Weibull equation (MWE). Experimental observations and data analysis confirm excellent reproducibility studies within and between batches of the microsphere formulations demonstrating the predictability of the accelerated experiments at 55°C. The accelerated test method was also successfully able to distinguish the in vitro product performance between the three batches having varying morphology (process variants), indicating that it is a suitable QC tool to discriminate product or process variants in clinical or commercial batches of microspheres. Additionally, data analysis utilized the MWE to further quantify the differences obtained from the accelerated in vitro product performance test between process variants, thereby enhancing the discriminatory power of the accelerated methodology at 55°C.
State of the art in infrared face recognition

Face recognition is an area that has attracted a l ot of interest. Much of the research in this field was conducted using visible images. With visible cameras the recognition is prone to errors due to illumination changes. To avoid the problems encountered in the visible spectrum many authors ha ve proposed the use of infrared. In this paper we give an overview of the state of the art in face recognition using infrared images. Emphasis is given to more recent works. A growing fi eld n this area is multimodal fusion; work conducted in this field is also presented in th is paper and publicly available Infrared face image databases are introduced.
NADEEF: a commodity data cleaning system

Despite the increasing importance of data quality and the rich theoretical and practical contributions in all aspects of data cleaning, there is no single end-to-end off-the-shelf solution to (semi-)automate the detection and the repairing of violations w.r.t. a set of heterogeneous and ad-hoc quality constraints. In short, there is no commodity platform similar to general purpose DBMSs that can be easily customized and deployed to solve application-specific data quality problems. In this paper, we present NADEEF, an extensible, generalized and easy-to-deploy data cleaning platform. NADEEF distinguishes between a programming interface and a core to achieve generality and extensibility. The programming interface allows the users to specify multiple types of data quality rules, which uniformly define what is wrong with the data and (possibly) how to repair it through writing code that implements predefined classes. We show that the programming interface can be used to express many types of data quality rules beyond the well known CFDs (FDs), MDs and ETL rules. Treating user implemented interfaces as black-boxes, the core provides algorithms to detect errors and to clean data. The core is designed in a way to allow cleaning algorithms to cope with multiple rules holistically, i.e. detecting and repairing data errors without differentiating between various types of rules. We showcase two implementations for core repairing algorithms. These two implementations demonstrate the extensibility of our core, which can also be replaced by other user-provided algorithms. Using real-life data, we experimentally verify the generality, extensibility, and effectiveness of our system.
NMDA receptor subunits: diversity, development and disease

N-methyl-D-aspartate receptors (NMDARs) are present at many excitatory glutamate synapses in the central nervous system and display unique properties that depend on their subunit composition. Biophysical, pharmacological and molecular methods have been used to determine the key features conferred by the various NMDAR subunits, and have helped to establish which NMDAR subtypes are present at particular synapses. Recent studies are beginning to address the functional significance of NMDAR diversity under normal and pathological conditions.
How management style moderates the relationship between abusive supervision and workplace deviance : An uncertainty management theory perspective

0749-5978/$ see front matter 2008 Elsevier Inc. A doi:10.1016/j.obhdp.2008.06.003 * Corresponding author. E-mail address: sthau@london.edu (S. Thau). Based on uncertainty management theory [Lind, E. A., & Van den Bos, K., (2002). When fairness works: Toward a general theory of uncertainty management. In Staw, B. M., & Kramer, R. M. (Eds.), Research in organizational behavior (Vol. 24, pp. 181–223). Greenwich, CT: JAI Press.], two studies tested whether a management style depicting situational uncertainty moderates the relationship between abusive supervision and workplace deviance. Study 1, using survey data from 379 subordinates of various industries, found that the positive relationship between abusive supervision and organizational deviance was stronger when authoritarian management style was low (high situational uncertainty) rather than high (low situational uncertainty). No significant interaction effect was found on interpersonal deviance. Study 2, using survey data from 1477 subordinates of various industries, found that the positive relationship between abusive supervision and supervisor-directed and organizational deviance was stronger when employees’ perceptions of their organization’s management style reflected high rather than low situational uncertainty.
An Efficient Mechanism for Classification of Imbalanced Big Data

In many real world applications, there is wide increment in data generation and storage. The classification algorithms are facing a problem in the classification of highly imbalanced datasets. All the classification algorithms are biased towards the majority classes ignoring most of the significant samples present in the minority class. To resolve this issue, a method called Hybrid Sampling technique is proposed to deal with multi class imbalanced data. This methods acts by balancing the data distribution of all the classes to some reference point called mean and addresses the problem of imbalanced data by eliminating insignificant samples that exists in the majority class.
The Body and the Beautiful: Health, Attractiveness and Body Composition in Men’s and Women’s Bodies

The dominant evolutionary theory of physical attraction posits that attractiveness reflects physiological health, and attraction is a mechanism for identifying a healthy mate. Previous studies have found that perceptions of the healthiest body mass index (weight scaled for height; BMI) for women are close to healthy BMI guidelines, while the most attractive BMI is significantly lower, possibly pointing to an influence of sociocultural factors in determining attractive BMI. However, less is known about ideal body size for men. Further, research has not addressed the role of body fat and muscle, which have distinct relationships with health and are conflated in BMI, in determining perceived health and attractiveness. Here, we hypothesised that, if attractiveness reflects physiological health, the most attractive and healthy appearing body composition should be in line with physiologically healthy body composition. Thirty female and 33 male observers were instructed to manipulate 15 female and 15 male body images in terms of their fat and muscle to optimise perceived health and, separately, attractiveness. Observers were unaware that they were manipulating the muscle and fat content of bodies. The most attractive apparent fat mass for female bodies was significantly lower than the healthiest appearing fat mass (and was lower than the physiologically healthy range), with no significant difference for muscle mass. The optimal fat and muscle mass for men's bodies was in line with the healthy range. Male observers preferred a significantly lower overall male body mass than did female observers. While the body fat and muscle associated with healthy and attractive appearance is broadly in line with physiologically healthy values, deviations from this pattern suggest that future research should examine a possible role for internalization of body ideals in influencing perceptions of attractive body composition, particularly in women.
Probiotic supplementation with Lactobacillus plantarum and Pediococcus acidilactici for Helicobacter pylori therapy: A randomized, double-blind, placebo-controlled trial.

To evaluate the safety, tolerability and efficacy of a probiotic supplementation for Helicobacter pylori (H. pylori) eradication therapy.



Consecutive adult naive patients with a diagnosis of H. pylori infection who were prescribed eradication therapy according to clinical practice (10-day triple or nonbismuth quadruple concomitant therapy) randomly received probiotics (1 × 109 colony-forming units each strain, Lactobacillus plantarum and Pediococcus acidilactici) or matching placebo. Side effects at the end of the treatment, measured through a modified De Boer Scale, were the primary outcome. Secondary outcomes were compliance with therapy and eradication rates.



A total of 209 patients (33% triple therapy, 66% non-bismuth quadruple therapy) were included [placebo (n = 106) or probiotic (n = 103)]. No differences were observed regarding side effects at the end of the treatment between groups (β -0.023, P 0.738). Female gender (P < 0.001) and quadruple therapy (P 0.007) were independent predictors of side effects. No differences in compliance were observed, regardless of the study group or eradication therapy. Eradication rates were similar between groups [placebo 95% (95% confidence interval (CI), 89% to 98%) vs probiotic 97% (95% CI, 92% to 99%), P 0.721]. There were no relevant differences in cure rates (>90% in all cases) between triple and quadruple concomitant therapy.



Probiotic supplementation containing Lactobacillus Plantarum and Pediococcus acidilactici to H. pylori treatment neither decreased side effects nor improved compliance with therapy or eradication rates.
The role of the hippocampus in feedback regulation of the hypothalamic-pituitary-adrenocortical axis.

There is considerable, although not entirely consistent, evidence that the hippocampus inhibits most aspects of HPA activity, including basal (circadian nadir) and circadian peak secretion as well as the onset and termination of responses to stress. Although much of the evidence for these effects rests only on the measurement of corticosteroids, recent lesion and implant studies indicate that the hippocampus regulates adrenocortical activity at the hypothalamic level, via the expression and secretion of ACTH secretagogues. Such inhibition results largely from the mediation of corticosteroid feedback, although more work is required to determine whether the hippocampus supplies a tonic inhibitory input in the absence of corticosteroids. It must be noted that the hippocampus is not the only feedback site in the adrenocortical system, since removal of its input only reduces, but does not abolish, the efficacy of corticosteroid inhibition, and since other elements of the axis appear eventually to compensate for deficits in feedback regulation. The importance of other feedback sites is further suggested not only by the presence of corticosteroid receptors in other parts of the brain and pituitary, but also by the improved prediction of CRF levels by combined hypothalamic and hippocampal receptor occupancy. The likelihood of feedback mediated by nonhippocampal sites underscores the need for future work to characterize hippocampal influence on HPA activity in the absence of changes in corticosteroid secretion. However, despite the fact that the hippocampus is not the only feedback site, it is distinguished from most potential feedback sites, including the hypothalamus and pituitary, by its high content of both type I and II corticosteroid receptors. The hippocampus is therefore capable of mediating inhibition over a wide range of steroid levels. The low end of this range is represented by corticosteroid inhibition of basal (circadian nadir) HPA activity. The apparent type I receptor specificity of this inhibition and the elevation of trough corticosteroid levels after hippocampal damage support a role for hippocampal type I receptors in regulating basal HPA activity. It is possible that basal activity is controlled in part through hippocampal inhibition of vasopressin, since the inhibition of portal blood vasopressin correlates with lower levels of hippocampal receptor occupancy, and the expression of vasopressin by some CRF neurons is sensitive to very low corticosteroid levels. At the high end of the physiological range, stress-induced or circadian peak corticosteroid secretion correlates strongly with occupancy of the lower affinity hippocampal type II receptors.(ABSTRACT TRUNCATED AT 400
Big Data-Driven Service Composition Using Parallel Clustered Particle Swarm Optimization in Mobile Environment

The proliferation of mobile computing and smartphone technologies has resulted in an increasing number and range of services from myriad service providers. These mobile service providers support numerous emerging services with differing quality metrics but similar functionality. Facilitating an automated service workflow requires fast selection and composition of services from the services pool. The mobile environment is ambient and dynamic in nature, requiring more efficient techniques to deliver the required service composition promptly to users. Selecting the optimum required services in a minimal time from the numerous sets of dynamic services is a challenge. This work addresses the challenge as an optimization problem. An algorithm is developed by combining particle swarm optimization and k-means clustering. It runs in parallel using MapReduce in the Hadoop platform. By using parallel processing, the optimum service composition is obtained in significantly less time than alternative algorithms. This is essential for handling large amounts of heterogeneous data and services from various sources in the mobile environment. The suitability of this proposed approach for big data-driven service composition is validated through modeling and simulation.
Direct-Indirect Class V Restorations: A Novel Approach for Treating Noncarious Cervical Lesions.

Noncarious cervical lesions are highly prevalent and may have different etiologies. Regardless of their origin, be it acid erosion, abrasion, or abfraction, restoring these lesions can pose clinical challenges, including access to the lesion, field control, material placement and handling, marginal finishing, patient discomfort, and chair time. This paper describes a novel technique for minimizing these challenges and optimizing the restoration of noncarious cervical lesions using a technique the author describes as the class V direct-indirect restoration. With this technique, clinicians can create precise extraoral margin finishing and polishing, while maintaining periodontal health and controlling polymerization shrinkage stress.



The clinical technique described in this article has the potential for being used routinely in treating noncarious cervical lesions, especially in cases without easy access and limited field control. Precise margin finishing and polishing is one of the greatest benefits of the class V direct-indirect approach, as the author has seen it work successfully in his practice over the past five years.
A Modular Biped Wall-Climbing Robot With High Mobility and Manipulating Function

High-rise tasks such as cleaning, painting, inspection, and maintenance on walls of large buildings or other structures require robots with climbing and manipulating skills. Motivated by these potential applications and inspired by the climbing motion of inchworms, we have developed a biped wall-climbing robot-W-Climbot. Built with a modular approach, the robot consists of five joint modules connected in series and two suction modules mounted at the two ends. With this configuration and biped climbing mode, W-Climbot not only has superior mobility on smooth walls, but also has the function of attaching to and manipulating objects equivalent to a “mobile manipulator.” In this paper, we address several fundamental issues with this novel wall-climbing robot, including system development, analysis of suction force, basic climbing gaits, overcoming obstacles, and transiting among walls. A series of comprehensive and challenging experiments with the robot climbing on walls and performing a manipulation task have been conducted to demonstrate its superior climbing ability and manipulation function. The analytical and experimental results have shown that W-Climbot represents a significant advancement in the development of wall-climbing robots.
ETPC - A Paraphrase Identification Corpus Annotated with Extended Paraphrase Typology and Negation

We present the Extended Paraphrase Typology (EPT) and the Extended Typology Paraphrase Corpus (ETPC). The EPT typology addresses several practical limitations of existing paraphrase typologies: it is the first typology that copes with the non-paraphrase pairs in the paraphrase identification corpora and distinguishes between contextual and habitual paraphrase types. ETPC is the largest corpus to date annotated with atomic paraphrase types. It is the first corpus with detailed annotation of both the paraphrase and the non-paraphrase pairs and the first corpus annotated with paraphrase and negation. Both new resources contribute to better understanding the paraphrase phenomenon, and allow for studying the relationship between paraphrasing and negation. To the developers of Paraphrase Identification systems ETPC corpus offers better means for evaluation and error analysis. Furthermore, the EPT typology and ETPC corpus emphasize the relationship with other areas of NLP such as Semantic Similarity, Textual Entailment, Summarization and Simplification.
Text Based Image Recognition using Multilayer Perceptron

The ultimate objective of any OCR is to simulate the human reading capability. Optical Character Recognition, usually abbreviated to OCR, is the mechanical or electronic translation of images of handwritten, typewritten or printed text into machine. Character Recognition refers to the process of converting printed Text documents into translated Unicode Text. The printed documents are scanned using standard scanners which produce an image of the scanned document. Lines are identified by an algorithm where we identify top and bottom of line and in each line character boundaries are calculated by an algorithm, using these calculation
Kinetics of saccharose fermentation by Kombucha

The kinetics of saccharose fermentation by Kombucha is not yet well defined due to lack of knowledge of reaction mechanisms taking place during this process. In this study, the kinetics of saccharose fermentation by Kombucha was analysed using the suggested empirical model. The data were obtained on 1.5 g L of black tea, with 66.47 g L of saccharose and using 10 or 15% (V/V) of Kombucha. The total number of viable cells was as follows: approximately 5×10 of yeast cells per mL of the inoculum and approximately 2x10 of bacteria cells per mL of the inoculum. The samples were analysed after 0, 3, 4, 5, 6, 7 and 10 days. Their pH values and contents of saccharose, glucose, fructose, total acids and ethanol were determined. A saccharose concentration model was defined as a sigmoidal function at 22 and 30 °C, and with 10 and 15% (V/V) of inoculum quantity. The determination coefficients of the functions were very high (R > 0.99). Reaction rates were calculated as first derivatives of Boltzmann’s functions. No simple correlation between the rate of reaction and independent variables (temperature and inoculum concentration) was found. Analysis of the empirical model indicated that saccharose fermentation by Kombucha occurred according to very complex kinetics.