nils-herrmann/clean_scirepeval huggingface dataset:
Logical Grammars Based on Constraint Handling Rules

A grammar formalism called GHRG based on CHR is proposed analogously to the way Definite Clause Grammars are defined and implemented on top of Prolog. A CHRG executes as a robust bottom-up parser with an inherent treatment of ambiguity. The rules of a CHRG may refer to grammar symbols on either side of a sequence to be matched and this provides a powerful way to let parsing and attribute evaluation depend on linguistic context; examples show disambiguation of simple and ambiguous context-free rules and a handling of coordination in natural language. CHRGs may have rules to produce and consume arbitrary hypothesis and as an important application is shown an implementation of Assumption Grammars.
Design of a Wideband Bandpass Filter With Composite Short- and Open-Circuited Stubs

A new wideband bandpass filter (BPF) with composite short- and open-circuited stubs has been proposed in this letter. With the two kinds of stubs, two pairs of transmission zeros (TZs) can be produced on the two sides of the desired passband. The even-/odd-mode analysis method is used to derive the input admittances of its bisection circuits. After the Richard's transformation, these bisection circuits are in the same format of two LC circuits. By combining these two LC circuits, the equivalent circuit of the proposed filter is obtained. Through the analysis of the equivalent circuit, the open-circuited stubs introduce transmission poles in the complex frequencies and one pair of TZs in the real frequencies, and the short-circuited stubs generate one pair of TZs to block the dc component. A wideband BPF is designed and fabricated to verify the proposed design principle.
Effect of uncertainty in calibration on the correlation structure of the rheumatoid factor immunoassay calibration function

Clinical laboratory measurements are vital to the medical decision-making process, and specifically, measurement of rheumatoid factor antibodies is part of the disease criteria for various autoimmune conditions. Uncertainty estimates describe the quality of the measurement process, and uncertainty in calibration of the instrument used in the measurement can be an important contributor to the net measurement uncertainty. In this paper, we develop a physics-based mathematical model of the rheumatoid factor measurement process, or assay, and then use the Monte Carlo method to investigate the effect of uncertainty in the calibration process on the correlation structure of the parameters of the calibration function. We demonstrate numerically that a change in uncertainty of the calibration process can be quantified by one of two metrics: (1) the 1-norm condition number of the correlation matrix, or (2) the sum of the absolute values of the correlation coefficients between the parameters of the calibration function.
A comparison of food portion size estimation using geometric models and depth images

Six of the ten leading causes of death in the United States, including cancer, diabetes, and heart disease, can be directly linked to diet. Dietary intake, the process of determining what someone eats during the course of a day, provides valuable insights for mounting intervention programs for prevention of many of the above chronic diseases. Measuring accurate dietary intake is considered to be an open research problem in the nutrition and health fields. In this paper we compare two techniques of estimating food portion size from images of food. The techniques are based on 3D geometric models and depth images. An expectation-maximization based technique is developed to detect the reference plane in depth images, which is essential for portion size estimation using depth images. Our experimental results indicate that volume estimation based on geometric models is more accurate for objects with well-defined 3D shapes compared to estimation using depth images.
Population Structure and Genetic Relationships of Melia Taxa in China Assayed with Sequence-Related Amplified Polymorphism (SRAP) Markers

The uncertainty about whether, in China, the genus Melia (Meliaceae) consists of one species (M. azedarach Linnaeus) or two species (M. azedarach and M. toosendan Siebold & Zuccarini) remains to be clarified. Although the two putative species are morphologically distinguishable, genetic evidence supporting their taxonomic separation is lacking. Here, we investigated the genetic diversity and population structure of 31 Melia populations across the natural distribution range of the genus in China. We used sequence-related amplified polymorphism (SRAP) markers and obtained 257 clearly defined bands amplified by 20 primers from 461 individuals. The polymorphic loci (P) varied from 35.17% to 76.55%, with an overall mean of 58.24%. Nei’s gene diversity (H) ranged from 0.13 to 0.31, with an overall mean of 0.20. Shannon’s information index (I) ranged from 0.18 to 0.45, with an average of 0.30. The genetic diversity of the total population (Ht) and within populations (Hs) was 0.37  ̆ 0.01 and 0.20  ̆ 0.01, respectively. Population differentiation was substantial (Gst = 0.45), and gene flow was low. Of the total variation, 31.41% was explained by differences among putative species, 19.17% among populations within putative species, and 49.42% within populations. Our results support the division of genus Melia into two species, which is consistent with the classification based on the morphological differentiation.
A look at software engineering risks in a team project course

Risk identification, management, and mitigation are essential to the success of any software development projects. At the University of Southern California (USC), CSCI577ab is a graduate level software engineering course sequence that teaches the best software engineering practices, and allows students to apply the learned knowledge in developing real-client projects. This paper analyzes the risks encountered by teams, identifies the relationships between effective risk analysis and the success of the project, and discusses how risk patterns determine the student's course of action. This paper also reports the top risks of software development in the software engineering class.
Procedural floor plan generation from building sketches

Computer graphics applications require models which are crafted by hand, requiring skill and time. In architectural applications an automated system that converts 2D floor plan images into 3D building models can be used to lower the modeling cost, and in video games procedural algorithms can be used to generate content, including cities, buildings and floor plans. One motivation to generate floor plans for predetermined building exteriors is that building generators often create only a façade without the interior. Another motivation is in planning real-world layouts, often tackled as an optimization problem (e.g. [Merrell et al. 2010] and [Peng et al. 2014]). The state of the art in [Merrell et al. 2010] uses machine learning and stochastic optimization to generate realistic layouts. However, it is unsuitable in our case because the exterior appears as a result of the layout. Our approach generates floor plans using both the building exterior and user requisites as constraints. The proposed method [Camozzato et al. 2015] handles a variety of image styles and building shapes, and the run time remains low (around 1 ms versus a 30 s optimization reported by [Merrell et al. 2010]).
A Network-Type Brain Machine Interface to Support Activities of Daily Living

To help elderly and physically disabled people to become self-reliant in daily life such as at home or a health clinic, we have developed a network-type brain machine interface (BMI) system called “network BMI” to control real-world actuators like wheelchairs based on human intention measured by a portable brain measurement system. In this paper, we introduce the technologies for achieving the network BMI system to support activities of daily living. key words: brain machine interface, smart house, data analysis, network agent
Frame interpolation and bidirectional prediction of video using compactly encoded optical-flow fields and label fields

We consider the problems of motion-compensated frame interpolation (MCFI) and bidirectional prediction in a video coding environment. These applications generally require good motion estimates at the decoder. In this paper, we use a multiscale optical-ow-based motion estimator that provides smooth, natural motion elds under bit-rate constraints. These motion estimates scale well with change in temporal resolution and provide considerable exibility in the design and operation of coders and decoders. In the MCFI application, this estimator provides excellent interpolated frames that are superior to conventional motion estimators, both visually and in terms of PSNR. We also consider the eeect of occlusions in the bidirectional prediction application, and introduce a dense label eld that complements our motion estimator. This label eld enables us to adaptively weight the forward and backward predictions, and gives us substantial visual and PSNR improvements in the covered/uncovered regions of the sequence.
The effects of level of automation and adaptive automation on human performance , situation awareness and workload in a dynamic control task

This paper extends previous research on two approaches to human-centred automation: (1) intermediate levels of automation (LOAs) for maintaining operator involvement in complex systems control and facilitating situation awareness; and (2) adaptive automation (AA) for managing operator workload through dynamic control allocations between the human and machine over time. Some empirical research has been conducted to examine LOA and AA independently, with the objective of detailing a theory of human-centred automation. Unfortunately, no previous work has studied the interaction of these two approaches, nor has any research attempted to systematically determine which LOAs should be used in adaptive systems and how certain types of dynamic function allocations should be scheduled over time. The present research briefly reviews the theory of humancentred automation and LOA and AA approaches. Building on this background, an initial study was presented that attempts to address the conjuncture of these two approaches to human-centred automation. An experiment was conducted in which a dual-task scenario was used to assess the performance, SA and workload effects of low, intermediate and high LOAs, which were dynamically allocated (as part of an AA strategy) during manual system control for various cycle times comprising 20, 40 and 60% of task time. The LOA and automation allocation cycle time (AACT) combinations were compared to completely manual control and fully automated control of a dynamic control task performed in conjunction with an embedded secondary monitoring task. Results revealed LOA to be the driving factor in determining primary task performance and SA. Low-level automation produced superior performance and intermediate LOAs facilitated higher SA, but this was not associated with improved performance or reduced workload. The AACT was the driving factor in perceptions of primary task workload and secondary task performance. When a greater percentage of primary task time was automated, operator perceptual resources were freed-up and monitoring performance on the secondary task improved. Longer automation cycle times than have previously been studied may have benefits for overall human–machine system performance. The combined effect of LOA and AA on all measures did not appear to be ‘additive’ in nature. That is, the LOA producing the best performance (low level automation) did not do so at the AACT, which produced superior performance (maximum cycle time). In general, the results are supportive of intermediate LOAs and AA as approaches to human-centred automation, but each appears to provide different benefits to human–machine system performance. This work provides additional information for a developing theory of human-centred automation. Theor. Issues in Ergon. Sci., 2003, 1–40, preview article
Case records of the Massachusetts General Hospital. Case 37-2014. A 35-year-old woman with suspected mite infestation.

Dr. Stephanie L. Cincotta (Psychiatry): A 35-year-old woman was seen in the emergency department of this hospital because of a pruritic rash. The patient had a history of hepatitis C virus (HCV) infection, acne, depression, and drug dependency. She had been in her usual health until 2 weeks before this presentation, when insomnia developed, which she attributed to her loss of a prescription for zolpidem. During the 10 days before this presentation, she reported seeing white “granular balls,” which she thought were mites or larvae, emerging from and crawling on her skin, sheets, and clothing and in her feces, apartment, and car, as well as having an associated pruritic rash. She was seen by her physician, who referred her to a dermatologist for consideration of other possible causes of the persistent rash, such as porphyria cutanea tarda, which is associated with HCV infection. Three days before this presentation, the patient ran out of clonazepam (after an undefined period during which she reportedly took more than the prescribed dose) and had increasing anxiety and insomnia. The same day, she reported seeing “bugs” on her 15-month-old son that were emerging from his scalp and were present on his skin and in his diaper and sputum. The patient scratched her skin and her child’s skin to remove the offending agents. The day before this presentation, she called emergency medical services and she and her child were transported by ambulance to the emergency department of another hospital. A diagnosis of possible cheyletiellosis was made. She was advised to use selenium sulfide shampoo and to follow up with her physician; the patient returned home with her child. On the morning of admission, while bathing her child, she noted that his scalp was turning red and he was crying. She came with her son to the emergency department of this hospital. The patient reported the presence of bugs on her skin, which she attempted to point out to examiners. She acknowledged a habit of picking at her skin since adolescence, which she said had a calming effect. Fourteen months earlier, shortly after the birth of her son, worsening acne developed that did not respond to treatment with topical antimicrobial agents and tretinoin. Four months later, a facial abscess due From the Departments of Psychiatry (S.R.B., N.K.) and Dermatology (D.K.), Massachusetts General Hospital, and the Departments of Psychiatry (S.R.B., N.K.) and Dermatology (D.K.), Harvard Medi‐ cal School — both in Boston.
Combining Model-Based and Model-Free Updates for Trajectory-Centric Reinforcement Learning

UC Berkeley EECS Departmental Fellowship August 2016 UC Berkeley Outstanding Graduate Student Instructor Award May 2016 UC Berkeley EECS Warren Dere Design Award April 2016 CRA Outstanding Undergraduate Researchers Award Honorable Mention December 2015 UC Berkeley EECS Honors Degree Program August 2014 present Upsilon Pi Epsilon, Computer Science Honor Society December 2013 present UC Berkeley Letters and Science Dean’s Honor List December 2012 May 2015
The Psychology of Close Relationships: Fourteen Core Principles.

Relationship science is a theory-rich discipline, but there have been no attempts to articulate the broader themes or principles that cut across the theories themselves. We have sought to fill that void by reviewing the psychological literature on close relationships, particularly romantic relationships, to extract its core principles. This review reveals 14 principles, which collectively address four central questions: (a) What is a relationship? (b) How do relationships operate? (c) What tendencies do people bring to their relationships? (d) How does the context affect relationships? The 14 principles paint a cohesive and unified picture of romantic relationships that reflects a strong and maturing discipline. However, the principles afford few of the sorts of conflicting predictions that can be especially helpful in fostering novel theory development. We conclude that relationship science is likely to benefit from simultaneous pushes toward both greater integration across theories (to reduce redundancy) and greater emphasis on the circumstances under which existing (or not-yet-developed) principles conflict with one another.
Increased Solubility , Dissolution and Physicochemical Studies of Curcumin-Polyvinylpyrrolidone K-30 Solid Dispersions

Solid dispersions (SD) of curcuminpolyvinylpyrrolidone in the ratio of 1:2, 1:4, 1:5, 1:6, and 1:8 were prepared in an attempt to increase the solubility and dissolution. Solubility, dissolution, powder X-ray diffraction (XRD), differential scanning calorimetry (DSC) and Fourier transform infrared spectroscopy (FTIR) of solid dispersions, physical mixtures (PM) and curcumin were evaluated. Both solubility and dissolution of curcumin solid dispersions were significantly greater than those observed for physical mixtures and intact curcumin. The powder X-ray diffractograms indicated that the amorphous curcumin was obtained from all solid dispersions. It was found that the optimum weight ratio for curcumin:PVP K-30 is 1:6. The 1:6 solid dispersion still in the amorphous from after storage at ambient temperature for 2 years and the dissolution profile did not significantly different from freshly prepared. Curcumin, polyvinylpyrrolidone K-30, solid dispersion, dissolution, physicochemical.
Building phylogenetic trees from molecular data with MEGA.

Phylogenetic analysis is sometimes regarded as being an intimidating, complex process that requires expertise and years of experience. In fact, it is a fairly straightforward process that can be learned quickly and applied effectively. This Protocol describes the several steps required to produce a phylogenetic tree from molecular data for novices. In the example illustrated here, the program MEGA is used to implement all those steps, thereby eliminating the need to learn several programs, and to deal with multiple file formats from one step to another (Tamura K, Peterson D, Peterson N, Stecher G, Nei M, Kumar S. 2011. MEGA5: molecular evolutionary genetics analysis using maximum likelihood, evolutionary distance, and maximum parsimony methods. 2739). The first step, identification of a set of homologous sequences and downloading those sequences, is implemented by MEGA's own browser built on top of the Google Chrome toolkit. For the second step, alignment of those sequences, MEGA offers two different algorithms: ClustalW and MUSCLE. For the third step, construction of a phylogenetic tree from the aligned sequences, MEGA offers many different methods. Here we illustrate the maximum likelihood method, beginning with MEGA's Models feature, which permits selecting the most suitable substitution model. Finally, MEGA provides a powerful and flexible interface for the final step, actually drawing the tree for publication. Here a step-by-step protocol is presented in sufficient detail to allow a novice to start with a sequence of interest and to build a publication-quality tree illustrating the evolution of an appropriate set of homologs of that sequence. MEGA is available for use on PCs and Macs from www.megasoftware.net.
Generalized Duffy transformation for integrating vertex singularities

For an integrand with a 1/r vertex singularity, the Duffy transformation from a triangle (pyramid) to a square (cube) provides an accurate and efficient technique to evaluate the integral. In this paper, we generalize the Duffy transformation to power singularities of the form p(x)/r , where p is a trivariate polynomial and α > 0 is the strength of the singularity. We use the map (u, v, w) → (x, y, z) : x = u , y = xv, z = xw, and judiciously choose β to accurately estimate the integral. For α = 1, the Duffy transformation (β = 1) is optimal, whereas if α = 1, we show that there are other values of β that prove to be substantially better. Numerical tests in two and three dimensions are presented that reveal the improved accuracy of the new transformation. Higher-order partition of unity finite element solutions for the Laplace equation with a derivative singularity at a re-entrant corner are presented to demonstrate the benefits of using the generalized Duffy transformation.
Low-cost EEG based electric wheelchair with advanced control features

Brain-computer interface can have a profound impact on the life of paralyzed or elderly citizens as they offer control over various devices without any necessity of movement of the body parts. This technology has come a long way and opened new dimensions in improving our life. Use of electroencephalogram (EEG wave) based control schemes can change the shape of the lives of the disabled citizens if incorporated with an electric wheelchair through a wearable device. Electric wheelchairs are nowadays commercially available which provides mobility to the disabled persons with relative ease. But most of the commercially available products are much expensive and controlled through the joystick, hand gesture, voice command, etc. which may not be viable control scheme for severely disabled or paralyzed persons. In our research work, we have developed a low-cost electric wheelchair using locally available cheap parts and incorporated brain-computer interface considering the affordability of people from developing countries. So, people who have lost their control over their limbs or have the inability to drive a wheelchair by any means can control the proposed wheelchair only by their attention and willingness to blink. To acquire the signal of attention and blink, single channel electroencephalogram (EEG wave) was captured by a wearable Neurosky MindWave Mobile. One of the salient features of the proposed scheme is ‘Destination Mapping’ by which the wheelchair develops a virtual map as the user moves around and autonomously reaches desired positions afterward by taking command from a smart interface based on EEG signal. From the experiments that were carried out at different stages of the development, it was exposed that, such a wheelchair is easy to train and calibrate for different users and offers a low cost and smart alternative especially for the elderly people in developing countries.
Refining Word Embeddings Using Intensity Scores for Sentiment Analysis

Word embeddings that provide continuous low-dimensional vector representations of words have been extensively used for various natural language processing tasks. However, existing context-based word embeddings such as Word2vec and GloVe typically fail to capture sufficient sentiment information, which may result in words with similar vector representations having an opposite sentiment polarity e.g., good and bad, thus degrading sentiment analysis performance. To tackle this problem, recent studies have suggested learning sentiment embeddings to incorporate the sentiment polarity positive and negative information from labeled corpora. This study adopts another strategy to learn sentiment embeddings. Instead of creating a new word embedding from labeled corpora, we propose a word vector refinement model to refine existing pretrained word vectors using real-valued sentiment intensity scores provided by sentiment lexicons. The idea of the refinement model is to improve each word vector such that it can be closer in the lexicon to both semantically and sentimentally similar words i.e., those with similar intensity scores and further away from sentimentally dissimilar words i.e., those with dissimilar intensity scores. An obvious advantage of the proposed method is that it can be applied to any pretrained word embeddings. In addition, the intensity scores can provide more fine-grained real-valued sentiment information than binary polarity labels to guide the refinement process. Experimental results show that the proposed refinement model can improve both conventional word embeddings and previously proposed sentiment embeddings for binary, ternary, and fine-grained sentiment classification on the SemEval and Stanford Sentiment Treebank datasets.