Miracle-dz/UniFAR-FTUs huggingface dataset:
Proving termination with multiset orderings

A common tool for proving the termination of programs is the <italic>well-founded set</italic>, a set ordered in such a way as to admit no infinite descending sequences. The basic approach is to find a <italic>termination function</italic> that maps the values of the program variables into some well-founded set, such that the value of the termination function is repeatedly reduced throughout the computation. All too often, the termination functions required are difficult to find and are of a complexity out of proportion to the program under consideration. <italic>Multisets</italic> (<italic>bags</italic>) over a given well-founded set <italic>S</italic> are sets that admit multiple occurrences of elements taken from <italic>S</italic>. The given ordering on <italic>S</italic> induces an ordering on the finite multisets over <italic>S</italic>. This <italic>multiset ordering</italic> is shown to be well-founded. The multiset ordering enables the use of relatively simple and intuitive termination functions in otherwise difficult termination proofs. In particular, the multiset ordering is used to prove the termination of <italic>production systems</italic>, programs defined in terms of sets of rewriting rules.
Genetic Analysis of cagA and vacA Genes in Helicobacter Pylori Isolates and Their Relationship with Gastroduodenal Diseases in the West of Iran

Background Helicobacter pylori have different virulence factors which are associated with several gastroduodenal diseases; however, this association is variable in different geographical regions. Data of genotypes of Iranian H. pylori isolates are few. Objectives The aim of the current study was to investigate the cagA/vacA genotypes of Helicobacter pylori isolates and determine the relationship between these genotypes with respect to different gastric disorders in patients of Chaharmahalo Bakhtiarian. Materials and Methods In this cross-sectional study, gastric biopsies were taken from 200 patients with gastrodoudenal diseases. Histopathological features were recognized by specialist. The samples were subjected to PCR for detection and identification of ureC, cagA and vacA genes. Results The frequency of the vacA genotypes, sa1/m1, s1a/m1b, s1a/m2, s1b/m1a, s1b/m1b, s1b/m2, s1c/m1a, s1c/m1b, s1c/m2, s2/m1a, s2/m1b and s2/m2 were 27(6.6%), 8(4.3%), 45(28.04%), 7(3.7%), 5(2.5%), 10 (6.1%), 12 (7.4%), 4 (2.5%), 18(11%), 6(3.7%), 0 and 22(13.5%) respectively. The cagA gene was detected in 92% of strains. Based on our findings, it seemed that cagPAI and vacA s1 genotypes were associated with some gastric disorders in patients with H. pylori. In this region, the isolates carrying s1a/m2 were the most prevalent. Conclusions We found considerable relationship between s1a/m1a, s1a/m2, s2/m2 and s1c/m1a and some gastric disorders. Further studies about the role of H. pylori virulence factors and gastric disorders were recommended.
Object Class Segmentation using Random Forests

This work investigates the use of Random Forests for class based pixel-wise segmentation of images. The contribution of this paper is three-fold. First, we show that apparently quite dissimilar classifiers (such as nearest neighbour matching to texton class histograms) can be mapped onto a Random Forest architecture. Second, based on this insight, we show that the performance of such classifiers can be improved by incorporating the spatial context and discriminative learning that arises naturally in the Random Forest framework. Finally, we show that the ability of Random Forests to combine multiple features leads to a further increase in performance when textons, colour, filterbanks, and HOG features are used simultaneously. The benefit of the multi-feature classifier is demonstrated with extensive experimentation on existing labelled image datasets. The method equals or exceeds the state of the art on these datasets.
GLOBAL POLLUTION PROBLEMS , TRENDS IN DETECTION AND PROTECTION The application of regenerable sorbents for mercury capture in gas phase

Mercury is a well-known toxic element, and flue gas streams emitted from coal-fired utilities are one of the largest anthropogenic sources of this element. This study briefly reviews the proposed technologies for reducing mercury emissions from coal combustion, focusing on an emerging process which involves the use of regenerable sorbents and especially those loaded with noble metals. Among the mercury species formed during coal combustion, elemental mercury is the most difficult to remove from the flue gases due to its low reactivity and insolubility in water. The widespread interest in using regenerable sorbents with metals is due to their ability to retain elemental mercury. With this technology, not only can efficiencies of 100 % be reached in the retention of elemental mercury but also a way to avoid the generation of new wastes loaded with mercury. This study considers the main aspects that must be taken into account when developing effective regenerable sorbents for mercury capture, with special attention to sorbents containing noble metals. The characteristics of this process are compared with those of other processes in a more advanced state of development.
Posttranslational modifications of alpha-tubulin: acetylated and detyrosinated forms in axons of rat cerebellum

The distribution of acetylated alpha-tubulin in rat cerebellum was examined and compared with that of total alpha-tubulin and tyrosinated alpha-tubulin. From immunoperoxidase-stained vibratome sections of rat cerebellum it was found that acetylated alpha-tubulin, detectable with monoclonal 6-11B-1, was preferentially enriched in axons compared with dendrites. Parallel fiber axons, in particular, were labeled with 6-11B- 1 yet unstained by an antibody recognizing tyrosinated alpha-tubulin, indicating that parallel fibers contain alpha-tubulin that is acetylated and detyrosinated. Axonal microtubules are known to be highly stable and the distribution of acetylated alpha-tubulin in other classes of stable microtubules suggests that acetylation and possibly detyrosination may play a role in the maintenance of stable populations of microtubules.
Calibration of a simplified macro-model for infilled frames with openings

During the last years, some experimental efforts were conducted in order to evaluate the in-plane cyclic behaviour of infilled reinforced concrete frames considering and not openings. From the experiments, it was observed that the openings reduced infill panels’ stiffness, strength and energy dissipation capacity. In the literature, there are different numerical approaches to predict the infill panels expected behaviour with and/or without openings when subjected to in-plane demands. The experimental data are of full importance to calibrate the numerical models and evaluate their accuracy. A good calibration of the numerical models could result on a better and accurate safety assessment of the existing buildings and designing of the new ones. The main aim of this article is to evaluate the capacity of a simplified double strut model to represent the cyclic behaviour of infilled reinforced concrete frames with and without openings using the software OpenSees. The five infilled reinforced concrete frames tested by different authors and with different configurations will be simulated. Details from each specimen modelling will be provided along the article, and the accuracy of this numerical modelling approach will be evaluated in terms of force–displacement hysteretic curves. Additionally, a state-of-art review regarding the in-plane tests will be presented containing the main characteristics of the specimens and conclusions performed by each author.
Matrix metalloproteinases and TIMPs are associated with blood-brain barrier opening after reperfusion in rat brain.

BACKGROUND AND PURPOSE Reperfusion disrupts cerebral capillaries, causing cerebral edema and hemorrhage. Middle cerebral artery occlusion (MCAO) induces the matrix-degrading metalloproteinases, but their role in capillary injury after reperfusion is unknown. Matrix metalloproteinases (MMPs) and tissue inhibitors to metalloproteinases (TIMPs) modulate capillary permeability. Therefore, we measured blood-brain barrier (BBB) permeability, brain water and electrolytes, MMPs, and TIMPs at multiple times after reperfusion. METHODS Adult rats underwent MCAO for 2 hours by the suture method. Brain uptake of 14C-sucrose was measured from 3 hours to 14 days after reperfusion. Levels of MMPs and TIMPs were measured by zymography and reverse zymography, respectively, in contiguous tissues. Other rats had water and electrolytes measured at 3, 24, or 48 hours after reperfusion. Treatment with a synthetic MMP inhibitor, BB-1101, on BBB permeability and cerebral edema was studied. RESULTS Brain sucrose uptake increased after 3 and 48 hours of reperfusion, with maximal opening at 48 hours and return to normal by 14 days. There was a correlation between the levels of gelatinase A at 3 hours and the sucrose uptake (P<0.05). Gelatinase A (MMP-2) was maximally increased at 5 days, and TIMP-2 was highest at 5 days. Gelatinase B and TIMP-1 were maximally elevated at 48 hours. The inhibitor of gelatinase B, TIMP-1, was also increased at 48 hours. Treatment with BB-1101 reduced BBB opening at 3 hours and brain edema at 24 hours, but neither was affected at 48 hours. CONCLUSIONS The initial opening at 3 hours correlated with gelatinase A levels and was blocked by a synthetic MMP inhibitor. The delayed opening, which was associated with elevated levels of gelatinase B, failed to respond to the MMP inhibitor, suggesting different mechanisms of injury for the biphasic BBB injury.
Pax6 Regulates the Expression of Dkk3 in Murine and Human Cell Lines, and Altered Responses to Wnt Signaling Are Shown in FlpIn-3T3 Cells Stably Expressing Either the Pax6 or the Pax6(5a) Isoform

Pax6 is a transcription factor important for early embryo development. It is expressed in several cancer cell lines and tumors. In glioblastoma, PAX6 has been shown to function as a tumor suppressor. Dickkopf 3 (Dkk3) is well established as a tumor suppressor in several tumor types, but not much is known about the regulation of its expression. We have previously found that Pax6 and Pax6(5a) increase the expression of the Dkk3 gene in two stably transfected mouse fibroblast cell lines. In this study the molecular mechanism behind this regulation is looked at. Western blot and reverse transcriptase quantitative PCR (RT-qPCR) confirmed higher level of Dkk3 expression in both Pax6 and Pax6(5a) expressing cell lines compared to the control cell line. By the use of bioinformatics and electrophoretic mobility shift assay (EMSA) we have mapped a functional Pax6 binding site in the mouse Dkk3 promoter. The minimal Dkk3 promoter fragment required for transcriptional activation by Pax6 and Pax6(5a) was a 200 bp region just upstream of the transcriptional start site. Mutation of the evolutionary conserved binding site in this region abrogated transcriptional activation and binding of Pax6/Pax6(5a) to the mouse Dkk3 promoter. Since the identified Pax6 binding site in this promoter is conserved, RT-qPCR and Western blot were used to look for regulation of Dkk3/REIC expression in human cell lines. Six of eight cell lines tested showed changes in Dkk3/REIC expression after PAX6 siRNA knockdown. Interestingly, we observed that the Pax6/Pax6(5a) expressing mouse fibroblast cell lines were less responsive to canonical Wnt pathway stimulation than the control cell line when TOP/FOP activity and the levels of active β-catenin and GSK3-β Ser9 phosphorylation were measured after LiCl stimulation.
Dynamic Complex Formation During the Yeast Cell Cycle

To analyze the dynamics of protein complexes during the yeast cell cycle, we integrated data on protein interactions and gene expression. The resulting time-dependent interaction network places both periodically and constitutively expressed proteins in a temporal cell cycle context, thereby revealing previously unknown components and modules. We discovered that most complexes consist of both periodically and constitutively expressed subunits, which suggests that the former control complex activity by a mechanism of just-in-time assembly. Consistent with this, we show that additional regulation through targeted degradation and phosphorylation by Cdc28p (Cdk1) specifically affects the periodically expressed proteins.
Comparison of the Smear Layer Removal Ability of Four Different Final Activation Techniques after Retreatment Procedures: a SEM Investigation

T he elimination of vital and necrotic tissue remnants and microorganisms from the canal is one of the main objectives of endodontics. [1,2] The debris and smear layers on dentin surfaces is reported to occur because of anatomic variations in a root canals and limitations during the shaping. [3] The importance of irrigation for removing the debris and smear layer has increased in modern endodontics, and the use of systems and techniques that activate the irrigation agents has become more popular. [4,5] Among the chemical agents used in the final irrigation after the shaping process, the main ones are sodium hypochlorite (NaOCl) and ethylene-diamine-tetra-acetic-acid (EDTA). [6] Although the systems and techniques that activate the chemical irrigation agents improve the efficiency of the agents, they may be insufficient, especially in the apical 1/3 of the canal. [7,8]
Advanced cancer caregiving as a risk for major depressive episodes and generalized anxiety disorder

Caregivers of advanced cancer patients provide extensive care associated with high levels of caregiver distress. The degree to which cancer caregiving increases caregivers' risk for a psychiatric disorder is unknown. The current study examines whether advanced cancer caregiving poses distinct risks for initial and recurrent major depressive episodes (MDEs) and generalized anxiety disorder (GAD) relative to the general population.
In Situ Localization of Azospirillum brasilense in the Rhizosphere of Wheat with Fluorescently Labeled, rRNA-Targeted Oligonucleotide Probes and Scanning Confocal Laser Microscopy

The colonization of wheat roots by Azospirillum brasilense was used as a model system to evaluate the utility of whole-cell hybridization with fluorescently labeled, rRNA-targeted oligonucleotide probes for the in situ monitoring of rhizosphere microbial communities. Root samples of agar- or soil-grown 10- and 30-day-old wheat seedlings inoculated with different strains of A. brasilense were hybridized with a species-specific probe for A. brasilense, a probe hybridizing to alpha subclass proteobacteria, and a probe specific for the domain Bacteria to identify and localize the target bacteria. After hybridization, about 10 to 25% of the rhizosphere bacteria as visualized with 4(prm1),6-diamidino-2-phenylindole (DAPI) gave sufficient fluorescence signals to be detected with rRNA-targeted probes. Scanning confocal laser microscopy was used to overcome disturbing effects arising from autofluorescence of the object or narrow depth of focus in thick specimens. This technique also allowed high-resolution analysis of the spatial distribution of bacteria in the rhizosphere. Occurrence of cells of A. brasilense Sp7 and Wa3 was restricted to the rhizosphere soil, mainly to the root hair zone. C-forms of A. brasilense were demonstrated to be physiologically active forms in the rhizosphere. Strain Sp245 also was found repeatedly at high density in the interior of root hair cells. In general, the combination of fluorescently labeled oligonucleotide probes and scanning confocal laser microscopy provided a very suitable strategy for detailed studies of rhizosphere microbial ecology.
Antimicrobial Activity of Croton macrostachyus Stem Bark Extracts against Several Human Pathogenic Bacteria

In Kenya, leaves and roots from Croton macrostachyus are used as a traditional medicine for infectious diseases such as typhoid and measles, but reports on possible antimicrobial activity of stem bark do not exist. In this study, the antibacterial and antifungal effects of methanol, ethyl acetate and butanol extracts, and purified lupeol of C. macrostachyus stem bark were determined against important human gram-negative pathogens Escherichia coli, Salmonella typhi, Klebsiella pneumoniae, and Enterobacter aerogenes, gram-positive Listeria monocytogenes, and a fungus Candida albicans. The most promising broad scale antimicrobial activity against all the studied pathogens was shown by the ethyl acetate extract. The ethyl acetate extract induced the zone of inhibition between 10.1 ± 0.6 mm and 16.0 ± 1.2 mm against S. typhi, E. coli, K. pneumoniae, E. aerogenes, and L. monocytogenes with weaker antimicrobial activity against C. albicans (zone of inhibition: 5.6 ± 1.0 mm). The antibiotic controls (amoxicillin, ciprofloxacin, ampicillin, benzylpenicillin, clotrimazole, and cefotaxime) showed antimicrobial activity with zones of inhibition within 13.4 ± 0.7–22.1 ± 0.9 mm. The ethyl acetate extract had MIC in the range of 125–250 mg/mL against all the studied bacteria and against C. albicans MIC was 500 mg/mL. The present results give scientific evidence and support the traditional use of C. macrostachyus stem bark as a source for antimicrobials. We show that C. macrostachyus stem bark lupeol is a promising antimicrobial agent against several important human pathogens.
Tumor necrosis factor alpha is associated with disease activity and the degree of anemia in patients with rheumatoid arthritis

Abstract. To elucidate the role of tumor necrosis factor alpha (TNF) in determining anemia of chronic disease (ACD) in rheumatoid arthritis (RA), 24 patients were studied for disease parameters, TNF serum levels and bone marrow for erythroid colony growth and compared with six controls. Serum TNFα was highest in ACD and correlated well with RA disease parameters. Both TNF and other RA disease parameters correlated inversely with degree of anemia. BFUe counts were lower in ACD, correlated positively with Hb and negatively with erythrocyte sedimentation rate (ESR). TNF reduced whereas anti‐TNF upregulated in vitro erythroid colony counts. TNF production occurred in similar amounts in bone marrow cultures in the three groups. From these preliminary findings we conclude that ACD in RA correlates with by RA disease activity and that TNF may serve not only as an RA disease marker but also could be one of the factors mediating impaired erythropoiesis in ACD in active RA.
Does Institutional Quality Affect Firm Performance? Insights from a Semiparametric Approach

Using a novel modeling approach, and cross-country firm level data for the textiles industry, we examine the impact of institutional quality on firm performance. Our methodology allows us to estimate the marginal impact of institutional quality on productivity of each firm. Our results bring into question conventional wisdom about the desirable characteristics of market institutions, which is based on empirical evidence about the impact of institutional quality on the average firm. We demonstrate, for example, that once both the direct impact of a change in institutional quality on total factor productivity and the indirect impact through changes in efficiency of use of factor inputs are taken into account, an increase in labor market rigidity may have a positive impact on firm output, at least for some firms. We also demonstrate that there are significant intra-country variations in the marginal impact of institutional quality, such that the characteristics of “winners” and “losers” will have to be taken into account before policy is introduced to change institutional quality in any direction.
Does the type of flooring affect the risk of hip fracture?

BACKGROUND The number of hip fractures occurring worldwide in 1990 was estimated at 1.7 million and is predicted to rise to 6.3 million by 2050. The vast majority occur as a result of simple falls and the impact of the femoral trochanter with the floor. Previous studies have addressed the problem from the patient's side of the impact. Little research has been carried out on the other surface involved in the impact, the floor. STUDY LOCATION: 34 residential care homes. METHODS (1) The mechanical properties of the floor were measured with force transducers. (2) The number and location of falls and fractures on the various floors were recorded prospectively for 2 years. The threshold for reporting falls in different care homes was assessed using a standardised set of scenarios. RESULTS A total of 6,641 falls and 222 fractures were recorded. Wooden carpeted floors were associated with the lowest number of fractures per 100 falls. The risk of fracture resulting from a fall was significantly lower compared to all other floor types (odds ratio 1.78, 95% CI 1.33-2.35). The mean impact force was significantly lower on wooden carpeted floors: 11.9 kN compared to the other floor types. DISCUSSION The possible implications of our findings are considerable. Residents of homes are typically frail and many have a propensity to falls. In designing safer environments for older people, the type of floor should be chosen to minimise the risk of fracture. This may result in a major reduction in fractures in the elderly.
Coping, perceived stress, and job satisfaction among medical interns: The mediating effect of mindfulness

Background: Past research studies on the exploration of attributes to the stress of doctors/medical interns were reported more often than the types of coping strategies, healthy practices to strengthen their internal resources to deal effectively with the stressful situations. Objectives: The present study was conducted to find such internal resource – “mindfulness” as a mediator of coping, perceived stress, and job satisfaction among medical interns. Methods: A cross-sectional descriptive study comprised 120 medical interns forms from various medical colleges in Mangalore were recruited and completed the assessment on mindfulness, cognitive-emotive regulation, coping strategies, perceived stress, and job satisfaction from doctoral interns were collected. Results: Initial correlation analysis results indicate that adaptive coping strategies significantly associate with greater mindfulness and less perceived stress. In turn, mindfulness is negatively correlated with nonadaptive coping strategies and perceived. Job satisfaction showed no significant relationship with any of the other variables. Mediational models indicate that the relationship between adaptive coping strategies and perceived stress was significantly mediated by mindfulness. Furthermore, partial mediation between nonadaptive strategies and perceived stress through mindfulness indicates that respondents reported a high level of nonadaptive strategy experience and a lower level of mindfulness can be counterproductive as they encourage the ineffective way to deal with the stresses. Conclusion: The implication of the results were discussed with suggesting a possible intervention to improve the adaptive strategies and mindfulness among the medical interns.