Miracle-dz/UniFAR-FTUs huggingface dataset:
Normalization in the simply typed 
${\lambda \mu \mu '}\rho \theta \varepsilon$
 -calculus

Abstract In this paper, in connection with the program of extending the Curry–Howard isomorphism to classical logic, we study the $\lambda \mu$ -calculus of Parigot emphasizing the difference between the original version of Parigot and the version of de Groote in terms of normalization properties. In order to talk about a satisfactory representation of the integers, besides the usual $\beta$ -, $\mu$ -, and $\mu '$ -reductions, we consider the $\lambda \mu$ -calculus augmented with the reduction rules $\rho$ , $\theta$ and $\varepsilon$ . We show that we need all of these rules for this purpose. Then we prove that, with the syntax of Parigot, the calculus enjoys the strong normalization property even when we add the rules $\rho$ , $\theta$ , and $\epsilon$ , while the $\lambda \mu$ -calculus presented with the more flexible de Groote-style syntax, in contrast, has only the weak normalization property. In particular, we present a normalization algorithm for the $\beta \mu \mu '\rho \theta \varepsilon$ -reduction in the de Groote-style calculus.
Skewing cPLA2α activity toward oxoeicosanoid production promotes neutrophil N2 polarization, wound healing, and the response to sepsis

Uncontrolled inflammation is linked to poor outcomes in sepsis and wound healing, both of which proceed through distinct inflammatory and resolution phases. Eicosanoids are a class of bioactive lipids that recruit neutrophils and other innate immune cells. The interaction of ceramide 1-phosphate (C1P) with the eicosanoid biosynthetic enzyme cytosolic phospholipase A2 (cPLA2) reduces the production of a subtype of eicosanoids called oxoeicosanoids. We investigated the effect of shifting the balance in eicosanoid biosynthesis on neutrophil polarization and function. Knockin mice expressing a cPLA2 mutant lacking the C1P binding site (cPLA2αKI/KI mice) showed enhanced and sustained neutrophil infiltration into wounds and the peritoneum during the inflammatory phase of wound healing and sepsis, respectively. The mice exhibited improved wound healing and reduced susceptibility to sepsis, which was associated with an increase in anti-inflammatory N2-type neutrophils demonstrating proresolution behaviors and a decrease in proinflammatory N1-type neutrophils. The N2 polarization of cPLA2αKI/KI neutrophils resulted from increased oxoeicosanoid biosynthesis and autocrine signaling through the oxoeicosanoid receptor OXER1 and partially depended on OXER1-dependent inhibition of the pentose phosphate pathway (PPP). Thus, C1P binding to cPLA2α suppresses neutrophil N2 polarization, thereby impairing wound healing and the response to sepsis. Description Eicosanoid biosynthesis influences neutrophil polarization in wound healing and sepsis. Editor’s summary Neutrophils are recruited to sites of injury and infection by various factors, including lipids called eicosanoids, and can adopt a proinflammatory N1 phenotype or an anti-inflammatory N2 phenotype. Maus et al. found that an eicosanoid subtype called oxoeicosanoids enhanced wound healing and reduced the susceptibility to sepsis in mice due to an increase in N2 neutrophil recruitment. Oxoeicosanoids promoted N2 polarization through autocrine activation of the oxoeicosanoid receptor OXER1. These findings suggest potential strategies for manipulating neutrophil polarization to improve clinical outcomes. —Annalisa M. VanHook
The Efficacy and Safety of Intra-articular Low Molecular Weight Fraction of Human Serum Albumin for the Management of Moderate to Moderately Severe Knee Osteoarthritis: A Systematic Review and Meta-Analysis

Osteoarthritis is a chronic degenerative joint disease that affects weight-bearing joints. Low molecular weight fraction of 5% (LMWF-5A) human serum albumin is an intra-articular injection that emerged for the treatment of knee osteoarthritis. The aim of this review is to assess the efficacy and safety of LMWF-5A versus placebo through a systematic review and meta-analysis. The Cochrane Central Register of Controlled Trials (CENTRAL), Medical Literature Analysis and Retrieval System Online (MEDLINE), EBSCO, and ClinicalTrials.gov registry databases were utilized to search for studies. Only randomized controlled trials (RCTs) that evaluated the efficacy of LMWF-5A versus placebo were included. Efficacy endpoints were represented by Western Ontario and McMaster Universities Arthritis Index (WOMAC) A and C scores for pain and function, respectively. Serious adverse events (SAEs), non-serious adverse events (NSAEs), and mortality rates were used to evaluate the safety of the drug. The revised Cochrane risk of bias tool was used for the risk of bias assessment. Seven RCTs (n=2939) that met the inclusion criteria were included. The meta-analysis did not find significant improvement in pain (WOMAC A) (standardized mean difference (SMD)= -0.01, 95% confidence interval (CI) -0.10 - 0.09, P=0.87, I²=30%). Additionally, no significant change in function was noted (WOMAC C) (SMD=0.01, 95% CI -0.08 - 0.10, P=0.87, I²=22%). The pooled analysis did not find a significant difference between LMWF-5A and placebo regarding the incidence of joint swelling (P=0.84), joint stiffness (P=0.53), arthralgia (P=0.53), extremity pain (P=0.45), NSAEs (P=0.21), SAEs (P=0.92), or mortality (P=1.00). However, the subgroup analysis showed a significant reduction of 42% in NSAEs upon administration of 10 mL of LMWF-5A (risk ratio (RR)=0.58, 95% CI 0.35-0.97, P=0.04). In summary, our meta-analysis did not find significant differences between LMWF-5A and placebo regarding the incidence of NSAEs, SAEs, or mortality. On the other hand, LMWF-5A did not demonstrate superiority over saline in terms of efficacy. Therefore, it is not an effective drug for managing knee osteoarthritis.
The charge management system for LISA and LISA Pathfinder

The test masses at the heart of the Laser Interferometer Space Antenna (LISA) and LISA: Pathfinder experiments will experience charging caused by incident ionising radiation. This thesis describes work carried out in developing, testing and understanding the performance of the hardware used to characterise and counteract this test mass charging. Work will be presented that describes the simulation and testing of a radiation monitor to be flown on board Pathfinder. The Charge Management System will then be introduced and the results from testing at the Trento torsion pendulum facility discussed. Several measurements of individual properties that affect discharging are made and these are then incorporated into simulations of the discharging system as a whole. Finally, initial studies are conducted into the suitability of UV-LEDs as the discharging light source for LISA, with particular focus on their spectral stability.
A novel adaptive controller featuring inversely fuzzified values with application to vibration control of magneto-rheological seat suspension system

This work presents a novel adaptive fuzzy controller based on the inversely fuzzified values associated with the H infinity technique and it is applied to vibration control of a vehicle seat suspension system installed with a magneto-rheological damper. In this work, the fuzzified values are embedded into the Riccati-like equation to achieve enhanced robustness of control function and the sliding surface function of sliding mode control is used for designing the main control function. The synthetic function of controller includes a model of online interval type 2 fuzzy neural network system and a fast calculation for clustering. The combination between the fuzzy model system and the proposed control algorithm can shorten the calculation time and improve control responses of the system in the presence of disturbances and uncertainties. After formulating the controller, the effectiveness is validated through both simulation and experiment. In computer simulation, three different road profiles of random bump, regular bump, and random step wave are adopted to emulate severe external disturbances. It is shown from the simulation that both displacement and acceleration of the driver are remarkably well controlled under three different road conditions. This advantage is also validated in the experimental work. It is demonstrated that vibration control performances under random step wave road are much better than the comparative adaptive fuzzy controller. It is identified from the results that the use of the inversely fuzzified values plays a major role to enhance the robustness and hence better control responses in the presence of the disturbances.
Motivation to work remotely in the face of organizational and cost conditions

Motivation: Working conditions have changed significantly as remote working has become widespread in many countries. These changes were caused by a pandemic, as a result of which the possibility of direct communication as well as control and integration of employees was limited. There are also new cost categories for employees and employers, such as installing a better internet connection, purchasing new hardware and software, and implementing better security for data transmission outside the company’s premises. These changes resulted in changes in the employee motivation factors against the background of organizational and cost conditions, which is important for the proper development of the organization.Aim: The aim of the article is to assess motivation to work remotely, based on a survey of opinions among 450 employees in total in Poland, the Czech Republic and Hungary. The assessment was performed by verifying, using the logistic regression method, ten hypotheses describing organizational and cost conditions as well as individual effects, such as career opportunities, increase in knowledge and skills, and the occurrence of stress that arose as a result of working remotely. The motivation to work remotely was verified by establishing the willingness to continue working through an opinion.Results: Motivation in remote work is influenced by both efficient communication and technical assistance provided to the employee remotely. Motivation resulting from the independent organization of working time is also important, and it is based on the decision to choose the duration of work, hours and intensity of its performance. Organizational and cost-related factors are related to motivation, as well as individual effects experienced by the employee. Directly from the survey, it appears that only 26.8% of the respondents incurred higher costs related to remote work during the COVID-19 pandemic. However, the respondents want to continue it with their current earnings. The study found that employees are motivated to work remotely because the organizational conditions and earnings meet their needs. They also admitted that thanks to remote work, they have a better chance of developing a professional career, as well as a higher level of their knowledge and skills, which is also associated with the motivation to continue working remotely.
High-temperature thermodynamics of silver: Semi-empirical approach

We report high-temperature thermodynamics for fcc silver by combining ab initio phonon dynamics to empirical quadratic temperature-dependent term for anharmonic part of Helmholtz free energy. The electronic free energy is added through an interpolation scheme, which connects ambient condition free electron gas model to Thomas–Fermi results. The present study shows good agreement with experimental and reported findings for several thermal properties, and the discrepancy observed in some caloric properties is addressed. The decreases in the product of volume thermal expansion coefficient and isothermal bulk modulus and in the constant volume anharmonic lattice specific heat at high temperature are the clear evidences of proper account of anharmonicity. The present study also reveals that T 2–dependent anharmonic free energy is sufficient for correct evaluation of thermal pressure and conventional Grüneisen parameter. We observe that the intrinsic phonon anharmonicity starts dominating above characteristic temperature, which is attributed to higher order anharmonicity and can be related to higher order potential derivatives. We conclude that the uncorrelated and largeamplitude lattice vibrations at high temperature raise dominating intrinsic thermal stress mechanism, which surpasses the phonon-anharmonism and requires future consideration.
Exploring Nonlinear Dynamics In Brain Functionality Through Phase Portraits And Fuzzy Recurrence Plots

Much of the complexity and diversity found in nature are driven by nonlinear phenomena, and this holds true for the brain. Nonlinear dynamics theory has been successfully utilized in explaining brain functions from a biophysics standpoint, and the field of statistical physics continues to make substantial progress in understanding brain connectivity and function. This study delves into complex brain functional connectivity using biophysical nonlinear dynamics approaches. We aim to uncover hidden information in high-dimensional and nonlinear neural signals, with the hope of providing a useful tool for analyzing information transitions in functionally complex networks. By utilizing phase portraits and fuzzy recurrence plots, we investigated the latent information in the functional connectivity of complex brain networks. Our numerical experiments, which include synthetic linear dynamics neural time series and a biophysically realistic neural mass model, showed that phase portraits and fuzzy recurrence plots are highly sensitive to changes in neural dynamics, and they can also be used to predict functional connectivity based on structural connectivity. Furthermore, the results showed that phase trajectories of neuronal activity encode low-dimensional dynamics, and the geometric properties of the limit-cycle attractor formed by the phase portraits can be used to explain the neurodynamics. Additionally, our results showed that the phase portrait and fuzzy recurrence plots can be used as functional connectivity descriptors, and both metrics were able to capture and explain nonlinear dynamics behavior during specific cognitive tasks. In conclusion, our findings suggest that phase portraits and fuzzy recurrence plots could be highly effective as functional connectivity descriptors, providing valuable insights into nonlinear dynamics in the brain. Significance Here we report phase trajectories and fuzzy recurrence plots can be nonlinear functional dynamics networks descriptors, and both of metrics are very sensitive to neural signals variations, and can be powerful to capture the distinct patterns from brain signals, and it makes brain fingerprinting possible. It does have a significant meaning for us to understand brain state dynamics via phase trajectories and fuzzy recurrence plots, and both metrics can be powerful descriptors for identifying nonlinear dynamics patterns.
Voyager 1 Observations of Galactic Cosmic Rays in the Local Interstellar Medium

A. C. Cummings , E. C. Stone , B. C. Heikkila , N. Lal , W. R. Webber , G. Jóhannesson , I. V. Moskalenko , E. Orlando , and T. A. Porter Caltech, Pasadena CA Goddard Space Flight Center, Greenbelt, MD New Mexico State University, Las Cruces, NM University of Iceland, Reykjavik, Iceland Stanford University, Stanford, CA E-mail: ace@srl.caltech. edu, ecs@srl.caltech. edu, bryant.heikkila@gmail.com, nand.lal@nasa.gov, bwebber@nmsu.edu, gudlaugu@glast2.stanford.edu, imos@stanford.edu, eorlando@stanford.edu, tporter@stanford.edu
Generalized Meir-Keeler type contractions and discontinuity at fixed point

In this paper, we show that generalized Meir-Keeler type contractive definitions are strong enough to generate a fixed point but do not force the mapping to be continuous at the fixed point. Thus we provide more answers to the open question posed by B.E. Rhoades in the paper Contractive definitions and continuity, Contemporary Mathematics 72(1988), 233-245.
When Can Multiple Imputation Improve Regression Estimates?

Multiple imputation (MI) is often presented as an improvement over listwise deletion (LWD) for regression estimation in the presence of missing data. Against a common view, we demonstrate anew that the complete case estimator can be unbiased, even if data are not missing completely at random. As long as the analyst can control for the determinants of missingness, MI offers no benefit over LWD for bias reduction in regression analysis. We highlight the conditions under which MI is most likely to improve the accuracy and precision of regression results, and develop concrete guidelines that researchers can adopt to increase transparency and promote confidence in their results. While MI remains a useful approach in certain contexts, it is no panacea, and access to imputation software does not absolve researchers of their responsibility to know the data.
COVID-19’s Psychosocial Impact on American and Canadian Dental Students

Introduction: The COVID-19 pandemic has significantly affected dental education, contributing to adverse psychological outcomes, especially among dental students. In this cross-sectional study, the psychosocial state of American and Canadian dental students was explored, with special emphasis on affective, behavioral, and cognitive well-being, during and after the initial lockdown. Methods: Dental students were invited to participate in an online survey. The questions evaluated the pandemic’s effect on affective, behavioral, and cognitive responses, and learning experiences. Results: A total of 287 dental students completed the online survey. Sadness and anticipation were the strongest emotions experienced during and following the lockdown. Student worries were classified into external and internal stressors. Females demonstrated higher fear, students from larger dental schools held higher emotions of anticipation and disgust. American students held higher anticipation scores both during and following the lockdown. Canadian, third and fourth years, and students from small dental schools were more aware of which authority to contact if their patient, who presented for care, was suspected of COVID-19 infection which emphasizes the need for a preparedness protocol. Conclusions: More studies that explore the broader scope of psychological aspects are necessary. Monitoring and developing treatment strategies for emergent mental conditions among dental students is extremely important in pandemic crisis management. The study highlights the need for development of standardized protocols and pandemic related health education topics as well as psychological interventions to better prepare dental students globally during the time of crisis.
A Th17 cell-intrinsic glutathione/mitochondrial-IL-22 axis protects against intestinal inflammation

Although the intestinal tract is a major site of reactive oxygen species (ROS) generation, the mechanisms by which antioxidant defense in gut T cells contribute to intestinal homeostasis are currently unknown. Here we show, using T cell-specific ablation of the catalytic subunit of glutamate cysteine ligase (Gclc), that the ensuing loss of glutathione (GSH) impairs the production of gut-protective IL-22 by Th17 cells within the lamina propria. Although Gclc ablation does not affect T cell cytokine secretion in the gut of mice at steady-state, infection with C. rodentium increases ROS, inhibits mitochondrial gene expression and mitochondrial function in Gclc-deficient Th17 cells. These mitochondrial deficits affect the PI3K/AKT/mTOR pathway, leading to reduced phosphorylation of the translation repressor 4E-BP1. As a consequence, the initiation of translation is restricted, resulting in decreased protein synthesis of IL-22. Loss of IL-22 results in poor bacterial clearance, enhanced intestinal damage, and high mortality. ROS-scavenging, reconstitution of IL-22 expression or IL-22 supplementation in vivo prevent the appearance of these pathologies. Our results demonstrate the existence of a previously unappreciated role for Th17 cell-intrinsic GSH coupling to promote mitochondrial function, IL-22 translation and signaling. These data reveal an axis that is essential for maintaining the integrity of the intestinal barrier and protecting it from damage caused by gastrointestinal infection. Executive summary - GSH-regulated Th17 cell-derived IL-22, but not IL-17 is required to maintain intestinal barrier integrity and to revent lethality following C. rodentium infection. - GCLC expression in IBD patients correlates positively with expression of genes related to gut integrity. - Gclc-deficient Th17 cells accumulate mitochondrial ROS, which is linked to impaired mitochondrial function, ysregulated PI3K/AKT/mTOR signaling and impaired translation of IL-22. - ROS-scavenging, IL-22 reconstitution or T cell-specific expression of IL-22 in Gclc-deficient T cells rescues utant mice from the lethal infection outcome in vivo.
Torsion functors of generalized local cohomology modules

ABSTRACT Let R be a commutative Noetherian ring, 𝔞 an ideal of R, M a finite R–module with finite projective dimension, and X an arbitrary R–module. In this paper, for fixed integers s,t and an arbitrary R–module N, we study the membership of in Serre subcategories of the category of R–modules. We present some upper bounds for the flat dimension and the Betti numbers of . We also give some results on cofiniteness, finiteness, vanishing, and Artinianness of generalized local cohomology modules.
The Sperm DNA Fragmentation Assay with SDF Level Less Than 15% Provides a Useful Prediction for Clinical Pregnancy and Live Birth for Women Aged under 40 Years

This retrospective cohort study was conducted on 1148 males who presented along with their partners for infertility management at the PIVET Medical Centre between 2013 and 2022 and had a sperm DNA fragmentation (SDF) assay performed by Halosperm, thereafter participating in 1600 assisted reproductive technology (ART) cycles utilising one of three modalities, namely, IVF-Only, ICSI-Only or IVF–ICSI Split cycles. The outcomes from the ART cycles were then analysed as two groups based on SDF levels <15% and ≥15%. The study showed the unadjusted fertilization rates were not different between the groups, neither across the four female age ranges. However, when the fertilization rates were adjusted for the mature oocytes (metaphase-II oocytes), there was a highly significant difference in fertilization rates in favour of the group with SDF levels < 15% where the women were in the younger age grouping of <35 years (78.4% vs. 73.0%; p < 0.0001). Overall, there was no difference in the rates of blastocyst development nor clinical pregnancy rates between the two SDF groups, but there was a significantly higher pregnancy rate for the younger women (<35 years) with the group of SDF level < 15% (44.1% vs. 37.4%; p = 0.04). Similarly, there was no difference in the miscarriage rates overall with respect to SDF groups, and no clear picture could be deciphered among the women’s age groups. With respect to cumulative live births, this reflected the pregnancy rates with no overall difference between the two SDF groups, but there was a significantly higher cumulative live birth rate for women <35 years where the SDF level was <15% (38.6% vs. 28.6%; p < 0.01). Among the three modalities, the highest cumulative live birth rate occurred within the group with SDF level < 15%, being highest with the IVF mode, particularly for women aged <40 years (43.0% vs. 37.7% for IVF-ICSI Split and 27.9% for ICSI; p = 0.0002), noting that the IVF case numbers were disproportionately low.