Miracle-dz/UniFAR-FTUs huggingface dataset:
Actors and Continuous Functionals

This paper presents precise versions of some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating plausible restrictions on the histories of computations that are physically realizable. The laws are very general in that they are obeyed by parallel processes executing on a time varying number of distributed physical processors. For example, some of the processors might be in orbiting satellites. The laws are justified by appeal to physical intuition and are to be regarded as falsifiable assertions about the kinds of computations that occur in nature rather than as proved theorems in mathematics. The laws are intended to be used to analyze the mechanisms by which multiple processes can communicate to work effectively together to solve difficult problems. The laws presented in this paper are intended to be applied to the design and analysis of systems consisting of large numbers of physical processors. The development of such systems is becoming economical because of rapid progress in the development of large scale integrated circuits. We generalize the usual notion of the history of a computation as a sequence for events for the notion of a partial order of events. Partial orders of events seem better suited to expressing the causality involved in parallel computations than totally ordered sequences of events obtained by "considering all shuffles" of the elementary steps of the various parallel processes [2l, 22]. The utility of partial orders is demonstrated by using them to express our laws for distributed computation. These laws in turn can be used to prove the usual induction rules for proving properties of procedures. They can also be used to derive the continuity criterion for graphs of functions studied in the Scott-Strachey model of computation. The graph of a function is simply the set of all input output pairs for the function. We can prove that the graph of any physically realizable procedure p that behaves like a mathematical function is the limit of a continuous functional F such that: i graph(p) = F ({}) i N In other words the graph of p is the limit of the n-fold compositions of F with itself beginning with the empty graph.
Abstract Types and the Dot Notation

We investigate the use of the dot notation in the context of abstract types. The dot notation -- that is, a.f referring to the operation f provided by the abstraction a -- is used by programming languages such as Modula-2 and CLU. We compare this notation with the Mitchell-Plotkin approach, which draws a parallel between type abstraction and (weak) existential quantification in constructive logic. The basic operations on existentials coming from logic give new insights about the meaning of type abstraction, but differ completely from the more familiar dot notation. In this paper, we formalize simple calculi equipped with the dot notation, and relate them to a more classical calculus a la Mitchell and Plotkin. This work provides some theoretical foundations for the dot notation, and suggests some useful extensions.
An Updated Constraint on Variations of the Fine-Structure Constant Using Wavelengths of Fe II Absorption Line Multiplets

A new stringent limit relating to the variation of the fine-structure constant (α= e2/4πε0ℏc) has been extracted from Ritz wavelengths of 27 quasi_stellar object (QSO) absorption spectra lines of Fe II. The calculation was combined with laboratory wavelengths and QSO spectra to obtain the result ∆α/α=(0.027±0.832)×10-6. This result suggests how dedicated astrophysical estimations can improve these limits in the future and can also constrain space_time variations.
Comparison of RNA-Seq and Microarray Gene Expression Platforms for the Toxicogenomic Evaluation of Liver From Short-Term Rat Toxicity Studies

Gene expression profiling is a useful tool to predict and interrogate mechanisms of toxicity. RNA-Seq technology has emerged as an attractive alternative to traditional microarray platforms for conducting transcriptional profiling. The objective of this work was to compare both transcriptomic platforms to determine whether RNA-Seq offered significant advantages over microarrays for toxicogenomic studies. RNA samples from the livers of rats treated for 5 days with five tool hepatotoxicants (α-naphthylisothiocyanate/ANIT, carbon tetrachloride/CCl4, methylenedianiline/MDA, acetaminophen/APAP, and diclofenac/DCLF) were analyzed with both gene expression platforms (RNA-Seq and microarray). Data were compared to determine any potential added scientific (i.e., better biological or toxicological insight) value offered by RNA-Seq compared to microarrays. RNA-Seq identified more differentially expressed protein-coding genes and provided a wider quantitative range of expression level changes when compared to microarrays. Both platforms identified a larger number of differentially expressed genes (DEGs) in livers of rats treated with ANIT, MDA, and CCl4 compared to APAP and DCLF, in agreement with the severity of histopathological findings. Approximately 78% of DEGs identified with microarrays overlapped with RNA-Seq data, with a Spearman’s correlation of 0.7 to 0.83. Consistent with the mechanisms of toxicity of ANIT, APAP, MDA and CCl4, both platforms identified dysregulation of liver relevant pathways such as Nrf2, cholesterol biosynthesis, eiF2, hepatic cholestasis, glutathione and LPS/IL-1 mediated RXR inhibition. RNA-Seq data showed additional DEGs that not only significantly enriched these pathways, but also suggested modulation of additional liver relevant pathways. In addition, RNA-Seq enabled the identification of non-coding DEGs that offer a potential for improved mechanistic clarity. Overall, these results indicate that RNA-Seq is an acceptable alternative platform to microarrays for rat toxicogenomic studies with several advantages. Because of its wider dynamic range as well as its ability to identify a larger number of DEGs, RNA-Seq may generate more insight into mechanisms of toxicity. However, more extensive reference data will be necessary to fully leverage these additional RNA-Seq data, especially for non-coding sequences.
Resource Concentration Modulates the Fate of Dissimilated Nitrogen in a Dual-Pathway Actinobacterium

Respiratory ammonification and denitrification are two evolutionarily unrelated dissimilatory nitrogen (N) processes central to the global N cycle, the activity of which is thought to be controlled by carbon (C) to nitrate (NO3−) ratio. Here we find that Intrasporangium calvum C5, a novel dual-pathway denitrifier/respiratory ammonifier, disproportionately utilizes ammonification rather than denitrification when grown under low C concentrations, even at low C:NO3− ratios. This finding is in conflict with the paradigm that high C:NO3− ratios promote ammonification and low C:NO3− ratios promote denitrification. We find that the protein atomic composition for denitrification modules (NirK) are significantly cost minimized for C and N compared to ammonification modules (NrfA), indicating that limitation for C and N is a major evolutionary selective pressure imprinted in the architecture of these proteins. The evolutionary precedent for these findings suggests ecological importance for microbial activity as evidenced by higher growth rates when I. calvum grows predominantly using its ammonification pathway and by assimilating its end-product (ammonium) for growth under ammonium-free conditions. Genomic analysis of I. calvum further reveals a versatile ecophysiology to cope with nutrient stress and redox conditions. Metabolite and transcriptional profiles during growth indicate that enzyme modules, NrfAH and NirK, are not constitutively expressed but rather induced by nitrite production via NarG. Mechanistically, our results suggest that pathway selection is driven by intracellular redox potential (redox poise), which may be lowered when resource concentrations are low, thereby decreasing catalytic activity of upstream electron transport steps (i.e., the bc1 complex) needed for denitrification enzymes. Our work advances our understanding of the biogeochemical flexibility of N-cycling organisms, pathway evolution, and ecological food-webs.
Voluntary Elbow Extension-Flexion Using Single Joint Hybrid Assistive Limb (HAL) for Patients of Spastic Cerebral Palsy: Two Cases Report

Cerebral palsy (CP) patients with spastic diplegia struggle to perform activities of daily life (ADL) using their upper arms. The single-joint-type Hybrid Assistive limb (HAL) for upper limbs is a new portable robot that can provide elbow motion support in accordance with bioelectric activation of patient's biceps and triceps brachii muscles. The purpose of this study is to assess the feasibility and efficacy of the use of HAL for CP patients. Two patients were enrolled in this study. (Case 1: a 19-years-old male, at the Gross Motor Function Classification System (GMFCS) level IV, Case 2: a 17-years-old male at GMFCS level III). Both these patients experienced difficulty in voluntary elbow extension in ADLs. The HAL intervention (eight sessions; voluntary extension-flexion training of the elbow with HAL and clinical evaluation) was conducted for both sides in Case 1 and for the right side in Case 2. Clinical assessments were conducted as follows: Surface electromyography was used to evaluate the muscle activities of the biceps, triceps brachii, trapezius, and pectoralis major during elbow extension-flexion. The voluntary extension-flexion angles of the elbow, the coactivation index of the biceps and triceps brachii muscles, synergy analysis, and the Action Research Arm Test (ARAT) scores were assessed before and after the HAL sessions; the FIM score was evaluated before and after the entire intervention. In Case 1, the voluntary extension angle tended to increase after the HAL sessions. In both cases, the ARAT scores improved after the sessions. The FIM scores improved after HAL intervention. The voluntary extension-flexion of the elbow using the HAL may be a feasible option for rehabilitation of CP patients.
Adaptation of Human Influenza Viruses to Swine

A large diversity of influenza A viruses (IAV) within the H1N1/N2 and H3N2 subtypes circulates in pigs globally, with different lineages predominating in specific regions of the globe. A common characteristic of the ecology of IAV in swine in different regions is the periodic spillover of human seasonal viruses. Such human viruses resulted in sustained transmission in swine in several countries, leading to the establishment of novel IAV lineages in the swine host and contributing to the genetic and antigenic diversity of influenza observed in pigs. In this review we discuss the frequent occurrence of reverse-zoonosis of IAV from humans to pigs that have contributed to the global viral diversity in swine in a continuous manner, describe host-range factors that may be related to the adaptation of these human-origin viruses to pigs, and how these events could affect the swine industry.
Health Behaviors and Lifestyle Interventions in African American Breast Cancer Survivors: A Review

Background: African American breast cancer survivors have a higher incidence of estrogen receptor negative and basal-like (e.g., triple negative) tumors, placing them at greater risk for poorer survival when compared to women of other racial and ethnic groups. While access to equitable care, late disease stage at diagnosis, tumor biology, and sociodemographic characteristics contribute to health disparities, poor lifestyle characteristics (i.e., inactivity, obesity, and poor diet) contribute equally to these disparities. Lifestyle interventions hold promise in shielding African American survivors from second cancers, comorbidities, and premature mortality, but they are often underrepresented in studies promoting positive behaviors. This review examined the available literature to document health behaviors and lifestyle intervention (i.e., obesity, physical activity, and sedentary behavior) studies in African American breast cancer survivors. Methods: We used PubMed, Academic Search Premier, and Scopus to identify cross-sectional and intervention studies examining the lifestyle behaviors of African American breast cancer survivors. Identified intervention studies were assessed for risk of bias. Other articles were identified and described to provide context for the review. Results: Our systematic review identified 226 relevant articles. The cross-sectional articles indicated poor adherence to physical activity and dietary intake and high rates of overweight and obesity. The 16 identified intervention studies indicated reasonable to modest study adherence rates (>70%), significant reductions in weight (range −1.9 to −3.6%), sedentary behavior (−18%), and dietary fat intake (range −13 to −33%) and improvements in fruit and vegetable intake (range +25 to +55%) and physical activity (range +13 to +544%). The risk of bias for most studies were rated as high (44%) or moderate (44%). Conclusions: The available literature suggests that African American breast cancer survivors adhere to interventions of various modalities and are capable of making modest to significant changes. Future studies should consider examining (a) mediators and moderators of lifestyle behaviors and interventions, (b) biological outcomes, and (c) determinants of enhanced survival in this population.
Autoantibodies in Spondyloarthritis, Focusing on Anti-CD74 Antibodies

Spondyloarthritis (SpA) is an inflammatory rheumatic disease with diverse clinical presentation. The diagnosis of SpA remains a big challenge in daily clinical practice because of the limitation in specific biomarkers of SpA, more biomarkers are still needed for SpA diagnosis and disease activity monitoring. In the past, SpA was considered predominantly as auto-inflammatory disease vs. autoimmune disease. However, in recent years several researches demonstrated a broad autoantibody response in SpA patients. Study also indicated that mice lack of ZAP70 in T cell develop SpA featured inflammation. These studies indicated the autoimmune features of SpA and gave rise to the potential use of autoantibody in SpA management. In this article, we reviewed recent reports of autoantibodies associated with SpA patients, revealing the autoimmune features of SpA, suggesting the hypothesis that SpA was also an autoimmune disease, studies about the autoimmune features might provide more insights in the pathogenesis of SpA. In addition, as there are two opposite conclusions in the role of anti-CD74 autoantibody in the diagnosis of SpA, we also gave our own data on the diagnostic value of anti-CD74 in Chinese SpA patients. Though our data indicated that anti-CD74 might not be a good biomarker for SpA diagnosis in Asian people, CD74 was still a good molecule target in the research of SpA pathogenesis.
Accuracy, Confidence, and Experiential Criteria for Lie Detection Through a Videotaped Interview

An individual's ability to discriminate lies from truth is far from accurate, and is poorly related to an individual's confidence in his/her detection. Both law enforcement and non-professional interviewers base their evaluations of truthfulness on experiential criteria, including emotional and expressive features, cognitive complexity, and paraverbal aspects of interviewees' reports. The current experimental study adopted two perspectives of investigation: the first is aimed at assessing the ability of naïve judges to detect lies/truth by watching a videotaped interview; the second takes into account the interviewee's detectability as a liar or as telling the truth by a sample of judges. Additionally, this study is intended to evaluate the criteria adopted to support lie/truth detection and relate them with accuracy and confidence of detection. Results showed that judges' detection ability was moderately accurate and associated with a moderate individual sense of confidence, with a slightly better accuracy for truth detection than for lie detection. Detection accuracy appeared to be negatively associated with detection confidence when the interviewee was a liar, and positively associated when the interviewee was a truth-teller. Furthermore, judges were found to support lie detection through criteria concerning emotional features, and to sustain truth detection by taking into account the cognitive complexity and the paucity of expressive manifestations related with the interviewee's report. The present findings have implications for the judicial decision on witnesses' credibility.
Design, Synthesis, and Herbicidal Activity Evaluation of Novel Aryl-Naphthyl Methanone Derivatives

4-Hydroxyphenylpyruvate dioxygenase (HPPD) is one of the most vital targets for herbicides discovery. In search for HPPD inhibitors with novel scaffolds, a series of aryl-naphthyl methanone derivatives have been designed and synthesized through alkylation and Friedel-Crafts acylation reactions. The bioassay indicated some of these compounds displayed preferable herbicidal activity at the rate of 0.75 mmol/m2 by post-emergence application, in which compound 3h displayed the best herbicidal activity. The molecular docking showed that compound 3h could bind well to the active site of the AtHPPD. This study shows that aryl-naphthyl methanone derivatives could be a potential lead structure for further development of novel herbicides.
Cross-Subsidization of Teacher Pension Costs: The Case of California

The value of pension benefits varies widely, by a teacher's age of entry and exit. This variation is masked by the uniform rate of annual contributions, as a percent of pay, to fund benefits for all. For the first time, we unmask that variation by calculating annual costs at the individual level. In California, we find that the value of a teacher's benefits ranges from about 4 to 22 percent of pay, and exhibits some idiosyncratic patterns, as is endemic to traditional pension plans. The variation in individual cost rates generates an extensive but hidden array of cross-subsidies, as winners receive benefits worth more than the uniform contribution rate, and losers receive less. Almost two thirds of all entering teachers, past and present, are losers in California. By contrast, a prominently invoked study finds that nearly all active teachers are winners there. That result is shown to be highly skewed by excluding the losses of prior entrants who left early, thereby violating the funding fact that the gains and losses of winners and losers must offset each other. Our main policy conclusion is that cash balance plans can rationalize or eliminate the current system of cross-subsidies and provide the transparency lacking in traditional plans.
360° ab-interno trabeculotomy in refractory primary open-angle glaucoma

Purpose The purpose of this study was to evaluate the safety and efficacy of microinvasive glaucoma surgery (MIGS) with 360° ab-interno trabeculotomy using the TRAB360 device as a stand-alone procedure in patients with refractory primary open-angle glaucoma (POAG) and preoperative IOP ≥18 mmHg. Setting This study evaluated patients treated in a tertiary-referral clinical practice setting. Design This study is a retrospective analysis of 81 eyes. Methods Patients with refractory open-angle glaucoma underwent stand-alone 360° ab-interno trabeculotomy using the TRAB360 device. Effectiveness was determined by reduction in medicated IOP and the use of medications from baseline. Safety was determined by the rate of adverse events and secondary surgical interventions. The time points assessed were baseline and postoperative day 1, week 1, and months 1, 3, 6, and 12. A subgroup analysis was performed on eyes with medicated preoperative IOP values of ≥25 mmHg. Results The reductions in IOP from 1 day to 12 months postoperatively were statistically significant compared to baseline values. The mean reduction in IOP at 12 months was 7.3±6.7 mmHg from baseline. At 12 months, 59% eyes achieved ≥20% reduction in IOP and IOP <18 mmHg with the same or fewer numbers of IOP-lowering medications compared with those at baseline. The mean number of IOP-lowering medications was reduced from 1.7±1.3 at baseline to 1.1±1.0 at 12 months. At 12 months, 67% of eyes with preoperative IOP values of ≥25 mmHg achieved ≥20% reduction in IOP and IOP <18 mmHg with the same or fewer numbers of IOP-lowering medications compared with those at baseline. The most common adverse event for all eyes was mild, transient hyphema (57 eyes). During the first year after the procedure, 20 (25%) eyes were considered failures since they required reinterventions. Conclusion Trabeculotomy using the TRAB360 device resulted in significant IOP reductions up to 1 year with a favorable safety profile. The device is an effective stand-alone MIGS procedure for patients with refractory POAG.
Evaluation of Dietary Intakes and Nutritional Knowledge in Thai Patients with Type 2 Diabetes Mellitus

Introduction Most nutritional guidelines for diabetes management emphasize the importance of having individualized goals, away from a one-size-fits-all approach. However, there is a dearth of information on the dietary intakes and nutritional knowledge of Thai patients with type 2 diabetes mellitus (T2DM). This study is aimed at clarifying dietary intakes in relationship to glycemic control and at examining nutritional knowledge among Thai patients with T2DM. Materials and Methods A cross-sectional study of outpatients with T2DM at Theptarin Hospital and Ramathibodi Hospital (Bangkok, Thailand) was performed to assess dietary intakes by food records. Diabetes nutritional knowledge and dietary self-care behavior was also evaluated. Results A total of 304 Thai patients with T2DM (female 52.6%, mean age 57.4 ± 10.9 years, body mass index (BMI) 27.3 ± 4.8 kg/m2, and baseline A1C 7.2 ± 1.3%) participated in the study. The mean daily calorie intake was 1427 ± 425 kcal, and mean intake for each macronutrient was acceptable (carbohydrate 52%, protein 17%, and fat 31%). However, the intake of free sugar was much higher (12.1 ± 5.8% of total daily energy intake) and dietary fiber intake (9 grams per day) was much lower than recommended. There were no correlations between dietary intake and glycemic control. A subset of patients (N = 213) completed the diabetes nutritional knowledge survey. There was no association between diabetes nutritional knowledge and the actual dietary self-care behavior. Conclusion These results indicate that compliance of Thai patients with T2DM to dietary recommendations is not completely satisfactory, especially for free sugar and dietary fiber intakes. Addressing the reality of how patients with T2DM eat in their daily lives and their knowledge gaps would enable them to adhere to medical nutrition therapy.
Selection of Neural Oscillatory Features for Human Stress Classification with Single Channel EEG Headset

A study on classification of psychological stress in humans using electroencephalography (EEG) is presented. The stress is classified using a correlation-based feature subset selection method that efficiently reduces the feature vector length. In this study, twenty-eight participants are involved by filling in the perceived stress scale-10 (PSS-10) questionnaire and their EEG is also recorded in closed eye condition to measure the baseline stress. The recorded data is labelled on the basis of the stress level that is indicated by the participant's PSS score. The feature selection method has shown that, among the EEG oscillations, low beta, high beta, and low gamma are the most significant neural oscillations for classifying human stress. The proposed method not only reduces the time to build a classification model but also improves the classification accuracy up to 78.57% using a single channel wearable EEG device.