Miracle-dz/UniFAR-FTUs huggingface dataset:
A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models

A static loop analysis is a program analysis computing loop iteration counts. This information is crucial for different fields of applications. In the domain of compilers, the knowledge about loop iterations can be exploited for aggressive loop optimizations like Loop Unrolling. A loop analyzer also provides static information about code execution frequencies which can assist feedback-directed optimizations. Another prominent application is the static worst-case execution time (WCET) analysis which relies on a safe approximation of loop iteration counts.In this paper, we propose a framework for a static loop analysis based on Abstract Interpretation, a theory of a sound approximation of program semantics. To accelerate the analysis, we preprocess the analyzed code using Program Slicing, a technique that removes statements irrelevant forthe loop analysis. In addition, we introduce a novel polytope-based loop evaluation that further significantly reduces the analysis time. The efficiency of our loop analyzer is evaluated on a large number of benchmarks. Results show that 99% of the considered loops could be successfully analyzed in an acceptable amount of time. This study points out that our methodology is best suited for real-world problems.
Physiological and Morphological Identification of Photosensitive Neurons in the Opisthosomal Ganglia of Limulus polyphemus

The motor outputs of the isolated opisthosomal ventral nerve cord in Limulus polyphemus are modulated by light. We have identified the photosensitive neurons and examined their physiological and morphological properties using intracellular recording and staining techniques. We found that photosensitive neurons are present in each ganglion of the opisthosomal ventral nerve cord. These neurons often discharged action potentials spontaneously in the dark, and they increased the frequency of this discharge in the light. The mean latency (±SD) of the light-induced action potential was 2.2 ± 1.1 s. Cells responded in a graded fashion over a 2-log unit of light intensity. The peak spectral sensitivity was 425 nm or lower. The Lucifer-yellow-labeled photosensitive neurons had oval somata with mean (±SD) diameters of 102 ± 3 μm (long axis) and 75 ± 5 μm (short axis), and extended their axons to the contralateral region of the ventral nerve cord. The soma had no dendrites, and the axon had thin branches.
Molecular Mechanisms Underlying the Enhanced Analgesic Effect of Oxycodone Compared to Morphine in Chemotherapy-Induced Neuropathic Pain

Oxycodone is a μ-opioid receptor agonist, used for the treatment of a large variety of painful disorders. Several studies have reported that oxycodone is a more potent pain reliever than morphine, and that it improves the quality of life of patients. However, the neurobiological mechanisms underlying the therapeutic action of these two opioids are only partially understood. The aim of this study was to define the molecular changes underlying the long-lasting analgesic effects of oxycodone and morphine in an animal model of peripheral neuropathy induced by a chemotherapic agent, vincristine. Using a behavioural approach, we show that oxycodone maintains an optimal analgesic effect after chronic treatment, whereas the effect of morphine dies down. In addition, using DNA microarray technology on dorsal root ganglia, we provide evidence that the long-term analgesic effect of oxycodone is due to an up-regulation in GABAB receptor expression in sensory neurons. These receptors are transported to their central terminals within the dorsal horn, and subsequently reinforce a presynaptic inhibition, since only the long-lasting (and not acute) anti-hyperalgesic effect of oxycodone was abolished by intrathecal administration of a GABAB receptor antagonist; in contrast, the morphine effect was unaffected. Our study demonstrates that the GABAB receptor is functionally required for the alleviating effect of oxycodone in neuropathic pain condition, thus providing new insight into the molecular mechanisms underlying the sustained analgesic action of oxycodone.
Synthesis and Spectroscopic Evaluation of Two Novel Glycosylated Zinc(II)-Phthalocyanines

In continuation of our work on glycoconjugated phthalocyanines, two new water soluble, non-ionic zinc(II) phthalocyanines have been prepared and fully characterized by means of 1H-NMR, 13C-NMR, MALDI-TOF, ESI-TOF, UV-Vis spectroscopy, emission spectroscopy and fluorescence lifetime measurements. The carbohydrate-containing phthalonitrile precursors were synthesized through a copper-catalyzed azide-alkyne cycloaddition (CuAAC). The 2-methoxyethoxymethyl protecting group (MEM) was used to protect the carbohydrate moieties. It resisted the harsh basic cyclotetramerization conditions and could be easily cleaved under mild acidic conditions. The glycoconjugated zinc(II) phthalocyanines described here have molar extinction coefficents εmax > 105 m−1 cm−1 and absorption maxima λ > 680 nm, which make them attractive photosensitizers for photo-dynamic therapy.
Adherence to prescribed antihypertensive drug treatments: longitudinal study of electronically compiled dosing histories

Objective To describe characteristics of dosing history in patients prescribed a once a day antihypertensive medication. Design Longitudinal database study. Setting Clinical studies archived in database for 1989-2006. Participants Patients who participated in the studies whose dosing histories were available through electronic monitoring. Main outcome measures Persistence with prescribed antihypertensive treatment and execution of their once a day drug dosing regimens. Results The database contained dosing histories of 4783 patients with hypertension. The data came from 21 phase IV clinical studies, with lengths ranging from 30 to 330 days and involving 43 different antihypertensive drugs, including angiotensin II receptor blockers (n=2088), calcium channel blockers (n=937), angiotensin converting enzyme inhibitors (n=665), β blockers (n=195), and diuretics (n=155). About half of the patients who were prescribed an antihypertensive drug had stopped taking it within one year. On any day, patients who were still engaged with the drug dosing regimen omitted about 10% of the scheduled doses: 42% of these omissions were of a single day’s dose, whereas 43% were part of a sequence of several days (three or more days—that is, drug “holidays”). Almost half of the patients had at least one drug holiday a year. The likelihood that a patient would discontinue treatment early was inversely related to the quality of his or her daily execution of the dosing regimen. Conclusions Early discontinuation of treatment and suboptimal daily execution of the prescribed regimens are the most common facets of poor adherence with once a day antihypertensive drug treatments. The shortfalls in drug exposure that these dosing errors create might be a common cause of low rates of blood pressure control and high variability in responses to prescribed antihypertensive drugs.
Management of cervical cancer.

BACKGROUND Australia now has one of the lowest incidence and mortality rates for cervical cancer worldwide. Women who develop the disease frequently have underutilised cervical screening opportunities and commonly present with symptoms such as abnormal vaginal bleeding. OBJECTIVE This article reviews the management of women presenting with cervical cancer in Australia today. DISCUSSION Although fertility sparing options of management are emerging, these options are only available for women presenting with early stage disease. For women presenting with substantial disease, radical surgery and/or chemoradiation is required. These women face the rigors of radical therapy as well as challenges to their sexual identity with loss of fertility, loss of ovarian function, and vaginal shortening and stenosis. Health care providers need to be cognitive and sensitive to these issues.
A Survey on Low Back Pain Risk Factors in Steel Industry Workers in 2015

Study Design This was a cross-sectional study. Purpose The aim of this study was to determine the prevalence of low back pain (LBP) and its association with individual factors and current job status among steel industry workers in Mashhad, Iran. Overview of Literature Several studies have been conducted on LBP and its related risk factors, some of which emphasized oc-cupational factors as the main etiology of LBP. Meanwhile, individual risk factors have been emphasized in other studies. Despite several published articles, there are still many unresolved, basic issues about developing LBP. Methods For this study, 358 male workers were selected by a random sampling method and divided into two groups: production workers (n=201) and administrative personnel (n=157). Data were collected using modified Nordic questionnaire and physical examination. Statistical analysis was performed to identify the correlation between individual factors and current job status with LBP. Results Despite the young age of participants and their short employment duration, the overall prevalence of LBP was high (32.4%) in this industry. The prevalence of non-specific LBP in production workers and administrative personnel was 26.8% and 21.0%, respectively. Disk herniation was observed in 10.4% of production workers and 6.3% of administrative personnel. Age, employment duration, body mass index and smoking status were similar in the two groups. There was no significant relationship between LBP and current job status; however, a significant relationship was found between prevalence of LBP with age, duration of employment, and leisure time physical activity (p<0.05). Conclusions We have not found any relationship between LBP and current occupational status suggesting that the effects of general health-related factors such as weight, age, leisure time physical activity, and duration of employment are more important than occupational factors in developing LBP.
Influence of blood donation on iron stores assessed by serum ferritin and haemoglobin in a population survey of 1433 Danish males

Abstract: The general impact of blood donation on iron status has been studied in Danish males. Iron stores were assessed by serum (S‐) ferritin and haemoglobin (Hb) in a population survey comprising 1433 males in age cohorts of 30, 40, 50, and 60 years; 389 (27%) were blood donors and 1044 (73%) non‐donors. Hb levels were identical in donors and non‐donors, mean 155 ± 11 (SD) g/1 (9.6 ± 0.7 mmol/1); values< 129 g/1 (8.0 mmol/1) were observed in 1.3% of donors vs 1.9% of non‐donors. Correlations between S‐Ferritin and Hb were slight and without practical clinical relevance: rs = 0.13, p<0.01 in donors vs rs = 0.16, p<0.0001 in non‐donors. Donors had lower S‐Ferritin, median 95 μg/1, than non‐donors, median 136 μg/1 (p<0.0001). S‐Ferritin values < 15 μg/1 (i.e. depleted iron stores) were seen in 3.3% of donors vs 0.4% of non‐donors, and S‐Ferritin values of 15–30 μg/1 (i.e. small iron stores) in 9.8% of donors vs 1.4% of non‐donors. Iron‐deficiency anaemia (i.e. S‐Ferritin <15 μg/1 and Hb<129 g/1) was seen in 0.26% of donors vs 0.10% of non‐donors; employing the 5th percentile for Hb (137 g/1 (8.5 mmol/1)) as discriminatory value increased the percentage of iron‐deficiency anaemia to 0.51% in donors vs 0.10% in non‐donors. Blood donation had a marked influence on iron status in the adult male population. The frequency of phlebotomy should be adjusted according to S‐Ferritin as well as Hb levels. If Hb is used as single criterion for donation, only donors with pre‐donation values > 135–137 g/1 should be allowed phlebotomy. Optimal donation standards should include monitoring of iron status through measurement of S‐Ferritin and Hb, combined with individualised postdonation iron supplementation.
Learning Stable Multilevel Dictionaries for Sparse Representations

Sparse representations using learned dictionaries are being increasingly used with success in several data processing and machine learning applications. The increasing need for learning sparse models in large-scale applications motivates the development of efficient, robust, and provably good dictionary learning algorithms. Algorithmic stability and generalizability are desirable characteristics for dictionary learning algorithms that aim to build global dictionaries, which can efficiently model any test data similar to the training samples. In this paper, we propose an algorithm to learn dictionaries for sparse representations from large scale data, and prove that the proposed learning algorithm is stable and generalizable asymptotically. The algorithm employs a 1-D subspace clustering procedure, the K-hyperline clustering, to learn a hierarchical dictionary with multiple levels. We also propose an information-theoretic scheme to estimate the number of atoms needed in each level of learning and develop an ensemble approach to learn robust dictionaries. Using the proposed dictionaries, the sparse code for novel test data can be computed using a low-complexity pursuit procedure. We demonstrate the stability and generalization characteristics of the proposed algorithm using simulations. We also evaluate the utility of the multilevel dictionaries in compressed recovery and subspace learning applications.
Nutrition and metabolism: the changing face of the dairy-cardiovascular risk paradox

With some uncertainty emerging regarding the strength of the cardiovascular risk posed by dietary saturated fat there has been a parallel evaluation of the role of dietary dairy foods. Although substituting polyunsaturated fatty acids (PUFAs) for saturated fatty acids (SFAs) appears validated to reduce risk, a change to dietary carbohydrate other than perhaps to low glycemic index foods, is unlikely to diminish risk. In this context, dairy foods may raise cardiovascular risk modestly but paradoxically reduce the incidence of future type 2 diabetes. Present evidence is, however, insufficient to recommend such advice with any certainty, although that for low-fat dairy products and possibly also for fermented dairy food may be more firmly based.
Model-based analysis of an outbreak of bubonic plague in Cairo in 1801

Bubonic plague has caused three deadly pandemics in human history: from the mid-sixth to mid-eighth century, from the mid-fourteenth to the mid-eighteenth century and from the end of the nineteenth until the mid-twentieth century. Between the second and the third pandemics, plague was causing sporadic outbreaks in only a few countries in the Middle East, including Egypt. Little is known about this historical phase of plague, even though it represents the temporal, geographical and phylogenetic transition between the second and third pandemics. Here we analysed in detail an outbreak of plague that took place in Cairo in 1801, and for which epidemiological data are uniquely available thanks to the presence of medical officers accompanying the Napoleonic expedition into Egypt at that time. We propose a new stochastic model describing how bubonic plague outbreaks unfold in both rat and human populations, and perform Bayesian inference under this model using a particle Markov chain Monte Carlo. Rat carcasses were estimated to be infectious for approximately 4 days after death, which is in good agreement with local observations on the survival of infectious rat fleas. The estimated transmission rate between rats implies a basic reproduction number R0 of approximately 3, causing the collapse of the rat population in approximately 100 days. Simultaneously, the force of infection exerted by each infected rat carcass onto the human population increases progressively by more than an order of magnitude. We also considered human-to-human transmission via pneumonic plague or human specific vectors, but found this route to account for only a small fraction of cases and to be significantly below the threshold required to sustain an outbreak.
Identifying Teens at Risk: Developmental Pathways of Online and Offline Sexual Risk Behavior

OBJECTIVES: The aims of this study were (1) to investigate the prevalence and development of both online (OnSRB) and offline sexual risk behavior (OffSRB) in adolescence, (2) to establish whether OnSRBs and OffSRBs are related, and (3) to identify risk factors that determine problematic pathways of OnSRB and OffSRB. METHODS: A 4-wave longitudinal study with 1762 Dutch adolescents aged 12 to 18 was conducted (mean age, T1 = 14.52, 49% girls). By using group-based modeling, developmental pathways for OnSRB and OffSRB were identified and the relationship between both behaviors over time was examined. RESULTS: Substantial intraindividual differences in the development of OnSRB and OffSRB were found. The analysis revealed 3 developmental pathways of OnSRB: no risk (70.2%), moderate risk (23.7%), and high risk (6.1%). For OffSRB, we identified a no risk (90.6%) and an increasing pathway (9.4%). OnSRBs and OffSRBs were related and had common predictors (ie, sensation seeking, low educational level, gender). CONCLUSIONS: Only a minority of adolescents shows sustained high OnSRB. This group is likely to consist of low-educated, high-sensation-seeking adolescents who spend more time communicating on the Internet and come from less cohesive families. These same adolescents are also more likely to engage in OffSRB. Preventions should focus on these adolescents.
Response of antioxidant enzymes in coontail (Ceratophyllum demersum L.) plants under cadmium stress

Cadmium (Cd) contamination of aquatic systems is of major concern since it is a nonessential element and hampers plant growth upon accumulation. The aim of this study was to investigate the Cd accumulation behavior of coontail plant, Ceratophyllum demersum L. , toxicity induced and response of the antioxidant system. Plants were exposed to various concentrations of Cd (0–10 μM) for a period of 1–7 days. Accumulation of Cd was found to be a concentration duration dependent phenomenon. The maximum accumulation of Cd, 1293 μg g−1 dw, was observed after 7 days at 10 μM. Plants showed significant stimulation of the activities of various antioxidant enzymes viz., superoxide dismutase (EC 1.15.1.1), ascorbate peroxidase (EC 1.11.1.11), guaiacol peroxidase (EC 1.11.1.7), catalase (EC 1.11.1.6), and glutathione reductase (EC 1.6.4.2) and tolerated toxicity of Cd up to moderate concentration of 5 μM. At 10 μM exposure, enzyme activities declined and plants experienced toxicity, which was evident by the significant decrease in the photosynthetic pigments and by increase in the levels of H2O2, lipid peroxidation and ion leakage. In conclusion, modulation of antioxidant system in a coordinated manner in response to Cd accumulation appears to help plants tolerate toxicity of Cd up to 5 μM. © 2008 Wiley Periodicals, Inc. Environ Toxicol, 2008.
Type B Leukemogenic Virus Has a T-Cell-Specific Enhancer That Binds AML-1

ABSTRACT Type B leukemogenic virus (TBLV) induces rapidly appearing T-cell tumors in mice. TBLV is highly related to mouse mammary tumor virus (MMTV) except that TBLV long terminal repeats (LTRs) have a deletion of negative regulatory elements and a triplication of sequences flanking the deletion. To determine if the LTR triplication represents a viral enhancer element, we inserted the triplication upstream and downstream in either orientation relative to the thymidine kinase promoter linked to the luciferase gene. These experiments showed that upregulation of reporter gene activity by the TBLV triplication was relatively orientation independent, consistent with the activity of eukaryotic enhancer elements. TBLV enhancer activity was observed in T-cell lines but not in fibroblasts, B cells, or mammary cells, suggesting that enhancer function is cell type dependent. To analyze the transcription factor binding sites that are important for TBLV enhancer function, we prepared substitution mutations in a reconstituted C3H MMTV LTR that recapitulates the deletion observed in the TBLV LTR. Transient transfections showed that a single mutation (556M) decreased TBLV enhancer activity at least 20-fold in two different T-cell lines. This mutation greatly diminished AML-1 (recently renamed RUNX1) binding in gel shift assays with a mutant oligonucleotide, whereas AML-1 binding to a wild-type TBLV oligomer was specific, as judged by competition and supershift experiments. The 556 mutation also reduced TBLV enhancer binding of two other protein complexes, called NF-A and NF-B, that did not appear to be related to c-Myb or Ets. AML-1overexpression in a mammary cell line enhanced expression from the TBLV LTR approximately 30-fold. These data suggest that binding of AML-1 to the TBLV enhancer, likely in combination with other factors, is necessary for optimal enhancer function.
Thread criticality predictors for dynamic performance, power, and resource management in chip multiprocessors

With the shift towards chip multiprocessors (CMPs), exploiting and managing parallelism has become a central problem in computing systems. Many issues of parallelism management boil down to discerning which running threads or processes are critical, or slowest, versus which are non-critical. If one can accurately predict critical threads in a parallel program, then one can respond in a variety of ways. Possibilities include running the critical thread at a faster clock rate, performing load balancing techniques to offload work onto currently non-critical threads, or giving the critical thread more on-chip resources to execute faster. This paper proposes and evaluates simple but effective thread criticality predictors for parallel applications. We show that accurate predictors can be built using counters that are typically already available on-chip. Our predictor, based on memory hierarchy statistics, identifies thread criticality with an average accuracy of 93% across a range of architectures. We also demonstrate two applications of our predictor. First, we show how Intel's Threading Building Blocks (TBB) parallel runtime system can benefit from task stealing techniques that use our criticality predictor to reduce load imbalance. Using criticality prediction to guide TBB's task-stealing decisions improves performance by 13-32% for TBB-based PARSEC benchmarks running on a 32-core CMP. As a second application, criticality prediction guides dynamic energy optimizations in barrier-based applications. By running the predicted critical thread at the full clock rate and frequency-scaling non-critical threads, this approach achieves average energy savings of 15% while negligibly degrading performance for SPLASH-2 and PARSEC benchmarks.
A Correspondence Theory for Terminological Logics: Preliminary Report

We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K(m)- To demonstrate the utility of the correspondence, we give two of its immediate by-products, Namely, we axiomatize ACC and give a simple proof that subsumption in ACC is PSPACE-complete, replacing the original six-page one. Furthermore, we consider an extension of ACC additionally containing both the identity role and the composition, union, transitive-reflexive closure, range restriction, and inverse of roles. It turns out that this language, called TSL, is a notational variant of the propositional dynamic logic converse-PDL. Using this correspondence, we prove that it suffices to consider finite TSL-models, show that TSL-subsumption is decidable, and obtain an axiomatization of TSL By discovering that features correspond to deterministic programs in dynamic logic, we show that adding them to TSC preserves decidability, although violates its finite model property. Additionally, we describe an algorithm for deciding the coherence of inverse-free TSC-concepts with features. Finally, we prove that universal implications can be expressed within TSC.