nils-herrmann/clean_scirepeval huggingface dataset:
A Channel State Information Based Localization using One dimensional Convolutional Neural Networks
Venue: 2020 IEEE International Conference on Consumer Electronics Asia (ICCE Asia)
Year: 2020

We propose the novel localization method based on channel state information (CSI) The proposed method estimates range without the channel propagation model estimation by using the one dimensional convolutional neural networks (1D CNN) The 1D CNN converts CSI measurements directly into the estimated distance, and then the location estimation is performed by the leastsquares solution. The simulation results show that the proposed method is accurate and robust to the variation in the channel propagation model.
Solubility and Fractionation of Different Metals in Fly Ash of Powder River Basin Coal
Year: 2011

Coal is one of the major sources of fuel for electricity production and will continue to be used for many more decades. Thus, it is important to study the effects of disposal of coal burning byproducts including fly ash into the environment. In this study, the solubility of cations and anions from the fly ash in water is discussed. Also, the fractionation of different metals from fly ash in water is studied to understand which fraction of the metals would likely be mobilized. The results from these studies suggested that the metals in the fly ash are bound mostly to carbonate, organic, and residual fractions. Also, when water solubility data are modeled with a geochemical model (Visual MINTEQ) the saturation index predictions suggested that brucite (Mg(OH)2) and calcite (CaCO3) could potentially precipitate and mineralize the atmospheric CO2. Such mineralization process could potentially reduce the leaching of toxic metals from fly ash. Results from this study will be helpful in understanding the fate of different metals from fly ash land disposal environments.
Blockchain Powered Policy Enforcement for Ensuring Flight Compliance in Drone Based Service Systems
Venue: IEEE Network
Year: 2021

Drones, or unmanned aerial vehicles, can be used for commercial services such as short dis tance delivery. In order to ensure quality services, multiple drone based delivery service providers can be employed in delivery service systems. In this article, we address two very important and unexplored challenges of employing drones in delivery services. First, involving multiple drones from different service providers elevates the chance of collision during flights. Second, drones may hamper the privacy of citizens by unauthorized access to private and restricted areas. In order to solve the aforementioned issues, we propose a blockchain based policy enforcement mechanism in the drone based delivery service systems. At first, the mechanism will set policies to establish pre allocated flight paths for different drones at different times to avoid collisions, and ensure the privacy of citizens by restricting their access to unauthorized areas. Later, the blockchain will enforce the policies to monitor compliance of the drone flights and identify non compliant drone services to penalize corresponding service providers. We simulate a virtual drone based delivery system with the Ethereum blockchain platform and examine the performance and feasibility of our proposed mechanism.
Legitimate to whom? The challenge of audience diversity and new venture legitimacy
Year: 2017

We examine how entrepreneurs manage new venture legitimacy judgments across diverse audiences, so as to appear legitimate to the different audience groups that provide much needed financial resources for venture survival and growth. To do so, we first identify and describe the different mechanisms by which entrepreneurs can establish new venture legitimacy across diverse audiences. We then account for the institutional logics that characterize different new venture audience groups, and use this as a basis for uncovering how and why the legitimacy criteria for a new technology venture may vary depending on the audience. We then consider how leaders of entrepreneurial ventures may use framing as a means to manage legitimacy judgments across various audiences, and thereby improve their chances of accessing critical financial resources for venture survival and growth.
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
Venue: ESEC/SIGSOFT FSE
Year: 2020

Formal methods use SMT solvers extensively for deciding formula satisfiability, for instance, in software verification, systematic test generation, and program synthesis. However, due to their complex implementations, solvers may contain critical bugs that lead to unsound results. Given the wide applicability of solvers in software reliability, relying on such unsound results may have detrimental consequences. In this paper, we present STORM, a novel blackbox mutational fuzzing technique for detecting critical bugs in SMT solvers. We run our fuzzer on seven mature solvers and find 29 previously unknown critical bugs. STORM is already being used in testing new features of popular solvers before deployment.
Design and Implementation of a VoIP Broadcasting Service over Embedded Systems in a Heterogeneous Network Environment
Venue: TheScientificWorldJournal
Year: 2014

As the digitization is integrated into daily life, media including video and audio are heavily transferred over the Internet nowadays. Voice over Internet Protocol (VoIP) the most popular and mature technology, becomes the focus attracting many researches and investments. However, most of the existing studies focused on a one to one communication model in a homogeneous network, instead of one to many broadcasting model among diverse embedded devices in a heterogeneous network. In this paper, we present the implementation of a VoIP broadcasting service on the open source Linphone in a heterogeneous network environment, including WiFi, 3G, and LAN networks. The proposed system featuring VoIP broadcasting over heterogeneous networks can be integrated with heterogeneous agile devices, such as embedded devices or mobile phones. VoIP broadcasting over heterogeneous networks can be integrated into modern smartphones or other embedded devices; thus when users run in a traditional AM/FM signal unreachable area, they still can receive the broadcast voice through the IP network. Also, comprehensive evaluations are conducted to verify the effectiveness of the proposed implementation.
Novel viral genomes identified from six metagenomes reveal wide distribution of archaeal viruses and high viral diversity in terrestrial hot springs.
Venue: Environmental microbiology
Year: 2016

Limited by culture dependent methods the number of viruses identified from thermophilic Archaea and Bacteria is still very small. In this study we retrieved viral sequences from six hot spring metagenomes isolated worldwide, revealing a wide distribution of four archaeal viral families, Ampullaviridae, Bicaudaviridae, Lipothrixviridae and Rudiviridae. Importantly, we identified 10 complete or near complete viral genomes allowing, for the first time, an assessment of genome conservation and evolution of the Ampullaviridae family as well as Sulfolobus Monocaudavirus 1 (SMV1) related viruses. Among the novel genomes, one belongs to a putative thermophilic virus infecting the bacterium Hydrogenobaculum, for which no virus has been reported in the literature. Moreover, a high viral diversity was observed in the metagenomes, especially among the Lipothrixviridae, as indicated by the large number of unique contigs and the lack of a completely assembled genome for this family. This is further supported by the large number of novel genes in the complete and partial genomes showing no sequence similarities to public databases. CRISPR analysis revealed hundreds of novel CRISPR loci and thousands of novel CRISPR spacers from each metagenome, reinforcing the notion of high viral diversity in the thermal environment.
Does supraspinatus initiate shoulder abduction?
Venue: Journal of electromyography and kinesiology official journal of the International Society of Electrophysiological Kinesiology
Year: 2013

It is commonly stated that supraspinatus initiates abduction; however, there is no direct evidence to support this claim. Therefore, the aims of the present study were to determine whether supraspinatus initiates shoulder abduction by activating prior to movement and significantly earlier than other shoulder muscles and to determine if load or plane of movement influenced the recruitment timing of supraspinatus.  Electromyographic recordings were taken from seven shoulder muscles of fourteen volunteers during shoulder abduction in the coronal and scapular planes and a plane 30deg anterior to the scapular plane, at 25% 50% and 75% of maximum load. Initial activation timing of a muscle was determined as the time at which the average activation (over a 25 ms moving window) was greater than three standard deviations above baseline measures.  All muscles tested were activated prior to movement onset. Subscapularis was activated significantly later than supraspinatus, infraspinatus, deltoid and upper trapezius, while supraspinatus, infraspinatus, upper trapezius, lower trapezius, serratus anterior and deltoid all had similar initial activation times. The effects of load or plane of movement were not significant.  Supraspinatus is recruited prior to movement of the humerus into abduction but not earlier than many other shoulder muscles, including infraspinatus, deltoid and axioscapular muscles. The common statement that supraspinatus initiates abduction is therefore, misleading.
School health promotion and teacher professional identity
Year: 2016

Health and education are inextricably linked. Health promotion sits somewhat uncomfortably within schools, often remaining a marginal aspect of teachers' work. The purpose of this paper is to examine the compatibility of an HP initiative with teacher professional identity.  A qualitative research design was adopted consisting of semi structured interviews. In total, 49 teachers in two school districts in the Auvergne region in central France were interviewed in depth post having completed three years' involvement in a health promoting schools initiative called "Learning to Live Better Together" "Apprendre a Mieux Vivre Ensemble"  Teachers in the study had a broad conceptualisation of their role in health promotion. In keeping with international trends, there was more success at classroom than at whole school level. While generally teachers can be reluctant to engage with health promotion, the teachers in this study identified having little difficulty in understanding their professional identity as health promoters and identified strong compatibility with the HP initiative.  Teachers generally viewed professional development in health promotion in a positive light when its underlying values were commensurate with their own and when the context was seen as compatible with the school mission. The promotion of health in schools needs to be sensitive to professional identity and be tailored specifically to blend more successfully with current teacher identity and practice.  The promotion of health in schools needs to be sensitive to professional identity and be tailored specifically to blend more successfully with current teacher identity and practice.
ChIPseeker: an R/Bioconductor package for ChIP peak annotation, comparison and visualization
Venue: Bioinform.
Year: 2015

UNLABELLED ChIPseeker is an R package for annotating ChIP seq data analysis. It supports annotating ChIP peaks and provides functions to visualize ChIP peaks coverage over chromosomes and profiles of peaks binding to TSS regions. Comparison of ChIP peak profiles and annotation are also supported. Moreover, it supports evaluating significant overlap among ChIP seq datasets. Currently, ChIPseeker contains 15 000 bed file information from GEO database. These datasets can be downloaded and compare with user's own data to explore significant overlap datasets for inferring co regulation or transcription factor complex for further investigation. AVAILABILITY AND IMPLEMENTATION ChIPseeker is released under Artistic 2.0 License. The source code and documents are freely available through Bioconductor (http:/www.bioconductor.org/packages/release/bioc/html/ChIPseeker.html)
Administration of metrnl delays the onset of diabetes in non obese diabetic mice.
Venue: Endocrine journal
Year: 2020

Type 1 diabetes is a chronic metabolic disease characterized by hyperglycemia due to progressive destruction of pancreatic beta cells via autoimmune attack. Meteorin like protein (metrnl) is a secreted protein homologous to the neurotrophin metrn and it is induced after exercise in the skeletal muscle. In our paper published previously, we showed that the serum level of metrnl was significantly correlated with the lipid profile, glucose profile and insulin resistance. In this experiment, we asked whether intravenous administration of metrnl could delay the onset of diabetes in non obese diabetic (NOD) mice. 4 week old NOD mice were injected intravenously with metrnl. Blood glucose levels were measured weekly. Insulitis scoring, intraperitoneal glucose tolerance test, adoptive T cell transfer, flow cytometry analysis and real time PCR were performed to investigate the underlying mechanism. The results showed that intravenous administration of metrnl delayed the onset of diabetes in NOD mice. Histology of pancreas showed a decreased infiltration of leukocytes, which was in association with augmentation of regulatory T cells, suppression of autoreactive T cells and altered cytokine secretion. To sum up, the present study showed that intravenous administration of metrnl ameliorated islet lymphocyte infiltration and modulated immune cell responses, raising the possibility that it might be beneficial in improving islet function clinically.
Genome wide detection and characterization of positive selection in human populations
Venue: Nature
Year: 2007

With the advent of dense maps of human genetic variation, it is now possible to detect positive natural selection across the human genome. Here we report an analysis of over 3 million polymorphisms from the International HapMap Project Phase 2 (HapMap2) We used 'long range haplotype' methods, which were developed to identify alleles segregating in a population that have undergone recent selection, and we also developed new methods that are based on cross population comparisons to discover alleles that have swept to near fixation within a population. The analysis reveals more than 300 strong candidate regions. Focusing on the strongest 22 regions, we develop a heuristic for scrutinizing these regions to identify candidate targets of selection. In a complementary analysis, we identify 26 non synonymous, coding, single nucleotide polymorphisms showing regional evidence of positive selection. Examination of these candidates highlights three cases in which two genes in a common biological process have apparently undergone positive selection in the same population:LARGE and DMD, both related to infection by the Lassa virus, in West Africa;SLC24A5 and SLC45A2, both involved in skin pigmentation, in Europe; and EDAR and EDA2R, both involved in development of hair follicles, in Asia.
In Situ Regulated Dopamine Transporter Trafficking: There's No Place Like Home
Venue: Neurochemical Research
Year: 2020

Dopamine (DA) is critical for motivation, reward, movement initiation, and learning. Mechanisms that control DA signaling have a profound impact on these important behaviors, and additionally play a role in DA related neuropathologies. The presynaptic SLC6 DA transporter (DAT) limits extracellular DA levels by clearing released DA, and is potently inhibited by addictive and therapeutic psychostimulants. Decades of evidence support that the DAT is subject to acute regulation by a number of signaling pathways, and that endocytic trafficking strongly regulates DAT availability and function. DAT trafficking studies have been performed in a variety of model systems, including both in vitro and ex vivo preparations. In this review, we focus on the breadth of DAT trafficking studies, with specific attention to, and comparison of, how context may influence DAT's response to different stimuli. In particular, this overview highlights that stimulated DAT trafficking not only differs between in vitro and ex vivo environments, but also is influenced by both sex and anatomical subregions.
A threat to loyalty: Fear of missing out (FOMO) leads to reluctance to repeat current experiences
Venue: PloS one
Year: 2020

We investigate a popular but underresearched concept, the fear of missing out (FOMO) on desirable experiences of which an individual is aware, but in which they do not partake. Through laboratory and field studies, we establish FOMO's pervasiveness as a psychological phenomenon, present real life contexts wherein FOMO may be experienced, and explore its behavioral consequences. Specifically, we show that FOMO poses a threat to loyalty by decreasing one's intentions to repeat a current experience and may decrease the valuation of the current experience.
Opportunities and Challenges of Wireless Sensor Networks in Smart Grid
Venue: IEEE Transactions on Industrial Electronics
Year: 2010

The collaborative and low cost nature of wireless sensor networks (WSNs) brings significant advantages over traditional communication technologies used in today's electric power systems. Recently, WSNs have been widely recognized as a promising technology that can enhance various aspects of today's electric power systems, including generation, delivery, and utilization, making them a vital component of the next generation electric power system, the smart grid. However, harsh and complex electric power system environments pose great challenges in the reliability of WSN communications in smart grid applications. This paper starts with an overview of the application of WSNs for electric power systems along with their opportunities and challenges and opens up future work in many unexploited research areas in diverse smart grid applications. Then, it presents a comprehensive experimental study on the statistical characterization of the wireless channel in different electric power system environments, including a 500 kV substation, an industrial power control room, and an underground network transformer vault. Field tests have been performed on IEEE 802.15.4 compliant wireless sensor nodes in real world power delivery and distribution systems to measure background noise, channel characteristics, and attenuation in the 2.4 GHz frequency band. Overall, the empirical measurements and experimental results provide valuable insights about IEEE 802.15.4 compliant sensor network platforms and guide design decisions and tradeoffs for WSN based smart grid applications.
Evaluation of Tiger Conservation in India: the use of comparative effectiveness research
Year: 2010

Tigers, the largest of the felids, are now a globally threatened species with only approximately 3000 wild tigers surviving. India contains about 60% or 2000 of the animals, yet despite aggressive conservation efforts the number of tigers is declining. The causes of the decline are prey depletion, habitat destruction and poaching. Over the past 30 years of tiger conservation efforts in the various protected areas within India, success has been incredibly variable, with few documented cases of parks were the numbers of tigers have risen, but many more cases of parks where tiger populations have plummeted. There are very few scientific papers that assess the effectiveness of conservation efforts and when it is considered, implementation rather than outcome is evaluated. Recent literature suggests that evaluating outcomes in more predictive of conservation success. This thesis attempts to use comparative research effectiveness techniques, a methodology used to evaluate medical therapy effectiveness, to evaluate tiger conservation in India. Various tiger conservation experts were polled and a list of 7 successful protected areas Kanha, Corbett, Pench, Kaziranga, Bhadra, Bandipur, and Nagarhole and 5 failed protected areas Palamau, Dampa, Panna, Sariska and Namdapha were generated. A list of variables that could impact outcome at these protected areas was generated and included biologic (tiger density, prey density, area of the reserve, the presence/absence of a biological corridor) geographical (the Indian State the reserve is in eco region of the reserve) economic (number of tourists, revenue from tourism, forestry, funding per sq km) and socio political factors (human population data, presence/absence of a "conservation hero" Park Management Effectiveness Rating, poaching) The factors that were positively correlated with success included tiger density and the presence of a biological corridor. Population density and level of funding did not correlate with success or failure. Many of the successful reserves were in areas of high human population density and many of the failures were in areas of low human population density. Although not statistically correlated, the presence of a "conservation hero" was seen in 5 of the 7 successes but in only 1 of the failures. The lack of correlation between many of the independent variables evaluated and success or failure of the tiger reserves has revealed that tiger conservation can be successful despite factors such as high human population densities and only average funding to the reserve. Comparative effectiveness research techniques can be used to evaluate conservation outcomes.
Model based Path Integral Stochastic Control: A Bayesian Nonparametric Approach
Venue: ArXiv
Year: 2014

Over the last few years, sampling based stochastic optimal control (SOC) frameworks have shown impressive performances in reinforcement learning (RL) with applications in robotics. However, such approaches require a large amount of samples from many interactions with the physical systems. To improve learning efficiency, we present a novel model based and data driven SOC framework based on path integral formulation and Gaussian processes (GPs) The proposed approach learns explicit and time varying optimal controls autonomously from limited sampled data. Based on this framework, we propose an iterative control scheme with improved applicability in higher dimensional and more complex control tasks. We demonstrate the effectiveness and efficiency of the proposed framework using two nontrivial examples. Compared to state of the art RL methods, the proposed framework features superior control learning efficiency.