Miracle-dz/UniFAR-FTUs huggingface dataset:
The approximation theorem for the Λμ-calculus

We consider a notion of approximation for terms of de Groote–Saurin Λμ-calculus. Then, we introduce an intersection type assignment system for that calculus which is invariant under subject conversion. The type assignment system also induces a filter model, which is an extensional Λμ-model in the sense of Nakazawa and Katsumata. We then establish the approximation theorem, stating that a type can be assigned to a term in the system if and only if it can be assigned to same of its approximations.
The Influence of Firm Global Supply Chains and Foreign Currency Undervaluations on US Trade Disputes

Abstract We apply insights from “new, new” trade theory to explain a puzzling decline in US firm antidumping (AD) filings in an era of persistent foreign currency undervaluations and increasing import competition. Firms exhibit heterogeneity both within and across industries regarding foreign direct investment (FDI). We propose that firms making vertical or resource-seeking investments abroad will be less likely to file AD petitions, and firms are likely to undertake vertical FDI in the context of currency undervaluation. Hence, we argue, the increasing vertical FDI of US firms makes trade disputes far less likely. We use firm-level data to examine the universe of US manufacturing firms and find that AD filers generally conduct no intrafirm trade with filed-against countries. We also find that persistent currency undervaluation is associated over time with increased vertical FDI and intrafirm trade by US multinational corporations (MNCs) in the undervaluing country. Among larger US MNCs, the likelihood of an AD filing is negatively associated with increases in intrafirm trade. In the context of currency undervaluation, we confirm the existing finding that undervaluation is associated with more AD filings. We also find, however, that high levels of intrafirm imports from countries with undervalued currencies significantly decrease the likelihood of AD filings. Our study highlights the centrality of firm heterogeneity in international trade and investment in understanding political mobilization over international economic policy.
TRICYCLIC ANTIDEPRESSANTS VARY IN DECREASING α‐ADRENOCEPTOR SENSITIVITY WITH CHRONIC TREATMENT: ASSESSMENT WITH CLONIDINE INHIBITION OF ACOUSTIC STARTLE

1 Clonidine inhibition of the acoustic startle reflex in the rat was used as a behavioural measure of α2‐adrenoceptor sensitivity following acute or chronic administration of tricyclic antidepressants. 2 Chronic (14 day) administration of desipramine (10 mg/kg, i.p.) attenuated the depressant effect of clonidine (20 or 40 Mg/kg) on the startle reflex. 3 No change in response to clonidine was obtained after chronic treatment with two other tricyclic antidepressants, amitriptyline (10 mg/kg) or iprindole (5 mg/kg). 4 Acute administration of these tricyclics (1 h) did not modify the effect of clonidine on startle. 5 It is suggested that the development of α2‐adrenoceptor subsensitivity produced by chronic tricyclics may be unique to those compounds, such as desipramine, which are active in blocking the uptake of noradrenaline.
Research on Enactment of Regulatory Policy, Investor Protection and Market Reaction

It has been proven theoretically and practically that stock market regulation is very important in a developing economy for investor protection and stock market development. This article uses theories from behavioral economics to analyze the influence from enactment of regulatiory policy on market reaction. Results show a substantial influence on investors' behavior from enactment of stock market regulation in China, and different regulations yield significant variations in market reaction.
Anti-Inflammatory, Antiulcer and Anticancer Activities of Saponin Isolated from the Fruits of Ziziphus jujuba

Ziziphus jujuba mill was commonly used for its anti-inflammatory activity in traditional system of medicine. The purpose of this study was to examine the isolates of methanolic extract from the fruits of Ziziphus jujuba Mill for its antiulcer, anti-inflammatory, and anticancer activity. Methanolic extracts of Ziziphus jujuba Mill were subjected to chromatography and eluted using ethyl acetate: methanol mixture and investigated for its structural features using IR, 1H NMR, 13C NMR and mass spectral data. The isolated compound was evaluated for its in vitro COX-2 inhibition studies, cytotoxicity studies, in vivo anti-inflammatory, antiulcer and anticancer activity. The spectral data revealed that the backbone of the isolate was 3-O-α-L-rhamnopyranosyl- (1→6)-β-D-glucopyranosyl jujubogenin-20-O-(2,3,4-O-triacetyl)-α-L-rhamnopyranoside. The isolated compound showed a significant reduction in inflammation and edema. Moderate anticancer activity was also observed for the isolate. It was concluded that the isolated saponin possesses moderate antiulcer, antiinflammatory, and anticancer activity which could help in the identification of leads for the treatment of cancer-related inflammation.
The virulence of the opportunistic fungal pathogen Aspergillus fumigatus requires cooperation between the endoplasmic reticulum-associated degradation pathway (ERAD) and the unfolded protein response (UPR)

The filamentous fungal pathogen Aspergillus fumigatus secretes hydrolytic enzymes to acquire nutrients from host tissues. The production of these enzymes exerts stress on the endoplasmic reticulum (ER), which is alleviated by two stress responses: the unfolded protein response (UPR), which adjusts the protein folding capacity of the ER, and ER-associated degradation (ERAD), which disposes of proteins that fail to fold correctly. In this study, we examined the contribution of these integrated pathways to the growth and virulence of A. fumigatus, focusing on the ERAD protein DerA and the master regulator of the UPR, HacA. A ΔderA mutant grew normally and showed no increase in sensitivity to ER stress. However, expression of the UPR target gene bipA was constitutively elevated in this strain, suggesting that the UPR was compensating for the absence of DerA function. To test this, the UPR was disrupted by deleting the hacA gene. The combined loss of derA and hacA caused a more severe reduction in hyphal growth, antifungal drug resistance and protease secretion than the loss of either gene alone, suggesting that DerA and HacA cooperate to support these functions. Moreover, the ΔderA/ΔhacA mutant was avirulent in a mouse model of invasive aspergillosis, which contrasted the wild type virulence of ΔderA and the reduced virulence of the ΔhacA mutant. Taken together, these data demonstrate that DerA cooperates with the UPR to support the expression of virulence-related attributes of A. fumigatus.
Fuzzy logic type-2 controller design for MPPT in photovoltaic system

Photovoltaic (PV) is one of the renewable sources of energy which is used widely in industry and distribution companies consumers. Nonlinear behavior of photovoltaic panels and their output power dependency on the atmospheric conditions motivate researchers to focus on extracting maximum available power from PV panels in order to reduce the cost and maximize the efficiency. In other words, output power of PV panel is dependent on I-P and V-P characteristics and every irradiation and surface temperature of PV. Therefore, maximum power point tracking requires to be addressed to reduce transient time, power fluctuations and increase the efficiency. This is realized by controlling switching elements in DC-DC boost convertor transferring energy from PV panel to the load. This paper presents a new method in maximum power point tracking (MPPT) of PV system based on fuzzy type-2 controller, and also compares its performance with MPPT of fuzzy logic controller type one (FLC1). The PV system composed of a PV panel, DC-DC boost convertor, FLC unit and a DC load, is simulated in Matlab /Simulink. Also, experimental tests have been done for validation. Finally, the simulation results reveal that the FLC2 has better performance in providing MPPT.
Rocuronium and sugammadex for rapid sequence induction of obstetric general anaesthesia

Background: Many anaesthetists use rocuronium in place of suxamethonium for rapid sequence induction (RSI). This is less common in obstetric anaesthesia as the duration of action of an effective dose of rocuronium exceeds most obstetric procedures. Sugammadex offers the possibility of rapidly reversing profound rocuronium neuromuscular blockade at the end of surgery. We aimed to determine whether rocuronium 1.2 mg/kg used for RSI in the obstetric population would provide good intubating conditions at 60 s and would be effectively reversed by sugammadex at the end of surgery.
Interaction of Mycoplasma pneumoniae with human lung fibroblasts: role of receptor sites

The biochemical nature of the neuraminidase-sensitive Mycoplasma pneumoniae receptor site on human lung fibroblast cells was studied. Purified, mixed sialoglycolipid (ganglioside) preparations from human and bovine tissues did not bind to M. pneumoniae organisms and block their subsequent attachment to fibroblasts. Fibroblasts incubated for 24 h in sialoglycolipid solutions to increase the ganglioside content of their membranes did not show increased pathogen attachment when later incubated with mycoplasmas. HeLa cells grown in the presence of sodium butyrate to increase GM3 ganglioside levels likewise did not have significantly increased uptake of M. pneumoniae organisms. Treatment of fibroblasts with enzymes indicated that the mycoplasma receptor site is trypsin and papain resistant but Pronase sensitive. Pronase digests of fibroblast membranes contained a product(s) which combined with M. pneumoniae cellls and cosedimented with them during centrifugation. Glycoproteins, purified from fibroblast membranes by a lithium diiodosalicylate solubilization technique, similarly bound to M. pneumoniae organisms. Collectively, these data suggest that the major component of the M. pneumoniae receptor site is a sialoglycoprotein with little or no lipid.
Does APOE explain the linkage of Alzheimer's disease to chromosome 19q13?

We have studied the impact of the apolipoprotein E gene (APOE) on the chromosome 19 linkage peak from an analysis of sib‐pairs affected by Alzheimer's disease. We genotyped 417 affected sib‐pairs (ASPs) collected in Sweden and Norway (SWE), the UK and the USA for 10 microsatellite markers on chromosome 19. The highest Zlr (3.28, chromosome‐wide P‐value 0.036) from the multipoint linkage analysis was located approximately 1 Mb from APOE, at marker D19S178. The linkage to chromosome 19 was well explained by APOE in the whole sample as well as in the UK and USA subsamples, as identity by descent (IBD) increased with the number of ε4 alleles in ASPs. There was a suggestion from the SWE subsample that linkage was higher than would be expected from APOE alone, although the test for this did not reach formal statistical significance. There was also a significant age at onset (aao) effect on linkage to chromosome 19q13 in the whole sample, which manifested itself as increased IBD sharing in relative pairs with lower mean aao. This effect was partially, although not completely, explained by APOE. The aao effect varied considerably between the different subsamples, with most of the effect coming from the UK sample. The other samples showed smaller effects in the same direction, but these were not significant. © 2007 Wiley‐Liss, Inc.
The Effect of Option Repricing on Common Stock Returns: An Empirical Investigation

This paper examines the effect of option repricing on common stock returns. The results indicate that firms tend to reprice options after a period of approximately one year of poor stock performance. The average reduction in exercise price is 48%. More than half of the options also have their maturities extended to a new expiration date of 10 years. Although the short-term effect of option repricing on common stock return is neutral, the long-term effect is very negative. Stock prices decline significantly in the 12-month and 24-month periods after options are repriced. This evidence indicates that repricings are not in the stockholders’ best interests because 89% of repricings include top managers who directly benefit from the lower exercise price while stockholders suffer big losses.
Pretreatment with Pinacidil Promotes Arrhythmias in an Isolated Tissue Model of Cardiac Ischemia and Reperfusion

It is not clear whether activation of ATP-sensitive potassium channels (KATP) with pinacidil in advance of ischemia and reperfusion promotes or suppresses arrhythmias. This study determines the effects of pinacidil pretreatment on arrhythmias and the changes in cellular electrophysiological parameters in segments of guinea pig right ventricular free walls exposed to simulated ischemia and reperfusion. Microelectrode recordings were made from endo- and epicardium during endocardial pacing. Preparations were superfused with Tyrode's solution and then exposed for 5 min to either 100 μM pinacidil or its solvent. After a 5-min washout, preparations were exposed to 15 min of ischemic conditions (hypoxia, hypercapnia, hyperkalemia, acidosis, lactate accumulation, and glucose-free) followed by reperfusion with Tyrode's solution. Pinacidil pretreatment increased ischemia-induced abbreviation of endo- and epicardial action potential durations and effective refractory periods. Pinacidil had no effect on endocardial conduction times but greatly prolonged transmural conduction during ischemia and early reperfusion, and it increased the incidence of transmural conduction block. Pinacidil pretreatment caused a significant increase in the incidence of arrhythmias in ischemia and reperfusion. Reperfusion arrhythmias in control preparations had electrophysiological characteristics of activity initiated by afterpotentials; however, arrhythmias with these characteristics were absent in pinacidil-pretreated preparations, and all reperfusion arrhythmias exhibited characteristics of reentry. The increased incidence of re-entrant arrhythmias is likely explained by pinacidil-induced reduction in effective refractory periods in combination with prolonged transmural conduction times. Thus, pinacidil pretreatment enhanced the effects of ischemia and reperfusion on action potential duration, effective refractory period, and transmural conduction, and it promoted re-entrant arrhythmias.
Análisis comparado de los códigos de gobierno corporativo de España e Inglaterra. Especial referencia a la consideración de la auditoría interna

The pressures for globalisation, competition, development of the new technologies and the increase for social and environmental way are reason, between others, which have caused very rapid changes in the way of governing the organisations and the need on parts of the same ones to development of rules of government directed to protection of the implied agents. All this has led to the form in which the companies are monitored and controlled, known by Corporate Governance. The target of this paper is to carry out a comparative study on Corporate Governance in England and Spain for knowing the importance of a mechanism of internal control: the internal audit. Nevertheless, we have considered to be also essential the study of the board of directors. For it, we have carried out a comparison of the most excellent reports that have been published on this topic in both countries and, previously, we have carried out the literature review on the theories, models and concepts of Corporate Governance.
The Use of Fine Blast Furnace Slag in Improvement of Properties of Concrete

Concrete properties can be improved using Fine Blast Furnace Slag (BFS). The latter was used to replace cement in concrete at 10%, 15%, 20%, 25%, and 30% proportions and properties of both fresh and hardened concrete improved. Best workability (evaluated by slump and Table tests) was recorded at 30% of BFS addition. VEBE-time, an indication of workability of concrete, decreased to its lowest value (about 4 seconds at 30% BFS) and compaction factor attained its maximum value of 99% at BFS 25%. For density and unit weight, 30% of fine BFS in concrete mix resulted in maximum density of 2180 kg/m3 for fresh concrete, and 2430 kg/m3 for hardened concrete. Unit weight of concrete achieved a maximum of 23.9 kN/m3 at 30% BFS has achieved specified strength at 1st week and 28 days, also the late strength is high at 56 and 84 days. Bond and flexure loads come high of BFS use. The data of compressive, bond, and flexural strengths are highly related. Results of research are useful and may be applied using fine BFS to improve the properties of concrete materials.
Experimental Demonstration of Novel High-Voltage Epilayer RESURF GaN MOSFET

We report on the experimental demonstration of a novel n-channel GaN epilayer RESURF GaN MOSFET with good tradeoff between breakdown voltage and specific on-resistance for the first time. Device with 4-mum channel length and 16-mum RESURF length has breakdown voltage up to 730 V with specific on-resistance 34 mOmegamiddotcm2 (VG - VT = 20 V), best reported to date.
Adjuvant procarbazine, lomustine, and vincristine chemotherapy in newly diagnosed anaplastic oligodendroglioma: long-term follow-up of EORTC brain tumor group study 26951.

PURPOSE Anaplastic oligodendroglioma are chemotherapy-sensitive tumors. We now present the long-term follow-up findings of a randomized phase III study on the addition of six cycles of procarbazine, lomustine, and vincristine (PCV) chemotherapy to radiotherapy (RT). PATIENTS AND METHODS Adult patients with newly diagnosed anaplastic oligodendroglial tumors were randomly assigned to either 59.4 Gy of RT or the same RT followed by six cycles of adjuvant PCV. An exploratory analysis of the correlation between 1p/19q status and survival was part of the study. Retrospectively, the methylation status of the methyl-guanine methyl transferase gene promoter and the mutational status of the isocitrate dehydrogenase (IDH) gene were determined. The primary end points were overall survival (OS) and progression-free survival based on intent-to-treat analysis. RESULTS A total of 368 patients were enrolled. With a median follow-up of 140 months, OS in the RT/PCV arm was significantly longer (42.3 v 30.6 months in the RT arm, hazard ratio [HR], 0.75; 95% CI, 0.60 to 0.95). In the 80 patients with a 1p/19q codeletion, OS was increased, with a trend toward more benefit from adjuvant PCV (OS not reached in the RT/PCV group v 112 months in the RT group; HR, 0.56; 95% CI, 0.31 to 1.03). IDH mutational status was also of prognostic significance. CONCLUSION The addition of six cycles of PCV after 59.4 Gy of RT increases both OS and PFS in anaplastic oligodendroglial tumors. 1p/19q-codeleted tumors derive more benefit from adjuvant PCV compared with non-1p/19q-deleted tumors.
Real-Time Whole-Genome Sequencing for Routine Typing, Surveillance, and Outbreak Detection of Verotoxigenic Escherichia coli

ABSTRACT Fast and accurate identification and typing of pathogens are essential for effective surveillance and outbreak detection. The current routine procedure is based on a variety of techniques, making the procedure laborious, time-consuming, and expensive. With whole-genome sequencing (WGS) becoming cheaper, it has huge potential in both diagnostics and routine surveillance. The aim of this study was to perform a real-time evaluation of WGS for routine typing and surveillance of verocytotoxin-producing Escherichia coli (VTEC). In Denmark, the Statens Serum Institut (SSI) routinely receives all suspected VTEC isolates. During a 7-week period in the fall of 2012, all incoming isolates were concurrently subjected to WGS using IonTorrent PGM. Real-time bioinformatics analysis was performed using web-tools (www.genomicepidemiology.org) for species determination, multilocus sequence type (MLST) typing, and determination of phylogenetic relationship, and a specific VirulenceFinder for detection of E. coli virulence genes was developed as part of this study. In total, 46 suspected VTEC isolates were characterized in parallel during the study. VirulenceFinder proved successful in detecting virulence genes included in routine typing, explicitly verocytotoxin 1 (vtx1), verocytotoxin 2 (vtx2), and intimin (eae), and also detected additional virulence genes. VirulenceFinder is also a robust method for assigning verocytotoxin (vtx) subtypes. A real-time clustering of isolates in agreement with the epidemiology was established from WGS, enabling discrimination between sporadic and outbreak isolates. Overall, WGS typing produced results faster and at a lower cost than the current routine. Therefore, WGS typing is a superior alternative to conventional typing strategies. This approach may also be applied to typing and surveillance of other pathogens.
The Knowledge Leveling Effect of Portal Sites

The new high-choice media environment has allowed entertainment-oriented people to avoid political news, resulting in a wider gap in political knowledge between entertainment- and news-oriented citizens. On the Internet, however, users tend to be concentrated into a handful of portal sites that offer a mixed information environment in which both news and entertainment are readily available. The simultaneous presentation of news and entertainment headlines on portal sites exposes entertainment-oriented people to the news, which may in turn narrow the knowledge gap between them and news-oriented people. To test this hypothesis, we examined the effects of exposure to major portal sites in Japan, where Yahoo! JAPAN attracts a large majority of Internet users. Two studies using self-reported exposure to portal sites (n = 838) and web browsing histories (n = 1,000) demonstrated that even entertainment-oriented people can acquire political knowledge, and thus portal sites can serve as knowledge levelers.
Perfluorooctanesulfonate Mediates Renal Tubular Cell Apoptosis through PPARgamma Inactivation

Perfluorinated chemicals (PFCs) are ubiquitously distributed in the environments including stainless pan-coating, raincoat, fire extinguisher, and semiconductor products. The PPAR family has been shown to contribute to the toxic effects of PFCs in thymus, immune and excretory systems. Herein, we demonstrated that perfluorooctanesulfonate (PFOS) caused cell apoptosis through increasing ratio of Bcl-xS/xL, cytosolic cytochrome C, and caspase 3 activation in renal tubular cells (RTCs). In addition, PFOS increased transcription of inflammatory cytokines (i.e., TNFα, ICAM1, and MCP1) by NFκB activation. Conversely, PFOS reduced the mRNA levels of antioxidative enzymes, such as glutathione peroxidase, catalase, and superoxide dismutase, as a result of reduced PPARγ transactivational activity by using reporter and chromatin immuoprecipitation (ChIP) assays. PFOS reduced the protein interaction between PPARγ and PPARγ coactivator-1 alpha (PGC1α) by PPARγ deacetylation through Sirt1 upregulation, of which the binding of PPARγ and PGC1α to a peroxisome proliferator response element (PPRE) in the promoter regions of these antioxidative enzymes was alleviated in the ChIP assay. Furthermore, Sirt1 also deacetylated p53 and then increased the binding of p53 to Bax, resulting in increased cytosolic cytochrome C. The effect of PPARγ inactivation by PFOS was validated using the PPARγ antagonist GW9662, whereas the adverse effects of PFOS were prevented by PPARγ overexpression and activators, rosiglitozone and L-carnitine, in RTCs. The in vitro finding of protective effect of L-carnitine was substantiated in vivo using Balb/c mice model subjected to PFOS challenge. Altogether, we provide in vivo and in vitro evidence for the protective mechanism of L-carnitine in eliminating PFOS-mediated renal injury, at least partially, through PPARγ activation.