nils-herrmann/clean_scirepeval huggingface dataset:
SCIP: solving constraint integer programs
Venue: Math. Program. Comput.
Year: 2009

Constraint integer programming (CIP) is a novel paradigm which integrates constraint programming (CP) mixed integer programming (MIP) and satisfiability (SAT) modeling and solving techniques. In this paper we discuss the software framework and solver SCIP (Solving Constraint Integer Programs) which is free for academic and non commercial use and can be downloaded in source code. This paper gives an overview of the main design concepts of SCIP and how it can be used to solve constraint integer programs. To illustrate the performance and flexibility of SCIP, we apply it to two different problem classes. First, we consider mixed integer programming and show by computational experiments that SCIP is almost competitive to specialized commercial MIP solvers, even though SCIP supports the more general constraint integer programming paradigm. We develop new ingredients that improve current MIP solving technology. As a second application, we employ SCIP to solve chip design verification problems as they arise in the logic design of integrated circuits. This application goes far beyond traditional MIP solving, as it includes several highly non linear constraints, which can be handled nicely within the constraint integer programming framework. We show anecdotally how the different solving techniques from MIP, CP, and SAT work together inside SCIP to deal with such constraint classes. Finally, experimental results show that our approach outperforms current state of the art techniques for proving the validity of properties on circuits containing arithmetic.
Setting the Ideal Method
Year: 2017

Designing a clinical study involves narrowing a topic of interest into a single focused research question, with particular attention paid to the methods used to answer the research question from a cost, viability and overall effectiveness standpoint. Once we have a fairly well defined research question, we need to consider the best strategy to address these questions. Further considerations in clinical research, such as the clinical setting, study design, selection criteria, data collection and analysis, are influenced by the disease characteristics, prevalence, time availability, expertise, research grants and several other factors
Der Einsatz von Influencer Marketing auf Instagram zur Verkaufsforderung in der Modebranche am Beispiel der Marke Kapten Son Akzeptanz und Wahrnehmung von Influencer Marketing und dessen Einfluss auf das Kaufverhalten uber den Verkmarktungskanal Instagram
Year: 2019

The impact of social influencers in the fashion industry is rising. The new influ encers have become famous via social media and offer interesting new opportuni ties for media based customer interactions. A various number of brands already include influencer marketing in their communication strategy. In this bachelor thesis, the influencer is examined for his influence in fashion trends and consumer buying decisions. And accordingly, the acceptance and perception of influencer marketing via the marketing channel Instagram. First, the theory of social media is dealt with, with a specific focus on Instagram and influencer marketing as a com munication tool. Due to the relevance of the topic, the influences and impact of the digital influencers still need to be analyzed with the help of a quantitative sur vey. This method has been chosen to provide better insight into the customer seg ment and how it is perceived. The key findings of the following survey are that In stagram users are aware of their contributions. Well designed campaigns are con sidered credible and especially among the younger generations, there is an in creasing number of purchases of the advertised products. As a result, Instagram is suitable as an advertising platform in the fashion industry and therefore the com mercial content is (still) accepted.
Hybrid life cycle inventory methods A review
Year: 2018

A variety of methods can be used to compile a life cycle inventory (LCI) as part of a life cycle assessment (LCA) study. Hybrid LCI methods attempt to address the limitations inherent in more traditional process and input output (IO) LCI methods. This paper provides an overview of the different hybrid LCI methods currently in use in an attempt to provide greater clarity around how each method is applied and their specific strengths and weaknesses. A search of publications quoting the use of hybrid LCI was undertaken for the period from 2010 to 2015, identifying 97 peer reviewed publications referencing the use of a hybrid LCI. In over one third of the literature analysed, authors only refer to their analysis as a hybrid LCI, without naming the actual method used, making it difficult to fully understand which method was used and any potential limitations. Based on the way in which the various hybrid methods are applied and their existing use, the authors propose a set of clear definitions for existing hybrid LCI methods. This assists in creating a better understanding of, and confidence in, applying hybrid LCI methods amongst LCA practitioners, potentially leading to a greater uptake of hybrid LCI.
Enhancement of educational services by using the internet of things applications for talent and intelligent schools
Year: 2020

This study deals with the issue of improving educational services for schools of talent and intelligence. The availability of devices, equipment, sensors, and the Internet of things applications led to a direct contribution to improve the level of student education. In addition, the students can complete the tasks and homework easily. The talented and intelligent students are more efficient, skilled, and active. In addition, they are Deeping to understand virtual reality and coexist with it with awareness and consciousness of the development period of information, the spread of equipment, and smart devices. Educational entities achieved their goals by graduating intelligent students who can join the labor market and contribute to the development of the country. In this research, the important features of the Internet of things that are available in the educational environment were studied, and how to get the benefit from them in developing educational services and scientific research service. The Developing of artificial intelligence capabilities, building the right management strategies and creating comprehensive (security, health, and economic) databases that can be relied upon with complete reliability.
Efficacy of Russian Current on Pain, Strength of Quadriceps and Function in Subjects with Primary Knee Osteoarthritis: A Randomized Clinical Trial
Year: 2019

The purpose of this study was to find out the effect of Russian current on pain, strength of quadriceps and function in subjects with primary knee osteoarthritis.  31 subjects with primary knee osteoarthritis were included and randomly assigned in two groups. Group A (n=16) received Russian current along with supervised exercises, Group B (n=15) received supervised exercises only, for 5 session per week for 2 consecutive weeks. Pain intensity was measured using numeric pain rating scale (NPRS) Isometric strength of quadriceps muscle (SOQ) was measured using Handheld Dynamometer and function was assessed using Lysholm knee scoring scale (LYSH) These outcome parameters were measured at pre intervention, postintervention and at the end of 4 weeks of follow up.  Baseline data were homogenous (p>0.05) for age, gender, BMI, NPRS, SOQ LYSH score. Within group analysis shown statistically significant (p<0.05) improvement in both the Groups for all parameters after 2 4 weeks of treatment. However between group analysis shown statistically insignificant difference.  The results of this study suggested that supervised exercises with Russian current and supervised exercises alone were effective management strategies for primary knee osteoarthritis in relieving pain, improving strength of quadriceps and function, however no added effect of Russian
MANAJEMEN KONFLIK DALAM PENERIMAAN KEBIJAKAN DAN KUNCI MENCIPTAKAN IKLIM KERJA YANG HARMONIS
Year: 2020

Kebijakan baru pada suatu perusahaan dapat menimbulkan berbagai konflik baik itu secara vertikal maupun horizontal. Konflik tersebut menjadi wajar karena setiap manusia memiliki sifat, sikap, pikiran, dan sudut pandangnya tersendiri terhadap suatu hal. Adanya konflik dapat diminimalisir keberadaannya dengan memperhatikan suatu peraturan terhadap masalah tersebut atau disebut manajemen konflik. Pada lingkup terkecil seperti lingkup ruang kerja pada klinik dapat diciptakan beberapa hal untuk memanajemen suatu masalah. Tujuan penelitian adalah untuk mengetahui bagaimana Manajemen Konflik yang dipilih oleh Klinik Jalur Farma untuk menciptakan iklim kerja yang harmonis dan sesuai tujuan perusahaan dari setiap kebijakan yang ada. Penelitian dilakukan di Klinik Jalur Farma Sukabumi dengan metode penelitian observasi dan wawancara serta Manajemen Klinik serta personal karyawan. Hasil penelitian menunjukkan bahwa Komunikasi adalah salah satu faktor terbesar penyumbang konflik dalam suatu perusahaan. Rantai jaringan komunikasi di perusahaan harus disusun dengan efektif dan baik yaitu memastikan sistem tersebut berjalan tanpa ada satu jaringan yang terhambat atau putus dari jaringan. Setelah setiap orang di perusahaan mengetahui apa yang harus dikomunikasikan, kapan mengkomunikasikan, dan kepada siapa mereka harus berkomunikasi mengenai masalah masalah pekerjaannya. Semakin jelas dan efisien alur komunikasi, semakin sempit pula celah dari konflik untuk terjadi.  Manajemen Konflik kebijakan organisasi, iklim kerja
Economic Policy Uncertainty and Unemployment in the United States: A Nonlinear Approach
Year: 2017

We model US post WWII monthly data with a Smooth Transition VAR model and study the effects of an unanticipated increase in economic policy uncertainty on unemployment in recessions and expansions. We find the response of unemployment to be statistically and economically larger in recessions. A state contingent forecast error variance decomposition analysis confirms that the contribution of EPU shocks to the volatility of unemployment at business cycle frequencies is markedly larger in recessions.
A fuzzy genetic programming based algorithm for subgroup discovery and the application to one problem of pathogenesis of acute sore throat conditions in humans
Venue: Inf. Sci.
Year: 2015

This paper proposes a novel algorithm for subgroup discovery task based on genetic programming and fuzzy logic called Fuzzy Genetic Programming based for Subgroup Discovery (FuGePSD) The genetic programming allows to learn compact expressions with the main objective to obtain rules for describing simple, interesting and interpretable subgroups. This algorithm incorporates specific operators in the search process to promote the diversity between the individuals. The evolutionary scheme of FuGePSD is codified through the genetic cooperative competitive approach promoting the competition and cooperation between the individuals of the population in order to find out the optimal solutions for the SD task.FuGePSD displays its potential with high quality results in a wide experimental study performed with respect to others evolutionary algorithms for subgroup discovery. Moreover, the quality of this proposal is applied to a case study related to acute sore throat problems.
Untersuchungen uber Rotationsdispersion III
Year: 2010

In Erganzung fruherer Mitteilungen wird uber weitere Untersuchungen der Metallkomplexverbindungen des Oxymethylencamphers berichtet. Insbesondere werden die bemerkenswerten Rotations und Razemisationsverhaltnisse der Chromiverbindung beschrieben. Die Absorptionsspektra und Dipolmomente der Oxymethylencamphorate und Acetylacetonate der dreiwertigen Metalle Al, Cr, Co und Fe werden mitgeteilt und kurz diskutiert.
A review of the socio economic advantages of textile recycling
Venue: Journal of Cleaner Production
Year: 2019

The textile/apparel industry is of great importance to the economy in terms of trade, employment, investment and revenue all over the world. This sector is however characterised by substantial losses, due to production excesses on the one hand, and the "throw away" culture on the other. This state of affairs suggests that textile recycling is needed. Apart from the environmental and ecological advantages which can be brought about by the re use and recycling of textiles, there are many benefits of a socio economic nature. This paper analyses current trends on textile recycling, the barriers impeding greater recycling, and outlines the socio economic advantages of moving towards a circular economy. Some examples of on going initiatives are discussed, together with some of the measures that may be used to further reduce the current waste deriving from the apparel sector.
Diabetes is associated with familial idiopathic normal pressure hydrocephalus: a case control comparison with family members
Venue: Fluids and barriers of the CNS
Year: 2020

The pathophysiological basis of idiopathic normal pressure hydrocephalus (iNPH) is still unclear. Previous studies have shown a familial aggregation and a potential heritability when it comes to iNPH. Our aim was to conduct a novel case controlled comparison between familial iNPH (fNPH) patients and their elderly relatives, involving multiple different families.  Questionnaires and phone interviews were used for collecting the data and categorising the iNPH patients into the familial (fNPH) and the sporadic groups. Identical questionnaires were sent to the relatives of the potential fNPH patients. Venous blood samples were collected for genetic studies. The disease histories of the probable fNPH patients (n 60) were compared with their 60 year old relatives with no iNPH (n 49) A modified Charlson Comorbidity Index (CCI) was used to measure the overall disease burden. Fisher's exact test (two tailed) the Mann Whitney U test (two tailed) and a multivariate binary logistic regression analysis were used to perform the statistical analyses.  Diabetes (32% vs. 14% p 0.043) arterial hypertension (65.0% vs. 43% p 0.033) cardiac insufficiency (16% vs. 2% p 0.020) and depressive symptoms (32% vs. 8% p 0.004) were overrepresented among the probable fNPH patients compared to their non iNPH relatives. In the age adjusted multivariate logistic regression analysis, diabetes remained independently associated with fNPH (OR 3.8, 95% CI 1.1 12.9, p 0.030)  Diabetes is associated with fNPH and a possible risk factor for fNPH. Diabetes could contribute to the pathogenesis of iNPH/fNPH, which motivates to further prospective and gene environmental studies to decipher the disease modelling of iNPH/fNPH.
Service learning in public health nursing education: How COVID 19 accelerated community academic partnership.
Venue: Public health nursing
Year: 2020

Days after COVID 19 physical distancing precautions were implemented, a coalition of community leaders in Baltimore City founded the Baltimore Neighbors Network (BNN) a volunteer network established to provide proactive phone based support to older adults in Baltimore City. BNN was a community driven approach aimed at reducing social isolation and improving health equity both during the pandemic and long term. This paper describes how the Johns Hopkins School of Nursing's (JHUSON) public health nursing clinical faculty and students partnered with BNN to support a community driven crisis response effort while creatively meeting student learning objectives. While engaging in the work of BNN remotely, nursing students were able to meet competencies across all eight domains of the Quad Council Coalition of Public Health Nursing Organizations. Schools of Nursing throughout the country can use this partnership as a model of a service learning strategy for public health nursing education during a crisis.
Distinct distribution patterns of proteobacterial nirK and nirS type denitrifiers in the Yellow River estuary, China.
Venue: Canadian journal of microbiology
Year: 2017

Denitrification is considered to be the critical process in removing reactive nitrogen in estuarine ecosystems. In the present study, the abundance, diversity, and community structure of nirK and nirS type denitrifiers were compared in sediments from the Yellow River estuary. Quantitative polymerase chain reaction showed that the 2 types of denitrifiers exhibited different distribution patterns among the samples, indicating their distinct habitat preference. Phylogenetic analysis revealed that most of the sequences from clusters I, III, IV, and V for nirK type denitrifiers were dominant and were distributed at sites where dissolved oxygen (DO) was lower, and the sequences in the other clusters were dominant at sites with higher DO. However, there was no spatially heterogeneous distribution for the nirS type denitrifier community. Canonical correlation analysis and correlation analysis demonstrated that the community structure of nirK was more responsive to environmental factors than was that of nirS. Inversely, the abundance and a diversity targeting nirS gene could be more easily influenced by environmental parameters. These findings can extend our current knowledge about the distribution patterns of denitrifying bacteria and provide a basic theoretical reference for the dynamics of denitrifying communities in estuarine ecosystem of China.
Efficiently Estimating Erdos Renyi Graphs with Node Differential Privacy
Venue: NeurIPS
Year: 2019

We give a simple, computationally efficient, and node differentially private algorithm for estimating the parameter of an Erdos Renyi graph that is, estimating p in a G(n,p) with near optimal accuracy. Our algorithm nearly matches the information theoretically optimal exponential time algorithm for the same problem due to Borgs et al. (FOCS 2018) More generally, we give an optimal, computationally efficient, private algorithm for estimating the edge density of any graph whose degree distribution is concentrated on a small interval.
Social Decision Making in Adolescents and Young Adults: Evidence From the Ultimatum Game and Cognitive Biases
Venue: Psychological reports
Year: 2019

During adolescence and early adulthood, individuals deal with important developmental changes, especially in the context of complex social interactions. Previous studies demonstrated that those changes have a significant impact on the social decision making process, in terms of a progressive increase of intentionality comprehension of others, of the sensitivity to fairness, and of the impermeability to decisional biases. However, neither adolescents nor adults reach the ideal level of maximization and of rationality of the homo economicus proposed by classical economics theory, thus remaining more close to the model of the "bounded rationality" proposed by cognitive psychology. In the present study, we analyzed two aspects of decision making in 110 participants from early adolescence to young adulthood: the sensitivity to fairness and the permeability to decisional biases (Outcome Bias and Hindsight Bias) To address these questions, we adopted a modified version of the Ultimatum Game task, where participants faced fair, unfair, and hyperfair offers from proposers described as generous, selfish, or neutral. We also administered two behavioral tasks testing the influence of the Outcome Bias and of the Hindsight Bias in the evaluation of the decision. Our behavioral results highlighted that the participants are still partially consequentialist, as the decisional process is influenced by a complex balance between the outcome and the psychological description of the proposer. As regards cognitive biases, the Outcome Bias and the Hindsight Bias are present in the whole sample, with no relevant age differences.
Influencing Factors of Consumers Use Intention in Virtual Community Group buying
Year: 2014

Based on the characteristics of emerging virtual community group buying,the theory of rational behavior and the technology acceptance model,by using SPSS 19. 0 as the analysis tool and the multivariate linear regression analysis method for the empirical research,the mechanism of action between exogenous variables and the intention of consumers' using virtual community group buying is explored. Data analysis shows that these factors of exogenous variables influence consumers' use attitude through perceived usefulness and perceived ease of use and then affect consumers' use intention. The mechanism of action is that perceived usefulness and perceived ease of use positively influence consumers' use attitude. Factors that affect the perceived ease of use are the interactive environment,the validity of information,the quality of product and the quality of group buying service. Factors that affect the perceived usefulness are the frequency of interaction,the degree of interaction, the validity of information,the quality of product,the price of product,the quality of group buying service,the quality of logistics service and perceived ease of use. According to the research results,advices about the operational management of the virtual community group and the development direction are given,in order to enhance the consumers' use intention.
Cooper: Cooperative Perception for Connected Autonomous Vehicles Based on 3D Point Clouds
Venue: 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS)
Year: 2019

Autonomous vehicles may make wrong decisions due to inaccurate detection and recognition. Therefore, an intelligent vehicle can combine its own data with that of other vehicles to enhance perceptive ability, and thus improve detection accuracy and driving safety. However, multi vehicle cooperative perception requires the integration of real world scenes and the traffic of raw sensor data exchange far exceeds the bandwidth of existing vehicular networks. To the best our knowledge, we are the first to conduct a study on raw data level cooperative perception for enhancing the detection ability of self driving systems. In this work, relying on LiDAR 3D point clouds, we fuse the sensor data collected from different positions and angles of connected vehicles. A point cloud based 3D object detection method is proposed to work on a diversity of aligned point clouds. Experimental results on KITTI and our collected dataset show that the proposed system outperforms perception by extending sensing area, improving detection accuracy and promoting augmented results. Most importantly, we demonstrate it is possible to transmit point clouds data for cooperative perception via existing vehicular network technologies.
Identifying task relevant spectral signatures of perceptual categorization in the human cortex
Venue: Scientific Reports
Year: 2020

Human brain has developed mechanisms to efficiently decode sensory information according to perceptual categories of high prevalence in the environment, such as faces, symbols, objects. Neural activity produced within localized brain networks has been associated with the process that integrates both sensory bottom up and cognitive top down information processing. Yet, how specifically the different types and components of neural responses reflect the local networks' selectivity for categorical information processing is still unknown. In this work we train Random Forest classification models to decode eight perceptual categories from broad spectrum of human intracranial signals (4 150 Hz, 100 subjects) obtained during a visual perception task. We then analyze which of the spectral features the algorithm deemed relevant to the perceptual decoding and gain the insights into which parts of the recorded activity are actually characteristic of the visual categorization process in the human brain. We show that network selectivity for a single or multiple categories in sensory and non sensory cortices is related to specific patterns of power increases and decreases in both low (4 50 Hz) and high (50 150 Hz) frequency bands. By focusing on task relevant neural activity and separating it into dissociated anatomical and spectrotemporal groups we uncover spectral signatures that characterize neural mechanisms of visual category perception in human brain that have not yet been reported in the literature.