Miracle-dz/UniFAR-FTUs huggingface dataset:
Formalizing Complex Event Processing Systems in Maude

Complex event processing (CEP) is a cutting-edge technology for analyzing and correlating streams of information about events that happen in a system, and deriving conclusions from them. CEP permits defining complex events based on the events produced by the incoming sources, to identify complex meaningful circumstances and to respond to them as quickly as possible. Such event types and patterns are defined using event processing languages. However, as the complexity of CEP programs grows, they become difficult to understand and to prove correct. This paper proposes a formal framework for the specification of CEP applications, using rewriting logic and Maude, to allow developers to formally analyze and prove properties of their CEP programs. Several case studies are presented to illustrate the approach, as well as a discussion on the benefits of using Maude and its toolkit for modeling and analyzing CEP systems.
Complete mitochondrial DNA sequence of the three-keeled pond turtle Mauremys reevesii (Reptilia: Testudines)

Abstract The complete mitochondrial genome of the three-keeled pond turtle Mauremys reevesii from Japan was analyzed using next-generation sequencing. The mitochondrial genome of M. reevesii was observed to be a circular molecule of 15,528 bp containing 13 protein-coding genes, 22 tRNA genes, and two rRNA genes, along with one A + T-rich control region. The average AT was found to be 61.11%. One extra base was present at the 174th position in the ND3 gene. Molecular phylogenetic analysis revealed that M. reevesii from Japan was few genetically distant from the geographically isolated M. reevesii from South Korea. This turtle might have been exported to Japan from the Korean Peninsula after the Middle Ages.
A Search for Lightly Ionizing Particles in the LUX Detector and Research and Development For Future Liquid Xenon Time Projection Chambers

Author(s): Kamdin, Katayun J | Advisor(s): McKinsey, Daniel | Abstract: The nature of dark matter is one of the most compelling mysteries of modern physics. Liquid xenon detectors have been at the forefront of the attempt to directly detect dark matter particles for the last decade. The Large Underground Xenon (LUX) experiment recently concluded its operations at the Sanford Underground Research Facility in Lead, South Dakota. During its tenure, LUX set world-leading limits on WIMP dark matter, and paved the way for novel calibration techniques. Due in part to experiments like LUX, the available WIMP parameter space has been dwindling, making experimentalists look to other dark matter candidates. While new technologies will no doubt be needed in the hunt for dark matter, the well-understood detector technology of liquid xenon can be leveraged to search for non-WIMP dark matter. One such candidate, from the general class of dark sector theories, is the Lightly Ionizing Particle (LIP). LIPs interact with regular matter with an effective fractional charge, and the LUX detector is capable of detecting such interactions. New analysis techniques were developed to search for cosmogenic LIPs in the LUX detector, the first such analysis of its kind in liquid xenon. Larger, more sensitive successors to the LUX experiment are already in planning and construction phases. As detectors become more sensitive, previously subdominant effects become more important. Under the umbrella of detector R amp;amp;D for LUX's more sensitive successor, LZ, a test bed was built to investigate issues that may threaten the sensitivity of future xenon dark matter detectors. Radon backgrounds and the phenomenon of delayed electron noise were studied, revealing new behavior that may help control backgrounds. Delayed electron noise is of special interest, as this phenomenon is the main background for the LIP search.
Identifying chronic heavy alcohol use in emergency general surgery patients: a pilot study

Background Chronic heavy alcohol (CHA) use has been associated with perioperative complications. Emergency general surgery (EGS) patients are not routinely screened for CHA. If screened, it is usually for hazardous use of alcohol, using a survey such as the Alcohol Use Disorders Identification Test (AUDIT). This study screened EGS patients for CHA use using serum carbohydrate-deficient transferrin (%dCDT) level, a biomarker that has been validated as an indicator for CHA use, as well as the AUDIT. The purpose of this study was to determine the percent of EGS patients with CHA (as indicated by elevated %dCDT), and the relationship between %dCDT and AUDIT. Secondary aims included comparing the characteristics of EGS patients with and without CHA use, and evaluating the association of CHA use with negative clinical outcomes. Methods EGS patients aged 21 and older admitted to the general surgery inpatient service of a tertiary hospital from July 2014 to June 2016 were invited to participate in this study. %dCDT levels above 1.7% were considered positive for CHA use, as were AUDIT scores ≥8. Results 195 EGS patients were screened for inclusion and 91 (46.7%) agreed to participate. 14 (15.4%) were positive for hazardous alcohol use on AUDIT and 5 (5.5%) were positive for CHA by %dCDT. Positive predictive value of AUDIT for CHA was 21.4%. There was no correlation between positive scores on AUDIT and %dCDT. Discussion Identifying at risk patients early on in their hospital course may allow clinicians to institute treatments to mitigate and/or circumvent complications in such patients. This pilot study determined that 17.6% of participating EGS patients were positive for some type of alcohol misuse, but only 5.5% had CHA. Further research is needed to determine whether routine use of %dCDT would be beneficial in reducing perioperative complications in this patient population. Level of evidence III (diagnostic test).
Bradford Factor and seasonal injury risk in Division I-A collegiate American footballers

ABSTRACT Purpose: To investigate if participation in a higher percentage of preseason sessions affects the injury profile within Division I-A American Collegiate and whether the Bradford Factor (BF) is viable for practitioner use. Methods: A retrospective research design was used. Training load and injury data were collected and analysed for two collegiate American football seasons for 70 players. Results: A total of 184 injuries were sustained across two seasons with 106 resulting in time loss (15.6 ± 5.4 time loss injuries per 1000 h). On average, athletes completed 93 ± 17% of preseason sessions. For injury likelihood in the following week, an increase in accumulated minutes in 7d increased the injury risk by 35%. For non-contact time-loss injuries, preseason completion showed a reduction in injury likelihood of 2% for additional 3 sessions completed. A high BF in preseason (>7) increases the risk compared to a low BF through the in-season period. Conclusion: Preseason completion was not associated with a substantial reduction in injury risk in-season. A clear difference in BF between groups was evident and may provide a practical “flagging” variable. The BF may provide a simple but practically meaningful measure to monitor adaptation.
Model stability and forecast performance of Beta-t-EGARCH

ABSTRACT We show that the model stability of the recent QAR(1) plus Beta-t-EGARCH(1,1) is superior to that of the well-known ARMA(1,1) plus t-GARCH(1,1) because QAR plus Beta-t-EGARCH discounts extreme observations, while ARMA plus t-GARCH accentuates them. Model stability of QAR plus Beta-t-EGARCH is an elegant property; however, we show that the out-of-sample density forecast performance of ARMA plus t-GARCH is superior to that of QAR plus Beta-t-EGARCH. We study model stability and density forecast performance for a set of rolling data windows. We use data on the S&P 500 index for the period 1990–2015. For robustness analysis, we also study Monte Carlo simulations of asset returns for the stochastic volatility model.
Quality Control of Next-generation Sequencing-based In vitro Diagnostic Test for Onco-relevant Mutations Using Multiplex Reference Materials in Plasma

Background: Widespread clinical implementation of next-generation sequencing (NGS)-based cancer in vitro diagnostic tests (IVDs) highlighted the urgency to establish reference materials which could provide full control of the process from nucleic acid extraction to test report generation. The formalin-fixed, paraffin-embedded (FFPE) tissue and blood plasma containing circulating tumor deoxyribonucleic acid (ctDNA) were mostly used for clinically detecting onco-relevant mutations. Methods: We respectively developed multiplex FFPE and plasma reference materials covering three clinically onco-relevant mutations within the epidermal growth factor receptor (EGFR) gene at serial allelic frequencies. All reference materials were quantified and validated via droplet digital polymerase chain reaction (ddPCR), and then were distributed to eight domestic manufacturers for the collaborative evaluation of the performance of several domestic NGS-based cancer IVDs covering four major NGS platforms (NextSeq, HiSeq, Ion Proton and BGISEQ). Results: All expected mutations except one at extremely low allelic frequencies were detected, despite some differences in coefficient of variation (CV) which increased with the decrease of allelic frequency (CVs ranging from 18% to 106%). It was worth noting that the CV value seemed to correlate with a particular mutation as well. The repeatability of determination of different mutations was L858R>T790M>19del. Conclusions: The results indicated our reference materials would be pivotal for quality control of NGS-based cancer IVDs and would guide the further development of reference materials covering more onco-relevant mutations.
Preserved Covert Cognition in Noncommunicative Patients With Severe Brain Injury?

Background. Despite recent evidence suggesting that some severely brain-injured patients retain some capacity for top-down processing (covert cognition), the degree of sparing is unknown. Objective. Top-down attentional processing was assessed in patients in minimally conscious (MCS) and vegetative states (VS) using an active event-related potential (ERP) paradigm. Methods. A total of 26 patients were included (38 ± 12 years old, 9 traumatic, 21 patients >1 year postonset): 8 MCS+, 8 MCS−, and 10 VS patients. There were 14 healthy controls (30 ± 8 years old). The ERP paradigm included (1) a passive condition and (2) an active condition, wherein the participant was instructed to voluntarily focus attention on his/her own name. In each condition, the participant’s own name was presented 100 times (ie, 4 blocks of 25 stimuli). Results. In 5 MCS+ patients as well as in 3 MCS− patients and 1 VS patient, an enhanced P3 amplitude was observed in the active versus passive condition. Relative to controls, patients showed a response that was (1) widely distributed over frontoparietal areas and (2) not present in all blocks (3 of 4). In patients with covert cognition, the amplitude of the response was lower in frontocentral electrodes compared with controls but did not differ from that in the MCS+ group. Conclusion. The results indicate that volitional top-down attention is impaired in patients with covert cognition. Further investigation is crucially needed to better understand top-down cognitive functioning in this population because this may help refine brain-computer interface–based communication strategies.
Comparative Efficacy of the New Optical Biometer on Intraocular Lens Power Calculation (AL-Scan versus IOLMaster)

Purpose To evaluate the agreement in axial length (AL), keratometry, and anterior chamber depth measurements between AL-Scan and IOLMaster biometers and to compare the efficacy of the AL-Scan on intraocular lens (IOL) power calculations and refractive outcomes with those obtained by the IOLMaster. Methods Medical records of 48 eyes from 48 patients who underwent uneventful phacoemulsification and IOL insertion were retrospectively reviewed. One of the two types of monofocal aspheric IOLs were implanted (Tecnis ZCB00 [n = 34] or CT Asphina 509M [n = 14]). Two different partial coherence interferometers measured and compared AL, keratometry (2.4 mm), anterior chamber depth, and IOL power calculations with SRK/T, Hoffer Q, Holladay2, and Haigis formulas. The difference between expected and actual final refractive error was compared as refractive mean error (ME), refractive mean absolute error (MAE), and median absolute error (MedAE). Results AL measured by the AL-Scan was shorter than that measured by the IOLMaster (p = 0.029). The IOL power of Tecnis did not differ between the four formulas; however, the Asphina measurement calculated using Hoffer Q for the AL-Scan was lower (0.28 diopters, p = 0.015) than that calculated by the IOLMaster. There were no statistically significant differences between the calculations by MAE and MedAE for the four formulas in either IOL. In SRK/T, ME in Tecnis-inserted eyes measured by AL-Scan showed a tendency toward myopia (p = 0.032). Conclusions Measurement by AL-Scan provides reliable biometry data and power calculations compared to the IOLMaster; however, refractive outcomes of Tecnis-inserted eyes by AL-Scan calculated using SRK/T can show a slight myopic tendency.
Nontrivial Effects of “Trivial” Parameters on the Performance of Lithium–Sulfur Batteries

A robust lithium-sulfur (Li–S) battery is constituted by a wide range of optimized fundamental parameters (e.g., amount of electrolyte, electrolyte additive, sulfur loading density, and the size of sulfur particles). In this paper, some other often-neglected “trivial” parameters (including assembly pressure of the coil cells, thickness of spring/lithium foil in coin cells, sheet number of separator, and cut-off voltage) of Li–S batteries have been demonstrated to show pronounced effects on the battery performance. Our results indicate that the coin cell assembly pressure and sheet number of the separator play the important roles in suppressing polysulfide shuttling over battery cycling, which improves significantly the cycling life of Li–S batteries. The thickness of springs/lithium foils also affects the battery performance greatly. When switching the cut-off voltage of 1.5–3.0 V to narrower ones (1.7–2.5 V or 1.8–2.6 V), the cycling life of batteries at 0.2 C can be further enhanced to >300 cycles while with no drastic polysulfide shuttling. Adjusting these trivial parameters can thus synergistically improve the cycling performance of Li–S batteries.
What Drives Target Price Forecasts and Their Investment Value?

This paper examines the informativeness of analysts’ target price forecasts by relating the investment value of target prices to their primary drivers. Decomposing target price forecasts into near-term earnings forecasts and price-to-earnings ratio forecasts, we show that target price revisions reflect information from both components. In addition, we also find that the relative importance of each component in target price revisions is related to firm characteristics. A portfolio based on target price implied expected returns delivers significant abnormal returns. More importantly, we find that the abnormal returns are associated with both earnings and price-to-earnings forecasts, which suggests that the informativeness of target price forecasts comes not only from analysts’ ability to forecast short-term earnings but also from their ability to assess risk and long-term growth prospect implied in price-to-earnings forecasts.
White Paper: Clinical Efficacy of Psychophysiological Assessments and Biofeedback Interventions for Chronic Pain Disorders

Psychophysiological assessments and biofeedback based interventions for disorders whose main symptom of interest is chronic pain can be highly effective and useful in the clinical environment. The evidence supporting the effectiveness of psychophysiological assessments and interventions for phantom limb pain, upper and lower back pain, non-cardiac chest pain, and pelvic floor pain disorders is reviewed to provide examples of how these techniques are applied to problems having differing etiologies. There is a dearth of controlled studies in this area so the supporting evidence is not as strong as it might be given the clear clinical utility of the techniques. The evidence from formal studies shows that efficacy ranges from efficacious (e.g., irritable bowel syndrome, migraine and tension headaches) through probably efficacious (e.g. back pain, phantom limb pain) and possibly efficacious (e.g., Raynauds syndrome) to not empirically supported (e.g. Reflex Sympathetic Dystrophy).
Section 7(a)(1) of the 'New' Endangered Species Act: Rediscovering and Redefining the Untapped Power of Federal Agencies' Duty to Conserve Species

This article probes the history, meaning, and potential applications of section 7(a)(1) of the Endangered Species Act, which by its terms imposes a "duty to conserve" on all federal agencies. The article examines how agencies and courts have watered down this potentially forceful species conservation directive and suggests that, by linking it with the recovery planning function of section 4(f) of the Act, the duty to conserve could help us gain traction on species recovery.
Public–Private Sector Comparisons of Nurses’ Work Harassment Using Set: Italy and Australia

Abstract Using Social Exchange Theory, this study compared the impact of nurses’ workplace relationships with management and colleagues upon nurses’ work harassment, psychological well-being, and engagement within the public and private sectors in both Australia and Italy. Using survey data from 1,587 nurses, SEM findings indicated that public sector nurses in Australia had the lowest satisfaction with supervision, higher work harassment, and lower engagement and psychological well-being, than the other groups. The implications include that poor workplace relationships enable work harassment and therefore management upskilling is required along with changes in performance measures to ensure greater nurse well-being and engagement.
Institutional investors and corporate governance: The incentive to increase value

This paper studies institutional investors’ incentives to be engaged shareholders. We measure incentives as the increase in an institution’s cash flow (management fees) when a stockholding increases 1% in value, considering both the direct effect on assets under management and the indirect effect on subsequent fund flows. By 2015, the average institution gains roughly $148,000 in annual cash flow if a firm in its portfolio rises by 1%. The estimates range from $21,000 for small institutions (who hold relatively concentrated portfolios) to $343,000 for the largest institutions (with more diffuse holdings). Institutional shareholders in one firm often gain when rival firms in the industry do well, by virtue of the institution’s holdings in those firms, but the effects are modest in the most concentrated industries. Our estimates suggest that institutional investors often have strong incentives to be active shareholders.
Optimal Number of Clusters for Fast Similarity Search Considering Transformations of Time Varying Data

This paper proposes a method of determining the optimal number of clusters dividing the multiple transformations for the purpose of the efficient processing of query against the results of applying the transformations to time series. In this paper, the moving average is used as a transformation for simplicity. The model of query time to the number of clusters is constructed for determining the optimal number of clusters. As the query time could be represented with the concave function of the number of clusters, it is shown that the optimal number of clusters for the best query time can be obtained. The verification experiment confirms the validity of the model constructed. It is revealed that the optimal number of clusters could be determined by the times obtained from a single query execution.
Physiological cost and thermal envelope: A novel approach to cycle garment evaluation during a representative protocol

This study aimed to examine thermoregulation in different clothing assemblies during a representative cycling exercise protocol. Six men undertook cycling exercise simulating representative thermal exchange challenges while wearing low (LOW), intermediate (INT1 and INT2), or high (HI) amounts of clothing. Exercise was conducted at 14.5 °C, 46.8% relative humidity and included a “flat” [45 min at 35% peak power output (PPO), wind speed 8.3 m/s], “uphill” (30 min at 55% PPO, wind speed 3.6 m/s), and “downhill” (20 min at 50 W, wind speed 16.7 m/s) stage. Rectal temperature changed with the exercise stage and was independent of clothing assembly. In contrast, an “envelope” was evident for mean body temperature, resulting from differences in mean skin temperature between the LOW and HI conditions. The elevated mean body temperature in HI was associated with increased physiological “cost,” in the form of increased sweat production and heart rate. Physiological cost provides a better index of clothing performance than deep body temperature in the “thermoregulatory zone,” as a consequence sports clothing should attempt to optimize the balance between comfort and reduced physiological cost.
Mesoporous silica nanoparticle is comparatively safer than zinc oxide nanoparticle which can cause profound steroidogenic effects on pregnant mice and male offspring exposed in utero

The increasing use of nanomaterials has naturally caused heightened concerns about their potential risks to human and animal health. We investigated the effect of zinc oxide nanoparticles (ZnO NPs) and mesoporous silica nanoparticles (MSN) on steroidogenesis in the corpus luteum (CL) of pregnant mice and testis of male offspring. Pregnant albino mice were exposed to ZnO NPs and MSN for 2 days on alternate days, gestation days 15–19. Hepatic injury marker enzymes increased in the higher concentration of NM-exposed mother mice, but histological examination revealed no changes in the placenta of pregnant mice, whereas testis of male offspring showed gross pathological changes. The expression pattern of progesterone biosynthesis-related genes was also altered in the CL of NP-exposed pregnant mice. In utero exposure of ZnO NPs increased the relative expression of StAR in 100 mg/kg body weight (BW) ZnO NP-treated and bulk ZnO-treated groups and P450 side-chain cleavage enzyme (P450scc) in 50 mg/kg BW ZnO NP-treated and 100 mg/kg of bulk ZnO-treated male offspring. Serum testosterone concentration significantly increased in the 100 mg/kg of bulk ZnO-treated group and decreased in the 250 mg/kg of MSN-treated group and a single dose of 300 mg/Kg BW of ZnO NPs caused miscarriages and adversely affected the developing foetus in mice.