Miracle-dz/UniFAR-FTUs huggingface dataset:
Vehicle Reference Generator for Collision-Free Trajectories in Hazardous Maneuvers

This paper presents a reference generator for ground vehicles, based on potential fields adapted to the case of vehicular dynamics. The reference generator generates signals to be tracked by the vehicle, corresponding to a trajectory avoiding collisions with obstacles. This generator integrates artificial forces of potential fields of the object surrounding the vehicle. The reference generator is used with a controller to ensure the tracking of the accident-free reference. This approach can be used for vehicle autonomous driving or for active control of manned vehicles. Simulation results, presented for the autonomous driving, consider a scenario inspired by the so-called moose (or elk) test, with the presence of other collaborative vehicles.
Shallow water flow estimation analysis using the ensemble Kalman filter FEM

The SUPG method is frequently used to solve the governing equation. It is necessary to perform calculations based on several procedures that have been presented to obtain stabilization parameters[1]. However, even if a numerical simulation is carried out based on the stabilized FEM, the numerical solution is rarely in close agreement with real-world observed values. It has been confirmed that if the Kalman filter FEM is employed to compute the flow behavior while taking observed values into account, the computed value is in better agreement with the observed value than the computational results obtained using the conventional FEM[2]. However, the Kalman filter FEM can’t be applyed to problem using the non-liniar system equation. Therefore, the ensemble Kaiman filter FEM is introduced in this study[3]. In the ensemble Kalman filter FEM, the stochastic distribution of the state variables is represented by the ensemble approximation, and the special distribution of the state variables is obtained by the FEM. As the governing equation, the shallow water equation is introduced, and the SUPG method, one of discretization method in the FEM, is applied to discretize the governing equation. Influence of sample number for estimation accuracy is investigated in open channel model.
Pulsars: implications from Fermi LAT observations and future prospects

Gamma-ray observations with the \textit{Fermi} Large Area Telescope (LAT) have revealed significant pulsations from more than 200 young and recycled, millisecond pulsars. These observations have demonstrated that pulsars are by far the largest source class in the Galactic plane at GeV energies, and more gamma-ray pulsars are still being revealed by the LAT. In these proceedings I give an overview of the main results from \textit{Fermi} LAT pulsar observations. I also discuss some of the implications of these results in terms of population statistics and high-energy pulsar emission properties.
Using the Multiple Intelligences Theory to Promote Saudi EFL Students’ Reading Skills.

The multiple intelligences theory (MIT) represents a type of pedagogy that seeks complete learner development. Thisstudy exploits the potential of the MIT to enhance Saudi EFL university students' reading comprehension.It is based on the premise that effective readinginstruction should involve students' multiple intelligences (MIs) that are potentially existent in every learner. The researcher utilized the pretest-posttest control group design in the study. The experimental group included (35) students from two classrooms, and they were taught reading through the MIT.The control group included two other classrooms (38 students), and they got conventional reading instruction.The researcher followed a MI-teaching strategy that enabled the students with different intelligences to interact with the reading activities and materials, maximize on their strengths, and strengthen their weaker intelligences. The study results demonstrated that MI-based reading instruction improved the students' performance in overall reading and each reading skill.It is concluded that understanding the sorts of MIs assists instructors better comprehend and instruct their students. When assessing students’ language proficiency, EFL teachers should respect the varied differences between them. In addition, they should concentrate on student strengths while also considering a larger spectrum of ability levels.
Effects of unilateral anteromedial temporal lobe resections on event-related potentials when reading negative and neutral words

ABSTRACT We investigated effects of unilateral left (lTLR, N = 15) or right (rTLR, N = 19) anteromedial temporal lobe resections comprising amygdala and temporal pole on event-related potentials (ERPs) during attentive reading of negative and neutral words, their emotional evaluation, and recognition memory. Content effects on behaviour did not differ between lTLR, rTLR, and controls (N = 18). Negative words elicited larger ERPs than neutral words for P1, Early Posterior Negativity (EPN), and Late Positive Potential (LPP). However, the rTLR group lacked the P1 enhancement and had attenuated EPN effects. Despite showing generally the largest ERP amplitudes, the lTLR group had smaller occipital N1 and left frontal positivity for negative compared with neutral words in the N1 window. Only lTLR also had smaller left parietal P2 and larger right parietal P3 and LPP for negative words. These data help specify left and right anteromedial temporal lobe contributions to the processing of negative and neutral words.
Initial self-consistent 3-D electron-cloud simulations of LHC beam with the code WARP+POSINST

We present initial results from the self-consistent beam-cloud dynamics simulations of a sample LHC beam, using a newly developed set of modeling capability based on a merger of the three-dimensional parallel Particle-In-Cell accelerator code WARP and the electron cloud code POSINST [1,2]. Although the storage ring model we use as a test bed to contain the beam is much simpler and shorter than the LHC, its lattice elements are realistically modeled, as is the beam and the electron cloud dynamics. The simulated mechanisms for generation and absorption of the electrons at the walls are based on previously validated models available in POSINST [3].
Academic Achievement Research in High School: A Bibliometric Analysis

This research aims to determine the important role of academic achievement at the senior high school level. The method used in this study is the bibliometric method assisted by the Scopus database with a quantitative approach. Data were analyzed using VOSviewer software to create co-authorship, keyword and citation maps. The results of the study show that the number of articles published on the topic of academic achievement research has increased from the period 2003 to 2021 with an average publication (1.94 or 2 articles per year). The record was in 2011, which was the highest record among those years. Procedia Social And Behavioral Sciences is the most relevant source and produces many publications related to academic achievement. The country with the largest contribution in the publication of the Academic Achievement study is the United States with 21 published documents. Followed by the Iranian state with 6 documents, Australia with 3 documents, Canada-China-Spain and United Kingdom each with 2 published documents, as well as Brazil-Chile and Ireland with 1 published document. Findings, there are 120 writers who contribute to writing Academic Achievement articles as writers or colleagues of the author in 37 publications. It is known that Kuo Y.L. and Shah, M. is a productive writer with 2 documents each. Although there are no significant differences in the publication document per author, the two researchers are slightly higher than other writers who only publish one document. Future topic trends according to Vosviewer's visualization show that the most appearing topics are related to students, schools, colleges and education
Silence Speaks: An Exploratory Study of Underlying Motives of Non-Complaining Customers

The purpose of this article is the exploration of the underlying motives of customer’s non-complaining behavior. We have used critical incident technique to investigate those factors. In our study, non-complainers are identified as the individuals who do not raise their voice against product/service failure. We came across eight main themes and twenty sub-themes to as the reason behind for indulging in non-complaining behavior. Religion specific theme is the only theme which was diverging from the previous literature. This study proposes some important implications for managers in helping them to retain loyal customers by accommodating their concerns. This study holds importance as that most of the studies are carried out in the Western context and a very little research has been done in developing countries like Pakistan.
Investigation of dielectric spectroscopy response in normal and cancerous biological tissues using S-parameter measurements

Abstract Dielectric spectroscopy is conducted in terahertz frequency range to differentiate human normal tissues from the cancerous ones. Due to sensitivity of terahertz waves on water content of the biological tissues, when incident, it shows different dielectric constant values for normal and cancerous tissues. Analytical calculations using the Debye model, simulations using a 3D electromagnetic code, and measurements of the biological tissues employing free space technique were performed to investigate the difference in dielectric properties of the normal and cancerous tissues. New algorithm is developed to convert the measured transmission and reflection coefficients to dielectric constants. The biological samples were processed using various methods and measurement was performed for tissues from different parts of the body. The results show approximately 10% greater dielectric constant values for cancerous tissues, which is believed to be attributed to higher water content. The proposed terahertz dielectric spectroscopy may be used to identify the cancer tissues.
On the Fredholm property for the steady Navier-Stokes equations in weighted H¨older spaces

The theory of nonlinear Fredholm operators by S. Smale [3] provides an approach to obtain generic results on the uniqueness and/or existence for nonlinear equations in Banach spaces. We recall that a bounded linear operator L in Banach spaces X and Y is called Fredholm if its kernel and cokernel are finite-dimensional and its range is closed. Then a nonlinear operator N is Fredholm if at every point x ∈ X its derivative (i.e. the principal linear part) N ′ x possesses the Fredholm property. The most advanced results were obtained for the so called proper operators (a map is proper if the inverse image of a compact set is compact). For instance, using results on proper Fredholm maps from [3], J.C. Saut and R. Temam proved the generic uniqueness theorem for the steady version of the Navier-Stokes equations on the scale of the Sobolev spaces, see [4]. Recently, A. Shlapunov and N. Tarkhanov [2] proved that the evolution Navier-Stokes equations induce a Fredholm open injective map on the scale of the Hölder spaces over the strip R× [0, T ], T > 0, n > 2, weighted at the infinity with respect to the space variables. In the present short note we prove that the steady Navier-Stokes type equations induce a Fredholm map on the scale of the Hölder spaces over R, n > 3, weighted at the infinity. Namely, let Z>0 be the set of all natural numbers including zero, and let R be the Euclidean space of dimension n > 3 with coordinates x = (x, . . . , x). Following [2], we denote by C δ the space of all s times continuously differentiable functions on R with finite norm
Nonparametric Statistical Inference, Fourth Edition

~HIS is the fourth edition of the text by Gibbons II (1971), which was revised in 1985 and again in 1992 (adding the second author). It is an intermediate level textbook in nonparametric statistics that requires a standard one-year sequence in probability and mathematical statistics. It is a good mix of nonparametric theory and methodology focused on traditional rank-based methods. The level of the text is more mathematical than the mostly methodological books like Conover (1999) or Higgins (2004), but less theoretical than Randles and Wolfe (1979) or Hettmansperger and McKean (1998). Its focus on rank-based methods also distinguishes it from Higgins (2004), which takes a more general rank/permutation/bootstrap approach to nonparametrics.
Large-Scale Hierarchical Molecular Modeling of Nanostructured Biological Materials

The atomistic and molecular mechanisms that occur during mechanical deformation of natural and biological materials remain largely unknown. In recent years, development of new quantitative experimental, analytical and computational methods have led to advances in understanding of some details of these deformation mechanisms. Particular progress has been made in how to relate the molecular-scale chemistry to mesoscopic and macroscopic material properties. Here we review large-scale atomistic and molecular modeling methods to investigate the mechanical properties of natural and biological materials with nanostructured hierarchical designs. We discuss basic concepts of hierarchical multi-scale modeling capable of providing a bottom-up description of chemically complex materials. We compare the deformation mechanisms of biological materials with crystalline materials such as metals or ceramics. We emphasize on the importance of entropic contributions to elasticity, and the interplay of chemical bonding of different strengths, at different lengthand time scales. We exemplify some of the techniques in studies of the mechanics of polypeptides, tropocollagen molecules and collagen fibrils.
Surface-related multiple attenuation based on self-supervised deep neural network with local wavefield characteristics

Multiple suppression is a very important step in seismic data processing. To suppress surface-related multiples, we propose a self-supervised deep neural network method based on a local wavefield characteristic loss function (SDNN-LWCLF). The first and second input data and the output data of the self-supervised deep neural network (SDNN) are the predicted surface-related multiples, the full-wavefield data, and the estimated true surface-related multiples, respectively. The role of the SDNN is to replace the convolutional filter part of adaptive subtraction. Although there are differences in amplitudes and phases between the predicted and true surface-related multiples, the predicted surface-related multiples correspond kinematically to the true surface-related multiples and can be mapped to the estimated true surface-related multiples by the SDNN. The SDNN-LWCLF uses a local wavefield characteristic (LWC) loss function with physical properties to constrain the nonlinear optimization process. The LWC loss function is composed of the mean-absolute-error (MAE) and local normalized cross-correlation (LNCC) loss functions. LNCC can measure the local similarity between the estimated multiples and the estimated primaries. By minimizing the LWC loss function, the MAE loss function corrects amplitudes and phases of the predicted surface-related multiples to their true values, and the LNCC loss function automatically checks and reduces the leaked multiples and residual primaries in the estimated true surface-related multiples. Our proposed SDNN-LWCLF method does not need label data, such as true primaries and true surface-related multiples, which are usually unavailable in real-world applications. Therefore, the SDNN-LWCLF solves the problem of missing training data. Synthetic and field data examples demonstrate that our proposed method can well suppress the surface-related multiples, and its suppression effect is better than both the traditional L1-norm adaptive subtraction method and the SDNN method only based on the MAE loss function (SDNN-MAELF).
Ultrafast rogue wave patterns in fiber lasers

Fiber lasers are convenient for studying extreme and rare events, such as rogue waves, thanks to the lasers’ fast dynamics. Indeed, several types of rogue wave patterns were observed in fiber lasers at different time-scales: single peak, twin peak, and triple peak. We measured the statistics of these ultrafast rogue wave patterns with a time lens and developed a numerical model proving that the patterns of the ultrafast rogue waves were generated by the non-instantaneous relaxation of the saturable absorber together with the polarization mode dispersion of the cavity. Our results indicate that the dynamics of the saturable absorber is directly related to the dynamics of ultrafast extreme events in lasers.
Dynamics of the LH-transition in TUMAN-3M tokamak in the scenarios with cryogenic pellet injection

In the experiments on tangential fuel pellet injection in the TUMAN-3M tokamak an initiation of LH-transition or, in several scenarios—temporal (1–2 ms) confinement improvement with the following backwards transition was observed. To understand the possibility of the transitions, a model calculating the evolution of density and ion temperature profiles under the effect of source profile perturbation and plasma cooling created by pellet evaporation was developed. In the model, a diffusion coefficient depending on radial electric field shear value was used. Turbulence parameters are defined using a gyrokinetic simulation of the experiments with ELMFIRE code. Modeling results are in good agreement with experiments. Using the data obtained from the modeling, non-linear particle flux dependency on density gradient was analyzed; the existence of two stabile solutions for two confinement modes dependent on particle flux value was proved, in agreement with experiments.
Multi-objective optimization of operating parameters of a PEMFC under flooding conditions using the non-dominated sorting genetic algorithm

In the present study, the performance of a proton exchange membrane fuel cells is studied under cathode flooding conditions. A 2-D model of water and heat management based on the laws of conservation and electrochemical equations is used. The performance of the proton exchange membrane cell is evaluated on the basis of the computed average current density and its distribution along the channels. Operating parameters are optimized with the objective of maximizing average current density while minimizing its variations. The problem is formulated into a multi-objective form that is solved by the non-dominated sorting genetic algorithm-II to find the optimal Pareto front. The results of the base case are compared to those of the optimized cell. A 38.94% increase in average current density and a 38.8% decrease in standard deviation are obtained.
RCS Analysis on Low-Altitude Chaff Clouds Above Sea Surface

It is instructive to exploit the coupling effect between the chaff clouds and the sea surface, so that the scattering mechanism of chaff clouds above the surface can be better understood. An EM model for low-altitude chaff clouds above the sea surface is proposed to analyze the scattering contributions of the EM waves between the chaff clouds and the surface. For high-density chaff elements, their scattering properties can be calculated quickly and accurately by the vector radiative transfer (VRT). During the process, Monte Carlo solver is used to simulate the energy change of photons and the coupling effect among chaffs. Meanwhile, the advanced integral equation model (AIEM) is applied to calculate the electromagnetic scattering energy of the sea. Moreover, the coupling effect between the chaff clouds and the sea is taken into account by the four-path method. Numerical results indicate that the validity of the VRT method can be verified by the FEKO. In addition, the dynamic coupling of radar cross-section (RCS) variation is simulated, and the scattering characteristics of chaff clouds under different sea states and heights are analyzed to predict the scattering coefficients. Moreover, for chaff clouds with different spatial distributions, the scattering characteristics are analyzed to provide an effective strategy for practical applications.
Crystallization kinetic equations incorporating surface and bulk nucleation processes

In most publications dealing with crystallization kinetics Avrami's work from 1939 is used. He had derived his results for isothermal conditions and many authors tried to generalize his results to non-isothermal situations without success, often creating new equations with dubious physical meaning. Almost forgotten was a short paper by A.N. Kolmogoroff from 1937 in which the author already gave a formulation of crystallization kinetics in terms of time dependent (bulk) nucleation and crystal growth rate. Kolmogoroff used stochastic models which we call today Poisson point processes. One of the biggest advantages of Kolmogoroff's work is, that his results may easily be generalized to more complex situations, which are important in practical situations. We deal here with the influence of confining surfaces and the surface nucleation process occurring on them. Using Poisson point processes with special intensity measures for the description of the nucleation processes and a deterministic low for the crystal growth we end with a generalized Kolmogoroff equation. In the case of two parallel confining walls (crystallization in a slab) the result can be transformed into a set of differential equations using a method originated by W. Schneider in 1988. These equations are coupled to the equation of heat diffuson by the heat production due to the release of latent heat of crystallization.
Mathematical Model of Cone Mosaic with Eye Optical Properties

Cone photoreceptors convert light into electrical signals and show maximum light sensitivity to either long (L), medium (M), or short (S) wavelengths. Anatomically, the cones form a distinctive spatial arrangement on the retina, i.e., a cone mosaic. The Scones have specific sampling distributions; S-cones are rare (<10%) and show non-random distribution. Their optical properties are thought to change the quality of retinal images. However, the influence of physiological aberrations on vision has not been fully explained. We developed a mathematical model describing a cone mosaic and the associated eye optics, based on the anatomical and physiological characteristics of cones. In the simulation, we demonstrated that the S-cones obtain a retinal image, despite their sparse distribution. The simulation results suggest that the non-random S-cone distributions can efficiently receive blurred retinal images.
CATEGORICAL SEMANTICS OF LINEAR LOGIC

La theorie de la demonstration est issue d'une histoire courte et tumultueuse, construite en marge des mathematiques traditionnelles. Aussi, son langage reste souvent idiosyncratique: calcul des sequents, elimination des coupures, propriete de la sous-formule, etc. Dans cet article, nous avons voulu guider le lecteur a travers la thematique, en lui tracant un chemin progressif et raisonne, qui part des mecanismes symboliques de l'elimination des coupures, pour aboutir a leur transcription algebrique en diagrammes de coherence dans les categories monoidales. Cette promenade spirituelle au point de convergence de l'algebre et de la linguistique est ardue parfois, mais aussi pleine d'attraits: car a ce jour, aucune langue (formelle ou informelle) n'a ete autant etudiee par les mathematiciens que la langue des demonstrations logiques.