Miracle-dz/UniFAR-FTUs huggingface dataset:
Interclass testing of object oriented software

The characteristics of object-oriented software affect type and relevance of faults. In particular the state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. This paper proposes a new technique for interclass testing, that is, the problem of deriving test cases for suitably exercising interactions among clusters of classes. The proposed technique uses data-flow analysis for deriving a suitable set of test case specifications for interclass testing. The paper then shows how to automatically generate feasible test cases that satisfy the derived specifications using symbolic execution and automated deduction. Finally, the paper demonstrates the effectiveness of the proposed technique by deriving test cases for a microscope controller developed for the European Space Laboratory of the Columbus Orbital Facility.
The Costs of Patronage : Evidence from the British Empire

I combine newly digitized personnel and public finance data from the British colonial administration 1854-1966 to study how patronage affects the promotion and incentives of governors. Governors are more likely to be promoted to higher salaried colonies when connected to their superior during the period of patronage. Once allocated, they provide more tax exemptions, raise less revenue, and invest less. The promotion and performance gaps disappear after the abolition of patronage appointments. Patronage therefore distorts the allocation of public sector positions and reduces the incentives of favored bureaucrats to perform. JEL: O1, M51, D73
Microbiological quality of salmon (Salmo salar) sold in cities of the state of SãO Paulo, Brazil

The present paper evaluated the microbiology of salmon by quantifying mesophilic heterotrophic microorganisms, total and thermotolerant coliforms, and the presence of Vibrio parahaemolyticus, Staphylococcus aureus, Salmonella sp. , Escherichia coli and Aeromonas sp. in the meat. This study can provide technical support for the suggestion of a new regulation of a Brazilian legislation through specific microbiological standards concerning the consumption of raw fish. A number of 31 (16 cooled and 15 frozen) samples of salmon were collected in the retail market network of a few cities in the State of São Paulo, Brazil. Results presented populations of mesophilic heterotrophic microorganisms ranging from 1.0 × 10 and 3.9 × 106 CFU/g, total and thermotolerant coliforms in 32.25% and 19.35% of the samples, respectively, and Aeromonas sp. in 41.95% of the samples with a populational variation ranging from 2.0 × 102 to 8.0 × 103 CFU/g. Staphylococcus aureus was found in one sample whereas Vibrio parahaemolyticus, Salmonella sp. and Escherichia coli were not found. These results demonstrated the presence of potencially pathogenic microorganisms in fresh fish consumed in Brazil, highlighting the necessity of control measures to avoid public health problems related to the consumption of raw fish.
Maintained Stroke Volume but Impaired Arterial Oxygenation in Man at High Altitude with Supplemental CO2

Hypobaric hypoxia causes hypocapnia and alkalosis, hemoconcentration and increased hematocrit, and a decreased cardiac stroke volume. To assess the role of the hypocapnic alkalosis in causing these other changes, five men were exposed to hypobaric hypoxia at a barometric pressure (PB) of 440 torr with an alveolar O, tension of 55 torr for 5 days with 3.77% CO2 added to the atmosphere to prevent alkalosis. They did not lose weight, and arterial CO2 tension, pH, and cardiac stroke volume were unchanged. An unchanged hematocrit implied an unchanged plasma volume. During exercise to maximum, stroke volumes equaled sea level values but arterial hypoxemia was profound, the arterial O2 tension being 39 torr. By contrast, three men at high altitude without CO2 supplementation (PB = 455 torr; alveolar Po2 = 56 torr) had weight loss, hypocapnia, alkalosis, and decreased stroke volume. Increased hematocrits suggested decreased plasma volumes. During exercise, arterial Po2 (48 torr) was higher than in the group receiving CO2. Maximum oxygen uptakes were decreased to a similar degree in the two groups. Catecholamine excretion doubled in the group with CO2 but in the group without CO2 catechoamine excretion was unchanged. A normal pH at high altitude apparently maintained plasma volume, which, with the increased catecholamine excretion, may have prevented a decrease in stroke volume. However, the subjects with CO2 added did not have enhanced oxygen transport, because their arterial oxygenation was impaired.
The angiotensin type 1 receptor antagonist, eprosartan, attenuates the progression of renal disease in spontaneously hypertensive stroke-prone rats with accelerated hypertension.

The effects of the angiotensin type 1 (AT(1)) receptor antagonist, eprosartan, were studied in a model of severe, chronic hypertension. Treatment of male spontaneously hypertensive stroke prone rats (SHR-SP) fed a high-fat, high-salt diet with eprosartan (60 mg/kg/day i.p.) for 12 weeks resulted in a lowering of blood pressure (250 +/- 9 versus 284 +/- 8 mm Hg), renal expression of transforming growth factor-beta mRNA (1.5 +/- 0.2 versus 5.4 +/- 1.4) and the matrix components: plasminogen activator inhibitor-1 (5.2 +/- 1.4 versus 31.4 +/- 10.7), fibronectin (2.2 +/- 0.6 versus 8.2 +/- 2.2), collagen I-alpha 1 (5.6 +/- 2.0 versus 23.8 +/- 7.3), and collagen III (2.7 +/- 0.9 versus 7.6 +/- 2.1). Data were corrected for rpL32 mRNA expression and expressed relative to Wistar Kyoto (WKY) rats [=1.0]. Expression of fibronectin protein was also lowered by eprosartan (0.8 +/- 0.1 versus 1.9 +/- 0.5), relative to WKY rats. Eprosartan provided significant renoprotection to SHR-SP rats as measured by decreased proteinuria (22 +/- 2 versus 127 +/- 13 mg/day) and histological evidence of active renal damage (5 +/- 2 versus 195 +/- 6) and renal fibrosis (5.9 +/- 0.7 versus 16.4 +/- 1.9) in vehicle- versus eprosartan-treated rats, respectively. Our results demonstrated that AT(1) receptor blockade with eprosartan can reduce blood pressure and preserve renal structure and function in this model of severe, chronic hypertension. These effects were accompanied by a decreased renal expression of transforming growth factor-beta1, plasminogen activator inhibitor-1, and several other extracellular matrix proteins compared with vehicle-treated SHR-SP.
Design and evaluation of soft abrasive grinding wheels for silicon wafers

The objective of this study is to design and evaluate soft abrasive wheels for silicon wafer grinding. In this study, CeO2, SiO2, Fe2O3 and MgO soft abrasives are used in the design of soft abrasive grinding wheels. The soft abrasive grinding wheels are then used to grind silicon wafers and compared with diamond wheel grinding and chemomechanical polishing. This study demonstrates that the newly designed soft abrasive grinding wheels are generally superior to diamond wheel grinding or chemomechanical polishing in terms of wafer surface/subsurface quality, wheel dressability, grinding ratio and material removal rate. This study further identifies the MgO soft abrasive grinding wheel as the best of the four soft abrasive grinding wheels. Discussion is provided to explore material removal mechanisms, wheel dressing characteristics and wafer surface finish and quality of the newly designed soft abrasive grinding wheels.
Genome-Wide Analysis of Cold Adaptation in Indigenous Siberian Populations

Following the dispersal out of Africa, where hominins evolved in warm environments for millions of years, our species has colonised different climate zones of the world, including high latitudes and cold environments. The extent to which human habitation in (sub-)Arctic regions has been enabled by cultural buffering, short-term acclimatization and genetic adaptations is not clearly understood. Present day indigenous populations of Siberia show a number of phenotypic features, such as increased basal metabolic rate, low serum lipid levels and increased blood pressure that have been attributed to adaptation to the extreme cold climate. In this study we introduce a dataset of 200 individuals from ten indigenous Siberian populations that were genotyped for 730,525 SNPs across the genome to identify genes and non-coding regions that have undergone unusually rapid allele frequency and long-range haplotype homozygosity change in the recent past. At least three distinct population clusters could be identified among the Siberians, each of which showed a number of unique signals of selection. A region on chromosome 11 (chr11:66–69 Mb) contained the largest amount of clustering of significant signals and also the strongest signals in all the different selection tests performed. We present a list of candidate cold adaption genes that showed significant signals of positive selection with our strongest signals associated with genes involved in energy regulation and metabolism (CPT1A, LRP5, THADA) and vascular smooth muscle contraction (PRKG1). By employing a new method that paints phased chromosome chunks by their ancestry we distinguish local Siberian-specific long-range haplotype signals from those introduced by admixture.
Purification and Properties of S-Adenosyl-L-methionine: L-Methionine S-Methyltransferase from Wollastonia biflora Leaves (*)

The plant enzyme S-adenosylmethionine:methionine S-methyltransferase (EC 2.1.1.12, MMT) catalyzes the synthesis of S-methylmethionine. MMT was purified 620-fold to apparent homogeneity from leaves of Wollastonia biflora. The four-step purification included fractionation with polyethylene glycol, affinity chromatography on adenosine-agarose, anion exchange chromatography, and gel filtration. Protein yield was about 180 μg/kg of leaves. Estimates of molecular mass from sodium dodecyl sulfate-polyacrylamide gel electrophoresis and native gel filtration chromatography were, respectively, 115 and 450 kDa, suggesting a tetramer of 115-kDa subunits. The 115-kDa subunit was photoaffinity labeled by S-adenosyl[H]methionine. Antibodies raised against W. biflora MMT recognized a 115-kDa polypeptide in partially purified MMT preparations from leaves of lettuce, cabbage, clover, and maize. The pH optimum of W. biflora MMT was 7.2. Kinetic analysis of substrate interaction and product inhibition patterns indicated an Ordered Bi Bi mechanism, with S-adenosylmethionine the first reactant to bind and S-adenosylhomocysteine the last product to be released. The enzyme catalyzed methylation of selenomethionine and ethionine, but not of S-methylcysteine, homocysteine, cysteine, or peptidylmethionine. Tests with other substrate analogs indicated that a free carboxyl group was required for enzyme activity, and that a free amino group was not.
The Effect of Age at First Calving and Calving Interval on Productive Life and Lifetime Profit in Korean Holsteins

This study was performed to estimate the effect of age at first calving and first two calving intervals on productive life and life time profit in Korean Holsteins. Reproduction data of Korean Holsteins born from 1998 to 2004 and lactation data from 276,573 cows with birth and last dry date that calved between 2000 and 2010 were used for the analysis. Lifetime profit increased with the days of life span. Regression of Life Span on Lifetime profit indicated that there was an increase of 3,800 Won (approximately $3.45) of lifetime profit per day increase in life span. This is evidence that care of each cow is necessary to improve net return and important for farms maintaining profitable cows. The estimates of heritability of age at first calving, first two calving intervals, days in milk for lifetime, lifespan, milk income and lifetime profit were 0.111, 0.088, 0.142, 0.140, 0.143, 0.123, and 0.102, respectively. The low heritabilities indicated that the productive life and economical traits include reproductive and productive characteristics. Age at first calving and interval between first and second calving had negative genetic correlation with lifetime profit (−0.080 and −0.265, respectively). Reducing age at first calving and first calving interval had a positive effect on lifetime profit. Lifetime profit increased to approximately 2,600,000 (2,363.6) from 800,000 Won ($727.3) when age at first calving decreased to (22.3 month) from (32.8 month). Results suggested that reproductive traits such as age at first calving and calving interval might affect various economical traits and consequently influenced productive life and profitability of cows. In conclusion, regard of the age at first calving must be taken with the optimum age at first calving for maximum lifetime profit being 22.5 to 23.5 months. Moreover, considering the negative genetic correlation of first calving interval with lifetime profit, it should be reduced against the present trend of increase.
High-Frequency Oscillatory Ventilation Versus Intermittent Mandatory Ventilation: Early Hemodynamic Effects in the Premature Baboon with Hyaline Membrane Disease

ABSTRACT: We studied the hemodynamic consequences during the first 24 h of life in premature baboons (140 d) with hyaline membrane disease that were treated with high-frequency oscillatory ventilation (HFOV) or conventional intermittent mandatory ventilation (IMV). Cardiac output and organ blood flow were measured at three time-points using the radiolabeled microsphere technique. Seven of seven HFOV and six of eight IMV animals survived the 24-h period. By design, initial mean airway pressure (Paw) was higher in the HFOV group (p < 0.01). HFOV Paw was progressively reduced during the study period because of improving oxygenation as measured by the arterial to alveolar oxygen ratio. In contrast, it was necessary to increase Paw in the IMV animals to maintain the arterial to alveolar oxygen ratio. By 23 h, the IMV group required higher Paw than the HFOV group (p < 0.05) and had a lower arterial to alveolar oxygen ratio (p < 0.05). We found no significant differences in left ventricular output, effective systemic flow, organ blood flow, or central venous pressure between the two groups at 3, 8, or 23 h. The HFOV strategy used in our study resulted in significant improvement in oxygenation during the initial 24 h of treatment without adverse effect on left ventricular output, cerebral blood flow, or central venous pressure. We conclude that when appropriate changes in Paw are made during HFOV in response to improvement in arterial oxgenation and changes in lung inflation as assessed by chest radiographs HFOV can be achieved without depressing cardiovascular dynamics more than during conventional therapy with IMV.
Characteristics of Action Potentials of Hypertrophied Myocardium from Rats with Renal Hypertension

We investigated the electrophysiological effects of cardiac hypertrophy induced by renal hypertension in rats by comparing transmembrane action potentials (AP) recorded from the papillary muscles of hypertensive (HBP) and normal (SHAM) rats. No significant difference was found between HBP and SHAM AP with regard to resting membrane potential (RMP), action potential amplitude (AMP), overshoot (OS), or maximum rate of rise of the upstroke. In contrast, the duration of 50% (APD50) and 75% (APD75) of repolarization to the RMP was significantly and consistently longer for HBP AP than for SHAM AP. The mechanism for prolonged HBP AP was investigated by changing extracellular fluid composition and by use of ion channel blockers. The responses of HBP and SHAM AP to various treatments differed in a quantitative rather than qualitative fashion. Exposure to C2+-containing or low-Na+ Tyrode's solution produced a differentially greater decrease in APD50 and APD75 in HBP AP than in SHAM AP. Treatment with D600 also produced differential shortening of HBP AP, but its effect was limited to APD50. In contrast, exposure to Sr2+-containing and TEA-containing Tyrode's solution produced an increase in APD50 and APD75, but the lengthening effect was not differentially greater in HBP than in SHAM AP. Treatment with Ca2+-free Tyrode's solution had little effect on APD in either HBP and SHAM rats. None of the treatments had a significant differential action on RMP or AMP in HBP AP as compared to SHAM AP. Our results show that AP prolongation is a specific and consistent feature of hypertrophied myocardium and that the changes responsible for prolonged HBP AP are quantitative rather than qualitative in nature. The specific differential effects of high Ca2+ concentration ([Ca2+]o) and low Na+ concentration ([Na*]o) on the duration of HBP AP indicate that the membrane sensitivity to these ions is altered in hypertrophied myocardium and that one possible explanation for prolonged HBP AP is slowed inactivation of a Ca2+-inactivated inward current. Circ Res 47: 443-454, 1980
Ultrasonographic monitoring of response to therapy in polymyalgia rheumatica

Objective To assess the responsiveness of ultrasound (US) inflammatory findings in the shoulder and hip of patients with polymyalgia rheumatica (PMR) who started treatment with corticosteroids. Methods Fifty-three patients with active PMR who started treatment with prednisone in six Spanish centres were prospectively studied. The patients underwent clinical, laboratory and US assessment at baseline, 4 and 12 weeks. The US investigation consisted of detection and quantification of inflammatory findings in the shoulder and hip. The responsiveness of clinical, laboratory and US parameters was tested by the standardised response mean. Intraobserver and interobserver reliability between US investigators was assessed. Results At baseline, 34 patients (69%) had inflammation in at least one bilateral site. During the follow-up period, clinical, laboratory and US variables showed a parallel decrease. A significant decrease in US inflammatory parameters was found at week 4 (p<0.001). After 4 and 12 weeks of treatment with corticosteroids, US inflammatory findings showed similar or better sensitivity to change than clinical and laboratory markers of PMR activity. Intraobserver and interobserver intraclass correlation coefficients were 0.96 and 0.99, respectively (p<0.05). Conclusion US may be a responsive additional tool in monitoring the response to corticosteroids in patients with PMR in daily practice and multicentre trials.
Influence of Water on Alkali-Silica Reaction: Experimental Study and Numerical Simulations

Alkali-silica reaction (ASR) is a concrete pathology due to chemical reactions involving reactive silica from reactive aggregates and the inner solution of concrete. Main effects are swelling, cracking, and reduction in the mechanical properties of affected concretes. Water is very important for ASR; the more available water, the more expansion and degradation. This article presents new laws for modeling of the influence of water upon ASR. They are based on experimental results and then used to simulate results taken out of the scientific literature.
Amplification of EDHF‐type vasodilatations in TRPC1‐deficient mice

BACKGROUND AND PURPOSE TRPC1 channels are expressed in the vasculature and are putative candidates for intracellular Ca2+ handling. However, little is known about their role in endothelium‐dependent vasodilatations including endothelium‐derived hyperpolarizing factor (EDHF) vasodilatations, which require activation of Ca2+‐activated K+ channels (KCa). To provide molecular information on the role of TRPC1 for KCa function and the EDHF signalling complex, we examined endothelium‐dependent and independent vasodilatations, KCa currents and smooth muscle contractility in TRPC1‐deficient mice (TRPC1‐/‐).
Torsadogenic drug-induced increased short-term variability of JT-area

Increased beat-to-beat variability of repolarization (BVR) has been suggested to indicate increased susceptibility to drug-induced arrhythmia. This study aimed to characterize BVR in patients before and after administration of sotalol, a torsadogenic antiarrhythmic drug, in the search for new biomarkers of proarrhythmic risk. ECG Recordings pre and post sotalol injection in two groups of patients (with and without history of drug-induced torsades de pointes) were obtained from THEW. ECG wave detection and delineation were performed via dyadic wavelet transform. BVR was evaluated by short-term variability (STV) of QTc interval and JT area. In both groups, sotalol resulted in significant increase in STV of JT area, while no significant change occurred in STV of QTc interval. Thus, STV of JT area, as a measure of BVR, has the potential to be a biomarker for drug toxicity.
Interatomic potential for studying ageing under irradiation in stainless steels: the FeNiCr model alloy

The degradation of austenitic stainless steels in a radiation environment is a known problem for the in-core components of nuclear light water reactors. For a better understanding of the prevailing mechanisms responsible for the materials' degradation, large-scale atomistic simulations are desirable. In this framework and as a follow-up on Bonny et al (2011 Modelling Simul. Mater. Sci. Eng. 19 085008), we developed an embedded atom method type interatomic potential for the ternary FeNiCr system to model the production and evolution of radiation defects. Special attention has been drawn to the Fe10Ni20Cr alloy, whose properties were ensured to be close to those of 316L austenitic stainless steels. The potential is extensively benchmarked against density functional theory calculations and the potential developed in our earlier work. As a first validation, the potential is used in AKMC simulations to simulate thermal annealing experiments in order to determine the self-diffusion coefficients of the components in FeNiCr alloys around the Fe10Ni20Cr composition. The results from these simulations are consistent with experiments, i.e., DCr > DNi > DFe.
Chaperone-dependent amyloid assembly protects cells from prion toxicity

Protein conformational diseases are associated with the aberrant accumulation of amyloid protein aggregates, but whether amyloid formation is cytotoxic or protective is unclear. To address this issue, we investigated a normally benign amyloid formed by the yeast prion [RNQ+]. Surprisingly, modest overexpression of Rnq1 protein was deadly, but only when preexisting Rnq1 was in the [RNQ+] prion conformation. Molecular chaperones protect against protein aggregation diseases and are generally believed to do so by solubilizing their substrates. The Hsp40 chaperone, Sis1, suppressed Rnq1 proteotoxicity, but instead of blocking Rnq1 protein aggregation, it stimulated conversion of soluble Rnq1 to [RNQ+] amyloid. Furthermore, interference with Sis1-mediated [RNQ+] amyloid formation exacerbated Rnq1 toxicity. These and other data establish that even subtle changes in the folding homeostasis of an amyloidogenic protein can create a severe proteotoxic gain-of-function phenotype and that chaperone-mediated amyloid assembly can be cytoprotective. The possible relevance of these findings to other phenomena, including prion-driven neurodegenerative diseases and heterokaryon incompatibility in fungi, is discussed.
Using Morphological and Syntactic Structures for Chinese Opinion Analysis

This paper employs morphological structures and relations between sentence segments for opinion analysis on words and sentences. Chinese words are classified into eight morphological types by two proposed classifiers, CRF classifier and SVM classifier. Experiments show that the injection of morphological information improves the performance of the word polarity detection. To utilize syntactic structures, we annotate structural trios to represent relations between sentence segments. Experiments show that considering structural trios is useful for sentence opinion analysis. The best f-score achieves 0.77 for opinion word extraction, 0.62 for opinion word polarity detection, 0.80 for opinion sentence extraction, and 0.54 for opinion sentence polarity detection.