Miracle-dz/UniFAR-FTUs huggingface dataset:
A Song of (Dis)agreement: Evaluating the Evaluation of Explainable Artificial Intelligence in Natural Language Processing

There has been significant debate in the NLP community about whether or not attention weights can be used as an explanation - a mechanism for interpreting how important each input token is for a particular prediction. The validity of"attention as explanation"has so far been evaluated by computing the rank correlation between attention-based explanations and existing feature attribution explanations using LSTM-based models. In our work, we (i) compare the rank correlation between five more recent feature attribution methods and two attention-based methods, on two types of NLP tasks, and (ii) extend this analysis to also include transformer-based models. We find that attention-based explanations do not correlate strongly with any recent feature attribution methods, regardless of the model or task. Furthermore, we find that none of the tested explanations correlate strongly with one another for the transformer-based model, leading us to question the underlying assumption that we should measure the validity of attention-based explanations based on how well they correlate with existing feature attribution explanation methods. After conducting experiments on five datasets using two different models, we argue that the community should stop using rank correlation as an evaluation metric for attention-based explanations. We suggest that researchers and practitioners should instead test various explanation methods and employ a human-in-the-loop process to determine if the explanations align with human intuition for the particular use case at hand.
On the Stabilizing Effect of Swimming in an Active Suspension

We consider a kinetic model of an active suspension of rod-like microswimmers. In certain regimes, swimming has a stabilizing effect on the suspension. We quantify this effect near homogeneous isotropic equilibria $\overline{\psi} = \text{const}$. Notably, in the absence of particle (translational and orientational) diffusion, swimming is the only stabilizing mechanism. On the torus, in the non-diffusive regime, we demonstrate linear Landau damping up to the stability threshold predicted in the applied literature. With small diffusion, we demonstrate nonlinear stability of arbitrary equilibrium values for pullers (front-actuated swimmers) and enhanced dissipation for both pullers and pushers (rear-actuated swimmers) at small concentrations. On the whole space, we prove nonlinear stability of the vacuum equilibrium due to generalized Taylor dispersion.
Thermodynamic and electrical transport properties of 
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:msub><mml:mi mathvariant="normal">UTe</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:math>
 under uniaxial stress

Despite intense experimental efforts, the nature of the unconventional superconducting order parameter of UTe$_2$ remains elusive. This puzzle stems from different reported numbers of superconducting transitions at ambient pressure, as well as a complex pressure-temperature phase diagram. To bring new insights into the superconducting properties of UTe$_2$, we measured the heat capacity and electrical resistivity of single crystals under compressive uniaxial stress $\sigma$ applied along different crystallographic directions. We find that the critical temperature $T_{\rm c}$ of the single observed bulk superconducting transition decreases with $\sigma$ along $[100]$ and $[110]$ but increases with $\sigma$ along $[001]$. Aside from its effect on $T_{\rm c}$, we notice that $c$-axis stress leads to a significant piezoresistivity, which we associate with the shift of the zero-pressure resistivity peak at $T^\star \approx 15\, \rm K$ to lower temperatures under stress. Finally, we show that an in-plane shear stress $\sigma_{xy}$ does not induce any observable splitting of the superconducting transition over a stress range of $\sigma_{xy}\approx 0.17 \, \rm GPa$. This result suggests that the superconducting order parameter of UTe$_2$ may be single-component at ambient pressure.
Cloudlet Capture Model for Asymmetric Molecular Emission Lines Observed in TMC-1A with ALMA

TMC-1A is a protostellar source harboring a young protostar, IRAS 04365+2353, and shows highly asymmetric features of a few 100 au scale in its molecular emission lines. Blueshifted emission is much stronger in the CS (J = 5–4) line than redshifted emission. This asymmetry can be explained if the gas accretion is episodic and takes the form of cloudlet capture, given that the cloudlet is approaching toward us. The gravity of the protostar transforms the cloudlet into a stream and changes its velocity along the flow. The emission from the cloudlet should be blueshifted before the periastron, while it should be redshifted after the periastron. If a major part of cloudlet has not reached the periastron, the former should be dominant. We perform hydrodynamical simulations to examine the validity of the scenario. Our numerical simulations can reproduce the observed asymmetry if the orbit of the cloudlet is inclined to the disk plane. The inclination can explain the slow infall velocity observed in the C18O (J = 2–1) line emission. Such episodic accretion may occur in various protostellar cores since actual clouds could have inhomogeneous density distributions. We also discuss the implication of the cloudlet capture on observations of related objects.
Classical verification of quantum depth

We present two protocols for classical verification of quantum depth. Our protocols allow a purely classical verifier to distinguish devices with different quantum circuit depths even in the presence of classical computation. We show that a device with quantum circuit depth at most d will be rejected by the verifier even if the prover applies additional polynomial-time classical computation to cheat. On the other hand, the verifier accepts a device which has quantum circuit depth d' for some d'>d. In our first protocol, we introduce an additional untrusted quantum machine which shares entanglements with the target machine. Applying a robust self-test, our first protocol certifies the depth of the target machine with information theoretic security and nearly optimal separation. The protocol relies on the oracle separation problem for quantum depth by Chia, Chung and Lai [STOC 2020] and a transformation from an oracle separation problem to a two-player non-local game. Our second protocol certifies the quantum depth of a single device based on quantum hardness of learning with errors. The protocol relies on the noisy trapdoor claw-free function family and the idea of pointer chasing to force the prover to keep quantum coherence until all preceding message exchanges are completed. To our knowledge, we give the first constructions for distinguishing hybrid quantum-classical computers with different circuit depths in unrelativized models.
A Communication-Efficient Distributed Gradient Clipping Algorithm for Training Deep Neural Networks

In distributed training of deep neural networks, people usually run Stochastic Gradient Descent (SGD) or its variants on each machine and communicate with other machines periodically. However, SGD might converge slowly in training some deep neural networks (e.g., RNN, LSTM) because of the exploding gradient issue. Gradient clipping is usually employed to address this issue in the single machine setting, but exploring this technique in the distributed setting is still in its infancy: it remains mysterious whether the gradient clipping scheme can take advantage of multiple machines to enjoy parallel speedup. The main technical difficulty lies in dealing with nonconvex loss function, non-Lipschitz continuous gradient, and skipping communication rounds simultaneously. In this paper, we explore a relaxed-smoothness assumption of the loss landscape which LSTM was shown to satisfy in previous works, and design a communication-efficient gradient clipping algorithm. This algorithm can be run on multiple machines, where each machine employs a gradient clipping scheme and communicate with other machines after multiple steps of gradient-based updates. Our algorithm is proved to have $O\left(\frac{1}{N\epsilon^4}\right)$ iteration complexity and $O(\frac{1}{\epsilon^3})$ communication complexity for finding an $\epsilon$-stationary point in the homogeneous data setting, where $N$ is the number of machines. This indicates that our algorithm enjoys linear speedup and reduced communication rounds. Our proof relies on novel analysis techniques of estimating truncated random variables, which we believe are of independent interest. Our experiments on several benchmark datasets and various scenarios demonstrate that our algorithm indeed exhibits fast convergence speed in practice and thus validates our theory.
a rare variant of

Background: Porokeratosis, a well recognized disorder of keratinization, is known to have several clinical variants. This report describes a rare variant characterized by verrucous plaques. Methods: An adult male presented with a slowly progressive verrucous plaque on the gluteal region that was resistant to conventional therapy. Careful inspection revealed a keratotic ridge at the plaque border leading to the diagnosis. Results: Histopathology showed the presence of multiple cornoid lamellae confirming the diagnosis of porokeratosis ptychotropica. Conclusions: Porokeratosis ptychotropica is a rare variant of porokeratosis with fewer than 25 cases described in the literature. This report is to highlight the importance of considering this particular entity in the diagnosis of genitogluteal plaques, especially those not responding to conventional modalities.
Insulin Resistance is Associated with Higher Plasma Viral Load Among HIV-Positive Adults Receiving Longer-Term (1 Year) Combination Antiretroviral Therapy (ART)

Background: As HIV-positive persons survive longer due to the success of combination antiretroviral therapy (ART) in decreasing mortality, the burden of non-communicable diseases including diabetes mellitus (DM) is anticipated to rise. HIV is characterized by systemic inflammations, markers of which decrease quickly following ART initiation, but typically do not completely normalize. Inflammation may be accompanied by insulin resistance (IR), and both are implicated in the pathogenesis of DM in HIV-positive individuals. Sub-Saharan Africa accounts for almost two-thirds of the global HIV burden but there are few reports of IR, DM and HIV in this region. We assessed the relationship between IR and viral suppression among HIV-positive adults in the Zambian national ART program. Methods: We conducted a cross-sectional survey evaluating HIV-positive adults that had received first line ART (usually TDF/FTC/EFV) for 12 months (± 3 months). Twenty clinics were sampled systematically based on the random starting-point, sampling interval and cumulative population size. Eligible patients had plasma viral load (VL), fasting insulin, and glucose performed. Insulin resistance was determined using Homeostatic model assessment (HOMA). We determined proportions for each outcome using linearized standard error 95% confidence intervals and summary estimates. Viral suppression was defined according to the detection threshold of<20 copies/mL and treatment failure was defined as VL>1,000 copies/mL. Results: Of 473 patients enrolled, 46.8% were male and 53.2% were female. 142 (30%) [95% CI: 0.26–0.34] had IR. Among those with IR, 55 (38.7%) were male whereas 87 (61.3%) were female (p value=0.104). 19% of individuals with IR had treatment failure compared to 5.7% without IR (p value<0.0001). 427 (90.3%) participants had treatment success (VL<1,000 copies/mL), and this was associated with a lower likelihood of IR (odds ratio (OR)=0.26 [0.14, 0.48], p value<0.0001). In addition, a significantly lower proportion of patients with IR were virologically suppressed at one-year compared to individuals without IR, 58% [0.54–0.70] versus 70% [0.65–0.75], respectively (p value=0.042). Conclusion: In Zambian adults on ART for a year, the development of insulin resistance was strongly associated with suboptimal HIV outcomes, specifically non-viral suppression and treatment failure. Further investigations are warranted to determine if this positive association between IR and VL is causally related, and if so in which direction.
Effects of breathing re-education on endurance, strength of deep neck flexors and pulmonary function in patients with chronic neck pain: A randomised controlled trial

Background People with chronic neck pain show decreased endurance and strength of cervical muscles with compromised respiratory function. There is little evidence that improvement in breathing function of people with neck pain can help in enhancing cervical muscle strength and pulmonary function. The objective of this our clinical trial was to examine the effects of breathing re-education combined with physiotherapy on endurance and strength of deep neck flexors, and pulmonary function in patients with chronic neck pain. Methods/design In this double blind randomised clinical trial, 30 patients with chronic neck pain (25–50 years old) were randomly allocated to two groups. Group A, physiotherapy (n = 15), and Group B, breathing re-education (n = 15). The duration of intervention was eight weeks with treatment five days a week. The endurance was measured with the craniocervical flexion test, strength with a handheld dynamometer (Baseline USA) and pulmonary functions with the Spiro lab 4 (USA) at baseline, at week four and at week eight of the intervention. Discussion There was a significant between group improvement in the strength of deep neck flexors and forced vital capacity (FVC) in Group B p = 0.0001 and p = 0.0200 (p ˂ 0.05) respectively. Intergroup comparisons showed no significant differences for endurance, cervical extensor strength, Forced Expiratory Volume in one second (FEV1), and FEV1/FVC percentage. Conclusion Our study concluded that breathing re-education combined with other physiotherapy management is effective for improving the strength of neck flexors and increasing FVC in people with chronic neck pain. Clinical implication Breathing re-education may be part of physiotherapy management in patients with chronic neck pain. Trial Registration Iranian Registry of Clinical Trials, IRCT20200226046623N1, https://www.irct. ir/trial/46240.
Cost-effectiveness of Same-day Discharge Surgery for Primary Total Hip Arthroplasty: A Pragmatic Randomized Controlled Study

Background Total hip arthroplasty (THA) causes a great medical burden globally, and the same-day discharge (SDD) method has previously been considered to be cost saving. However, a standard cost-effectiveness analysis (CEA) in a randomized controlled trial (RCT) is needed to evaluated the benefits of SDD when performing THA from the perspective of both economic and clinical outcomes. Methods Eighty-four participants undergoing primary THA were randomized to either the SDD group or the inpatient group. Outcomes were assessed by an independent orthopedist who was not in the surgical team, using the Oxford Hip Score (OHS), EuroQol 5D (EQ-5D), SF-36 scores and the quality-adjusted life years (QALYs). All the cost information was also collected. Results The mean stay of patients in the SDD group was 21.70 ± 3.45 h, while the inpatient group was 78.15 ± 26.36 h. This trial did not detect any significant differences in OHS and QALYs. The total cost in the SDD group was significantly lower than that in the inpatient group (¥69,771.27 ± 6,608.00 vs. ¥80,666.17 ± 8,421.96, p < 0.001). From the perspective of total cost, when measuring OHS, the incremental effect was −0.12 and the incremental cost was –¥10,894.90. The mean incremental cost-effectiveness ratio (ICER) was 90,790.83. When measuring QALYs, the incremental effect was 0.02, and the ICER was negative. Sensitivity analysis produced similar results. Conclusions SDD has an acceptable likelihood of being more cost-effective than the traditional inpatient option. After conducting cost–utility analysis, SDD resulted in better QALYs, while significantly reducing the total cost.
Bipedal in-shoe kinetics of skateboarding – the ollie

However, there is a clear change in the coordination pattern which appears to be in anti-phase at certain marked sections of the stance phase (Figure 2(a)). Whilst there is a similarity in the pattern of the waveforms between level and incline walking (Figure 2(a)), they do not provide detailed information on the coordination pattern. However, as indicated in Figure 2(b), the new coordination classification technique identifies subtle changes in the segmental data. These changes provide an insight into the complexity of multi-segment foot kinematics both in level and in incline walking, which has not been observed or reported in traditional approaches. The results of the current investigation and the techniques reported within this study have the potential not only to inform functional footwear design but also a wider clinical and scientific community to understand foot function.
VALIDITAS BUKU AJAR BERBASIS SCIENTIFIC APPROACH MATERI EKOLOGI UNTUK KELAS X SMA

Penelitian ini bertujuan mendeskripsikan validitas buku ajar berbasis scientific approach materi ekologi kelas X SMA. Buku ajar dikembangkan di jurusan Biologi Fakultas MIPA Unesa menggunakan model ADDIE, yaitu Analysis, Design, Develop, Implementation, dan Evaluation. Buku ajar diuji cobakan secara terbatas pada 16 peserta didik kelas X MIA SMA NU 1 Gresik. Berdasarkan hasil validasi oleh ahli pendidikan, ahli materi, dan guru biologi menunjukkan bahwa buku ajar dinyatakan sangat valid dengan rata-rata skor sebesar 3,60 sehingga buku ajar dapat diimplementasikan dalam kegiatan pembelajaran.
Association Between Lifestyle Changes, Mammographic Breast Density, and Breast Cancer

Abstract In screening for breast cancer (BC), mammographic breast density (MBD) is a powerful risk factor that increases breast carcinogenesis and synergistically reduces the sensitivity of mammography. It also reduces specificity of lesion identification, leading to recalls, additional testing, and delayed and later-stage diagnoses, which result in increased health care costs. These findings provide the foundation for dense breast notification laws and lead to the increase in patient and provider interest in MBD. However, unlike other risk factors for BC, MBD is dynamic through a woman’s lifetime and is modifiable. Although MBD is known to change as a result of factors such as reproductive history and hormonal status, few conclusions have been reached for lifestyle factors such as alcohol, diet, physical activity, smoking, body mass index (BMI), and some commonly used medications. Our review examines the emerging evidence for the association of modifiable factors on MBD and the influence of MBD on BC risk. There are clear associations between alcohol use and menopausal hormone therapy and increased MBD. Physical activity and the Mediterranean diet lower the risk of BC without significant effect on MBD. Although high BMI and smoking are known risk factors for BC, they have been found to decrease MBD. The influence of several other factors, including caffeine intake, nonhormonal medications, and vitamins, on MBD is unclear. We recommend counseling patients on these modifiable risk factors and using this knowledge to help with informed decision making for tailored BC prevention strategies.
Nucleotide substitutions in the mexR, nalC and nalD regulator genes of the MexAB-OprM efflux pump are maintained in Pseudomonas aeruginosa genetic lineages

Pseudomonas aeruginosa has different resistant mechanisms including the constitutive MexAB-OprM efflux pump. Single nucleotide polymorphisms (SNPs) in the mexR, nalC, and nalD repressors of this efflux pump can contribute to antimicrobial resistance; however, it is unknown whether these changes are mainly related to genetic lineages or environmental pressure. This study identifies SNPs in the mexR, nalC, and nalD genes in clinical and environmental isolates of P. aeruginosa (including high-risk clones). Ninety-one P. aeruginosa strains were classified according to their resistance to antibiotics, typified by multilocus sequencing, and mexR, nalC, and nalD genes sequenced for SNPs identification. The mexAB-oprM transcript expression was determined. The 96.7% of the strains were classified as multidrug resistant. Eight strains produced serine carbapenemases, and 11 strains metallo-β-lactamases. Twenty-three new STs and high-risk clones ST111 and ST233 were identified. SNPs in the mexR, nalC, and nalD genes revealed 27 different haplotypes (patterns). Sixty-two mutational changes were identified, 13 non-synonymous. Haplotype 1 was the most frequent (n = 40), and mainly identified in strains ST1725 (33/40), with 57.5% pan drug resistant strains, 36.5% extensive drug resistant and two strains exhibiting serin-carbapenemases. Haplotype 12 (n = 9) was identified in ST233 and phylogenetically related STs, with 100% of the strains exhibiting XDR and 90% producing metallo-β-lactamases. Haplotype 5 was highly associated with XDR and related to dead when compared to ST1725 and ST233 (RRR 23.34; p = 0.009 and RRR 32.01; p = 0.025). A significant relationship between the mexR-nalC-nalD haplotypes and phylogenetically related STs was observed, suggesting mutational changes in these repressors are highly maintained within genetic lineages. In addition, phylogenetically related STs showed similar resistant profiles; however, the resistance was (likely or partly) attributed to the MexAB-OprM efflux pump in 56% of the strains (only 45.05% showed mexA overtranscription), in the remaining strains the resistance could be attributed to carbapenemases or mechanisms including other pumps, since same SNPs in the repressor genes gave rise to different resistance profiles.
Associations among Intimate Partner Violence, Posttraumatic Stress Disorder Symptoms, and Disordered Eating among Women Intimate Partner Violence Survivors Residing in Shelter

Previous research has not assessed the association between intimate partner violence (IPV) and disordered eating (DE), nor the potential indirect effect through posttraumatic stress disorder (PTSD) symptoms, among residents of IPV shelters. Among 212 IPV survivors, this study examined these and the differential associations by PTSD symptom cluster and types of DE. In the current sample, 67.9% met criteria for probable PTSD, 20.3% met criteria for a probable eating disorder, and 18.4% had probable comorbid diagnoses. Consistent with escape theory, there was an indirect effect of IPV on DE through PTSD symptoms. Additionally, there was an indirect effect of IPV on weight/shape concerns and binge symptoms through PTSD symptoms. Although there was a significant total effect of IPV on compensatory behaviors, there was no indirect effect through PTSD symptoms. When PTSD symptom clusters were examined concurrently, the only indirect effect of IPV on weight/shape concerns was via the PTSD symptom cluster of negative alterations in cognition and mood. Although there was an indirect effect of IPV on binge symptoms via PTSD symptoms overall, no specific PTSD symptom cluster drove this association. Implications highlight the need for attention to DE within this population. Consistent with escape theory, survivors’ DE might serve to distract from psychological distress.