nils-herrmann/clean_scirepeval huggingface dataset:
COBE: A Conjunctive Ontology Browser and Explorer for Visualizing SNOMED CT Fragments

Ontology search interfaces can benefit from the latest information retrieval advances. This paper introduces a Conjunctive Ontology Browser and Explorer (COBE) for searching and exploring SNOMED CT concepts and visualizing SNOMED CT fragments. COBE combines navigational exploration (NE) with direct lookup (DL) as two complementary modes for finding specific SNOMED CT concepts. The NE mode allows a user to interactively and incrementally narrow down (hence conjunctive) the search space by adding word stems, one at a time. Such word stems serve as attribute constraints, or "attributes" in Formal Concept Analysis, which allows the user to navigate to specific SNOMED CT concept clusters. The DL mode represents the common search mechanism by using a collection of key words, as well as concept identifiers. With respect to the DL mode, evaluation against manually created reference standard showed that COBE attains an example-based precision of 0.958, recall of 0.917, and F1 measure of 0.875. With respect to the NE mode, COBE leverages 28,371 concepts in non-lattice fragments to construct the stem cloud. With merely 9.37% of the total SNOMED CT stem cloud, our navigational exploration mode covers 98.97% of the entire concept collection.
Coordination of mobile robots with master-slave architecture for a service application

Swarm robotics is based on the characteristics displayed by the insects and their colony and is applied to solve real world problems utilizing multi-robot systems. Research in this field has demonstrated the ability of such robot systems to assemble, inspect, disperse, aggregate and follow trails. A set of mobile and self-sufficient robots which has very restricted capabilities can form intricate patterns in the environment they inhabit. The simple patterns can be used by the robots to achieve high level tasks. In the proposed work, a set of robots are coordinating to form a specific pattern around the object with step wise linear motion and are programmed to push the object from a source position to the destination in an obstacle free environment. Initially the robots are placed in known positions. ZigBee communication protocol is used for interaction among the robots. A single robot is chosen as a central coordinator and controls the movement of the rest of the robots in the swarm. Master bot decides on the path to be taken and also supplies the slave bots with the coordinates to be reached. The entire scenario has been simulated using the open source tool Player/Stage and the hardware implementation has been done using micromouse chassis set up and the Arduino Uno controller board.
Semantic Descriptions for Logical Content Generation

Human designers understand a range of potential purposes behind objects and configurations when creating content, which are only partially addressed in typical procedural content generation techniques. This paper describes our research into the provision and use of semantic information to guide logical solver-based content generation, in order to feasibly generate meaningful and valid content. Initial results show we can use answer set programming to generate basic roguelike dungeon layouts from a provided semantic knowledge base, and we intend to extend this to generate a range of other content types. By using semantic models as input for a content-agnostic generation system, we hope to provide more domain-general content generation.
Classification of Disturbances and Cyber-Attacks in Power Systems Using Heterogeneous Time-Synchronized Data

Visualization and situational awareness are of vital importance for power systems, as the earlier a power-system event such as a transmission line fault or cyber-attack is identified, the quicker operators can react to avoid unnecessary loss. Accurate time-synchronized data, such as system measurements and device status, provide benefits for system state monitoring. However, the time-domain analysis of such heterogeneous data to extract patterns is difficult due to the existence of transient phenomena in the analyzed measurement waveforms. This paper proposes a sequential pattern mining approach to accurately extract patterns of power-system disturbances and cyber-attacks from heterogeneous time-synchronized data, including synchrophasor measurements, relay logs, and network event monitor logs. The term common path is introduced. A common path is a sequence of critical system states in temporal order that represent individual types of disturbances and cyber-attacks. Common paths are unique signatures for each observed event type. They can be compared to observed system states for classification. In this paper, the process of automatically discovering common paths from labeled data logs is introduced. An included case study uses the common path-mining algorithm to learn common paths from a fusion of heterogeneous synchrophasor data and system logs for three types of disturbances (in terms of faults) and three types of cyber-attacks, which are similar to or mimic faults. The case study demonstrates the algorithm's effectiveness at identifying unique paths for each type of event and the accompanying classifier's ability to accurately discern each type of event.
Late Pleistocene paleohydrography and diatom paleoecology of the central basin of Lake Malawi , Africa

Analysis of sedimentary diatom assemblages (10 to 144 ka) form the basis for a detailed reconstruction of the paleohydrography and diatom paleoecology of Lake Malawi. Lake-level fluctuations on the order of hundreds of meters were inferred from dramatic changes in the fossil and sedimentary archives. Many of the fossil diatom assemblages we observed have no analog in modern Lake Malawi. Cyclotelloid diatom species are a major component of fossil assemblages prior to 35 ka, but are not found in significant abundances in the modern diatom communities in Lake Malawi. Salinityand alkalinity-tolerant plankton has not been reported in the modern lake system, but frequently dominant fossil diatom assemblages prior to 85 ka. Large stephanodiscoid species that often dominate the plankton today are rarely present in the fossil record prior to 31 ka. Similarly, prior to 31 ka, common central-basin aulacoseiroid species are replaced by species found in the shallow, well-mixed southern basin. Surprisingly, tychoplankton and periphyton were not common throughout prolonged lowstands, but tended to increase in relative abundance during periods of inferred deeper-lake environments. A high-resolution lake level reconstruction was generated by a principle component analysis of fossil diatom and wetsieved fossil and mineralogical residue records. Prior to 70 ka, fossil assemblages suggest that the central basin was periodically a much shallower, more saline and/or alkaline, well-mixed environment. The most significant reconstructed lowstands are ~ 600 m below the modern lake level and span thousands of years. These conditions contrast starkly with the deep, dilute, dysaerobic environments of the modern central basin. After 70 ka, our reconstruction indicates sustained deeper-water environments were common, marked by a few brief, but significant, lowstands. High amplitude lake-level fluctuations appear related to changes in insolation. Seismic reflection data and additional sediment cores recovered from the northern basin of Lake Malawi provide evidence that supports our reconstruction.
High-speed I/O jitter modeling methodologies

As data rate pushes to 10Gbps and beyond, timing jitter has become one of the major factors that limit the link performance. Thorough understanding of the link jitter characteristics and accurate modeling of their impact on link performance is a must even at early design stage. This paper discusses the characteristics of timing jitter in typical I/O interfaces and overviews various jitter modeling methods proposed in the literature during the past few years. Recommendations are given based on the characteristics of timing jitter and their locations.
Development and Simulation of a Compact Picosecond Pulse Generator Based on Avalanche Transistorized Marx Circuit and Microstrip Transmission Theory

The new biological effect of picosecond pulsed electric fields (psPEFs) has elicited the interest of researchers. A pulse generator based on an avalanche transistorized Marx circuit has been proposed. However, the problem of reflection in the transmission of the generated picosecond pulse based on this circuit has not received much attention and remains unresolved. In this paper, a compact picosecond pulse generator based on microstrip transmission theory was developed. A partial matching model based on microstrip transmission line theory was also proposed to eliminate reflection, and a series inductor was utilized to optimize pulse waveform. Through simulation studies and preliminary experimental tests, a pulse optimized with 1015 V amplitude, 620-ps width, and 10-kHz high stability repetition rate was generated. This pulse generator can be used with microelectrodes in cell experiments to explore the biological effect mechanism of psPEF.
A Spatiotemporal Ensemble Approach to Rainfall Forecasting

This paper proposes a new ensemble method built upon a deep neural network architecture. We use a set of meteorological models for rain forecast as base predictors. Each meteorological model is provided to a channel of the network and, through a convolution operator, the prediction models are weighted and combined. As a result, the predicted value produced by the ensemble depends on both the spatial neighborhood and the temporal pattern. We conduct some computational experiments in order to compare our approach to other ensemble methods widely used for daily rainfall prediction. The results show that our architecture based on ConvLSTM networks is a strong candidate to solve the problem of combining predictions in a spatiotemporal context.
Don't Just Swipe Left, Tell Me Why: Enhancing Gesture-based Feedback with Reason Bins

Despite several advances in information retrieval systems and user interfaces, the specification of queries over text-based document collections remains a challenging problem. Query specification with keywords is a popular solution. However, given the widespread adoption of gesture-driven interfaces such as multitouch technologies in smartphones and tablets, the lack of a physical keyboard makes query specification with keywords inconvenient. We present BinGO, a novel gestural approach to querying text databases that allows users to refine their queries using a swipe gesture to either "like" or "dislike" candidate documents as well as express the reasons they like or dislike a document by swiping through automatically generated "reason bins". Such reasons refine a user's query with additional keywords. We present an online and efficient bin generation algorithm that presents reason bins at gesture articulation. We motivate and describe BinGo's unique interface design choices. Based on our analysis and user studies, we demonstrate that query specification by swiping through reason bins is easy and expressive.
Approximate dynamic programming with a fuzzy parameterization

Dynamic programming (DP) is a powerful paradigm for general, nonlinear optimal control. Computing exact DP solutions is in general only possible when the process states and the control actions take values in a small discrete set. In practice, it is necessary to approximate the solutions. Therefore, we propose an algorithm for approximate DP that relies on a fuzzy partition of the state space, and on a discretization of the action space. This fuzzy Q-iteration algorithmworks for deterministic processes, under the discounted return criterion. We prove that fuzzy Q -iteration asymptotically converges to a solution that lies within a bound of the optimal solution. A bound on the suboptimality of the solution obtained in a finite number of iterations is also derived. Under continuity assumptions on the dynamics and on the reward function, we show that fuzzyQ -iteration is consistent, i.e., that it asymptotically obtains the optimal solution as the approximation accuracy increases. These properties hold both when the parameters of the approximator are updated in a synchronous fashion, and when they are updated asynchronously. The asynchronous algorithm is proven to converge at least as fast as the synchronous one. The performance of fuzzy Q iteration is illustrated in a two-link manipulator control problem.
Rapid Eye Movement Sleep Behavior Disorder and Neurodegenerative Disease.

The dream enactment of rapid eye movement sleep behavior disorder (RBD) is often the first indication of an impending α-synuclein disorder, such as Parkinson disease, multiple-system atrophy, or dementia with Lewy bodies.



To provide an overview of RBD from the onset of dream enactment through the emergence of a parkinsonian disorder.



Peer-reviewed articles, including case reports, case series, retrospective reviews, prospective randomized trials, and basic science investigations, were identified in a PubMed search of articles on RBD from January 1, 1986, through July 31, 2014.



Under normal conditions, vivid dream mentation combined with skeletal muscle paralysis characterizes rapid eye movement sleep. In RBD, α-synuclein abnormalities in the brainstem disinhibit rapid eye movement sleep motor activity, leading to dream enactment. The behaviors of RBD are often theatrical, with complexity, aggression, and violence; fighting and fleeing actions can be injurious to patients as well as bed partners. Rapid eye movement sleep behavior disorder is distinguished from other parasomnias by clinical features and the demonstration of rapid eye movement sleep without atonia on polysomnography. Consistent with early neurodegeneration, patients with RBD demonstrate subtle motor, cognitive, and autonomic impairments. Approximately 50% of patients with spontaneous RBD will convert to a parkinsonian disorder within a decade. Ultimately, nearly all (81%-90%) patients with RBD develop a neurodegenerative disorder. Among patients with Parkinson disease, RBD predicts a non-tremor-predominant subtype, gait freezing, and an aggressive clinical course. The most commonly cited RBD treatments include low-dose clonazepam or high-dose melatonin taken orally at bedtime.



Treatment of RBD can prevent injury to patients and bed partners. Because RBD is a prodromal syndrome of Parkinson disease (or related disorder), it represents a unique opportunity for developing and testing disease-modifying therapies.
Child sexual abuse and subsequent psychopathology: results from the National Comorbidity Survey.

This study examined the relationship between child sexual abuse (CSA) and subsequent onset of psychiatric disorders, accounting for other childhood adversities, CSA type, and chronicity of the abuse.



Retrospective reports of CSA, other adversities, and psychiatric disorders were obtained by the National Comorbidity Survey, a nationally representative survey of the United States (n = 5877). Reports were analyzed by multivariate methods.



CSA was reported by 13.5% of women and 2.5% of men. When other childhood adversities were controlled for, significant associations were found between CSA and subsequent onset of 14 mood, anxiety, and substance use disorders among women and 5 among men. In a subsample of respondents reporting no other adversities, odds of depression and substance problems associated with CSA were higher. Among women, rape (vs molestation), knowing the perpetrator (vs strangers), and chronicity of CSA (vs isolated incidents) were associated with higher odds of some disorders.



CSA usually occurs as part of a larger syndrome of childhood adversities. Nonetheless, CSA, whether alone or in a larger adversity cluster, is associated with substantial increased risk of subsequent psychopathology.
Anticipatory Functions, Digital-Analog Forms and Biosemiotics: Integrating the Tools to Model Information and Normativity in Autonomous Biological Agents

We argue that living systems process information such that functionality emerges in them on a continuous basis. We then provide a framework that can explain and model the normativity of biological functionality. In addition we offer an explanation of the anticipatory nature of functionality within our overall approach. We adopt a Peircean approach to Biosemiotics, and a dynamical approach to Digital-Analog relations and to the interplay between different levels of functionality in autonomous systems, taking an integrative approach. We then apply the underlying biosemiotic logic to a particular biological system, giving a model of the B-Cell Receptor signaling system, in order to demonstrate how biosemiotic concepts can be used to build an account of biological information and functionality. Next we show how this framework can be used to explain and model more complex aspects of biological normativity, for example, how cross-talk between different signaling pathways can be avoided. Overall, we describe an integrated theoretical framework for the emergence of normative functions and, consequently, for the way information is transduced across several interconnected organizational levels in an autonomous system, and we demonstrate how this can be applied in real biological phenomena. Our aim is to open the way towards realistic tools for the modeling of information and normativity in autonomous biological agents.
Association between body condition and survival in dogs with acquired chronic kidney disease.

Obesity in people with chronic kidney disease (CKD) is associated with longer survival. The purpose of this study was to determine if a relationship exists between body condition score (BCS) and survival in dogs with CKD.



Higher BCS is a predictor of prolonged survival in dogs with CKD.



One hundred dogs were diagnosed with CKD (International Renal Interest Society stages II, III or IV) between 2008 and 2009.



Retrospective case review. Data regarding initial body weight and BCS, clinicopathologic values and treatments were collected from medical records and compared with survival times.



For dogs with BCS recorded (n = 72), 13 were underweight (BCS = 1-3; 18%), 49 were moderate (BCS = 4-6; 68%), and 10 were overweight (BCS = 7-9; 14%). For dogs with at least 2 body weights recorded (n = 77), 21 gained weight, 47 lost weight, and 9 had no change in weight. Dogs classified as underweight at the time of diagnosis (median survival = 25 days) had a significantly shorter survival time compared to that in both moderate (median survival = 190 days; P < .001) and overweight dogs (median survival = 365 days; P < .001). There was no significant difference in survival between moderate and overweight dogs (P = .95).



Higher BCS at the time of diagnosis was significantly associated with improved survival. Further research on the effects of body composition could enhance the management of dogs with CKD.
Towards Adversarial Retinal Image Synthesis

Synthesizing images of the eye fundus is a challenging task that has been previously approached by formulating complex models of the anatomy of the eye. New images can then be generated by sampling a suitable parameter space. In this work, we propose a method that learns to synthesize eye fundus images directly from data. For that, we pair true eye fundus images with their respective vessel trees, by means of a vessel segmentation technique. These pairs are then used to learn a mapping from a binary vessel tree to a new retinal image. For this purpose, we use a recent image-to-image translation technique, based on the idea of adversarial learning. Experimental results show that the original and the generated images are visually different in terms of their global appearance, in spite of sharing the same vessel tree. Additionally, a quantitative quality analysis of the synthetic retinal images confirms that the produced images retain a high proportion of the true image set quality.
Mechanisms of the Liebermann-Burchard and Zak color reactions for cholesterol.

Correlation of SO2 and Fe2+ measurements with new spectral data indicates that the LiebermannBurchard (L-B) and Zak color reactions for cholesterol have similar oxidative mechanisms, each yielding, as oxidation products, a homologous series of conjugated cholestapolyenes. These studies further suggest that the colored species observed in these two systems are enylic carbonium ions formed by protonation of the parent polyenes. Thus, the red (Amax, 563 nm) product typically measured in the Zak reaction is evidently a cholestatetraenylic cation, and the blue-green product in the L-B reaction (Amax, near 620 nm) is evidently the pentaenylic cation. The effects of rate of carbonium ion formation and sulfuric acid concentration on sensitivity and color stability are discussed. A solvent extraction procedure Is described for specifically converting cholesterol to 3,5-cholestadiene. Incorporating this step into the typical L-B method can increase the L-B sensitivity for cholesterol by several fold.
Dynamic modeling and LabVIEW simulation of a Photovoltaic Thermal Collector

Photovoltaic Thermal Collector (PVT) is a hybrid generator which converts solar radiation into useful electric and thermal energies simultaneously. This paper gathers all PVT sub-models in order to form a unique dynamic model that reveals PVT parameters interactions. As PVT is a multi-input/output/output system, a state space model based on energy balance equations is developed in order to analyze and assess the parameters behaviors and correlations of PVT constituents. The model simulation is performed using LabVIEW Software. The simulation shows the impact of the fluid flow rate variation on the collector efficiencies (thermal and electrical).
CFD Analysis of Axial Flow Fans with Skewed Blades

The present work deals with axial flow fans that are primarily used for providing the required airflow for heat and mass transfer operations in the various industrial equipment and processes. It can be used for cooling, ventilation or for drying purposes. These include cooling towers for air-conditioning and ventilation, humidifiers in textile mills, air heat exchangers for various chemical processes, ventilation and exhaust as in mining industry. In consideration of all these application various efforts in the past have been done to evaluate the performance of axial flow fans. In the present work computational investigation of axial flow fan with Forward and Backward Skewed blade profile carried out using CFD software FLUENT 6.3 and the results are compared with the experimental results from literature. The CFD analysis is done by modeling the axial fan in GAMBIT 2.2 and using Standard k-є model with the Standard wall function for modeling turbulence. The analysis is carried out with blade stagger angle of 25, Skewed angle of 8.3 and at 1440 rpm and 1800 rpm. The aim is to analyze fan with these two types of profiles and compare the static pressure, flow rate, flow coefficient and pressure coefficient generated by fan and hence finding the efficiency of an axial flow fan. After carrying out computational investigation it is found that computational results holds good agreement with the experimental results taken from the literature.  Axial flow fan, skewed angle, flow rate, flow coefficient, pressure coefficient, CFD.