Miracle-dz/UniFAR-FTUs huggingface dataset:
(Requirement) evolution requirements for adaptive systems

It is often the case that stakeholders want to strengthen/weaken or otherwise change their requirements for a system-to-be when certain conditions apply at runtime. For example, stakeholders may decide that if requirement R is violated more than N times in a week, it should be relaxed to a less demanding one R-. Such evolution requirements play an important role in the lifetime of a software system in that they define possible changes to requirements, along with the conditions under which these changes apply. In this paper we focus on this family of requirements, how to model them and how to operationalize them at runtime. In addition, we evaluate our proposal with a case study adopted from the literature.
Inflammatory lipid mediator generation elicited by viable hemolysin- forming Escherichia coli in lung vasculature

Escherichia coli hemolysin, a transmembrane pore-forming exotoxin, is considered an important virulence factor for E. coli-related extraintestinal infections and sepsis. The possible significance of hemolysin liberation for induction of inflammatory lipid mediators was investigated in isolated rabbit lungs infused with viable bacteria (concentration range, 10(4)-10(7)/ml). Hemolysin-secreting E. coli (E. coli-Hly+), but not an E. coli strain that releases an inactive form of the exotoxin, induced marked lung leukotriene (LT) generation with predominance of cysteinyl LTs. Eicosanoid synthesis was not inhibited in the presence of plasma with toxin-neutralizing capacity. Pre- application of 2 x 10(8) human granulocytes, which sequestered in the lung microvasculature, caused a severalfold increase in leukotriene generation in response to E. coli-Hly+ challenge both in the absence and presence of plasma. Data are presented indicating neutrophil- endothelial cell cooperation in arachidonic acid lipoxygenase metabolism as an underlying mechanism. We conclude that liberation of hemolysin from viable E. coli induces marked lipid mediator generation in lung vasculature, which is potentiated in the presence of neutrophil sequestration and may contribute to microcirculatory disturbances during the course of severe infections.
Weak relationships between suppression of melatonin and suppression of sleepiness/fatigue in response to light exposure

In this paper we examine the relationship between melatonin suppression and reduction of sleepiness through light by comparing three different data sets. In total 36 subjects participated in three studies and received 4 h of bright light either from midnight till 4:00 hours (experiments A and B) or from noon till 16:00 hours (experiment C). In experiment A (night‐time light, partial illumination of the retina, pupil dilated) subjects were exposed to either 100 lx of ocular light on the temporal, 100 lx on the nasal part of the retina, or <10 lx of dim light on the whole retina. In experiments B (night‐time light, whole retina, pupil not dilated) and C (daytime light, whole retina, pupil not dilated) subjects were exposed either to bright (5000 lx) or to dim light (<10 lx). Subjective sleepiness/fatigue and melatonin concentrations in saliva were assessed hourly in all three experiments. For experiment A, a significant suppression of melatonin due to nasal and temporal illumination of the retina was found, that was not accompanied by a detectable reduction of subjective sleepiness/fatigue. For experiment B we found a suppression of melatonin that was paralleled with a significant reduction in subjective sleepiness, but not in fatigue. During experiment C we found no melatonin suppression but a reduction of subjective sleepiness, but also no effect on fatigue. From these data we conclude that the effects of light on sleepiness/fatigue are not mediated by melatonin and that the influence of endogenous melatonin concentration on sleepiness/fatigue is restricted.
THE NUMBER OF SOLUBLE RNA MOLECULES ON RETICULOCYTE POLYRIBOSOMES.

12 Prankerd, T. A. J., The Red ('ell (Oxford: Blackwell Scientific Publications, 1961), p. 8. 13 Smyth, D. G. , H. Nagamatsu, and J. S. Fruton, J. Am. (Chem. So ., 82, 4600 (1960). 14 Riggs, A. , J. Biol. Chem., 236, 1948 (1961). 15 Gutter, F. J., H. A. Sober, and E. A. Peterson, Arch. Biochem. Biophys. , 71, 342 (1957). 16 Dessauer, H. C. , W. Fox, and J. R. Ramirez, Arch. Biochem. Biophys. , 71, 11 (1957). 17 Riggs, A. , and D. Bownds, Federation Proc., 22, 597 (1963). 18 Baglioni, C. , and C. E. Sparks, Declop. Biol., 8 272 (1963).
Cannabinoid 2 receptor (CB2R) agonists modulate neuropathic pain and cytokine expression

The focus of the work in this dissertation is to elucidate the efficacy of cannabinoid 2 receptor agonists, specifically targeting the spinal cord, for the treatment of chronic neuropathic pain. Chemical structures for all cannabinoid compounds utilized are displayed (Supplemental Figure A-1). As an orientation for the reader, the organization of this dissertation consists of five components; chapters 1 through 5. In the first chapter, a background is developed to acquaint one with the topics of chronic pain, and the use of cannabinergic compounds for chronic pain relief. This chapter is in the form of a review, and specifically addresses (1) the underlying differences in physiological processes during periods of acute pain compared to chronic pain, (2) the role of spinal cord glial cells under conditions of chronic inflammation, reflecting what is seen under chronic pain conditions, (3) the endogenous cannabinoid system, (4) evidence that specifically targeting the cannabinoid 2 receptor in the spinal cord may eventually be ideal for the treatment of chronic pain, and (5) the current clinical trial endeavors utilizing cannabinoid 2 receptor agonists. Following the review,
Estimation of genomic characteristics by analyzing k-mer frequency in de novo genome projects

Background: With the fast development of next generation sequencing technologies, increasing numbers of genomes are being de novo sequenced and assembled. However, most are in fragmental and incomplete draft status, and thus it is often difficult to know the accurate genome size and repeat content. Furthermore, many genomes are highly repetitive or heterozygous, posing problems to current assemblers utilizing short reads. Therefore, it is necessary to develop efficient assembly-independent methods for accurate estimation of these genomic characteristics. Results: Here we present a framework for modeling the distribution of k-mer frequency from sequencing data and estimating the genomic characteristics such as genome size, repeat structure and heterozygous rate. By introducing novel techniques of k-mer individuals, float precision estimation, and proper treatment of sequencing error and coverage bias, the estimation accuracy of our method is significantly improved over existing methods. We also studied how the various genomic and sequencing characteristics affect the estimation accuracy using simulated sequencing data, and discussed the limitations on applying our method to real sequencing data. Conclusion: Based on this research, we show that the k-mer frequency analysis can be used as a general and assembly-independent method for estimating genomic characteristics, which can improve our understanding of a species genome, help design the sequencing strategy of genome projects, and guide the development of assembly algorithms. The programs developed in this research are written using C/C++, and freely accessible at Github URL (this https URL) or BGI ftp ( this ftp URL).
Habitual Goals and Strategies in Anger Regulation: Psychometric Evaluation of the Anger-Related Reactions and Goals Inventory (ARGI)

The article presents two studies done with the Anger-Related Reactions and Goals Inventory (ARGI) combining the assessment of functional and dysfunctional anger-related reactions with the goals that people pursue in regulating interpersonal anger. Study 1 (N = 756) corroborated the questionnaire’s psychometric properties and factorial structure. Correlations with indicators for psychosocial well-being, trait anger, and the Big Five dimensions were largely in line with our predictions. Study 2 documented the convergence between self-reports (N = 104) and reports of two knowledgeable informants (N = 188), in particular for the dysfunctional reactions. We conclude that the ARGI is a reliable and valid questionnaire that taps into facets of anger regulation that are of high relevance for research on the consequences of anger for health and well-being.
Human bone marrow hematopoietic stem cells are increased in frequency and myeloid-biased with age

In the human hematopoietic system, aging is associated with decreased bone marrow cellularity, decreased adaptive immune system function, and increased incidence of anemia and other hematological disorders and malignancies. Recent studies in mice suggest that changes within the hematopoietic stem cell (HSC) population during aging contribute significantly to the manifestation of these age-associated hematopoietic pathologies. Though the mouse HSC population has been shown to change both quantitatively and functionally with age, changes in the human HSC and progenitor cell populations during aging have been incompletely characterized. To elucidate the properties of an aged human hematopoietic system that may predispose to age-associated hematopoietic dysfunction, we evaluated immunophenotypic HSC and other hematopoietic progenitor populations from healthy, hematologically normal young and elderly human bone marrow samples. We found that aged immunophenotypic human HSC increase in frequency, are less quiescent, and exhibit myeloid-biased differentiation potential compared with young HSC. Gene expression profiling revealed that aged immunophenotypic human HSC transcriptionally up-regulate genes associated with cell cycle, myeloid lineage specification, and myeloid malignancies. These age-associated alterations in the frequency, developmental potential, and gene expression profile of human HSC are similar to those changes observed in mouse HSC, suggesting that hematopoietic aging is an evolutionarily conserved process.
MUC1-positive circulating tumor cells and MUC1 protein predict chemotherapeutic efficacy in the treatment of metastatic breast cancer

Chemotherapy plays an important role in the treatment of metastatic breast cancer. It is important to monitor chemotherapeutic efficacy, to find a simple and efficient tool to guide treatment, and to predict the efficacy of treatment in a timely and accurate manner. This study aimed to detect mucin-1 (MUC1)– positive circulating tumor cells and MUC1 protein in the peripheral blood of patients with metastatic breast cancer and to investigate their relationship to chemotherapeutic efficacy. MUC1 mRNA was detected in the peripheral blood of 34 patients with newly diagnosed metastatic breast cancer by reverse transcription-polymerase chain reaction. The positive rates of MUC1 mRNA were 88.2% before chemotherapy and 70.6% after chemotherapy, without a significant difference (P = 0.564); MUC1 mRNA expression before chemotherapy had no correlation with treatment effectiveness (P = 0.281). The response rate of MUC1 mRNA-negative patients after first-cycle chemotherapy was significantly higher (P = 0.009) and the progression-free survival (PFS) was clearly longer than those of MUC1 mRNA-positive patients (P = 0.095). MUC1 protein in peripheral blood plasma was detected by an ELISA competitive inhibition assay. The patients with decreased MUC1 protein after chemotherapy had a significantly longer PFS than those with elevated MUC1 protein (P = 0.044). These results indicate that the outcomes of MUC1 mRNA-negative patients after chemotherapy are better than those of MUC1 mRNA-positive patients. In addition, patients with decreased expression of MUC1 protein have a better PFS.
Trust-assisted anomaly detection and localization in wireless sensor networks

Fast anomaly detection and localization is critical to ensure effective functioning of wireless sensor networks. The low bandwidth and power constraints in wireless sensor networks are the main challenges for achieving this task, especially for large scale networks. In this paper, we propose a trust-assisted framework for detecting and localizing network anomalies in a hierarchical sensor network. The proposed method makes inference based on end-to-end measurements collected by a set of measurement nodes. Network heterogeneity is exploited for better bandwidth and energy efficiency. The trustworthiness of network links is utilized to design an efficient two-phase probing strategy that can achieve a flexible tradeoff between inference accuracy and probing overhead. We performed experiments with different network settings and demonstrated the effectiveness of our proposed algorithms.
A Large Strain, Arrayable Piezoelectric Microcellular Actuator

To provide a competitive actuating solution, microelectromechanical-systems (MEMS)-based actuators need low operating power and form factors. Piezoelectrics provide substantially higher work-output/volume for a given voltage, when compared to other actuating solutions. A bow amplifier constructed of SU-8 beams and short length flexural pivots has been designed [1] and has demonstrated an amplification ratio of greater than 10:1. Current research focuses on increasing this amplification ratio and achieving the goal of 10% axial strain, while reducing parasitic out-ofplane bending inherent in the current fabrication process. The overall goal of this project is to array one such actuator massively in series and in parallel in order to create a macro-scale, muscle-like actuator. Such a device would have widespread applications in mobile robotics, medicine, and aero/astronautics, where low power, high efficiency, and small form factors might be required.
Increased Genetic Diversity of Neisseria meningitidis Isolates after the Introduction of Meningococcal Serogroup C Polysaccharide Conjugate Vaccines

ABSTRACT During the 1990s, the incidence of meningococcal disease was high in the United Kingdom. This was due primarily to an increase in serogroup C disease, particularly that within the ET-37/ST-11 genetic lineage. Serogroup C meningococcal polysaccharide conjugate vaccines were introduced in the United Kingdom in 1999, but the sequence types of meningococci causing disease since that time have not yet been reported. We have used serogrouping and multilocus sequence typing to characterize meningococci from patients with invasive disease over a 4-year period and show that there is a significant increase in genetic diversity but no genetic evidence of capsule switching.
Psychological therapies for sickle cell disease and pain.

BACKGROUND Sickle cell disease comprises a group of genetic blood disorders, and occurs when the sickle haemoglobin gene is inherited from both parents. The effects of the condition are: varying degrees of anaemia which if severe reduce the capacity for mobility; predisposition to obstruction of small blood capillaries causing pain in muscle and bone known as "crises"; damage to major organs such as the spleen, liver, kidneys, and lungs; and increased vulnerability to severe infections. There are both medical and non-medical complications, and treatment is usually symptomatic and palliative in nature. Psychological intervention for individuals with sickle cell disease seems viable in complementing current medical treatment, and studies examining their efficacy appear to have also yielded encouraging results. OBJECTIVES To examine the evidence that in patients with sickle cell disease, psychological treatment improves the ability to cope with the condition. SEARCH STRATEGY The Cochrane Cystic Fibrosis and Genetic Disorders Group specialist trials register which comprises references from comprehensive electronic database searches. Also, hand searching relevant journals, hand searching abstract books of conference proceedings, and searches on the Internet were performed. Date of the most recent search of the Group's specialised register: January 2001. SELECTION CRITERIA All randomised or quasi-randomised controlled trials comparing the use of psychological intervention to no (psychological) intervention in patients with sickle cell disease. DATA COLLECTION AND ANALYSIS Both reviewers independently extracted data and assessed trial quality. MAIN RESULTS Five studies were identified in the initial search, of which three studies, with a total of 158 patients were eligible for inclusion in the review. Published data reveal that family education and cognitive behavioural therapy can help patients cope with sickle cell disease. REVIEWER'S CONCLUSIONS Patient education programmes improve knowledge and attitudes of patients with sickle cell disease. There is as yet however, insufficient evidence to demonstrate the role of other psychological therapies. This systematic review has clearly identified the need for well-designed, adequately powered, multicentre randomised controlled trials assessing the effectiveness of specific intervention in sickle cell disease.
Counter-Samples: A Stateless Strategy to Neutralize Black Box Adversarial Attacks

Our paper presents a novel defence against black box attacks, where attackers use the victim model as an oracle to craft their adversarial examples. Unlike traditional preprocessing defences that rely on sanitizing input samples, our stateless strategy counters the attack process itself. For every query we evaluate a counter-sample instead, where the counter-sample is the original sample optimized against the attacker's objective. By countering every black box query with a targeted white box optimization, our strategy effectively introduces an asymmetry to the game to the defender's advantage. This defence not only effectively misleads the attacker's search for an adversarial example, it also preserves the model's accuracy on legitimate inputs and is generic to multiple types of attacks. We demonstrate that our approach is remarkably effective against state-of-the-art black box attacks and outperforms existing defences for both the CIFAR-10 and ImageNet datasets. Additionally, we also show that the proposed defence is robust against strong adversaries as well.
Long-term weight loss with sibutramine: a randomized controlled trial.

CONTEXT Treatment of obesity requires long-term therapy, which can be hampered by difficulties in achieving patient compliance. The effectiveness of sibutramine hydrochloride in treating obesity has been shown in randomized controlled trials. OBJECTIVE To compare the effectiveness of 2 distinct sibutramine regimens with each other and with placebo for weight reduction among obese persons. DESIGN Randomized, double-blind, parallel-group placebo-controlled trial from April 1997 to September 1998. SETTING One hundred eight private practices and 3 outpatient departments of university hospitals in Germany. PATIENTS A total of 1102 obese adults (body mass index, 30-40 kg/m(2)) entered the 4-week open-label run-in period with 15 mg/d of sibutramine, 1001 of whom had weight loss of at least 2% or 2 kg were randomized into the 44-week randomized treatment period. INTERVENTIONS Patients were randomly assigned to receive 15 mg/d of sibutramine continuously throughout weeks 1-48 (n = 405); 15 mg/d of sibutramine intermittently during weeks 1-12, 19-30, and 37-48, with placebo during all other weeks (n = 395); or placebo for weeks 5-48 (n = 201). MAIN OUTCOME MEASURE Weight loss during the randomized treatment period, compared among all 3 groups. RESULTS Mean weight loss in the intention-to-treat population during the 44-week randomized treatment period was 3.8 kg (4.0%) in patients receiving continuous therapy (95% confidence interval [CI], - 4.42 to - 3.20 kg) and was 3.3 kg (3.5%) in patients receiving intermittent therapy (95% CI, - 3.96 to - 2.66 kg), vs a mean weight gain of 0.2 kg (0.2%) (95% CI, - 0.60 to 0.94 kg) in patients receiving placebo. Therapeutic equivalence of the 2 active treatments could be shown. Although there was a greater weight loss in the continuous than in the intermittent group, this difference was nonsignificant (P =.28) and the 95% CIs were within the predefined range of therapeutic equivalence-0 +/-1.5 kg (-1.37 to 0.28 for the intent-to-treat population). Overall weight loss during the 48-week period was 7.9 kg and 7.8 kg in the continuous and intermittent groups, respectively, but was 3.8 kg in the sibutramine run-in placebo group. Waist circumference reduction, triglyceride levels, and high-density lipoprotein cholesterol concentrations were also positively influenced by sibutramine treatment. Systolic and diastolic blood pressures were stable across all 3 groups. Overall, adverse events occurred at similar frequencies across all treatment groups, but the proportion was lowest in the group receiving intermittent therapy. CONCLUSIONS Sibutramine, administered for 48 weeks to a typically obese population, results in clinically relevant weight loss compared with placebo. Regarding effectiveness, continuous and intermittent sibutramine therapies are equivalent and the safety profiles for both treatments are comparable.
Logic and Mathematics

1 Logic 2 1.1 Aristotelean logic . 3 1.1.1 Subjects and predicates . 3 1.1.2 Syllogisms . 4 1.2 The predicate calculus . 5 1.2. 1 Predicates and individuals . 5 1.2. 2 Formulas and logical operators . 6 1.2. 3 Logical validity and logical consequence . 7 1.2. 4 The completeness theorem . 9 1.2. 5 Formal theories . 9
Java JIT Testing with Template Extraction

We present LeJit, a template-based framework for testing Java just-in-time (JIT) compilers. Like recent template-based frameworks, LeJit executes a template -- a program with holes to be filled -- to generate concrete programs given as inputs to Java JIT compilers. LeJit automatically generates template programs from existing Java code by converting expressions to holes, as well as generating necessary glue code (i.e., code that generates instances of non-primitive types) to make generated templates executable. We have successfully used LeJit to test a range of popular Java JIT compilers, revealing five bugs in HotSpot, nine bugs in OpenJ9, and one bug in GraalVM. All of these bugs have been confirmed by Oracle and IBM developers, and 11 of these bugs were previously unknown, including two CVEs (Common Vulnerabilities and Exposures). Our comparison with several existing approaches shows that LeJit is complementary to them and is a powerful technique for ensuring Java JIT compiler correctness.