Miracle-dz/UniFAR-FTUs huggingface dataset:
Exploring China stepping into the dawn of chemical pesticide-free agriculture in 2050

China has implemented a series of policies to reduce the usage of chemical pesticides to maintain food production safety and to reduce water and soil pollution. However, there is still a huge gap in developing biological pesticides to replace chemical agents or managing pests to prevent crop production loss. It is necessary to predict the future use of chemical pesticides and to exploit the potential ways to control pests and crop diseases. Pesticide usage is affected by seasonal changes and analyzed by using a seasonal autoregressive integrated moving average (ARIMA) model (a statistical model that predicts future trends using time-series data). The future development of biopesticides in China was predicted using the compound annual growth rate (CAGR), which is calculated via the equation [(Final value/Starting value)1/years – 1] according to the annual growth rate of target products over time. According to the reducing trend of pesticide and biological pesticide usage annually, China is predicted possibly step into the era of pesticide-free agriculture in 2050 based on the analysis of the ARIMA model. With CAGR calculation, China will produce from 500 thousand to one million tons of biopesticides in 2050, which can meet the need to replace chemical pesticides in agriculture to prevent the present crop production loss. To achieve the goal, China still has the greatest challenges to develop biopesticides and use various strategies to control pest and crop diseases. China may step into the dawn of chemical pesticide-free agriculture in 2050 if biopesticides can be developed smoothly and pests can be controlled well using various strategies.
Partial human Janus kinase 1 deficiency predominantly impairs responses to interferon gamma and intracellular control of mycobacteria

Purpose Janus kinase-1 (JAK1) tyrosine kinase mediates signaling from multiple cytokine receptors, including interferon alpha/beta and gamma (IFN-α/β and IFN-γ), which are important for viral and mycobacterial protection respectively. We previously reported autosomal recessive (AR) hypomorphic JAK1 mutations in a patient with recurrent atypical mycobacterial infections and relatively minor viral infections. This study tests the impact of partial JAK1 deficiency on cellular responses to IFNs and pathogen control. Methods We investigated the role of partial JAK1 deficiency using patient cells and cell models generated with lentiviral vectors expressing shRNA. Results Partial JAK1 deficiency impairs IFN-γ-dependent responses in multiple cell types including THP-1 macrophages, Epstein-Barr Virus (EBV)-transformed B cells and primary dermal fibroblasts. In THP-1 myeloid cells, partial JAK1 deficiency reduced phagosome acidification and apoptosis and resulted in defective control of mycobacterial infection with enhanced intracellular survival. Although both EBV-B cells and primary dermal fibroblasts with partial JAK1 deficiency demonstrate reduced IFN-α responses, control of viral infection was impaired only in patient EBV-B cells and surprisingly intact in patient primary dermal fibroblasts. Conclusion Our data suggests that partial JAK1 deficiency predominantly affects susceptibility to mycobacterial infection through impact on the IFN-γ responsive pathway in myeloid cells. Susceptibility to viral infections as a result of reduced IFN-α responses is variable depending on cell type. Description of additional patients with inherited JAK1 deficiency will further clarify the spectrum of bacterial and viral susceptibility in this condition. Our results have broader relevance for anticipating infectious complications from the increasing use of selective JAK1 inhibitors.
On the Constructive Content of Proofs

This thesis aims at exploring the scopes and limits of techniques for extracting programs from proofs. We focus on constructive theories of inductive definitions and classical systems allowing choice principles. Special emphasis is put on optimizations that allow for the extraction of realistic programs. Our main field of application is infinitary combinatorics. Higman's Lemma, having an elegant non-constructive proof due to Nash-Williams, constitutes an interesting case for the problem of discovering the constructive content behind a classical proof. We give two distinct solutions to this problem. First, we present a proof of Higman's Lemma for an arbitrary alphabet in a theory of inductive definitions. This proof may be considered as a constructive counterpart to Nash-Williams' minimal-bad-sequence proof. Secondly, using a refined $A$-translation method, we directly transform the classical proof into a constructive one and extract a program. The crucial point in the latter is that we do not need to avoid the axiom of classical dependent choice but directly assign a realizer to its translation. A generalization of Higman's Lemma is Kruskal's Theorem. We present a constructive proof of Kruskal's Theorem that is completely formalized in a theory of inductive definitions. As a practical part, we show that these methods can be carried out in an interactive theorem prover. Both approaches to Higman's Lemma have been implemented in Minlog.
Effects of a short and intensive transcranial direct current stimulation treatment in children and adolescents with developmental dyslexia: A crossover clinical trial

Developmental Dyslexia (DD) significantly interferes with children’s academic, personal, social, and emotional functioning. Nevertheless, therapeutic options need to be further validated and tested in randomized controlled clinical trials. The use of transcranial direct current stimulation (tDCS) has been gaining ground in recent years as a new intervention option for DD. However, there are still open questions regarding the most suitable tDCS protocol for young people with DD. The current crossover study tested the effectiveness of a short and intensive tDCS protocol, including the long-term effects, as well as the influence of age and neuropsychological processes at baseline on reading improvements. Twenty-four children and adolescents with DD were randomly assigned to receive active tDCS during the first slot and sham tDCS during the second slot or vice versa. Five consecutive daily sessions of left anodal/right cathodal tDCS set at 1 mA for 20 min were administered over the parieto-occipital regions. Reading measures (text, high frequency word, low frequency word, and non-word lists) and neuropsychological measures (visual-spatial and verbal working memory, phoneme blending, and rapid automatized naming tasks) were collected before, immediately after, 1 week and 1 month later the treatment. Our results showed that only the active tDCS condition improved non-word reading speed immediately after and 1 month later the end of the treatment compared with baseline. In addition, the improvement in non-word reading speed was significantly correlated with age and with neuropsychological measures (verbal working memory and phoneme blending) at baseline but only in the active tDCS condition. The current crossover study contributed to enforce previous effects of tDCS, including long-term effects, on non-word reading speed and to understand the effect of age and neuropsychological processes on reading outcomes. Our findings showed that tDCS could be a low-cost and easy-to-implement treatment option with long-term effects for children and adolescents with DD.
A Gly684Ala substitution in the androgen receptor is the cause for azoospermia in a Chinese family with mild androgen insensitivity syndrome and normal hormone levels

Androgen receptor gene (AR) is essential for male growth and fertility. Its mutations are responsible for androgen insensitivity syndrome (AIS) that usually shows the phenotype of azoospermia resulting in male infertility. This study reported the first case of mild AIS with complete normal serum hormones in a Chinese family. The proband referred for infertility because of azoospermia. His uncle and two cousins are both infertile and have azoospermia. Whole-exome sequencing in the genetic analyses showed that the proband carries a novel hemizygous AR missense mutation, NM_000044. 6: c.2051G>C (p.Gly684Ala), in exon four within the ligand-binding domain. His mother and maternal aunt are heterozygous carriers, while his father and brother are wildtype, indicating that the mutation in the proband was inherited from his mother. This pattern is consistent with the genetic model of the X-linked recessive inheritance of AR in AIS pathogenesis. HOPE predicts that p.Gly684Ala increases the hydrophobicity of AR but does not change the AR conformation. PolyPhen-2 predicts that p.Gly684Ala is harmful. This study provides the new knowledge to understand the AR gene mutations in MAIS.
Role of celebrity endorsement in promoting employees’ organization identification: A brand-based perspective

Celebrity endorsement has been used for decades to promote products to consumers. As employees are one of the primary stakeholders and are known as second consumers, their concerns about celebrity endorsement effectiveness and pride need attention for building their identification with an organization. This study investigated the internal branding process by examining employees’ brand orientation, celebrity-organization value congruence, and the accuracy of employee portrayal. Data are collected from a leading multinational bank in Pakistan through a structured questionnaire. The results of the study showed that when employees felt celebrity endorsement matched organizational values, the celebrity successfully portrayed actual corporate values. Thus, employees believed that endorsement effectively gained consumers’ attention and built a strong corporate image. The study affirmed that employees’ sense of pride toward their organization motivates them to identify with it. Furthermore, the results showed that value congruence mediates the relationship between brand orientation and endorsement effectiveness, while pride mediates the relationship between endorsement effectiveness and organization identification. Service organizations could use brand orientation to gain accurate employee portrayal that revives their pride and attachment with the organization and enhances corporate identification. The future directions and limitations are discussed.
Deep learning–based turbidity compensation for ultraviolet-visible spectrum correction in monitoring water parameters

Ultraviolet-visible spectroscopy is an effective tool for reagent-free qualitative analysis and quantitative detection of water parameters. Suspended particles in water cause turbidity that interferes with the ultraviolet-visible spectrum and ultimately affects the accuracy of water parameter calculations. This paper proposes a deep learning method to compensate for turbidity interference and obtain water parameters using a partial least squares regression approach. Compared with orthogonal signal correction and extended multiplicative signal correction methods, the deep learning method specifically utilizes an accurate one-dimensional U-shape neural network (1D U-Net) and represents the first method enabling turbidity compensation in sampling real river water of agricultural catchments. After turbidity compensation, the R 2 between the predicted and true values increased from 0.918 to 0.965, and the RMSE (Root Mean Square Error) value decreased from 0.526 to 0.343 mg. Experimental analyses showed that the 1D U-Net is suitable for turbidity compensation and provides accurate results.
The biological dimensions of transcendent states: A randomized controlled trial

This study evaluated the biological dimension of meditation and self-transcendent states. A convenience sample of 513 participants was drawn from attendees at a 4-day guided meditation workshop. Half were randomly assigned to an active placebo control intervention. All were assessed on a variety of measures, both psychological [anxiety, pain, posttraumatic stress disorder (PTSD), positive emotions, and transcendent states], and physiological (physical functioning). Additional biological assessments including salivary immunoglobulin-A (SIgA), cortisol, and Quantitative Electroencephalography (qEEG) were obtained from subset of the Experimental group (N = 117). No significant difference in psychological symptoms or positive emotions was observed between Experimental and placebo groups at baseline. At post-test, significant improvements were noted in the Experimental group, including a 49.5% median increase in SIgA (p = 0.01), though cortisol remained unchanged. qEEG z-score analysis identified sustained stress reduction, including delta frequency band amplitude increases, high beta decreases, and faster acquisition of sustained alpha states (all p < 0.001). Psychological symptoms also improved on all measures. At 6-month follow-up (N = 140), PTSD and somatic symptoms significantly improved from baseline, and post-test versus 6-month follow-up results indicated significant increases in happiness and spiritual and physical oneness, along with decreases in depressive symptoms. These findings suggest that autonomic self-regulation and transcendent states may be measured in both biological and psychological dimensions and are associated with pervasive health benefits.
Outcome evaluation of Active Herts: A community-based physical activity programme for inactive adults at risk of cardiovascular disease and/or low mental wellbeing

Background A high proportion of UK adults are inactive, which can lead to a range of physical and mental health concerns. Active Herts is a community-based physical activity programme for inactive adults at risk of cardiovascular disease and/or low mental wellbeing. This paper provides a pragmatic evaluation of this programme. Method This longitudinal study observed 717 adults (68% female, mean age = 56.9 years) from the “Active Herts” programme. Programme users were provided with a 45-min consultation with a “Get Active Specialist,” who talked them through an Active Herts self-help booklet and then signposted them to free or subsidized local exercise sessions. Programme users were followed up with a booster call 2 weeks later. The Get Active Specialist was a registered exercise professional (REPS Level 3), with additional training from the study team in motivational interviewing, health coaching, COM-B behavioral diagnosis and delivery of behavior change techniques (BCTs) in practice. The Active Herts booklet contained theoretically-driven and evidence-based BCTs to translate behavioral science into public health practice. Physical activity (Metabolic Equivalent Time [METs], measured using the International Physical Activity Questionnaire (IPAQ), perceived health (EQ-5D-5L) and mental wellbeing (Warwick-Edinburgh Mental Wellbeing Scale: WEMWBS) were measured at baseline, 3, 6 and 12 months. Results At the end of the 12-month programme, users showed sustained improvements in physical activity (by +1331 METS), exceeding weekly recommendations. Sitting (reducing by over an hour per day), sporting participation, and perceptions of health were also improved, with improvements in mental wellbeing in the first 3 months. Conclusion Designing and delivering a community-based physical activity programme that is theoretically-driven and evidence-based with frequent behavior change training and supervision can yield a significant increase in self-reported physical activity, reduction in sitting behavior and improvements to perceived health and mental wellbeing. Future research should extend this approach, utilizing a real-world, pragmatic evaluation. Trial registration ClinicalTrials.gov, identifier (NCT number): NCT03153098.
Chinese herbal medicine is associated with higher body weight reduction than liraglutide among the obese population: A real-world comparative cohort study

Introduction: In Taiwan, many people receive Chinese herbal medicine (CHM) as an alternative choice to help control body weight. However, the clinical effectiveness of CHM on weight control has not been well studied, while potential risks and adverse effects are still unknown. The aim of our study is to find out a safe and efficient treatment model of CHM for weight control compared to liraglutide in a real-world setting. Methods: we retrospectively analyzed obese subjects [body mass index (BMI)≧25 kg/m2] from Chang Gung Research Database (2013–2018). We evaluated the effect on body weight and BMI changes in obese groups receiving CHM or western medicine (WM, represented liraglutide) within 180 days. The proportion of subjects who achieved 5 and 10% weight reduction was calculated as well. Furthermore, the potential adverse events were analyzed during the study period. Overlap weighting was used to balance the baseline differences between CHM and WM groups. Results: The full cohort comprised 1,360 participants: 701 in the CHM group and 659 in the WM group. At baseline, the CHM group was younger (42.75 ± 12.12 years old in CHM vs. 52.31 ± 11.7 years old in WM, p-value <0.001) and has more female subjects (77.6% in CHM vs. 53.0% in WM, p-value <0.001). On the other hand, CHM users had lower body weight (79.83 ± 15.66 kg vs. 84.68 ± 17.14 kg, p-value <0.001) and BMI (30.58 ± 5.20 vs. 32.84 ± 6.95, p-value <0.001). At day 180, CHM users lost more body weight (−4.5 ± 4.07 kg vs. −2.15 ± 4.05 kg, p-value <0.001) and higher reduction in BMI (−1.77 ± 1.73 vs. −0.9 ± 2.14, p-value <0.001). A total of 53.21% (n = 373) CHM users lost at least 5% of body weight (22.46% for WM users, p-value <0.001), and 18.97% (n = 132) lost at least 10% of body weight (4.55% for WM users, p-value <0.001). The benefit remained consistent with and without overlap weighting. For adverse events, 18 cases of hypertension occurred in 659 subjects in the WM group (2.7%) in comparison to 1 of 701 subjects in the CHM group (0.1%). Conclusion: CHM led to clinically meaningful weight loss without serious adverse events in a real-world setting. Further clinical trials are warranted to validate this result.
Captive diet does not influence exploration behavior upon reintroduction to the wild in a critically endangered amphibian

Exploration behavior can have profound effects on individual fitness. Consequently, knowledge of the proximate mechanisms underpinning exploration behavior may inform conservation breeding programs (CBPs) for threatened species. However, the environmental factors that influence exploration behavior in captivity and during the reintroduction process remain poorly understood. Dietary micronutrients, such as carotenoids, are known to affect the expression of energetically costly behavioral traits, and theoretically may also influence the degree of exploration behavior in various contexts. Here, we investigate whether dietary β-carotene supplementation in captivity influences exploration behavior upon reintroduction to the wild in the critically endangered southern corroboree frog, Pseudophryne corroboree. We conducted a manipulative dietary experiment where captive bred P. corroboree were supplemented with different doses of β-carotene for 40 weeks prior to release. Frogs (n = 115) were reintroduced to the wild using a soft-release approach, where they were released into field enclosures specifically designed for this species. Upon reintroduction, the frogs’ initial exploration behavior was measured using a standardized behavioral assay. There was no effect of diet treatment on any measure of exploration behavior (mean latency to leave the initial refuge, time spent mobile within the release apparatus and latency to disperse into the field enclosure). However, there was a significant relationship between individual body size and latency to leave the refuge, whereby smaller individuals left the refuge more rapidly. While these findings provide no evidence that β-carotene at the dosages tested influences P. corroboree exploration behavior in a reintroduction context, the effect of body size draws attention to the potential for bodily state to influence exploration behavior. We discuss the need for ongoing research investigating the influence of captive diet on post release behavior, and highlight how knowledge concerning state-dependent behavior might help to inform and direct reintroduction programs.
Metal to insulator transition in conducting polyaniline/graphene oxide composites

Broadband Dielectric Spectroscopy (BDS) measurements of P{\omicron}lyaniline/Graphene oxide composites were conducted for an as-prepared and a thermally annealed specimen, respectively, from 15K to room temperature. Electrical conductivity values of the annealed composite display a very modest rise denoting the important contributions of the GO component to achieving electrical stability of the polymer. Patterns of the dc conductivity as a function of temperature also reveal a metal to insulator transition around 75K. The transition is dominated by two key factors; temperature and annealing process. Metal-like and insulating features are subsequently detected, as well, and accordingly described to provide a qualitative inspection of the charge transfer mechanisms involved
Comparison of effectiveness and safety of camrelizumab between HBV-related and non-B, non-C hepatocellular carcinoma: A retrospective study in China

Purpose: This study aimed to compare the clinical outcomes of camrelizumab in hepatitis B virus-related hepatocellular carcinoma (HBV–HCC) patients and non-HBV, non-HCV hepatocellular carcinoma (NBNC–HCC) patients in China. Materials and methods: A total of 54 patients with hepatocellular carcinoma who received camrelizumab were included in this retrospective study from January 2019 to December 2021. The patients were assigned to the HBV–HCC group (n = 28) and the NBNC–HCC group (n = 26). The primary endpoints were overall survival (OS) and progression-free survival (PFS), and the secondary endpoints were the objective response rate (ORR), disease control rate (DCR), and adverse events (AEs). Multivariate analysis using Cox proportional hazard regression was used to identify independent prognostic factors. A nomogram model was subsequently established based on independent prognostic factors. Results: The mean duration of follow-up was 12.7 ± 3.6 months. The median OS was not determined. The median PFS in the HBV–HCC group was significantly longer than that in the NBNC–HCC group (9.2 vs. 6.7 months, p = 0.003). The ORR and DCR in the HBV–HCC group were significantly higher than those in the NBNC–HCC group (ORR, 28.6% vs. 7.7%, p = 0.048; DCR, 71.4% vs. 42.3%, p = 0.031). No significant differences in the total incidence of AEs were found between the HBV–HCC group and the NBNC–HCC group (75.0% vs. 69.2%, p = 0.224). Multivariate regression analysis identified etiology, AFP level, and vascular invasion as independent prognostic factors (all p < 0.05). Conclusion: Our findings demonstrate that camrelizumab is more effective in HBV–HCC patients than in NBNC–HCC patients, with manageable safety.