nils-herrmann/clean_scirepeval huggingface dataset:
BORCHERDS’ PROOF OF THE CONWAY-NORTON CONJECTURE

We give a summary of R. Borcherds’ solution (with some modifications) to the following part of the Conway-Norton conjectures: Given the Monster M and Frenkel-Lepowsky-Meurman’s moonshine module V ♮, prove the equality between the graded characters of the elements of M acting on V ♮ (i.e., the McKay-Thompson series for V ♮) and the modular functions provided by Conway and Norton. The equality is established using the homology of a certain subalgebra of the monster Lie algebra, and the Euler-Poincaré identity.
Classification of Trash for Recyclability Status

A computer vision approach to classifying garbage into recycling categories could be an efficient way to process waste. The objective of this project is to take images of a single piece of recycling or garbage and classify it into six classes consisting of glass, paper, metal, plastic, cardboard, and trash. We also create a dataset that contains around 400-500 images for each class, which was hand collected. We plan to release this dataset for the public. The models used are support vector machines (SVM) with scale-invariant feature transform (SIFT) features and a convolutional neural network (CNN). Our experiments showed that the SVM performed better than the CNN; however, the CNN was not trained to its full capability due to trouble finding optimal hyperparameters.
Delayed neuropathy after organophosphorus insecticide (Dipterex) poisoning: a clinical, electrophysiological and nerve biopsy study.

Clinical, electrophysiological and histological findings in four patients accidentally poisoned with the organophosphorus insecticide Dipterex are reported. Three to five weeks after insecticide ingestion signs of a distal sensorimotor (preponderantly motor) neuropathy occurred. The patients complained of paraesthesia in the lower limbs, and two of them of very disagreeable pricking sensation in the soles of the feet, responsive to carbamazepine. They showed distal weakness mainly of the legs, footdrop , difficult gait and muscle hypotonia. Ankle jerk was abolished while other tendon reflexes persisted. Two months or even later after poisoning, knee jerks in all the patients were very brisk and more and less accompanied by other pyramidal signs (patellar clonus, abolishment of abdominal cutaneous reflexes, Babinski's sign). Clinical, electrophysiological and nerve biopsy data revealed a "dying-back" neuropathy in our patients. Distal muscle fatigue was confirmed by failure of neuromuscular transmission on repetitive nerve stimulation.
Design of CMOS inverter-based output buffers adapting the cherry-hooper broadbanding technique

A methodology for designing CMOS inverter-based output buffers considering speed, gain, jitter, and drivabil-ity requirements is presented. In this methodology, the band-broadening technique of the classic Cherry-Hooper amplifier is adapted for CMOS inverters. A buffer designed in this manner offers higher speed than a commonly used simple chain of inverters with exponentially increasing gate widths. The buffer is implemented by making minor modifications to a 4-stage CMOS inverter chain. The proposed design is suitable for output buffers for high-speed CMOS logic circuits.
Online Sequencing of Non-Decomposable Macrotasks in Expert Crowdsourcing

A large class of computational problems involve the determination of properties of graphs, digraphs, integers, arrays of integers, finite families of finite sets, boolean formulas and elements of other countable domains. Through simple encodings from such domains into the set of words over a finite alphabet these problems can be converted into language recognition problems, and we can inquire into their computational complexity. It is reasonable to consider such a problem satisfactorily solved when an algorithm for its solution is found which terminates within a number of steps bounded by a polynomial in the length of the input. We show that a large number of classic unsolved problems of covering, matching, packing, routing, assignment and sequencing are equivalent, in the sense that either each of them possesses a polynomial-bounded algorithm or none of them does.
Applications of location-based services: a selected review

Journal of Location Based Services Publication details, including instructions for authors and subscription information: http://www.informaworld.com/smpp/title~content=t744398445 Applications of location-based services: a selected review Jonathan Raper a; Georg Gartner b; Hassan Karimi c; Chris Rizos d a Information Science, Northampton Square, City University, London, UK b Department of Geoinformation and Cartography, Vienna University of Technology, Erzherzog-Johannplatz 1, Austria c University of Pittsburgh, PA, USA d School of Surverying 2 SIS, University of New South Wales, Sydney,
OpenHRP: Open Architecture Humanoid Robotics Platform

This paper introduces an open architecture humanoid robotics platform (OpenHRP for short) on which various building blocks of humanoid robotics can be investigated. OpenHRP is a virtual humanoid robot platform with a compatible humanoid robot, and consists of a simulator of humanoid robots and motion control library for them which can also be applied to a compatible humanoid robot as it is. OpenHRP also has a view simulator of humanoid robots on which humanoid robot vision can be studied. The consistency between the simulator and the robot are enhanced by introducing a new algorithm to simulate repulsive force and torque between contacting objects. OpenHRP is expected to initiate the exploration of humanoid robotics on an open architecture software and hardware, thanks to the unification of the controllers and the examined consistency between the simulator and a real humanoid robot.
Trichotillomania (hair pulling disorder), skin picking disorder, and stereotypic movement disorder: toward DSM-V.

In DSM-IV-TR, trichotillomania (TTM) is classified as an impulse control disorder (not classified elsewhere), skin picking lacks its own diagnostic category (but might be diagnosed as an impulse control disorder not otherwise specified), and stereotypic movement disorder is classified as a disorder usually first diagnosed in infancy, childhood, or adolescence. ICD-10 classifies TTM as a habit and impulse disorder, and includes stereotyped movement disorders in a section on other behavioral and emotional disorders with onset usually occurring in childhood and adolescence. This article provides a focused review of nosological issues relevant to DSM-V, given recent empirical findings. This review presents a number of options and preliminary recommendations to be considered for DSM-V: (1) Although TTM fits optimally into a category of body-focused repetitive behavioral disorders, in a nosology comprised of relatively few major categories it fits best within a category of motoric obsessive-compulsive spectrum disorders, (2) available evidence does not support continuing to include (current) diagnostic criteria B and C for TTM in DSM-V, (3) the text for TTM should be updated to describe subtypes and forms of hair pulling, (4) there are persuasive reasons for referring to TTM as "hair pulling disorder (trichotillomania)," (5) diagnostic criteria for skin picking disorder should be included in DSM-V or in DSM-Vs Appendix of Criteria Sets Provided for Further Study, and (6) the diagnostic criteria for stereotypic movement disorder should be clarified and simplified, bringing them in line with those for hair pulling and skin picking disorder.
Machine translation over fifty years

The history of machine translation is described from its beginnings in the 1940s to the present day. In the earliest years, efforts were concentrated either on developing immediately useful systems, however crude in their translation quality, or on fundamental research for high quality translation systems. After the ALPAC report in 1966, which virtually ended MT research in the US for more than a decade, research focussed on the development of systems requiring human assistance for producing translations of technical documentation, on translation tools for direct use by translators themselves, and, in recent years, on systems for translating email, Web pages and other Internet documentation, where poor quality is acceptable in the interest of rapid results.
Genitourinary injuries in the newborn.

Circumcisions and cesarian sections are common procedures. Although complications to the newborn child fortunately are rare, it is important to emphasize the potential significance of this problem and its frequent iatrogenic etiology. The authors present 7 cases of genitourinary trauma in newborns, including surgical management and follow-up.



The authors relate 7 recent cases of genitourinary trauma in newborns from a children's hospital in a major metropolitan area.



Case 1 and 2: Two infants suffered degloving injuries to both the prepuce and penile shaft from a Gomco clamp. Successful full-thickness skin grafting using the previously excised foreskin was used in 1 child. Case 3, 4, and 5: A Mogen clamp caused glans injuries in 3 infants. In 2, hemorrhage from the severed glans was controlled with topical epinephrine; the glans healed with a flattened appearance. Another infant sustained a laceration ventrally, requiring a delayed modified meatal advancement glanoplasty to correct the injury.  A male infant suffered a ventral slit and division of the ventral urethra before placement of a Gomco clamp. Formal hypospadias repair was required.  An emergent cesarean section resulted in a grade 4-perineal laceration in a female infant. The vaginal tear caused by the surgeon's finger, extended up to the posterior insertion of the cervix and into the rectum. The infant successfully underwent an emergent multilayered repair.



Genitourinary trauma in the newborn is rare but often necessitates significant surgical intervention. Circumcision often is the causative event. There has been only 1 prior report of a perineal injury similar to case 7, with a fatal outcome.
Common subexpression elimination involving multiple variables linear DSP synthesis

Common subexpression elimination is commonly employed to reduce the number of operations in DSP algorithms after decomposing constant multiplications into shifts and additions. Conventional optimization techniques for finding common subexpressions can optimize constant multiplications with only a single variable at a time, and hence cannot fully optimize the computations with multiple variables found in matrix form of linear systems like DCT, DFT etc. We transform these computations such that all common subexpressions involving any number of variables can be detected. We then present heuristic algorithms to select the best set of common subexpressions. Experimental results show the superiority of our technique over conventional techniques for common subexpression elimination.
Seeing the forest through the trees: A review of integrated environmental modelling tools

Today’s interconnected socio-economic and environmental challenges require the combination and reuse of existing integrated modelling solutions. This paper contributes to this overall research area, by reviewing a wide range of currently available frameworks, systems and emerging technologies for integrated modelling in the environmental sciences. Based on a systematic review of the literature, we group related studies and papers into viewpoints and elaborate on shared and diverging characteristics. Our analysis shows that component-based modelling frameworks and scientific workflow systems have been traditionally used for solving technical integration challenges, but ultimately, the appropriate framework or system strongly depends on the particular environmental phenomenon under investigation. The study also shows that in general individual integrated modelling solutions do not benefit from components and models that are provided by others. It is this island (or silo) situation, which results in low levels of model reuse for multi-disciplinary settings. This seems mainly due to the fact that the field as such is highly complex and diverse. A unique integrated modelling solution, which is capable of dealing with any environmental scenario, seems to be unaffordable because of the great variety of data formats, models, environmental phenomena, stakeholder networks, user perspectives and social aspects. Nevertheless, we conclude that the combination of modelling tools, which address complementary viewpoints such as service-based combined with scientific workflow systems, or resource-modelling on top of virtual research environments could lead to sustainable information systems, which would advance model sharing, reuse and integration. Next steps for improving this form of multi-disciplinary interoperability are sketched.
Favus of the Scalp: An Overview and Update

Tinea capitis favosa, a chronic inflammatory dermatophyte infection of the scalp, affects over 90% of patients with anthropophilic Trichophyton schoenleinii. T. violaceum, T. verrucosum, zoophilic T. mentagrophytes (referred to as ‘var. quinckeanum’), Microsporum canis, and geophilic M. gypseum have also been recovered from favic lesions. Favus is typically a childhood disease, yet adult cases are not uncommon. Interestingly, favus is less contagious than other dermatophytoses, although intrafamilial infections are reported and have been widely discussed in the literature. Clinical presentation of T. schoenleinii infections is variable: this fungus can be isolated from tinea capitis lesions that appear as gray patches, but symptom-free colonization of the scalp also occurs. Although in the past T. schoenleinii was the dominant fungus recovered from dermatophytic scalp lesions, worldwide the incidence has decreased except in China, Nigeria, and Iran. Favus of the glabrous skin and nails are reported less frequently than favus of the scalp. This review discusses the clinical features of favus, as well as the etiological agents, global epidemiology, laboratory diagnosis, and a short history of medical mycology.
Equimolar doses of mannitol and hypertonic saline in the treatment of increased intracranial pressure.

To compare the effects of equimolar doses of 20% mannitol solution and of 7.45% hypertonic saline solution (HSS) in the treatment of patients with sustained elevated intracranial pressure (ICP).



Parallel, randomized, controlled trial.



Two intensive care units in a university hospital.



A total of 20 stable patients with a sustained ICP of >20 mm Hg secondary to traumatic brain injury (n = 17) or stroke (n = 3).



A single equimolar infusion (255 mOsm dose) of either 231 mL of 20% mannitol (mannitol group; n = 10 patients) or 100 mL of 7.45% hypertonic saline (HSS group; n = 10 patients) during 20 mins of administration.



ICP, arterial blood pressure, cerebral perfusion pressure, blood flow velocities of middle cerebral artery using continuous transcranial Doppler, brain tissue oxygen tension, serum sodium and osmolality, and urine output during a study period of 120 mins.



The two treatments equally and durably reduced ICP during the experiment. At 60 mins after the start of the infusion, ICP was reduced by 45% +/- 19% of baseline values (mean +/- sd) in the mannitol group vs. 35% +/- 14% of baseline values in the HSS group. Cerebral perfusion pressure and diastolic and mean blood flow velocities were durably increased in the mannitol group, resulting in lower values of pulsatility index at the different times of the experiment (p < .01 vs. HSS). No major changes in brain tissue oxygen tension were found after each treatment. Mannitol caused a significantly greater increase in urine output (p < .05) than HSS, although there was no difference in the vascular filling requirement between the two treatments. HSS caused a significant elevation of serum sodium and chloride at 120 mins after the start of the infusion (p < .01).



A single equimolar infusion of 20% mannitol is as effective as 7.45% HSS in decreasing ICP in patients with brain injury. Mannitol exerts additional effects on brain circulation through a possible improvement in blood rheology. Pretreatment factors, such as serum sodium, systemic hemodynamics, and brain hemodynamics, thus should be considered when choosing between mannitol and HSS for patients with increased ICP.
Survey on leaf recognization and classification

There are countless plant species available globally. To manage massive content, development of a fast and effective categorization methods has turned into a territory of dynamic research. As trees and plants are very important to ecology, accurate Identification and classification becomes necessary. Classification procedure is carried out through number of sub procedures. An identification or Classification issue is managed by mapping a input data with one of the unique classes. In this procedure, at first, database of a leaf images is created, that comprises of images of test leaf with their equivalent plant information. Essential features are extracted using image processing techniques. The features have to be stable in order to make the identification system robust. Subsequently the plant/leaf is recognized using machine learning techniques. In this paper a survey is presented on the various types of leaf identification process.
Could we create a training set for image captioning using automatic translation?

Automatic image captioning has received increasing attention in recent years. Although there are many English datasets developed for this problem, there is only one Turkish dataset and it is very small compared to its English counterparts. Creating a new dataset for image captioning is a very costly and time consuming task. This work is a first step towards transferring the available, large English datasets into Turkish. We translated English captioning datasets into Turkish by using an automated translation tool and we trained an image captioning model on the automatically obtained Turkish captions. Our experiments show that this model yields the best performance so far on Turkish captioning.
Performance analysis of physical-layer security in an OCDMA-based wiretap channel

Based on information-theoretic security, physical-layer security in an optical code division multiple access (OCDMA) system is analyzed. For the first time, the security leakage factor is employed to evaluate the physicallayer security level, and the safe receiving distance is used to measure the security transmission range. By establishing the wiretap channel model of a coherent OCDMA system, the influences of the extraction location, the extraction ratio, the number of active users, and the length of the code on the physical-layer security are analyzed quantitatively. The physical-layer security and reliability of the coherent OCDMA system are evaluated under the premise of satisfying the legitimate user’s bit error rate and the security leakage factor. The simulation results show that the number of users must be in a certain interval in order to meet the legitimate user’s reliability and security. Furthermore, the security performance of the coherent OCDMA-based wiretap channel can be improved by increasing the code length.
Touch-less palm print biometrics: Novel design and implementation

In this paper, we propose an innovative touch-less palm print recognition system. This project is motivated by the public’s demand for non-invasive and hygienic biometric technology. For various reasons, users are concerned about touching the biometric scanners. Therefore, we propose to use a low-resolution web camera to capture the user’s hand at a distance for recognition. The users do not need to touch any device for their palm print to be acquired. A novel hand tracking and palm print region of interest (ROI) extraction technique are used to track and capture the user’s palm in real-time video stream. The discriminative palm print features are extracted based on a new method that applies local binary pattern (LBP) texture descriptor on the palm print directional gradient responses. Experiments show promising result using the proposed method. Performance can be further improved when a modified probabilistic neural network (PNN) is used for feature matching. Verification can be performed in less than one second in the proposed system.
Cloud-Vision: Real-time face recognition using a mobile-cloudlet-cloud acceleration architecture

Face recognition applications for airport security and surveillance can benefit from the collaborative coupling of mobile and cloud computing as they become widely available today. This paper discusses our work with the design and implementation of face recognition applications using our mobile-cloudlet-cloud architecture named MOCHA and its initial performance results. The challenge lies with how to perform task partitioning from mobile devices to cloud and distribute compute load among cloud servers (cloudlet) to minimize the response time given diverse communication latencies and server compute powers. Our preliminary simulation results show that optimal task partitioning algorithms significantly affect response time with heterogeneous latencies and compute powers. Motivated by these results, we design, implement, and validate the basic functionalities of MOCHA as a proof-of-concept, and develop algorithms that minimize the overall response time for face recognition. Our experimental results demonstrate that high-powered cloudlets are technically feasible and indeed help reduce overall processing time when face recognition applications run on mobile devices using the cloud as the backend servers.
Collision tumor: serous cystadenocarcinoma and dermoid cyst in the same ovary

Collision tumor means the coexistence of two adjacent, but histologically distinct tumors without histologic admixture in the same tissue or organ. Collision tumors involving ovaries are extremely rare. We present a case of 45-year-old parous woman with a left dermoid cyst, with unusual imaging findings, massive ascites and peritoneal carcinomatosis. The patient underwent cytoreductive surgery. The histopathology revealed a collision tumor consisting of an invasive serous cystadenocarcinoma and a dermoid cyst.
The numerical study of thermal flow characteristics for single and dual piezoelectric fans horizontally placed on rectangular channel

The purpose of this study was to use computational fluid dynamics software Fluent, the numerical simulation to discuss the impact pressure within the flow channel device for flat radiator fan heat flow characteristics. Piezoelectric fan was placed in front of the flow channel, and the cold air flow was introduced to the radiator cooling fan, and thus generated vortex fluid in the flow path around the radiator to enhance the mixing of hot and cold fluid. Numerical simulation of various parameters were including the front ends of piezoelectric fan to the front ends of radiator (Lg), the height from piezoelectric fan to the bottom of the rectangular channel (Hw), and the number of fins (n), dual-piezoelectric fans, one was in the same direction and the other was in 180Phase delay. The results showed that the dual-piezoelectric fans installed in the flow channel can effectively enhance the Nusselt value of plate-type radiator. As the height (Hw) of single and dual piezoelectric fans was 15mm, and distance to the front of the radiator (Lg) was 5mm and at dualpiezoelectric fan space (a) was 20mm, the Nusselt value of this installation location had best result. And as Fin number was 10 and 14, the fin number 10 was superior to fin number 14, because thermal performance in the larger space of channel had better thermal performance.