Miracle-dz/UniFAR-FTUs huggingface dataset:
Fault Identification for a Class of Nonlinear Uncertain Systems Using High Gain Observer and Deterministic Learning *

In this article, by exploiting a high gain learning observer, a fault identification scheme is proposed for a class of nonlinear systems. First, by utilizing techniques of high gain adaptive observer and local approximator, a learning based high gain observer is designed, in which the state estimation and fault identification are implemented simultaneously. Based on the Lyapunov-based stability theorem, both of the state estimation errors and parameter errors can be proved to be uniformly ultimately bounded. Second, through using deterministic learning, a partial persistent excitation condition can be satisfied. Then, the interconnected system can be proved to be input-to-state stable by using the small gain theorem. This implies that local approximator can be guaranteed to compensate the unknown dynamics, and the observer gain can be effectively reduced. Simulation results show the effectiveness of the proposed fault identification scheme.
Magnetotactic Bacteria: Biorobots for Targeted Therapies and Model Nanomagnetic Systems

Magnetotactic bacteria (MTB) are aquatic microorganisms that biomineralize chains of membrane-enclosed magnetic nanoparticles called magnetosomes. Taking advantage of their self-propulsion capability provided by their flagella and the guidance capabilities ensured by their magnetosome chain, MTB are envisaged as biorobots. These can be guided and manipulated by external magnetic fields and are naturally attracted toward hypoxic areas, such as the tumor regions, while retaining the therapeutic and imaging capacities of the magnetosomes. In addition, MTB exhibit a series of characteristics that also make them very attractive for studies on fundamental magnetic properties. In fact, the arrangement of the magnetosomes in a 1D assembly already presents a great opportunity to better understand self-assembled nanostructures, and the high quality of magnetosomes also enables them as ideal candidates to study the change of the magnetic properties at the nanoscale. In this work, we will review the latest progress in the use of the MTB biorobots for targeted therapies and model nanomagnetic systems.
Landmark Recognition with CTFM Ultrasonic Sensing

Plants are naturally occurring landmarks. They can be detected and recognized using CTFM ultrasonic sensing. Landmarks can be grouped in four classes based on their geometric complexity and their continuity. The landmark class determines the sensor motion strategy, the recognition feature set and the navigation strategy. This paper reports on research into landmark recognition for each of these landmark classes.
A Clone-based Analysis of the Content-Agnostic Factors Driving News Article Popularity on Twitter

—The signiﬁcant impact of Twitter in news dissemination underscores the need to understand what drives tweet popularity. While the content of an article plays a role, several “content-agnostic” factors also inﬂuence tweet popularity. Previous studies have faced challenges in differentiating the effects of content-agnostic factors from content variations. To address this, the paper presents a comprehensive analysis of tweet popularity using a “clone-based” approach. The methodology involves identifying tweets linking the same or similar articles (clones) and studying the factors that make some tweets within clone sets more successful in attracting retweets. The analysis reveals insights into clone set characteristics, winners’ success patterns, retweet dynamics over time, domain-based competition, and predictors of success. The ﬁndings shed light on the complex nature of popularity and success in social media, providing a deeper understanding of the content-agnostic factors that inﬂuence tweet popularity.
Veriﬁable certiﬁcates for predicate subtyping

Adding predicate subtyping to higher-order logic yields a very expressive language in which type-checking is undecidable, making the deﬁnition of a system of veriﬁable certiﬁcates challenging. This work presents a solution to this issue with a minimal formalization of predicate subtyping, named PVS-Core, together with a system of veriﬁable certiﬁcates for PVS-Core, named PVS-Cert. PVS-Cert is based on the introduction of proof terms and explicit coercions. Its design is similar to that of PTSs with dependent pairs, at the exception of the deﬁnition of conversion, which is based on a speciﬁc notion of reduction → β ∗ , corresponding to β -reduction combined with the erasure of coercions . The use of this reduction instead of the more standard reduction → βσ allows to establish a simple correspondence between PVS-Core and PVS-Cert. On the other hand, a type-checking algorithm is designed for PVS-Cert, built on proofs of type preservation of → βσ and strong normalization of both → βσ and → β ∗ . Using these results, PVS-Cert judgements are used as veriﬁable certiﬁcates for predicate subtyping. In addition, the reduction → βσ is used to deﬁne a cut elimination procedure adapted to predicate subtyping. Its use to study the properties of predicate subtyping is illustrated with a proof of consistency.
Using Tidally‐Driven Elastic Strains to Infer Regional Variations in Crustal Thickness at Enceladus

Constraining the spatial variability of the thickness of the ice shell of Enceladus (i.e., the crust) is central to our understanding of the internal dynamics and evolution of this small Saturnian moon. In this study, we develop a new methodology to infer regional variations in crustal thickness using measurements of tidally‐driven elastic strain that could be made in the future. As proof of concept, we recover thickness variations from synthetic finite‐element crustal models subjected to diurnal eccentricity tides. We demonstrate recovery of crustal thickness to within ∼2 km of true values across the crust with ∼10% error in derived spherical harmonic coefficients at degrees l ≤ 12. Our computed uncertainty is significantly smaller than the inherent ∼10 km ambiguity associated with crustal thickness derived solely from gravity and topography measurements. Therefore, future measurements of elastic strain can provide a robust approach to probe crustal structure at Enceladus.
THE OCEAN OPTICS EXPERIMENT AND COMPARISON WITH MERIS DATA IN THE CHINA COASTAL WATERS

An ocean optics field observation was carried out in the East China Sea from Aprl.28 to May 18, 2005. Firstly, the paper gives main results of this field observation and the results are analyzed with data processing methods. Then the empirical algorithm and semi-analytical method are used to retrieve ocean optics parameters from remote-sensing reflectance. The primary results indicate that semi-analytical method has an advantage in East China Sea. Finally, these results are compared with MERIS data. The preliminary results indicate that remote-sensing reflectance derived from MERIS data using BEAM software is higher in blue region. 1. INTRUDUCTION
Low-Complexity Reconfigurable

—The performance of millimeter wave (mmWave) multiple-input multiple-output (MIMO) systems is limited by the sparse nature of propagation channels and the restricted number of radio frequency (RF) chains at transceivers. The introduction of reconﬁgurable antennas offers an additional degree of freedom on designing mmWave MIMO systems. This paper provides a theoretical framework for studying the mmWave MIMO with reconﬁgurable antennas. Based on the virtual channel model, we present an architecture of reconﬁgurable mmWave MIMO with beamspace hybrid analog-digital beamformers and reconﬁg-urable antennas at both the transmitter and the receiver. We show that employing reconﬁgurable antennas can provide throughput gain for the mmWave MIMO. We derive the expression for the average throughput gain of using reconﬁgurable antennas in the system, and further derive the expression for the outage throughput gain for the scenarios where the channels are (quasi) static. Moreover, we propose a low-complexity algorithm for reconﬁguration state selection and beam selection. Our numerical results verify the derived expressions for the throughput gains and demonstrate the near-optimal throughput performance of the proposed low-complexity algorithm.
A CAVITY RING-DOWN SPECTROSCOPY MERCURY CONTINUOUS EMISSION MONITOR

The construction of the sampling system was completed during the past quarter. The sampling system has been built on a 3 feet x 4 feet x 2 inch breadboard table. The laser system, all the associated optics, and the mounts and hardware needed to couple the UV light into the fiber optic have also been condensed and placed on an identical 3 feet x 4 feet x 2 inch breadboard table. This reduces the footprint of each system for ease of operation at a field test facility. The two systems are only connected with a fiber optic, to bring the UV light to the CRD cavity, and a single coaxial cable used to apply a voltage to the diode seed laser to scan the frequency over the desired mercury transition. SRD software engineers applied a couple of software fixes to correct the problems of the diode seed laser drifting or mode hopping. Upon successful completion of the software fixes another long-term test was conducted. A nearly 3 day long, 24 hours/day, test was run to test out the new subroutines. Everything appeared to work as it should and the mercury concentrations were accurately reported for the entire test, with the exception of a small interval of time when the intensity of the UV light dropped low enough that the program was no longer triggering properly. After adjusting the power of the laser the program returned to proper operation. With the successful completion of a relatively long test SRD software engineer incorporated the new subroutine into an entirely new program. This program operates the CRD instrument automatically as a continuous emissions monitor for mercury. In addition the program also reports the concentration of SO{sub 2} determined in the sample flue gas stream. Various functions, operation of, and a description of the new program have been included with this report. This report concludes the technical work associated with Phase II of the Cavity Ring-Down project for the continuous detection of trace levels of mercury. The project is presently gearing up for additional testing in preparation for a field test to be conducted at the DOE/NETL pilot plant facility in Pittsburgh, Pennsylvania.
RESEARCH ARTICLE Relationship between Genetic Variant of OXTR (rs53576) and MTNR1B (rs1387153) and Symptoms of Psychological Stress in Females with Gestational Diabetes Mellitus

Objective: To assess the association of oxytocin receptor (rs53576) and melatonin hormone receptor 1B (rs1387153) gene single nucleotide polymorphisms with psychological symptoms in women with gestational diabetes mellitus. Method: The case-control study was conducted from May 1 to June 1, 2022, at the Department of Physiology, University of Karachi, in collaboration with the Department of Biological and Biomedical Sciences, Aga Khan University, Karachi, and the Department of Obstetrics and Gynaecology, Jinnah Postgraduate Medical Centre, Karachi. Fifty gestational diabetic pregnant women and ninety healthy pregnant women were recruited. Sanger sequencing was performed to assess the genotypic frequency and polymorphic variation of all subjects. Perceived stress scale and diabetes-related distress scale were used to assess the stress levels. Data was analysed using SPSS 23. Results: Of the 140 subjects, 90 (64.3%) were controls with mean age 24.96±4.35 years, and 50 (35.7%) were cases with mean age 28.78±5.25 (p<0.05). Mean body weight and mean gestational age were not significantly diﬀerent between the groups ( p >0.05). Melatonin hormone receptor 1B rs1387153 frequency was significantly diﬀerent between the groups ( p <0.05). Among the cases, a significant mean diﬀerence for regimen distress scores between AA and GG was observed for oxytocin receptor rs53576 (p=0.04). A significant mean diﬀerence in sum of PSS, diabetes-related stress, total diabetes-related stress and emotional distress was noted between CC and TT genotypes for melatonin hormone receptor 1B rs1387153 ( p =0.001). Conclusion: MTNR1B rs1387153 genotypes were associated with perceived stress, diabetes-related stress, diabetic distress, and emotional burden, while OXTR rs53576 genotypes were associated with regimen distress in GDM women.
Report Conservative Populism or Unpopular Liberalism? Review of the 2018 Ontario Provincial Election

We are sad to note that Dr. Barry Kay passed away in December of 2019. He contributed to this review and had over the years provided much sought-after insight into election campaign dynamics. Abstract Ontario’s general el ection on June 7, 2018, brought the Progressive Conservative party to government for the first time in the 21 st Century. The PCs’ victory over the incumbent Liberals, however, reached this point despite much turmoil. Months before the election the party faced a crisis when its leader, Patrick Brown, resigned amid a scandal. The PC party hastily organized a leadership election that put Doug Ford at the helm, who then led the party to victory. The following election review traces these steps and looks at some dynamics that contributed to both the PC leadership vote and the overall result of the election. The PC leadership election is analyzed, providing evidence that Ford’s rise may reflect some of the populist sentiment that has gripped other democracies. The analysis then turns to the general election, focusing on media coverage and issue salience, particularly as they relate to the party leaders. Survey data are examined to build some explanatory vote-choice models, which shows that voters in the general election appeared less moved by populism than a desire to punish the Liberals. Résumé:
The effects of a silvicultural sludge application on small mammal populations and the potential of Giardia contamination in a forest ecosystem

The effects of a silvicultural sludge application on resident small mammal populations were assessed by monitoring their demographic responses before and after sewage sludge treatment. Potential contamination of the forest ecosystem by Giardia duodenalis, a parasitic protozoan, was also investigated. Populations of the deer mouse (Peromyscus maniculatus), Oregon vole (Microtus oregoni), Townsend chipmunk (Eutamias townsendii), shrews (Sorex spp.), and a few species caught occasionally, were sampled in control and treatment study sites from May 1990 to October 1991. Sludge application occurred in November 1990. There were no detectable differences in the abundances of deer mice, Oregon voles, and chipmunks on treatment areas relative to controls after sludge application. This was also the case for recruitment, survival, mean body weight, weight at sexual maturity, sex ratio, species diversity and spatial distribution. There was, however, a significant increase in the growth rate of juvenile deer mice on treatment sites after sludge application. This was also the only effect on small mammal population dynamics observed from the sludge treatment. The prevalence of Giardia spp. cysts in small mammal fecal samples on study sites did not differ between pre-sludge and post-sludge periods. My laboratory study using wild deer mice concluded that this species was capable of acting as a host to some strains of human Giardia under specific laboratory conditions. Because of the deer mouse's apparent ability to adapt well to this environmental change, as illustrated by the lack of effect on its survival and reproduction attributes, and this species' potential ability to host human Giardia, additional research and consideration are warranted prior to the implementation of large scale silvicultural sludge applications.
THE INFLUENCE OF PRICES, CUSTOMER TRUST THROUGH SATISFACTION OF WORD OF MOUTH (WOM) ON CUSTOMERS ON BANK MANDIRI CREDIT CARD PRODUCTS IN THE ERA OF THE COVID-19 PANDEMIC

During the pandemic, the banking sector experienced a very significant impact. Many companies experienced a decline in revenue due to the difficulty of finding new customers and the difficulty of retaining customers so as not to experience delays in Bank Mandiri credit card payments. To overcome this problem, the government is preparing the banking sector in a "new era" or known as the new normal. Banking in this case provides comfort and convenience for customers so as not to lose customers and still be able to retain customers in the era of the covid-19 pandemic. The sample in this study amounted to 200 respondents. The analysis technique used is SEM (Structural Equation Modeling). The results showed that price, trust through satisfaction with WOM.
Gossypol Detoxification and Lysine Enrichment in Cottonseed Cake by Solid State Fermentation

This study investigated the effect of mixed microbial cultures on gossypol and lysine levels in cottonseed cake (CSK) during solid state fermentation (SSF). The fermented CSK showed 71.4 % and 76.2 % free gossypol (FG) reduction and 77.0 % and 67.3 % bound gossypol (BG) reduction in Pleurotus sajor-caju + Saccharomyces cerevisiae and Candida tropicalis + S. cerevisiae treated samples respectively. The gossypol (FG and BG) reduction and lysine improvement in CSK was maximum after 36 h of incubation during SSF. The addition of crude enzyme extract containing protease activity of 500 and 400 U/g in CSK resulted in decrease of BG level. The High Performance Liquid Chromatography (HPLC) analysis of fermented CSK showed that lysine content was increased significantly from 0.92 to 1.36 in P. sajor-caju + S. cerevisiae and 1.54 in C. tropicalis + S. cerevisiae . The fungal count (cfu/g) was increased to 100 fold in fermented CSK. To our knowledge, this is the first report on SSF process for BG reduction and lysine enrichment in CSK.
Leveraging the Self-Transition Probability of Ordinal Patterns Transition Network for Transportation Mode Identi�cation Based on GPS Data

Analyzing people mobility and identifying the transportation mode used by them is essential for cities that want to reduce traﬃc jams and travel time between their points, thus helping to improve the quality of life of citizens. Mining this type of data, however, faces several complexities due to its unique properties. In this work, we propose the use of Information Theory quantiﬁers retained from the Ordinal Patterns (OP) transformation, for transportation mode identiﬁcation. As an initial exploration, our results show that OP satisfactorily characterizes the trajectories. Moreover, in this scenario, the characteristics of OP transformation can be advantageous, such as its simplicity, robustness, and speed.
DDDT_A_252351 1547..1559

1School of Public Health, North China University of Science and Technology, Tangshan, Hebei 063210, People’s Republic of China; 2School of Basic Medical Sciences, North China University of Science and Technology, Tangshan, Hebei 063210, People’s Republic of China; 3Hebei Key Laboratory for Organ Fibrosis, North China University of Science and Technology, Tangshan, Hebei 063210, People’s Republic of China; 4Academic Affairs Office, North China University of Science and Technology, Tangshan, Hebei 063210, People’s Republic of China
Breakdown of the velocity and turbulence in the wake of a wind turbine – Part 2: Analytical modelling

Abstract. This work aims to develop an analytical model for the streamwise velocity and turbulence in the wake of a wind turbine where the expansion and the meandering are taken into account independently. The velocity and turbulence breakdown equations presented in the companion paper are simplified and resolved analytically, using shape functions chosen in the moving frame of reference. This methodology allows us to propose a physically based model for the added turbulence and thus to have a better interpretation of the physical phenomena at stake, in particular when it comes to wakes in a non-neutral atmosphere. Five input parameters are used: the widths (in vertical and horizontal directions) of the non-meandering wake, the standard deviation of wake meandering (in both directions) and a modified mixing length. Two calibrations for these parameters are proposed: one if the users have access to velocity time series and the other if they do not. The results are tested on a neutral and an unstable large-eddy simulation (LES) that were both computed with Meso-NH. The model shows good results for the streamwise velocity in both directions and can accurately predict modifications due to atmospheric instability. For the axial turbulence, the model misses the maximum turbulence at the top tip in the neutral case, and the proposed calibrations lead to an overestimation in the unstable case. However, the model shows encouraging behaviour as it can predict a modification of the shape function (from bimodal to unimodal) as instability and thus meandering increases.
The Effectiveness of Developing Diving Basic Teaching Materials in Improving Basic Diving Knowledge and Skills for Students at the Faculty Sports Science, Yogyakarta State University

This study aims to examine the effectiveness of the basic teaching materials for diving which are used to improve the knowledge and basic skills of sports students at the Faculty of Sports Science, Yogyakarta State University. This research was compiled based on theoretical studies related to the results of the development of basic diving teaching materials to improve the knowledge and basic sports skills of the students of the Faculty of Sports Science, Yogyakarta State University. This research is a quantitative observational study by collecting qualitative data through direct observation in the field or research environment with an instrument for assessing basic diving knowledge and skills. This research takes place in the Yogyakarta State University Swimming Pool. The research sample in this research was carried out by purposive sampling with the sample criteria being students of the Faculty of Sports Science who mastered swimming skills in at least 2 swimming styles, consisting of 10 people. The research data were analyzed by Likert 5 scale method. Test the validity and reliability of the instrument for assessing the basic knowledge and skills of diving, with a validity value of 0.875 to 0.958 \geq V table 0.79, and the overall Cronbach's Alpha test results on test subjects were in the range (0.799 to 0.975) > 0, 60 then the questionnaire or questionnaire is declared reliable or consistent. The results of the comparison of the average pre-test and post-test gains were converted into the interpretation of gain values (Hake, 1998), to show the value of 0.856 0.7, which means that the teaching material product has a high influence on increasing basic diving knowledge and skills in the test subject group.