Miracle-dz/UniFAR-FTUs huggingface dataset:
New data on occurrence, ecology, and color variation of Pseudoeurycea jaguar (Caudata: Plethodontidae), an endemic salamander from Mexico

Pseudoeurycea jaguar Cázares-Hernández, Jimeno-Sevilla, Rovito, López-Luna, and Canseco-Márquez, 2022 is an endemic species of plethodontid salamander that occurs in Veracruz, Mexico. Pseudoeurycea is the most speciose genus (40 spp.) and Plethodontidae is the largest family (88% of salamander richness) present in the country (AmphibiaWeb 2023). Eleven species of Pseudoeurycea occur in the state of Veracruz (Torres-Hernández et al. 2021, CázaresHernández et al. 2022), where the type locality in the Sierra de Zongólica of P. jaguar is located. Pseudoeurycea jaguar is distinguished from other species occurring in Veracruz by its large size and the presence of irregular yellow mottled dorsal coloration on a dark brown, almost black, background that resembles the pattern of a jaguar (Cázares-Hernández et al. 2022). I report here the occurrence of P. jaguar in two new localities in Mexico, which extend its
Preparation and sound absorption properties of multi-layer composites formed by waste polyphenylene sulfide filters

Composite materials with multi-layer structure were prepared by combining polyurethane film and waste polyphenylene sulfide filters by hot melting, which could be used as sound-absorbing materials to contribute to the noise control and reutilization of industrial waste. The structure, mechanical property, pore size distribution and stability of waste polyphenylene sulfide filters were investigated and could directly affect the quality of recycled products. The effects of layer numbers, layering sequence and polyurethane film thickness on sound absorption and insulation properties were also analyzed using an impedance tube absorption test system. The results showed that multi-layer materials had a better sound absorption effect than single-layer polyphenylene sulfide filters at low frequency. The sound absorption coefficients of the single-layer sample was only 0.081 at 1000 Hz, while the sound absorption coefficients of the five-layer sample could reach 0.26. The sound absorption properties of multi-layer materials were slightly affected by layering sequence, but polyurethane film thickness had a significant effect on sound absorption properties. The α of the SUS1 and USU1 samples were 0.151 and 0.170, while the α of the SUS3 and USU3 samples were only 0.076 and 0.056, respectively. Meanwhile, the sound insulation properties of multi-layer materials could be significantly influenced by the polyurethane film position. The sound transmission loss of the SUSUSU3 sample was just 32.83 dB, whereas that of the USUSU3 sample could reach 47.94 dB. Moreover, when polyurethane film was located on the sound facing side of multi-layer materials, the increase in polyurethane film thickness could cause the average sound reduction index of the USUSU sample to increase from 28.76 dB to 47.94 dB.
Mobile robot for power substation inspection: a survey

This paper presents the most important achievements in the field of electric power substation equipment's inspection by mobile robot. To accelerate the realization of unattended substation, which would improve the reliability, safety and intelligence of power substation, the field of automated power substation equipment's inspection has been greatly developed over the last decade. The paper addresses the power substation inspection robot, which is considered as one of the most active fields of research on mobile robot, from its history to design requirements, the robot system architecture analysis and modeling, reliability technology of the robot, autonomy and universality of substation equipment inspection. Besides, summaries and suggestions on the development and research trend of inspection robot, which should be addressed in the future, are given. The present work may serve as reference for initial design of robots for some complex and dangerous working environments. And some unique insights for the inspection robot provided in this paper may be of help to further research and application of power facilities inspection.
To Math or Not to Math: The Algebra-Calculus Pipeline and Postsecondary Mathematics Remediation

ABSTRACT This article reports on a study designed to estimate the effect of high school coursetaking in the algebra-calculus pipeline on the likelihood of placing out of postsecondary remedial mathematics. A nonparametric variant of propensity score analysis was used on a nationally representative data set to remove selection bias and test for an effect among all comparable students and among students least likely to enroll in precalculus, trigonometry, or calculus. The effect failed to reach practical significance among all comparable students and was particularly weak among students least likely to take precalculus, trigonometry, or calculus. These findings suggest that the regression-based results that factor strongly into discussions on high school graduation requirements for mathematics coursetaking contain substantial selection bias.
A graph-graph approach to the analysis of the set of associative rules

The article proposes a method for processing a set of associative rules, which makes it possible to identify additional relationships between the set of objects under study. The proposed approach consists of three stages. At the first stage, associative rules are revealed from the statistical data. At the second stage, constructed weighted oriented graph of relationships between the objects of the system. The third stage analyses the graph and identifies the community (community), which allows you to determine the groups of the most related objects. As an example, is given an analysis of the activities of public organizations. The result of the work is a method that allows to identify patterns from the analysis of a set of associative rules, and not just from a separate associative rule.
The correlation between body mass index (BMI) and incidence of lower extremity

Introduction: Adolescents with high BMIs are more likely to have lower extremity fractures. However, the association between BMI and fracture risk is not clear at all sites. This study investigated the association between BMI and the risk of fracture at four different sites: hip, clinical spine, wrist, and ankle. Objective: This study aimed to explore the relationship between Body Mass Index (BMI), weight, and the incidence of lower extremity fractures in adolescents. Methods: Participants from various age groups, sex, socioeconomic statuses, and physical activity levels. We performed logistic regression analysis to ascertain the correlation between BMI and lower extremity fractures. Furthermore, we investigated the association between BMI, weight, and fracture risk at specific anatomical sites - hip, clinical spine, wrist, and ankle. Results: Present findings revealed a positive correlation between BMI and lower extremity fractures. Overweight and obese adolescents exhibited 1.3 times and 1.67 times higher odds, respectively, of suffering lower extremity fractures compared to those with normal weight. Regarding site-specific fractures, increased BMI was inversely associated with hip, clinical spine, and wrist fractures, implying a protective effect of higher BMI at these sites. However, ankle fractures demonstrated a positive correlation with weight, suggesting an increased risk with greater weight. Conclusions: Our study illuminates the multifaceted role of BMI and weight in the incidence of fractures among adolescents. It advocates for the formulation of nuanced and personalized fracture prevention strategies in this age group.
Doppler ultrasound measurement of Arterial Wall Motion (AWM)

Arterial Wall Motion (AWM) is of value in evaluating the elasticity of arteries, which is associated with the degree of focal and diffuse arteriosclerosis. A new technique derives AWM using integrated velocity data generated by Tissue Doppler Imaging (TDI) ultrasound. The technique provides spatial and temporal AWM data over segments up to 35 mm long and cine loops typically 3-5 cardiac cycles long. Limited data exists in the literature quantifying accuracy and precision. The aim of this thesis was to assess technique accuracy and precision in detail, in vivo and in the laboratory using specially designed test objects. A preliminary in vivo reproducibility study in asymptomatic carotid arteries revealed high inter-measurement variability (Limits of agreement in TDI derived maximum dilation, Mx: 159 pm) and several sources of variability. Accuracy assessment was performed in the laboratory with a device based upon a moving plate which mimicked physiological and sinusoidal motion and whose maximum displacement was known to within 3 pm. Accuracy in Mx ranging from -3+8 % to -23+1 % was obtained for sinusoidal device motion ranging in amplitude from 248 to 1190 pm. Underestimation of Mx by the TDI/AWM software was found to systematically increase with increasing sinusoid amplitude and peak velocity. A compliant wall vascular flow phantom designed to mimic physiologic AWM and have mechanical and acoustic properties similar to in vivo was developed in order to assess AWM technique precision. It consisted of a 6 mm diameter uniformly elastic piece of vessel mimicking material (VMM) of wall thickness 1.73 mm set in gelatin based tissue mimicking material (TMM). Two TMM versions were devised: 'A' mimicked soft tissue attenuation for assessment of AWM precision, and 'B' maximised backscatter from the vessel. The latter was to optimise TDI/AWM technique performance during phantom characterisation measurements by maximising the signal received at the transducer. A range of realistic dilations and wall velocities were generated with pulsatile flow. AWM precision was found to
Refinement Patterns for an Incremental Construction of Class Diagrams

—Specifying complex systems is a difficult task, which cannot be done in one step. In the framework of formal methods, refinement is a key feature to incrementally develop more and more detailed models, preserving correctness in each step. Our objective is an incremental development, using the technique of refinement with proof for UML specifications. Indeed, UML suffers from two major weaknesses, namely, it is not based on a simple and rigorous mathematical foundation and it does not support the concept of refinement with proof of correction. To achieve this, we advocate a development framework combining the semi-formal features of UML/OCL and the formal one from B method. We chose the B formal language in order to benefit from existing work done on coupling between UML and B. In addition, we propose and formalize in B the refinement patterns that promote incremental development with proof of UML/OCL class diagrams. We illustrate our purpose by the description of some development steps of an access control system.
Suites récurrentes linéaires en caractéristique non nulle

RESUME - Nous étudions quelques problèmes sur les suites récurrentes linéaires en caractéristique p. comme l'analogue du théorème de SKOLEM-LECH-MAHLER sur les zéros des suites récurrentes linéaires, et aussi de certains théorèmes de G. POLYA. ABSTRACT. - We study somc problems for linear récurrent séquences in thé case of characlenstic p base field. such as thé SKOLEM-LECH-MAHLER'S theorem on zéros of linear récurrent séquences, and we generalize some theorems of G. POLYA.
Alternative orthogonal polynomials and quadratures.

A bidirectional orthogonalization algorithm is applied to construct sequences of polynomials, which are orthogonal over the interval [0, 1] with the weighting function 1. Functional and recurrent relations are derived for the sequences that are the result of inverse orthogonalization procedure. Quadratures, generating by the sequences, are described. An example on approximation of the Cauchy problem is given.
Prospective, Long-Term Functional Outcomes of Extra-Osseous Talotarsal Stabilization (EOTTS) Using HyProCure in Adult Patients with Talotarsal Joint Instability: Assessment of Physical Activity and Patient Satisfaction

Background: The partial dislocation of the talus from the calcaneus and navicular bones is a primary factor leading to a prolonged overpronation during weightbearing. This study aimed to assess the possibility of returning to physical activity and long-term patient satisfaction after an extra-osseous talotarsal stabilization (EOTTS) procedure with a HyProCure sinus tarsi implant for partial talotarsal joint dislocation (TTJ). Methods: A total of 41 adult patients (61 feet), with an average age of 46.41, were included and treated surgically with EOTTS as a stand-alone surgery. Physical activity and functional scores were assessed pre- and post-operatively using questionnaires—the UCLA Activity Score, Symptom-Related Ankle Activity Scale (SAAS), Sports Frequency Score (SFS), Lower Extremity Functional Scale (LEFS), and VAS scale. Satisfaction was assessed on a ten-point scale. The follow-up period was on average 8.61 years (from 7.33 to 10.31). Results: EOTTS had a positive impact on physical activity, and a high rate of patient satisfaction (8.95 ± 1.9) was noted. The treatment led to a reduction in foot pain, as well as an increase in SAAS and LEFS scores (15.6% and 19.3%, respectively, p < 0.01). The VAS pain score decreased by 18.6% (p < 0.001). SFS and UCLA scores showed a small increase, but it was not statistically significant. A positive correlation was noted between patient satisfaction and time of physical activity per week (R = 0.33, p = 0.04), and also between patient satisfaction and SAAS scores (R = 0.43, p = 0.005). Pain from other joints (knee, hip) was eliminated or reduced in 40% of patients after surgery. Conclusions: EOTTS with a HyProCure implant is an effective long-term treatment option for partial talotarsal joint dislocation, leading to a reduction in foot pain and increased patient satisfaction, and allowing for a return to physical activity.
MMS observations of oblique small‐scale magnetopause flux ropes near the ion diffusion region during weak guide‐field reconnection

We report Magnetospheric Multiscale observations of a series of five small‐scale magnetic flux ropes (FR1–5) embedded in the southward reconnection outflow during a magnetopause reconnection event with a small guide field (~2.2 nT). These small‐scale flux ropes (diameter ~3–11 ion inertial lengths) are found inside or near the ion diffusion region on the magnetosheath side of the magnetopause boundary layer. A consistent result for determining the axis orientation of the flux ropes is achieved using two different methods, namely, minimum variance analysis of the axial electric field and constrained minimum variance analysis of the magnetic field. Our results show that the axes of these flux ropes (FR1–4) form a large angle (53°−66°) to the guide‐field orientation and are tilted toward the direction of the reconnecting field. These observations provide evidence for the presence of oblique ion‐scale flux ropes near the ion diffusion region during reconnection with a weak guide field. Our findings are similar to those obtained from a 3‐D kinetic simulation of turbulent reconnection.
THE FEATURES OF THE PROPAGATION OF ELASTIC WAVES IN ISOTROPIC MEDIA AT HIGH AND ULTRA-HIGH PRESSURES

(Рекомендовано членом редакційної колегії д-ром фіз.-мат. наук, проф. Б.П. Масловим) Studies of problems of the propagation of elastic waves in the geological medium constitute the scientific basis of the processing and interpretation of dataset of seismic exploration and seismological works. Objective. Creation of a more grounded theoretical basis of the geomechanical interpretation of various groups of geophysical observational and experimental data. Methodology. Nonclassical-linearized approach of non-linear elastodynamics. Linear and nonlinear small and large initial deformations are taken into account. The strain processes are described applying various elastic potentials. Results. Analytical dependences of the parameters of pressure and velocities of propagation of elastic waves on deformations without additional linearization are obtained within the framework of various versions of the theory of small and initial deformations using the quadratic and elastic potentials of the Murnaghan type. Scientific novelty. It is established that there are critical values of deformation while reaching them elastic pressure and shear waves with true velocity cannot propagate in uniformly deformed elastic isotropic media. The quantitative values of the critical values of deformations for pressure and shear waves differ, and essentially depend on the applied elastic potentials. Practical significance. The obtained analytical dependences allow synthesizing the true values of the elastic parameters of the deformed media from seismic exploration and seismological dataset. The establishment of critical deformations for velocities of pressure and shear waves will make it possible to suggest differential criteria of the distribution of elastic parameters in theoretical models of the Earth in its various structural elements as a whole and separately.
Research on Stock Market Index Prediction Based on LSTM Model

In this paper, we propose a method based on a long short-term memory network (LSTM) to predict the rise and fall of a stock market index, and we select the data of CSI 300 from 2016 to 2020 as the research object of this paper. In this paper, the prediction problem of the index is transformed into a multi-classification problem by doing a multi-valued quantitative classification of the up and down ranges. As for the input of the model, we take the basic trading information of the stock and a variety of derived technical indicators as the feature for the model's training, and finally, we make the multi-classification prediction of the rise and fall of the stock. The experimental results show that the model achieves a high prediction accuracy of 78% in the case of multiple classifications. In addition, several comparison models are built in this paper to study the effects of different feature engineering methods on prediction accuracy, so there are some innovations in feature construction. It is concluded that filtering the features before dimensionality reduction can achieve better performance results. Finally, we compare the method proposed in this paper with other traditional machine learning models and conclude that the LSTM model in this paper yields better results while using the same training and test sets.
Effect of Tin on Structural Transformations in the Thin-Film Silicon Suboxide Matrix

The processes of crystallization of amorphous silicon (a-Si) in the a-SiO 𝑥 Sn (1 ≤ 𝑥 ≤ 2) suboxide matrix have been studied. The temperature, at which the crystallization begins, is shown to be lower for a-SiO 𝑥 Sn films with higher tin contents. For specimens with the maximum tin content (about 2 vol.%), the crystallization begins at a temperature of 500 ∘ C; for specimens with the average tin content (about 1 vol.%), the crystallization temperature equals 800 ∘ C; and for specimens with the minimum tin content (about 0.5 vol.%), the crystallization of a-Si starts at 1000 ∘ C. On the other hand, it is shown that tin does not influence the separation of a-Si and the SiO 2 phase in the examined specimens. It is found theoretically that silicon crystallites that are formed during the crystallization of a-Si are much smaller ( 𝑑 ≈ 5 ÷ 7 nm) in a-SiO 𝑥 Sn films with a high tin content (1 and 2 vol.%) in comparison with the tin-free specimens ( 𝑑 ≥ 10 nm). A metal-induced mechanism of crystallization of a-Si has been proposed, which predicts the existence of tin metal clusters in SiO 𝑥 that create conditions for the easier transition of the amorphous silicon phase into the crystalline one. On the basis of experimental data, it is supposed that, in our case, a necessary condition for the crystallization of a-Si by the proposed metal-induced mechanism to start is the presence of metal (tin) aggregates in SiO 𝑥 .
Combined synthetic aperture focusing technique and three-dimensional deconvolution for resolution enhancement in photoacoustic microscopy

Acoustic-resolution photoacoustic microscopy (ARPAM) is a promising tool for deep imaging of biological tissues. Synthetic aperture focusing technique (SAFT) can improve the degraded lateral resolution in the out-of-focus region of ARPAM when using a high numerical aperture acoustic transducer. We previously reported a three-dimensional (3D) deconvolution technique to improve both lateral and axial resolutions in the focus region of ARPAM. In this work, we extended resolution enhancement of ARPAM to the out-of-focus region based on two dimensional SAFT combined with the 3D deconvolution (SAFT+Deconv). In both the focus and out-of-focus regions, depth-independent lateral and axial resolution after SAFT ensures a depth-independent point spread function for 3D deconvolution algorithm. In an extended depth of focus (DOF) of ∼2 mm, SAFT+Deconv ARPAM improves the −6 dB lateral resolutions from 65–700 μm to 20–29 μm, and the −6 dB axial resolutions from 35–42 μm to 12–19 μm. The signal-to-noise ratio is also increased by 6–30 dB. The enhanced resolution in extended DOF by SAFT+Deconv ARPAM may enable important applications in biomedical photoacoustic imaging.
Source enumeration algorithm based on eigenvector: revisit from the perspective of information theory

In case of low signal to noise ratio (SNR) and small snapshot condition, it is difficult to separate sources and noises, and the performance of classical eigenvector source estimation algorithm drops quickly. To solve the problem, further research is carried out around the characters of eigenvalue and eigenvector, and a novel eigenvalue algorithm is presented based on the theory of source enumeration. In detail, the eigenvectors of sample covariance matrix are employed as the decision factor, which is insensitive to SNR. And an improved Predictive Description Length (PDL) criterion is adopted to enumerate source number. Theoretical analysis and simulation results demonstrate that the proposed algorithm is available and efficient in case of low SNR and small snapshot condition compared with those of Minimum Description Length (MDL) and PDL.
Distributed deep learning approach for intrusion detection system in industrial control systems based on big data technique and transfer learning

ABSTRACT Industry 4.0 refers to a new generation of connected and intelligent factories that is driven by the emergence of new technologies such as artificial intelligence, Cloud computing, Big Data and industrial control systems (ICS) in order to automate all phases of industrial operations. The presence of connected systems in industrial environments poses a considerable security challenge, moreover with the huge amount of data generated daily, there are complex attacks that occur in seconds and target production lines and their integrity. But, until now, factories do not have all the necessary tools to protect themselves, they mainly use traditional protection. In order to improve industrial control systems in terms of efficiency and response time, the present paper propose a new distributed intrusion detection approach using artificial intelligence methods, Big Data techniques and deployed in a cloud environment. A variety of Machine Learning and Deep Learning algorithms, basically convolutional neural networks (CNN), have been tested to compare performance and choose the most suitable model for the classification. We test the performance of our model by using the industrial dataset SWat.