Miracle-dz/UniFAR-FTUs huggingface dataset:
An Open and Shut Typecase (Extended Version)

Ad-hoc polymorphism is a compelling addition to typed programming languages. There are two different forms of ad-hoc polymorphism. With the nominal form, the execution of an operation is determined solely by the name of the type argument, whereas with the structural form, operations are defined by case analysis on the structure of types. The two forms differ in the way that they treat user-defined types. Operations defined by the nominal approach are considered "open"—the programmer can add cases for new types without modifying existing code. The operations must be extended however with specialized code for the new types, and it may be tedious and even difficult to add extensions that apply to a potentially large universe of userdefined types. Structurally defined operations apply to new types by treating them as equal to their underlying definitions, so no new cases for new types are necessary. However this form is considered "closed" to extension, as the behaviour of the operations cannot be differentiated for the new types. This form destroys the distinctions that user-defined types are designed to express. Both approaches have their benefits, so it is important to provide both capabilities in a single language that is expressive enough to decouple the "openness" issue from the way that user-defined types are treated. We present such a language that supports both forms of ad-hoc polymorphism. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-04-26. This technical report is available at ScholarlyCommons: http://repository.upenn. edu/cis_reports/27 An Open and Shut Typecase (Extended Version) Dimitrios Vytiniotis Geoffrey Washburn Stephanie Weirich Technical Report MS-CIS-04-26 Department of Computer and Information Science University of Pennsylvania {dimitriv, geoffw, sweirich}@cis.upenn. edu
Chapter 1 Synthesizing What We Know and Looking Ahead: A Meta-Analytical Review of 30 Years of Emotional Labor Research

The purpose of the current chapter is to meta-analytically examine the nomological network around emotional labor. The results show that negative display rules, high level of job demand, frequent contacts with customers, and lack of autonomy and social support are significantly related to surface acting, whereas display rules, opportunities to display various emotions, and frequent, intensive, and long time contacts with customers are significantly related to deep acting. Further, people high on negative affectivity and neuroticism are more likely to surface act, whereas people high on positive affectivity and extraversion are more likely to deep act. In addition, surface acting is mainly associated with undesirable work outcomes, whereas deep acting is mainly related to desirable work outcomes.
Poor retention does not have to be the rule: retention of volunteer community health workers in Uganda

Globally, health worker shortages continue to plague developing countries. Community health workers are increasingly being promoted to extend primary health care to underserved populations. Since 2004, Healthy Child Uganda (HCU) has trained volunteer community health workers in child health promotion in rural southwest Uganda. This study analyses the retention and motivation of volunteer community health workers trained by HCU. It presents retention rates over a 5-year period and provides insight into volunteer motivation. The findings are based on a 2010 retrospective review of the community health worker registry and the results of a survey on selection and motivation. The survey was comprised of qualitative and quantitative questions and verbally administered to a convenience sample of project participants. Between February 2004 and July 2009, HCU trained 404 community health workers (69% female) in 175 villages. Volunteers had an average age of 36.7 years, 4.9 children and some primary school education. Ninety-six per cent of volunteer community health workers were retained after 1 year (389/404), 91% after 2 years (386/404) and 86% after 5 years (101/117). Of the 54 ‘dropouts’, main reasons cited for discontinuation included ‘too busy’ (12), moved (11), business/employment (8), death (6) and separation/divorce (6). Of 58 questionnaire respondents, most (87%) reported having been selected at an inclusive community meeting. Pair-wise ranking was used to assess the importance of seven ‘motivational factors’ among respondents. Those highest ranked were ‘improved child health’, ‘education/training’ and ‘being asked for advice/assistance by peers’, while the modest ‘transport allowance’ ranked lowest. Our findings suggest that in our rural, African setting, volunteer community health workers can be retained over the medium term. Community health worker programmes should invest in community involvement in selection, quality training, supportive supervision and incentives, which may promote improved retention.
Molecular Evidence for Gene Flow among Zea Species

mong the concerns associated with the "release" of transgenic plants into the environment is the possibility that genes transformed into a crop plant by recombinant DNA methods could spread into its wild relatives. The process of concern is introgression, the transfer of genes from one population into another via hybridization and subsequent backcrossing. If these genes confer some selective advantage on the wild relatives, then they could contribute to the development of new or more troublesome weedy forms. For example, genes for disease, drought, and herbicide resistance could all produce problems by enhancing the fitness of the wild relatives. The available evidence for gene flow between crops and their relatives provides a context for beginning to make realistic assessments of the risk
Apolipoprotein E genotype, cardiovascular biomarkers and risk of stroke: systematic review and meta-analysis of 14,015 stroke cases and pooled analysis of primary biomarker data from up to 60,883 individuals.

BACKGROUND At the APOE gene, encoding apolipoprotein E, genotypes of the ε2/ε3/ε4 alleles associated with higher LDL-cholesterol (LDL-C) levels are also associated with higher coronary risk. However, the association of APOE genotype with other cardiovascular biomarkers and risk of ischaemic stroke is less clear. We evaluated the association of APOE genotype with risk of ischaemic stroke and assessed whether the observed effect was consistent with the effects of APOE genotype on LDL-C or other lipids and biomarkers of cardiovascular risk. METHODS We conducted a systematic review of published and unpublished studies reporting on APOE genotype and ischaemic stroke. We pooled 41 studies (with a total of 9027 cases and 61,730 controls) using a Bayesian meta-analysis to calculate the odds ratios (ORs) for ischaemic stroke with APOE genotype. To better evaluate potential mechanisms for any observed effect, we also conducted a pooled analysis of primary data using 16 studies (up to 60,883 individuals) of European ancestry. We evaluated the association of APOE genotype with lipids, other circulating biomarkers of cardiovascular risk and carotid intima-media thickness (C-IMT). RESULTS The ORs for association of APOE genotypes with ischaemic stroke were: 1.09 (95% credible intervals (CrI): 0.84-1.43) for ε2/ε2; 0.85 (95% CrI: 0.78-0.92) for ε2/ε3; 1.05 (95% CrI: 0.89-1.24) for ε2/ε4; 1.05 (95% CrI: 0.99-1.12) for ε3/ε4; and 1.12 (95% CrI: 0.94-1.33) for ε4/ε4 using the ε3/ε3 genotype as the reference group. A regression analysis that investigated the effect of LDL-C (using APOE as the instrument) on ischaemic stroke showed a positive dose-response association with an OR of 1.33 (95% CrI: 1.17, 1.52) per 1 mmol/l increase in LDL-C. In the separate pooled analysis, APOE genotype was linearly and positively associated with levels of LDL-C (P-trend: 2 × 10(-152)), apolipoprotein B (P-trend: 8.7 × 10(-06)) and C-IMT (P-trend: 0.001), and negatively and linearly associated with apolipoprotein E (P-trend: 6 × 10(-26)) and HDL-C (P-trend: 1.6 × 10(-12)). Associations with lipoprotein(a), C-reactive protein and triglycerides were non-linear. CONCLUSIONS In people of European ancestry, APOE genotype showed a positive dose-response association with LDL-C, C-IMT and ischaemic stroke. However, the association of APOE ε2/ε2 genotype with ischaemic stroke requires further investigation. This cross-domain concordance supports a causal role of LDL-C on ischaemic stroke.
Update on the Extracorporeal Life Support

Extracorporeal life support (ECLS) is a type of cardiopulmonary bypass. It is an artificial means of supplying oxygen and removing CO2 on behalf of damaged lungs while patients are recovering from underlying diseases. Recently, the use of ECLS is rapidly increasing as this machine becomes smaller, less invasive and easier to use. In addition, the improvement of clinicians' technique and outcome is increasing their application to patients with acute respiratory distress. In this regard, the purpose of this review is to introduce the physiological principles, risk factors, and advantages of ECLS, clinical rationale for using ECLS, ventilatory strategy during ECLS, which are still causing different opinions, the weaning from ECLS, and the use of anticoagulant.
Bayonet: probabilistic inference for networks

Network operators often need to ensure that important probabilistic properties are met, such as that the probability of network congestion is below a certain threshold. Ensuring such properties is challenging and requires both a suitable language for probabilistic networks and an automated procedure for answering probabilistic inference queries. We present Bayonet, a novel approach that consists of: (i) a probabilistic network programming language and (ii) a system that performs probabilistic inference on Bayonet programs. The key insight behind Bayonet is to phrase the problem of probabilistic network reasoning as inference in existing probabilistic languages. As a result, Bayonet directly leverages existing probabilistic inference systems and offers a flexible and expressive interface to operators. We present a detailed evaluation of Bayonet on common network scenarios, such as network congestion, reliability of packet delivery, and others. Our results indicate that Bayonet can express such practical scenarios and answer queries for realistic topology sizes (with up to 30 nodes).
Decentralized Rather than Centralized Pediatric Surgery Care in Germany

Abstract Introduction Pediatric surgery has emerged from general surgery to take better care of the needs of surgically ill children. The development of pediatric surgery in Germany started in the early 19th century and is still ongoing. This study was performed to investigate how pediatric surgery is organized in Germany. Materials and Methods Data were obtained from the following sources: German Society, Information System of the Federal Health Monitoring, German Medical Association, Joined Federal Committee, Federal Bureau of Statistics, and Perinatal Centers. Results Pediatric surgery in Germany was started in the beginning of the 19th century. In 1962, there were approximately 20 units. The number increased to 98 in 2005 and to 129 in 2017. Presently, there are 769 pediatric surgeons registered in Germany. The current growth of pediatric surgery is attributed to a political decision of implementing centers for the care of preterm babies who need pediatric surgeons. Most work performed by pediatric surgeons in Germany can be categorized as low-risk, high-volume surgery. Currently, there is a trend of spontaneous centralization for some high-risk, low-volume pediatric surgical procedures. Conclusion Pediatric surgery in Germany shows a development toward a nearly complete coverage of the country, thus providing increasing number of children with specialist care. Rare diseases, such as in oncology or newborn surgery, are generally not centralized and rarely performed by small units. New approaches for better quality measurements may lead to centralization even without political action in the future.
Effect of In Vitro Maturation Technique and Alpha Lipoic Acid Supplementation on Oocyte Maturation Rate: Focus on Oxidative Status of Oocytes

Background Therapeutic potential of in vitro maturation (IVM) in infertility is growing with great promise. Although significant progress is obtained in recent years, existing IVM protocols are far from favorable results. The first aim of this study was to investigate whether two step IVM manner change reactive oxygen species (ROS) and total anti- oxidant capacity (TAC) levels. The second aim was to find the effect of alpha lipoic acid (ALA) supplementation on oocyte maturation rate and on ROS/TAC levels during IVM. Materials and Methods In this experimental study, mouse germinal vesicle (GV) oocytes divided into cumulus denuded oocytes (DOs) and cumulus oocyte complexes (COCs) groups. GVs were matured in vitro in the presence or absence of ALA only for 18 hours (control) or with pre-culture of forskolin plus cilostamide for an additional 18 hours. Matured oocytes obtained following 18 and 36 hours based on experimental design. In parallel, the ROS and TAC levels were measured at different time (0, 18 and 36 hours) by 2',7'-dichlorodihydrofluorescein (DCFH) probe and ferric reducing/antioxidant power (FRAP) assay, respectively. Results Maturation rate of COCs was significantly higher than DOs in control group (P<0.05), while there was no significant difference between COCs and DOs when were pre-cultured with forskolin plus cilostamide. ROS and TAC levels was increased and decreased respectively in DOs after 18 hours while in COCs did not change at 18 hours and showed a significant increase and decrease respectively at 36 hours (P<0.05). ROS and TAC levels in the presence of ALA were significantly decreased and increased respectively after 36 hours (P<0.05) whereas, maturation rates of COCs and DOs were similar to their corresponding control groups. Conclusion ALA decreased ROS and increased TAC but could not affect maturation rate of both COCs and DOs in one or two step IVM manner.
Microstructural and mechanical characterization of contemporary lingual orthodontic brackets.

OBJECTIVES To investigate the composition and the microstructural and mechanical characterization of three different types of lingual brackets. MATERIALS AND METHODS Incognito™ (3M Unitek), In-Ovation L (DENTSPLY GAC) and STb™ (Light Lingual System, ORMCO) lingual brackets were studied under the scanning electron microscope employing backscattered electron imaging and their elemental composition was analysed by energy-dispersive X-ray microanalysis. Additionally, Vickers hardness was assessed using a universal hardness-testing machine, and the indentation modulus was measured according to instrumented indentation test. Two-way analysis of variance was conducted employing bracket type and location (base and wing) as discriminating variable. Significant differences among groups were allocated by post hoc Student-Newman-Keuls multiple comparison analysis at 95% level of significance. RESULTS Three different phases were identified for Incognito and In-Ovation L bracket based on mean atomic number contrast. On the contrary, STb did not show mean atomic contrast areas and thus it is recognized as a single phase. Incognito is a one-piece bracket with the same structure in wing and base regions. Incognito consists mainly of noble metals while In-Ovation L and STb show similar formulations of ferrous alloys in wing and base regions. No significant differences were found between ferrous brackets in hardness and modulus values, but there were significant differences between wing and base regions. Incognito illustrated intermediate values with significant differences from base and wing values of ferrous brackets. CONCLUSIONS/IMPLICATIONS Significant differences exist in microstructure, elemental composition, and mechanical properties among the brackets tested; these might have a series of clinical implications during mechanotherapy.
Total correctness by local improvement in the transformation of functional programs

The goal of program transformation is to improve efficiency while preserving meaning. One of the best-known transformation techniques is Burstall and Darlington's unfold-fold method. Unfortunately the unfold-fold method itself guarantees neither improvement in efficiency nor total correctness. The correctness problem for unfold-fold is an instance of a strictly more general problem: transformation by locally equivalence-preserving steps does not necessarily preserve (global) equivalence. This article presents a condition for the total correctness of transformations on recursive programs, which, for the first time, deals with higher-order functional languages (both strict and nonstrict) including lazy data structures. The main technical result is an improvement theorem which says that if the local transformation steps are guided by certain optimization concerns (a fairly natural condition for a transformation), then correctness of the transformation follows. The improvement theorem makes essential use of a formalized improvement theory; as a rather pleasing corollary it also guarantees that the transformed program is a formal improvement over the original. The theorem has immediate practical consequences: it is a powerful tool for proving the correctness of existing transformation methods for higher-order functional programs, without having to ignore crucial factors such as memoization or folding, and it yields a simple syntactic method for guiding and constraining the unfold-fold method in the general case so that total correctness (and improvement) is always guaranteed.
Does Risk Sharing Motivate Interdealer Trading

We use unique data from the London Stock Exchange to test whether interdealer trade facilitates inventory risk sharing among dealers. We develop a methodology that focuses on periods of "extreme" inventories-inventory cycles. We further distinguish between inventory cycles that are unanticipated and those that are anticipated because of "worked" orders. The pattern of interdealer trade during inventory cycles matches theoretical predictions for the direction of trade and the inventories of trade counterparts. We also show that London dealers receive higher trading revenues for taking larger positions. Copyright The American Finance Association 1998.
The Use of C-MnO2 as Hybrid Precursor Support for a Pt/C-MnxO1+x Catalyst with Enhanced Activity for the Methanol Oxidation Reaction (MOR)

Platinum (Pt) nanoparticles are deposited on a hybrid support (C-MnO2) according to a polyol method. The home-made catalyst, resulted as Pt/C-MnxO1+x, is compared with two different commercial platinum based materials (Pt/C and PtRu/C). The synthesized catalyst is characterized by means of FESEM, XRD, ICP-MS, XPS and μRS analyses. MnO2 is synthesized and deposited over a commercial grade of carbon (Vulcan XC72) by facile reduction of potassium permanganate in acidic solution. Pt nanoparticles are synthesized on the hybrid support by a polyol thermal assisted method (microwave irradiation), followed by an annealing at 600 °C. The obtained catalyst displays a support constituted by a mixture of manganese oxides (Mn2O3 and Mn3O4) with a Pt loading of 19 wt. %. The electro-catalytic activity towards MOR is assessed by RDE in acid conditions (0.5 M H2SO4), evaluating the ability to oxidize methanol in 1 M concentration. The synthesized Pt/C-MnxO1+x catalyst shows good activity as well as good stability compared to the commercial Pt/C based catalyst.
The Relationship Between Perceived Organizatinal Justice and Organizational Silence Level of Teachers

The aim of this study is to determine the relationship between perceived organizational justice and level of organizational silence of teachers. The current study’s sample was composed 350 volunteer teacher who are working in Bandirma province of Balikesir city. In this study, the scale for determining perceived organizational justice developed by Niehoff and Moorman (1993) and adapted by Gurpinar (2006) and the scale for measuring organizational silence level developed by Van Dyne, Ang and Botero (2003) and adapted by Taskiran (2011) are used. This research is done by using relational survey model. In the analysis of data which procured from scales SPSS 20.0 sofware were utilized. Results of the research showed that teachers distributive, procedural and interactional justice perceptions have negative relation with defensive silence, while having positive relation with prosocial silence and acquiescent silence. Based on the findings, It is recommended to the school principals to adopt a just, democratic and silence preventing management style.
Sources and transport of Δ 14 C in CO 2 within the Mexico City Basin and vicinity

Radiocarbon samples taken over Mexico City and the surrounding region during the MILAGRO field campaign in March 2006 exhibited an unexpected distribution: (1) relatively few samples (23%) were below the North American free tropospheric background value (57 +/- 2aEuro degrees) despite the fossil fuel emissions from one of the world's most highly polluted environments; and (2) frequent enrichment well above the background value was observed. Correlate source tracer species and air transport characteristics were examined to elucidate influences on the radiocarbon distribution. Our analysis suggests that a combination of radiocarbon sources biased the 'regional radiocarbon background' above the North American value thereby decreasing the apparent fossil fuel signature. Likely sources include the release of C-14-enhanced carbon from bomb C-14 sequestered in plant carbon pools via the ubiquitous biomass burning in the region as well as the direct release of radiocarbon as CO2 from other 'hot' sources. Plausible perturbations from local point 'hot' sources include the burning of hazardous waste in cement kilns; medical waste incineration; and emissions from the Laguna Verde Nuclear Power Plant. These observations provide insight into the use of delta(CO2)-C-14 to constrain fossil fuel emissions in the megacity environment, indicating that underestimation of the fossil fuel contribution to the CO2 flux is likely wherever biomass burning coexists with urban emissions and is unaccounted for as a source of the elevated CO2 observed above local background. Our findings increase the complexity required to quantify fossil fuel-derived CO2 in source-rich environments characteristic of megacities, and have implications for the use of delta(CO2)-C-14 observations in evaluating bottom-up emission inventories and their reliability as a tool for validating national emission claims of CO2 within the framework of the Kyoto Protocol.