nils-herrmann/clean_scirepeval huggingface dataset:
The Mercedes Benz Sign: An Indicator of Gallstones
Year: 2020

There are two types of gallstones: Pigment stones which are predominantly calcified and appear hyperdense on CT and cholesterol stones which are not visible on CT because they are embedded in bile overloaded with cholesterol. Less than half of these stones contain gas which can diffuse outside the stones in case of a cracking of the latter. This gas will then be the only indicator of the gallstones. This was the case of this 47 year old patient, with a history of a breast cancer who was referred to or department for a thoraco abdomino pelvic CT as part of her usual follow up. A presence air in a star shaped pattern was noted in his gallbladder, corresponding to the Mercedes Benz sign  The ultrasound supplement performed confirmed that it was indeed stones in the gallbladder
PHILOSOPHICAL POLITICAL REFLEXIONS AND (PRE)TEXTS OF BIOPOLITICS (I)
Year: 2018

The present article (formed of two consecutive parts) aims to (un)tie the strings tied tightly around a hybrid concept, which is neither fashion, nor out of it, taken and (re)made equally by the contemporary extensions by which is operating the (hard or soft) political philosophy, (re)discussing the affirmation of Jean Luc Nancy, according to which the word biopolitics would have been created by Foucault. In fact, the general hypothesis will approximate harmonizing, suspecting, reinterpreting biopolitics, placing it (by ricochet) in the modern postmodern pretexts and reflexes, establishing, on the path of Ferenc Feher, that beyond of the paternity of the notion (of its obsolete nature or its originality! the biopolitical discourse and its program are, nevertheless, Foucaultian par excellence. As a result of the entry into the circuit of Foucault's thinking (in the late '70s) about biopower and biopolitics, the terms (coinciding only partially) reconfirm the interest of their definitive settlement within the strong fundaments of philosophical and political thinking.
GAVIAC, Sistema para la gestion y control del ganado vacuno y la inseminacion artificial.
Year: 2014

espanolEl control del bovino es una de las principales actividades que se debe llevar a cabo en cada una de las unidades, empresas y centros cuyo objetivo principal es la explotacion del ganado vacuno. De estos se obtienen una gran cantidad de subproductos ricos en proteinas y minerales, los cuales son utilizados en la alimentacion humana. Entre los productos y subproductos se pueden mencionar la carne, leche, mantequilla, el queso, piel, etc. Ademas el mejoramiento genetico del rebano es algo que ayuda aumentar la produccion, teniendo en cuenta el proposito que el centro de produccion persigue. Por lo tanto la inseminacion artificial en estos lugares, es muy importante para continuar mejorando la genetica del lote, incrementar la productividad y contribuir de una manera eficiente en la economia del pais. Para mejorar el control del ganado vacuno y la inseminacion artificial, se propone como objetivo implementar un sistema informatico para la gestion de estas actividades. En la realizacion del presente trabajo se utilizo de los metodos teoricos el analitico sistemico y la entrevista como metodo empirico. Como resultado se obtuvo un sistema informatizado el cual permite la gestion de la informacion relacionada con el control y la inseminacion del ganado vacuno. EnglishThe control of bovine is one the main activities that should be carry out in each units, company and center whose main aim is the development the cattle. Of these are obtained a great amount of byproducts rich in proteins and minerals which are used in the human food. Between the product and byproducts may be mention the beef, milk, butter, cheese, skin, etc. Besides the improvement genetic of the herd is something that aid to increase the production, given the purpose that pursues production center. Therefore the artificial insemination in this place is very important to continue improving the genetic of the lot, increase the productivity and contribute of one way efficient in the economy of the country. To improvement the control of the cattle and artificial insemination, is proposed as aim implement of an informatics system for the management of this activities. In the realization of the present work is used of the theoretical methods the analytic systemic and the interview as empiric method. As result is obtained an informatics system which allows the management of the information related with the control and insemination of the cattle.
Performance analysis of a small wind turbine equipped with flexible blades
Venue: Renewable Energy
Year: 2019

Wind turbine efficiency can drop drastically away from design conditions, which is especially troublesome for small fixed pitch, constant speed types of devices and those operating in highly variable winds. Recent advances in the design of adaptive structures gives rise to a new turbine concept, employing continuous shape morphing, allowing the turbine to adapt more effectively to variable conditions. Such morphing blades could increase energy capture, and help small wind turbines become more economically viable through increased efficiency over a wide range of wind speeds and tip speed ratios. In this paper, we examine the practicality of a flexible or morphing bladed turbine through experimental and numerical analysis. Experiments are conducted comparing a prototype rigid bladed design to an identical flexible one, with a total of 18 data sets containing 230 data points. Experimental results show that the flexible design outperforms the rigid one, especially when experiencing unfavorable loading conditions. Maximal corrected power coefficients were increased in all cases, up to 32.6% The operational range was also increased in most cases, to a maximum of 34.5% over the rigid bladed design. These results suggest that the flexible design could produce more power than a rigid one, especially when conditions are sub optimal.
Driving Employee Based Brand Equity
Year: 2016

Scholars emphasize the role of front line employees for customers' experience with the brand, as they constitute the original source of brand equity for external stakeholders while their performance affects customer perceptions of the brand and brand equity (Baumgarth and Schmidt 2010) Current knowledge mostly captures individual brand related antecedents of employee based brand equity (EBBE) ignoring how employees' perceptions of other aspects of the organizational environment shape their levels of EBBE received from the company's brand (King and Grace 2012) Existing studies also consider brand equity as the outcome of the internal branding process, bypassing whether higher levels of EBBE are actually associated with employees' reciprocal behavior towards the company or its customers (Lohndorf and Diamantopoulos 2014) Little research scrutiny is attracted to what drives employee brand based equity (EBBE) as well as its value for successful internal branding outcomes.
T Fuzz: Fuzzing by Program Transformation
Venue: 2018 IEEE Symposium on Security and Privacy (SP)
Year: 2018

Fuzzing is a simple yet effective approach to discover software bugs utilizing randomly generated inputs. However, it is limited by coverage and cannot find bugs hidden in deep execution paths of the program because the randomly generated inputs fail complex sanity checks, e.g. checks on magic values, checksums, or hashes. To improve coverage, existing approaches rely on imprecise heuristics or complex input mutation techniques (e.g. symbolic execution or taint analysis) to bypass sanity checks. Our novel method tackles coverage from a different angle: by removing sanity checks in the target program. T Fuzz leverages a coverage guided fuzzer to generate inputs. Whenever the fuzzer can no longer trigger new code paths, a light weight, dynamic tracing based technique detects the input checks that the fuzzer generated inputs fail. These checks are then removed from the target program. Fuzzing then continues on the transformed program, allowing the code protected by the removed checks to be triggered and potential bugs discovered. Fuzzing transformed programs to find bugs poses two challenges: (1) removal of checks leads to over approximation and false positives, and (2) even for true bugs, the crashing input on the transformed program may not trigger the bug in the original program. As an auxiliary post processing step, T Fuzz leverages a symbolic execution based approach to filter out false positives and reproduce true bugs in the original program. By transforming the program as well as mutating the input, T Fuzz covers more code and finds more true bugs than any existing technique. We have evaluated T Fuzz on the DARPA Cyber Grand Challenge dataset, LAVA M dataset and 4 real world programs (pngfix, tiffinfo, magick and pdftohtml) For the CGC dataset, T Fuzz finds bugs in 166 binaries, Driller in 121, and AFL in 105. In addition, found 3 new bugs in previously fuzzed programs and libraries.
Mixed Integer linear programming and constraint programming models for the online printing shop scheduling problem
Venue: Comput. Oper. Res.
Year: 2020

In this work, the online printing shop scheduling problem is considered. This challenging real problem, that appears in the nowadays printing industry, can be seen as a flexible job shop scheduling problem with sequence flexibility in which precedence constraints among operations of a job are given by an arbitrary directed acyclic graph. In addition, several complicating particularities such as periods of unavailability of the machines, resumable operations, sequence dependent setup times, partial overlapping among operations with precedence constraints, release times, and fixed operations are also present in the addressed problem. In the present work, mixed integer linear programming and constraint programming models for the minimization of the makespan are presented. Modeling the problem is twofold. On the one hand, the problem is precisely defined. On the other hand, the capabilities and limitations of a commercial software for solving the models are analyzed. Extensive numerical experiments with small medium and large sized instances are presented. Numerical experiments show that the commercial solver is able to optimally solve only a fraction of the small sized instances when considering the mixed integer linear programming model; while all small sized and a fraction of the medium sized instances are optimally solved when considering the constraint programming formulation of the problem. Moreover, the commercial solver is able to deliver feasible solutions for the large sized instances that are of the size of the instances that appear in practice.
Pulsed laser ablation for enhanced liquid spreading
Venue: Surface and Coatings Technology
Year: 2019

Nanosecond pulsed laser ablation is shown to be an effective method for enhancing liquid spreading on surfaces where the intrinsic droplet static contact angle is less than 60deg. A simple theoretical model is developed to optimise the laser scanning strategy and maximise the resulting Wenzel roughness factor, r. Laser ablation experiments are then performed with a nanosecond pulsed fibre laser with emission wavelength of 1064 nm on stainless steel and aluminium alloy surfaces, with beam scanning based on model outcomes to achieve discrete ablation craters in the longitudinal and lateral directions. Adhesive, oil and ethanol droplets are deposited on untreated and laser textured surfaces, with liquid spreading quantified via photography and image processing. Large increases in adhesive and oil droplet spreading area on laser textured surfaces are accounted for in terms of a transition from Wenzel state to film regime, where liquid spreading is driven by a negative change in interfacial energy with progression of the imbibition front. By increasing r, laser ablation is found to increase the threshold contact angle below which transition to a film regime takes place. Further increases in r are found to further improve liquid spreading due to a larger negative interfacial energy gradient until the ablated volume becomes significant and liquid retention within the surface limits further gains. Eighteen and seven fold increases in spreading area are achieved for adhesive and oil, respectively, while no improvements are observed for ethanol due to immediate onset of a film state on untreated samples.
OBRA LITERARIA CHUVA BRANCA E COMUNIDADE DO TREME: UMA BREVE REFLEXAO ACERCA DAS EXPRESSOES IDIOMATICAS UTILIZADAS NESSES ESPACOS
Venue: Nova Revista Amazonica
Year: 2019

As expressoes idiomaticas se fazem presentes quando termos ou frases assumem um significado diferente de quando sao analisados por uma perspectiva isolada, isto e, a interpretacao e captada de forma global pela soma das palavras. Devido a estas caracteristicas, o estudo desses elementos linguisticos se torna cada vez mais dificil, uma vez que a lingua possui suas variacoes e especificidades. Considerando que a obra Chuva Branca (1968) e caracterizada por sua grande abordagem lexical, assim como a comunidade do Treme em Braganca/Para, este trabalho promovera uma reflexao acerca dos fatores que contribuem para que algumas expressoes idiomaticas estejam presentes nos espacos supracitados, ainda que o tempo e a realidade sejam distintas. E de grande valia ressaltar que este artigo faz parte de uma pesquisa maior que esta sendo desenvolvida por meio de uma analise minuciosa e sistematizada dos principais aspectos lexicais da obra e da comunidade, tendo como base a lexicologia e a traducao cultural. Assim, este trabalho destacara pontos relevantes acerca do territorio amazonense, dando enfase a cultura e aos habitos populacionais que influenciaram e influenciam consideravelmente os aspectos linguisticos de um povo, nesse caso, os ribeirinhos.
Nouvelles donnees sur la reproduction et l'hivernage des flamants roses en Mauritanie et confirmation d'echanges avec les populations mediterraneennes
Year: 2007

The coastal wetlands of Mauritania consist of vast areas of flooded plains and tidal mudflats and are habitats of exceptional avifaunal richness. The Banc d'Arguin and the fresh and salt water marshes of the delta of the Senegal River are especially known to be the principal wintering sites of many waterbirds from the Western Palaearctic. These sub Saharan coastal wetlands are also the breeding sites of many waterbirds of Afrotropical and Mediterranean distribution. The Greater Flamingo (Phoenicopterus roseus) is one of these species, often abundant on the Mauritanian coast. A link between the population of Greater Flamingos breeding in Mauritania and that of the Mediterranean was however not established. In order to better characterise the current status and trends of the species, we monitored the population of Greater Flamingos in the coastal wetlands in Mauritania in 2003/04. Here, we present the first results of this study put in perspective with the data forthis species collected over the 48 last years in Mauritania. In particular, the observation of two birds, born and ringed in the Mediterranean, feeding chicks on the Banc d'Arguin provides the final proof of interchanges between the Mediterranean populations and those of Mauritania. We discuss the implications of these results for the conservation of this species over the whole of its distribution. Les zones humides cotieres de Mauritanie, constituees de vastes etendues de plaines inondables et de vasieres soumises a l'influence de la maree, sont des habitats d'une richesse avifaunistique exceptionnelle. Le Banc d'Arguin et les marais d'eau douce et saumatre du delta du fleuve Senegal sont surtout connus pour etre les principaux sites d'hivernage de nombreuses especes d'oiseaux d'eau provenant du palearctique occidental. Mais ces zones humides cotieres sub saharienne sont egalement des sites de nidification de nombreuses especes d'oiseaux d'eau a la distribution afro tropicale et mediterraneenne. Le flamant rose (Phoenicopterus roseus) est l'une de ces especes, souvent abondante sur le littoral mauritanien. Le lien entre la population de flamants roses se reproduisant en Mauritanie et celle de Mediterranee n'est cependant pas etabli. Pour mieux caracteriser le statut actuel de l'espece et suivre son evolution, nous avons mis en oeuvre un suivi de la population de flamants roses dans les zones humides cotieres en Mauritanie. Nous presentons ici les premiers resultats de cette etude mise en perspective avec les donnees relatives a cette espece recoltees depuis les 48 dernieres annees en Mauritanie. En particulier, l'observation de deux oiseaux nes et bagues en Mediterranee, nourrissant des poussins sur le Banc d'Arguin permet d'etablir la preuve definitive qu'il existe des echanges entre les populations mediterraneennes et mauritaniennes de flamants roses. Nous discutons des implications de ces resultats pour la conservation de cette espece sur l'ensemble de son aire de distribution.
Embedding Ordinal Optimization into Tree Seed Algorithm for Solving the Probabilistic Constrained Simulation Optimization Problems
Year: 2018

Probabilistic constrained simulation optimization problems (PCSOP) are concerned with allocating limited resources to achieve a stochastic objective function subject to a probabilistic inequality constraint. The PCSOP are NP hard problems whose goal is to find optimal solutions using simulation in a large search space. An efficient "Ordinal Optimization (OO)" theory has been utilized to solve NP hard problems for determining an outstanding solution in a reasonable amount of time. OO theory to solve NP hard problems is an effective method, but the probabilistic inequality constraint will greatly decrease the effectiveness and efficiency. In this work, a method that embeds ordinal optimization (OO) into tree seed algorithm (TSA) (OOTSA) is firstly proposed for solving the PCSOP. The OOTSA method consists of three modules: surrogate model, exploration and exploitation. Then, the proposed OOTSA approach is applied to minimize the expected lead time of semi finished products in a pull type production system, which is formulated as a PCSOP that comprises a well defined search space. Test results obtained by the OOTSA are compared with the results obtained by three heuristic approaches. Simulation results demonstrate that the OOTSA method yields an outstanding solution of much higher computing efficiency with much higher quality than three heuristic approaches.
Entrepreneurial Orientation and New Venture Performance: The Moderating Role of Intra And Extraindustry Social Capital
Year: 2008

This study advances research on entrepreneurial orientation and social capital by examining how the configuration of a founding team's intra and extraindustry network ties shapes the relationship between entrepreneurial orientation and new venture performance. Using an original data set of 90 new ventures in the emerging open source software industry, we found that the combination of high network centrality and extensive bridging ties strengthened the focal link. Among firms with few bridging ties, centrality weakened the relationship between entrepreneurial orientation and performance. Overall, these findings contribute to a better understanding of when network centrality represents an asset or a liability for entrepreneurial firms.
Hemorrhagic Complications of Direct Thrombin Inhibitors Subarachnoid Hemorrhage During Dermabrasion for Scar Revision
Venue: Dermatologic surgery official publication for American Society for Dermatologic Surgery [et al.
Year: 2013

Dabigatran etexilate is an oral anticoagulant that functions by direct thrombin inhibition. Dabigatran is indicated for atrial fibrillation and stroke prophylaxis, but in the event of hemorrhage, no proven reversal agent exists. As many as 25 38% of patients who present for cutaneous surgery are taking an antithrombotic agent. Current recommendations are to continue medically necessary aspirin, warfarin, and clopidogrel, but the direct thrombin inhibitors have yet to be studied. Familiarity with the new oral anticoagulants is critical so that optimal outcomes can be ensured and complications avoided. The authors report a case of an elderly patient being treated with dabigatran for atrial fibrillation who developed a subarachnoid hemorrhage (SAH) during dermabrasion for scar revision.
Credit Risk Evaluation Using Neural Networks
Year: 2008

Credit risk evaluation and credit default prediction attract a natural interest from both practitioners and regulators in the financial industry. The Bank for International Settlements has been reporting a continuous increase in corporate borrowing activities. In the first quarter of 2006 alone, syndicated lending for mergers and acquisitions sharply exceeded the 2005 levels. In the euro area for example, corporate demand for credit rose from 56% of international claims on all non bank borrowers at the end of December, 2005, to 59% at the end of March, 2006. These heightened borrowing activities naturally imply increased risk related to credit default. A study by Office of the Superintendent of Bankruptcy Canada and Statistics Canada reveals that while the number of Canadian firms going bankrupt has declined, the average size of losses has significantly risen. In 2005 only 0.7% businesses failed, a sharp decline from the 1992 rate of 1.54% However, over the last quarter of the century net liabilities from business failures increased dramatically. In 1980 the losses represented 0.32% of Canada's net assets, while in 2005 they rose to 0.52% Both trends, the acceleration in corporate borrowing and the related risks of credit defaults, command the need for a reliable and effective risk management system on part of financial institutions in order to improve their lending activities. Moreover, the new international standard on capital adequacy outlined in Basel II, a regulatory requirement for financial services institutions, promotes the active involvement of banks in assessing the probability of defaults. Therefore, the accuracy of any predictive models constituting the foundation of a risk management system is clearly essential. Any significant improvement in their predictive capabilities will be worth billions of dollars and therefore deserves serious attention. Academic theoretical models have contributed greatly to the improvement in credit risk assessment. This study, an application of Backpropagation Neural Networks (BPNN) and Probabilistic Neural Networks to form a bankruptcy prediction model, constitutes yet another attempt at enhancing the measurement of default risk. As powerful data modeling tools, neural networks are able to capture and represent complex input and output relationships. The true power and advantage of neural networks lie in their ability to represent both linear and non linear relationships