Miracle-dz/UniFAR-FTUs huggingface dataset:
Analysis and Screening of Commercialized Protein Supplements for Sports Practice

Recent years have seen a rise in the popularity of the consumption of sports-related supplements. However, the hypothesis is raised that it is necessary to analyze the quality aspects of these supplements in relation to the information provided on the label, to avoid associated risks and obtain the greatest possible benefit from their consumption. Therefore, the aim of this study has been to carry out an analysis or screening of the protein supplements that are currently marketed in Spain. We analyzed the labels of 52 protein sports supplements available both in physical stores and online. The analysis consisted of addressing three relevant aspects considering the labeling: (a) the legislative framework in which the supplements are marketed, (b) the quality of the protein, and (c) the presence of other ingredients according to the specifications of the label. In the legislative context, there do not seem to be any specific regulations to guarantee consumer protection, which can lead to unfair practices and misleading advertising. Most of the supplements analyzed to comply with the requirements of their current regulations. However, claims about their benefits that are not allowed under European legislation have been found in some of them. Regarding composition and according to label information, the supplements have been found to provide a sufficient dose of protein in terms of recommended protein intake per serving. Regarding the presence of other ingredients and according to the information on the label, most of them, except for egg supplements, contain other ingredients. Colostrum was also found in one of the supplements evaluated. The conclusions of the study reveal that, due to a lack of knowledge or misleading advertising practices, supplements are often not used properly. The information provided is essential for both professionals and consumers to avoid the risks associated with consumption, such as unintentional doping, interactions between ingredients that reduce the quality of the supplement, and consumption of supplements inappropriately, among others.
Synthesis of Pyridine Heterocyclic Low-Melting-Point Phthalonitrile Monomer and the Effects of Different Curing Agents on Resin Properties

A phthalonitrile monomer (DPTP) containing pyridine with sulfide bonds was prepared and cured into polymers using different curing agents under the same temperature-programmed process. We characterized and comprehensively evaluated the effects of different curing agents on the thermal and thermomechanical properties of phthalonitrile resin, showing that the DPTP monomer cured with naphthalene-containing curing agent exhibited the best performance among the three polymers. Differential scanning calorimetric (DSC) investigation manifested that the melting point of the DPTP monomer was 61 °C, with a processing window of about 170 °C, suggesting the presence of a wide processing range. Thermogravimetric analysis (TGA) demonstrated the outstanding heat resistance, T5%, of 460 °C in nitrogen, at the same time demonstrating superior long-term stability compared with other commonly used polymer materials, which proves the long-term usage under high temperatures of 300 °C. Dynamic mechanical analysis (DMA) revealed that the storage modulus at 50 °C was 3315 MPa, and the glass transition temperature (Tg) of the polymer was more than 350 °C. Therefore, DPTP resins have favorable thermal stability as well as prominent thermomechanical properties.
The Effects of Social Networking Services on Tourists’ Intention to Visit Mega-Events during the Riyadh Season: A Theory of Planned Behavior Model

The economic, cultural and environmental benefits of mega-events justify conducting tourism research articles based on tourists’ intention to visit the event destination. These decisions are likely influenced by behavioral attributes and social interaction. In the current study, we assessed potential predictors of tourists’ intention to visit the Riyadh Season using a theory of planned behavior (TPB) model and three variables of social networking service (SNS) variables, including SNS use, SNS content and trip experience sharing (TES). Results showed that the perceived behavioral control and subjective norms were antecedent TPB predictors of participants’ intentions to visit the destination. Additionally, the benefits of SNS content in organizing/planning events were independently associated with behavioral motivations. SNS attributes were not significant moderators of the relationship between subjective norms and tourists’ intentions. National authorities are required to focus on improving the content of SNS while planning for future mega-events to enrich tourists’ experience and support their motivation and decision.
Association of Short-Term Exposure to PM2.5 with Blood Lipids and the Modification Effects of Insulin Resistance: A Panel Study in Wuhan

Results of previous studies about the acute effects of fine particulate matter (PM2.5) on blood lipids were inconsistent. This study aimed to quantify the short-term effects of PM2.5 on blood lipids and estimate the modifying role of insulin resistance, reflected by the homeostasis model assessment of insulin resistance (HOMA-IR). From September 2019 to January 2020, the study recruited 70 healthy adults from Wuhan University for a total of eight repeated data collections. At each visit, three consecutive days were monitored for personal exposure to PM2.5, and then a physical examination was carried out on the fourth day. The linear mixed-effect models were operated to investigate the impact of PM2.5 over diverse exposure windows on blood lipids. With the median of the HOMA-IR 1.820 as the cut-off point, participants were assigned to two groups for the interaction analyses. We found the overall mean level (standard deviation, SD) of PM2.5 was 38.34 (18.33) μg/m3. Additionally, with a 10 μg/m3 rise in PM2.5, the corresponding largest responses in triglyceride (TG), total cholesterol (TC), low-density lipoprotein cholesterol (LDL-C), as well as high-density lipoprotein cholesterol (HDL-C), were −0.91% (95% confidence interval (CI): −1.63%, −0.18%), −0.33% (95% CI: −0.64%, −0.01%,), −0.94% (95% CI: −1.53%, −0.35%), and 0.67% (95% CI: 0.32%, 1.02%), respectively. The interaction analyses revealed that a significantly greater reduction in the four lipids corresponded to PM2.5 exposure when in the group with the lower HOMA-IR (<1.820). In conclusion, short-term PM2.5 exposure over specific time windows among healthy adults was associated with reduced TG, TC, as well as LDL-C levels, and elevated HDL-C. Additionally, the association of PM2.5–lipids may be modulated by insulin resistance.
Symmetry of entropy in higher rank diagonalizable actions and measure classification

An important consequence of the theory of entropy of \begin{document}$ \mathbb{Z}$\end{document} -actions is that the events measurable with respect to the far future coincide (modulo null sets) with those measurable with respect to the distant past, and that measuring the entropy using the past will give the same value as measuring it using the future. In this paper we show that for measures invariant under multiparameter algebraic actions if the entropy attached to coarse Lyapunov foliations fail to display a stronger symmetry property of a similar type this forces the measure to be invariant under non-trivial unipotent groups. Some consequences of this phenomenon are noted.
Cubic polynomials represented by norm forms

We show that for an irreducible cubic $f\in\mathbb Z[x]$ and a full norm form $\mathbf N(x_1,\ldots,x_k)$ for a number field $K/\mathbb Q$ satisfying certain hypotheses the variety $f(t)=\mathbf N(x_1,\ldots,x_k)\ne 0$ satisfies the Hasse principle. Our proof uses sieve methods.
G-marked moduli spaces

The aim of this paper is to investigate the closed subschemes of moduli spaces corresponding to projective varieties which admit an effective action by a given finite group [Formula: see text]. To achieve this, we introduce the moduli functor [Formula: see text] of [Formula: see text]-marked Gorenstein canonical models with Hilbert polynomial [Formula: see text], and prove the existence of [Formula: see text], the coarse moduli scheme for [Formula: see text]. Then we show that [Formula: see text] has a proper and finite morphism onto [Formula: see text] so that its image [Formula: see text] is a closed subscheme. In the end we obtain the canonical representation type decomposition [Formula: see text] of [Formula: see text] and use [Formula: see text] to study the structure of [Formula: see text].
Prevalence and risk factors of migraine headache among university students: A cross-sectional study in Lebanon

Background Migraine constitutes a major public health concern since it negatively affects both the quality of life and the productivity of patients. Migraine among students can cause impaired academic performance and limit their daily activities. Objective This study aims to assess the prevalence of migraine among university students using the ID Migraine screening tool and to evaluate risk factors associated with migraine. Methods A cross-sectional study was performed over a period of six months targeting 1144 university students recruited from the different faculties. Results Migraine was suggested in 35.8% of subjects based on ID-Migraine. Migraine prevalence was significantly higher among women (42% versus 23.3% of men). After adjusting for covariates, women, daily coffee consumption, having unorganized meals, eating fast food and fasting were the main predictors of migraine. Almost 41% of migraine students had a family history of migraine and only 26.7% sought medical help. Interestingly, most of the migraine students (84.8%) took headache medications without referring them to their doctor. Conclusion Recognizing headache risk factors among migraine students and adopting lifestyle changes accordingly can be an effective strategy to prevent the chronification of the attacks, decrease headache frequency and improve patients’ quality of life.
Geometric responses of the Pfaffian state

We define and study the Pfaffian state on Riemann surfaces with arbitrary metrics and an inhomogeneous magnetic field and derive its universal transport coefficients. Following a path integral approach, we compute the generating functional which encodes the linear response of the system to a variation of the background metric and the magnetic field and use it to compute the leading and sub-leading corrections to the charge density in a large-$N$ expansion. We also present the first derivation of gravitational anomaly contribution at O$(k^6)$ to the static structure factor for the Pfaffian state in the long wavelength limit.
An Accurate Analytical Model of SiC MOSFETs for Switching Speed and Switching Loss Calculation in High-Voltage Pulsed Power Supplies

Nanosecond output pulse and high efficiency are achieved in high-voltage pulsed power supplies (HVPPSs) by applying silicon carbide (SiC) metal-oxide-semiconductor field-effect transistors (mosfets), whose switching speed and switching loss are two vital characteristic parameters. However, the existing research on switching characteristics of SiC mosfets is mainly based on the double pulse test circuits with inductive loads, which is not suitable for assessing the devices in HVPPSs with resistive loads. Besides, some simplified analytical methods in HVPPSs lead to poor precision. To accurately predict the switching behavior of SiC mosfets in HVPPSs for guiding the design of gate driving circuits and power loops, this article proposes an accurate analytical model considering parasitic inductances, nonlinear parasitic capacitances, transfer characteristic, and output characteristics of SiC mosfets. High-precision fitting of transfer characteristic is realized by using the Gaussian function. Besides, the dynamic parasitic gate-drain capacitance is measured by experiment, and three-dimensional curve fitting is performed on the output characteristics to exactly represent on-resistance. Furthermore, switching speed and switching loss can be directly calculated according to the solved state variables. Finally, the analytical model is verified by experiment, and the effects of gate driving circuits and power loops on switching characteristics are researched in detail.
Partially Decentralized Secondary Current Sharing and Voltage Restoration Controller Design for DC Microgrids With Event-Triggered Sampling

Decentralized control is a practical strategy to be employed for many reasons such as simplicity of design and easy implementation. In this paper, we design a partially decentralized secondary controller to achieve the objective of current sharing and DC bus voltage restoration in islanded direct-current (DC) microgrid (MG) systems. Compared to existing centralized or distributed control methods, only DC bus voltage information is required in local decentralized controller design, which greatly reduces the communication and implementation cost. On the other hand, such simplified design and implementation may limit the performances of the overall designed system. However, our rigorous theoretical analysis establishes that the proposed method is able to restore the DC bus voltage with bounded error by properly selecting control parameters. Furthermore, we also design an event-triggered sampling based decentralized controller and investigate its control performance, which indicates that the proposed event-triggered controller can ensure to achieve a uniformly bounded voltage restoration error but with much less signal communication cost. Finally, all these theoretical findings are supported by case studies conducted in a real-time DC MG test system built in OPAL RT.
The Cauchy problem of scalar–tensor theories of gravity

The 3 + 1 formulation of scalar–tensor theories of gravity (STT) is obtained in the physical (Jordan) frame departing from the 4 + 0 covariant field equations. Contrary to common belief (folklore), the new system of ADM-like equations shows that the Cauchy problem of STT is well formulated (in the sense that the whole system of evolution equations is of first order in the time derivative). This is the first step towards a full first-order (in time and space) formulation from which a subsequent hyperbolicity analysis (a well-posedness determination) can be performed. Several gauge (lapse and shift) conditions are considered and implemented for STT. In particular, a generalization of the harmonic gauge for STT allows us to prove the well posedness of the STT using a second-order analysis which is very similar to the one employed in general relativity. Several appendices complement the ideas of the main part of the paper.
A Survey of Deep Learning Architectures for Privacy-Preserving Machine Learning With Fully Homomorphic Encryption

Outsourced computation for neural networks allows users access to state-of-the-art models without investing in specialized hardware and know-how. The problem is that the users lose control over potentially privacy-sensitive data. With homomorphic encryption (HE), a third party can perform computation on encrypted data without revealing its content. In this paper, we reviewed scientific articles and publications in the particular area of Deep Learning Architectures for Privacy-Preserving Machine Learning (PPML) with Fully HE. We analyzed the changes to neural network models and architectures to make them compatible with HE and how these changes impact performance. Next, we find numerous challenges to HE-based privacy-preserving deep learning, such as computational overhead, usability, and limitations posed by the encryption schemes. Furthermore, we discuss potential solutions to the HE PPML challenges. Finally, we propose evaluation metrics that allow for a better and more meaningful comparison of PPML solutions.
The most and the least avoided consecutive patterns

We prove that the number of permutations avoiding the consecutive pattern 12… m, that is, containing no m adjacent entries in increasing order, is asymptotically larger than the number of permutations avoiding any other consecutive pattern of length m. This settles a conjecture of Elizalde and Noy from 2001. We also prove a recent conjecture of Nakamura stating that, at the other end of the spectrum, the number of permutations avoiding 12… (m−2)m(m−1) is asymptotically smaller than for any other pattern. Finally, we consider non‐overlapping patterns and obtain analogous results describing the most and least avoided ones.
University students’ preference for flexible teaching models that foster constructivist learning practices

In recent years, universities have intensified their use of technologies and implemented various modes of flexible teaching. This study sought to demonstrate that students prefer flipped learning with combined forms of synchronous and asynchronous learning that foster constructivist learning practices. To this aim, two case studies (N = 221) for online teaching at two face-to-face universities during the 2020–2021 academic year are presented. Results show that students appreciate flipped models of learning that foster social constructivist practices, autonomous access and consultation of resources, self-regulation of time management and consciousness of learning needs. Such virtual self-paced learning results in more productive and interactive real-time classes. This combination of autonomous learning and synchronous instruction is preferred by students attending online and hybrid modes of teaching. Overall, this study demonstrates that the flipped classroom adapts well to online and hybrid modes of teaching with first-year undergraduate students. To effectively foster social constructivism through the flipped classroom in university contexts, course design should consider both synchronous and asynchronous learning spaces, amplifying opportunities to learn autonomously and to collaborate and get feedback in synchronous contexts. Implications for practice or policy Student satisfaction with teaching may increase in online education if characteristics for flexibility are incorporated. Teachers can foster social constructivist practices through flipped classroom by designing synchronous and asynchronous instruction to be self-regulated, student-centred, collaborative and flexible. Institutional rules may limit teacher abilities to apply flexible modes of learning.
CXCL10 Chemokine: A Critical Player in RNA and DNA Viral Infections

Chemokines constitute a group of small, secreted proteins that regulate leukocyte migration and contribute to their activation. Chemokines are crucial inflammatory mediators that play a key role in managing viral infections, during which the profile of chemokine expression helps shape the immune response and regulate viral clearance, improving clinical outcome. In particular, the chemokine ligand CXCL10 and its receptor CXCR3 were explored in a plethora of RNA and DNA viral infections. In this review, we highlight the expression profile and role of the CXCL10/CXCR3 axis in the host defense against a variety of RNA and DNA viral infections. We also discuss the interactions among viruses and host cells that trigger CXCL10 expression, as well as the signaling cascades induced in CXCR3 positive cells.
A note on canonical bases and one-based types in supersimple theories

This paper studies the CBP, a model-theoretic property first discovered by Pillay and Ziegler. We first show a general decomposition result of types of canonical bases, which one can think of as a sort of primary decomposition. This decomposition is then used to show that existentially closed difference fields of any characteristic have the CBP. We also derive consequences of the CBP, and use these results for applications to differential and difference varieties, and algebraic dynamics.
New multienzymatic complex formed between human cathepsin D and snake venom phospholipase A2

Abstract Background Cathepsin D (CatD) is a lysosomal proteolytic enzyme expressed in almost all tissues and organs. This protease is a multifunctional enzyme responsible for essential biological processes such as cell cycle regulation, differentiation, migration, tissue remodeling, neuronal growth, ovulation, and apoptosis. The overexpression and hypersecretion of CatD have been correlated with cancer aggressiveness and tumor progression, stimulating cancer cell proliferation, fibroblast growth, and angiogenesis. In addition, some studies report its participation in neurodegenerative diseases and inflammatory processes. In this regard, the search for new inhibitors from natural products could be an alternative against the harmful effects of this enzyme. Methods An investigation was carried out to analyze CatD interaction with snake venom toxins in an attempt to find inhibitory molecules. Interestingly, human CatD shows the ability to bind strongly to snake venom phospholipases A2 (svPLA2), forming a stable muti-enzymatic complex that maintains the catalytic activity of both CatD and PLA2. In addition, this complex remains active even under exposure to the specific inhibitor pepstatin A. Furthermore, the complex formation between CatD and svPLA2 was evidenced by surface plasmon resonance (SPR), two-dimensional electrophoresis, enzymatic assays, and extensive molecular docking and dynamics techniques. Conclusion The present study suggests the versatility of human CatD and svPLA2, showing that these enzymes can form a fully functional new enzymatic complex.
Three Families of Dense Puiseux Monoids

A dense Puiseux monoid is an additive submonoid of $\mathbb{Q}_{\ge 0}$ whose topological closure is $\mathbb{R}_{\ge 0}$. It follows immediately that every Puiseux monoid failing to be dense is atomic. However, the atomic structure of dense Puiseux monoids is significantly complex. Dense Puiseux monoids can be antimatter, atomic, or anything in between, meaning non-atomic with finitely or countably many atoms. In the first part of this paper, we construct infinitely many non-isomorphic atomic Puiseux monoids whose sets of atoms are dense in $\mathbb{R}_{\ge 0}$. We dedicate the rest of the paper to study the atomic structure of three families of dense Puiseux monoids: k-primary, p-adic, and multiplicatively cyclic. In particular, we characterize an antimatter subfamily of k-primary Puiseux monoids and a hereditarily atomic subfamily of multiplicatively cyclic Puiseux monoids.
TranCIM: Full-Digital Bitline-Transpose CIM-based Sparse Transformer Accelerator With Pipeline/Parallel Reconfigurable Modes

Transformer models achieve excellent results in the fields like natural language processing, computer vision, and bioinformatics. Their large numbers of matrix multiplications (MMs) lead to substantial data movement and computation. Although computing-in-memory (CIM) has proven to be an efficient architecture for MM computation, transformer’s attention mechanism raises new challenges in memory access and computation aspects: the dynamic MM in attention layers causes redundant OFF-chip memory access; Attention layers dominate transformer’s computation and require high precision. Thus, we design a bitline-transpose CIM-based transformer accelerator TranCIM with pipeline/parallel reconfigurable modes. The pipeline mode alleviates off-chip access for attention layers. The parallel mode is used by fully-connected (FC) layers for high parallelism. The full-digital CIM supports INT16 for attention layers and INT8 for FC layers, without analog CIM’s nonideal issues. Moreover, a sparse attention scheduler (SAS) is proposed to reduce attention computation. The fabricated TranCIM chip only consumes 15.59 <inline-formula> <tex-math notation="LaTeX">$\mu \text{J}$ </tex-math></inline-formula>/Token for the bidirectional encoder representations from transformer (BERT)-base model, achieving <inline-formula> <tex-math notation="LaTeX">$12.08\times $ </tex-math></inline-formula>–<inline-formula> <tex-math notation="LaTeX">$36.82\times $ </tex-math></inline-formula> lower energy than prior CIM-based accelerators.