nils-herrmann/clean_scirepeval huggingface dataset:
A Survey on Web Service Discovery Approaches

Web services are playing an important role in e-business and ecommerce applications. As web service applications are interoperable and can work on any platform, large scale distributed systems can be developed easily using web services. Finding most suitable web service from vast collection of web services is very crucial for successful execution of applications. Traditional web service discovery approach is a keyword based search using UDDI. Various other approaches for discovering web services are also available. Some of the discovery approaches are syntax based while other are semantic based. Having system for service discovery which can work automatically is also the concern of service discovery approaches. As these approaches are different, one solution may be better than another depending on requirements. Selecting a specific service discovery system is a hard task. In this paper, we give an overview of different approaches for web service discovery described in literature. We present a survey of how these approaches differ from each other.
On the algebraic structure of declarative programming languages

We develop an algebraic framework, Logic Programming Doctrines, for the syntax, proof theory, operational semantics and model theory of Horn Clause logic programming based on indexed premonoidal categories. Our aim is to provide a uniform framework for logic programming and its extensions capable of incorporating constraints, abstract data types, features imported from other programming language paradigms and a mathematical description of the state space in a declarative manner. We define a new way to embed information about data into logic programming derivations by building a sketch-like description of data structures directly into an indexed category of proofs. We give an algebraic axiomatization of bottom-up semantics in this general setting, describing categorical models as fixed points of a continuous operator.
MLC Toolbox: A MATLAB/OCTAVE Library for Multi-Label Classification

Multi-Label Classification toolbox is a MATLAB/OCTAVE library for Multi-Label Classification (MLC). There exists a few Java libraries for MLC, but no MATLAB/OCTAVE library that covers various methods. This toolbox offers an environment for evaluation, comparison and visualization of the MLC results. One attraction of this toolbox is that it enables us to try many combinations of feature space dimension reduction, sample clustering, label space dimension reduction and ensemble, etc.
Universal entropy estimation via block sorting

In this correspondence, we present a new universal entropy estimator for stationary ergodic sources, prove almost sure convergence, and establish an upper bound on the convergence rate for finite-alphabet finite memory sources. The algorithm is motivated by data compression using the Burrows-Wheeler block sorting transform (BWT). By exploiting the property that the BWT output sequence is close to a piecewise stationary memoryless source, we can segment the output sequence and estimate probabilities in each segment. Experimental results show that our algorithm outperforms Lempel-Ziv (LZ) string-matching-based algorithms.
Deep learning for 3D shape classification from multiple depth maps

This paper proposes a novel approach for the classification of 3D shapes exploiting deep learning techniques. The proposed algorithm starts by constructing a set of depth maps by rendering the input 3D shape from different viewpoints. Then the depth maps are fed to a multi-branch Convolutional Neural Network. Each branch of the network takes in input one of the depth maps and produces a classification vector by using 5 convolutional layers of progressively reduced resolution. The various classification vectors are finally fed to a linear classifier that combines the outputs of the various branches and produces the final classification. Experimental results on the Princeton ModelNet database show how the proposed approach allows to obtain a high classification accuracy and outperforms several state-of-the-art approaches.
Oral presentation of 10 patients with Cowden syndrome.

Cowden syndrome (CS) is an autosomal dominant genodermatosis that frequently affects several tissues with hamartomatous growth. The oral cavity is quite commonly involved with papillomatous lesions, which can be crucial to early diagnosis of this disease. In this series, 10 patients with a great diversity of manifestations associated with CS are presented, in whom oral papillomatosis was a constant and relevant finding to establish the diagnosis of CS. The role of the dentist in recognizing the oral lesions, the other diagnostic criteria, the risk for the development of malignancies, and the importance of lifetime follow-up are discussed.
Microphotonics devices based on silicon microfabrication technology

This work presents our recent progress in the development of an Si wire waveguiding system for microphotonics devices. The Si wire waveguide promises size reduction and high-density integration of optical circuits due to its strong light confinement. However, large connection and propagation losses had been serious problems. We solved these problems by using a spot-size converter and improving the microfabrication technology. As a result, propagation losses as low as 2.8 dB/cm for a 400/spl times/200 nm waveguide and a coupling loss of 0.5 dB per connection were obtained. As we have the technologies for the fabrication of complex, practical optical devices using Si wire waveguides, we used them to make microphotonics devices, such as a ring resonator and lattice filter. The devices we made exhibit excellent characteristics because of the microfabrication with the precision of a few nanometers. We have also demonstrated that Si wire waveguides have great potential for use in nonlinear optical devices.
Low cost Ka-band 7W GaAs PHEMT based HPA with GaN PHEMT equivalent performance

This paper describes a very low cost MMIC high power amplifier (HPA) with output power of over 7W. The MMIC was fabricated using a GaAs PHEMT process with a state-of-the-art compact die area of 13.7mm2. The HPA MMIC contains a phase and amplitude compensated output power combiner and super low loss phase compensated inter-stage matching networks. A four stage amplifier demonstrated commercially available GaN PHEMT based HPA equivalent performance with 7W saturated output power and 24dB small signal gain from 27.5GHz to 30GHz with peak output power of 8.3W and power added efficiency (PAE) of 27%. This low cost MMIC HPA achieved approximately 10-times lower production cost than GaN PHEMT based MMIC HPAs.
Reviving the past: cultural heritage meets virtual reality

The use of immersive virtual reality (VR) systems in museums is a recent trend, as the development of new interactive technologies has inevitably impacted the more traditional sciences and arts. This is more evident in the case of novel interactive technologies that fascinate the broad public, as has always been the case with virtual reality. The increasing development of VR technologies has matured enough to expand research from the military and scientific visualization realm into more multidisciplinary areas, such as education, art and entertainment. This paper analyzes the interactive virtual environments developed at an institution of informal education and discusses the issues involved in developing immersive interactive virtual archaeology projects for the broad public.
Measurement of halide efflux from cultured and primary airway epithelial cells using fluorescence indicators.

The use of the halide-sensitive fluorescent probes (6-methoxy-N-(-sulphopropyl)quinolinium (SPQ) and N-(ethoxycarbonylmethyl)-6-methoxyquinolinium bromide (MQAE)) to measure chloride transport in cells has now been established as an alternative to the halide-selective electrode technique, radioisotope efflux assays and patch-clamp electrophysiology. We report here procedures for the assessment of halide efflux, using SPQ/MQAE halide-sensitive fluorescent indicators, from both adherent cultured epithelial cells and freshly obtained primary human airway epithelial cells. The procedure describes the calculation of efflux rate constants using experimentally derived SPQ/MQAE fluorescence intensities and empirically derived Stern-Volmer calibration constants. These fluorescence methods permit the quantitative analysis of CFTR function.
The family structure of the Mucorales: a synoptic revision based on comprehensive multigene-genealogies

The Mucorales (Mucoromycotina) are one of the most ancient groups of fungi comprising ubiquitous, mostly saprotrophic organisms. The first comprehensive molecular studies 11 yr ago revealed the traditional classification scheme, mainly based on morphology, as highly artificial. Since then only single clades have been investigated in detail but a robust classification of the higher levels based on DNA data has not been published yet. Therefore we provide a classification based on a phylogenetic analysis of four molecular markers including the large and the small subunit of the ribosomal DNA, the partial actin gene and the partial gene for the translation elongation factor 1-alpha. The dataset comprises 201 isolates in 103 species and represents about one half of the currently accepted species in this order. Previous family concepts are reviewed and the family structure inferred from the multilocus phylogeny is introduced and discussed. Main differences between the current classification and preceding concepts affects the existing families Lichtheimiaceae and Cunninghamellaceae, as well as the genera Backusella and Lentamyces which recently obtained the status of families along with the Rhizopodaceae comprising Rhizopus, Sporodiniella and Syzygites. Compensatory base change analyses in the Lichtheimiaceae confirmed the lower level classification of Lichtheimia and Rhizomucor while genera such as Circinella or Syncephalastrum completely lacked compensatory base changes.
Agglomeration and Elimination of Terms for Dimensionality Reduction

The vector space model is the usual representation of texts database for computational treatment. However, in such representation synonyms and/or related terms are treated as independent. Furthermore, there are some terms that do not add any information at all to the set of text documents, on the contrary they even might harm the performance of the information retrieval techniques. In an attempt to reduce this problem, some techniques have been proposed in the literature. In this work we present a method to tackle this problem. In order to validate our approach, we carried out a serie of experiments on four databases and we compare the achieved results with other well known techniques. The evaluation results is such that our method obtained in all cases a better or equal performance compared to the other literature techniques.
Female genital cosmetic surgery: a critical review of current knowledge and contemporary debates.

Female genital cosmetic surgery procedures have gained popularity in the West in recent years. Marketing by surgeons promotes the surgeries, but professional organizations have started to question the promotion and practice of these procedures. Despite some surgeon claims of drastic transformations of psychological, emotional, and sexual life associated with the surgery, little reliable evidence of such effects exists. This article achieves two objectives. First, reviewing the published academic work on the topic, it identifies the current state of knowledge around female genital cosmetic procedures, as well as limitations in our knowledge. Second, examining a body of critical scholarship that raises sociological and psychological concerns not typically addressed in medical literature, it summarizes broader issues and debates. Overall, the article demonstrates a paucity of scientific knowledge and highlights a pressing need to consider the broader ramifications of surgical practices. "Today we have a whole society held in thrall to the drastic plastic of labial rejuvenation."( 1 ) "At the present time, the field of female cosmetic genital surgery is like the old Wild,  wide open and unregulated"( 2 ).
A Characterization Framework for Software Deployment Technologies

Software applications are no longer stand-alone systems. They are increasingly the result of integrating heterogeneous collections of components, both executable and data, possibly dispersed over a computer network. Different components can be provided by different producers and they can be part of different systems at the same time. Moreover, components can change rapidly and independently, making it difficult to manage the whole system in a consistent way. Under these circumstances, a crucial step of the software life cycle is deployment—that is, the activities related to the release, installation, activation, deactivation, update, and removal of components, as well as whole systems. This paper presents a framework for characterizing technologies that are intended to support software deployment. The framework highlights four primary factors concerning the technologies: process coverage; process changeability; interprocess coordination; and site, product, and deployment policy abstraction. A variety of existing technologies are surveyed and assessed against the framework. Finally, we discuss promising research directions in software deployment. This work was supported in part by the Air Force Material Command, Rome Laboratory, and the Defense Advanced Research Projects Agency under Contract Number F30602-94-C-0253. The content of the information does not necessarily reflect the position or the policy of the U.S. Government and no official endorsement should be inferred.
Updated Guidelines for the Medical Assessment and Care of Children Who May Have Been Sexually Abused.

The medical evaluation is an important part of the clinical and legal process when child sexual abuse is suspected. Practitioners who examine children need to be up to date on current recommendations regarding when, how, and by whom these evaluations should be conducted, as well as how the medical findings should be interpreted. A previously published article on guidelines for medical care for sexually abused children has been widely used by physicians, nurses, and nurse practitioners to inform practice guidelines in this field. Since 2007, when the article was published, new research has suggested changes in some of the guidelines and in the table that lists medical and laboratory findings in children evaluated for suspected sexual abuse and suggests how these findings should be interpreted with respect to sexual abuse. A group of specialists in child abuse pediatrics met in person and via online communication from 2011 through 2014 to review published research as well as recommendations from the Centers for Disease Control and Prevention and the American Academy of Pediatrics and to reach consensus on if and how the guidelines and approach to interpretation table should be updated. The revisions are based, when possible, on data from well-designed, unbiased studies published in high-ranking, peer-reviewed, scientific journals that were reviewed and vetted by the authors. When such studies were not available, recommendations were based on expert consensus.
1-bit stochastic gradient descent and its application to data-parallel distributed training of speech DNNs

We show empirically that in SGD training of deep neural networks, one can, at no or nearly no loss of accuracy, quantize the gradients aggressively—to but one bit per value—if the quantization error is carried forward across minibatches (error feedback). This size reduction makes it feasible to parallelize SGD through data-parallelism with fast processors like recent GPUs. We implement data-parallel deterministically distributed SGD by combining this finding with AdaGrad, automatic minibatch-size selection, double buffering, and model parallelism. Unexpectedly, quantization benefits AdaGrad, giving a small accuracy gain. For a typical Switchboard DNN with 46M parameters, we reach computation speeds of 27k frames per second (kfps) when using 2880 samples per minibatch, and 51kfps with 16k, on a server with 8 K20X GPUs. This corresponds to speed-ups over a single GPU of 3.6 and 6.3, respectively. 7 training passes over 309h of data complete in under 7h. A 160M-parameter model training processes 3300h of data in under 16h on 20 dual-GPU servers—a 10 times speed-up—albeit at a small accuracy loss.
Computation of three-dimensional rigid-body dynamics with multiple unilateral contacts using time-stepping and Gauss-Seidel methods

A system of rigid bodies with multiple simultaneous unilateral contacts is considered in this paper. The problem is to predict the velocities of the bodies and the frictional forces acting on the simultaneous multicontacts. This paper presents a numerical method based on an extension of an explicit time-stepping scheme and an application of the differential inclusion process introduced by  From a differential kinematic analysis of contacts, we derive a set of transfer equations in the velocity-based time-stepping formulation. In applying the Gauss-Seidel iterative scheme, the transfer equations are combined with the Signorini conditions and Coulomb's friction law. The contact forces are properly resolved in each iteration, without resorting to any linearization of the friction cone. The proposed numerical method is illustrated with examples, and its performance is compared with an acceleration-based scheme using linear complementary techniques. Multibody contact systems are broadly involved in many engineering applications. The motivation of this is to solve for the contact forces and body motion for planning the fixture-inserting operation. However, the results of the paper can be generally used in problems involving multibody contacts, such as robotic manipulation, mobile robots, computer graphics and simulation, etc. The paper presents a numerical method based on an extension of an explicit time-stepping scheme, and an application of the differential inclusion process introduced by J. J. Moreau, and compares the numerical results with an acceleration-based scheme with linear complementary techniques. We first describe the mathematical model of contact kinematics of smooth rigid bodies. Then, we present the Gauss-Seidel iterative method for resolving the multiple simultaneous contacts within the time-stepping framework. Finally, numerical examples are given and compared with the previous results of a different approach, which shows that the simulation results of these two methods agree well, and it is also generally more efficient, as it is an explicit method. This paper focuses on the description of the proposed time-stepping and Gauss-Seidel iterations and their numerical implementation, and several theoretical issues are yet to be resolved, like the convergence and uniqueness of the Gauss-Seidel iteration, and the existence and uniqueness of a positive k in solving frictional forces. However, our limited numerical experience has indicated positive answers to these questions. We have always found a single positive root of k and a convergent solution in the Gauss-Seidel iteration for all of our examples.
Ultrasonographic Evaluation of Fetal Humerus Length for Assessment of Gestational Age and Its Comparison with Other Conventional Parameters

Ultrasonography is proved to be an ideal imaging method, as it is safe for the mother and fetus. It being a painless, non-invasive, non-ionizing, and relatively inexpensive technique used to evaluate fetal growth parameter many times during pregnancy.  To estimate the gestational age (GA) with humerus length (HL) and establish the accuracy of it as a reliable indicator for prediction of GA in comparison with other routine parameters.  Prospective study was performed on 100 normal singleton pregnancies at second and third trimesters. The study was conducted on a gray scale real-time ultrasound scanner using linear and sector transducers to measure the fetal biometrics. After visualizing the heart, the transducer is moved to image the scapular spine located on the dorsal surface to the head of the humerus. A straight measurement was made from the one end of the diaphysis to the other.  Biparietal diameter (BPD), head circumference (HC), abdominal circumference (AC), and femur length (FL) were compared with standard charts and scatter graphs were plotted. Coeffi cient of correlation were calculated which were 0.9620, 0.8632, 0.8208, 0.9853 for BPD, HC, AC, and FL, respectively, proving them reliable indicators except for AC . HL measured in the present study was compared with standard nomogram. A statistically signifi cant curvilinear correlation was found between the HL and GA indicating it to be a reliable indicator of GA. Signifi cant coeffi cient of correlation (0.9704) was observed between HL and GA indicating it to be a reliable parameter.  The HL was most accurate parameter next to FL in assessing GA. The study also indicates that combination of BPD, HC, AC, FL, HL is more accurate in predicting GA than any single parameter, particularly in the third trimester of pregnancy. HL would contribute to maximum accuracy next to FL amongst all the parameters.
Where Will They Go? Predicting Fine-Grained Adversarial Multi-agent Motion Using Conditional Variational Autoencoders

Simultaneously and accurately forecasting the behavior of many interacting agents is imperative for computer vision applications to be widely deployed (e.g., autonomous vehicles, security, surveillance, sports). In this paper, we present a technique using conditional variational autoencoder which learns a model that “personalizes” prediction to individual agent behavior within a group representation. Given the volume of data available and its adversarial nature, we focus on the sport of basketball and show that our approach efficiently predicts context-specific agent motions. We find that our model generates results that are three times as accurate as previous state of the art approaches (5.74 ft vs. 17.95 ft).
Review Beneficial effect and mechanism of action of Momordica charantia in the treatment of diabetes mellitus: a mini review

Diabetes mellitus (DM) is the most common of the endocrine disorders and represents a global health problem. DM is characterized by chronic hyperglycaemia due to relative or absolute lack of insulin or the actions of insulin. Insulin is the main treatment for patients with type 1 DM and it is also important in type 2 DM when blood glucose levels cannot be controlled by diet, weight loss, exercise and oral medications alone. Prior to the availability of insulin, dietary measures, including the traditional medicines derived from plants, were the major form of treatment. A multitude of plants have been used for the treatment of diabetes throughout the world. One such plant is Momordica charantia (Linn Family: Cucurbaceae), whose fruit is known as Karela or bittergourd. For a long time, several workers have studied the effects of this plant in DM. Treatment with M. charantia fruit juice reduced blood glucose levels, improved body weight and glucose tolerance. M. charantia fruit juice can also inhibit glucose uptake by the gut and stimulate glucose uptake by skeletal muscle cells. Moreover, the juice of this plant preserves islet β cells and β cell functions, normalises the systolic blood pressure, and modulates xenobiotic metabolism and oxidative stress. M. charantia also has anti-carcinogenic properties. In conclusion, M. charantia has tremendous beneficial values in the treatment of DM.