Miracle-dz/UniFAR-FTUs huggingface dataset:
Reduction and control of nonlinear symmetric distributed robotic systems

This study considers the reduction problem for large-scale distributed control systems. The state-space of these systems is often very large making analysis and synthesis difficult. In particular, this study considers systems containing multiple instances of identical controllers or components where the overall system is invariant with respect to interchanging these identical components. A graph-theoretical framework is considered for modeling these systems that clearly identifies the structure of the system's components. Graph symmetries, which naturally arise in many distributed systems, can be used to formulate a reduced-order model of the system. This study presents two applications of the reduction technique; namely, a reduced-order controllability analysis and a reduced-order motion planning algorithm. The controllability result provides a theorem, which shows that for an equivalence class of symmetric systems, controllability of the entire class of systems can be determined by analyzing the smallest member of the equivalence class. This theorem is demonstrated by determining the controllability of a team of mobile robots and a platoon of underwater vehicles. The result of the reduced-order motion planning study is a piecewise-linear motion planning algorithm for rigid-body formations of large-scale symmetric mobile robotic systems. Motion planning is conducted on a reduced-order system then systematically applied to the larger system. Results from simulation and experimental testing of this algorithm are given and demonstrate its utility. The motion planning algorithm was implemented on groups of small mobile robots called Micabots. Micabots are both inexpensive and flexible making it useful for a wide range of experimental goals. The design of the Micabots including such considerations as cost, size, and functionality, is discussed.
Enchanting Pedagogy: Creating Labor Games in the Extractive University

Through ethnographic fieldwork as a Teaching Assistant (TA) at the University of California, Berkeley, I advance that pedagogical labor can be conceptualized as two labor games. In the didactic game, I utilize hierarchical lecturing to simplify complex concepts in the pursuit of student comprehension of material, while the experiential game centers nonhierarchical dialogue and students’ personal experiences to promote consciousness-raising. TAs’ ability to create and switch between games underpins my broader theorization of labor games as one of two types: institutional games – shared among workers in similar structural circumstances and persistent across worker entry and exit – and innovation games – created by individual workers with relative autonomy amidst an absence of worker co-presence. Just as institutional games provide a template for obscuring and securing the extraction of surplus value under monopoly capitalism, innovation games do the same for the increasingly flexible, autonomous capitalism of the twenty-first century.
Blockchain-Aided Anonymous Traceable and Revocable Access Control Scheme With Dynamic Policy Updating for the Cloud IoT

The Internet of Things has been applied in various fields of industry, which has promoted the intelligent development of the industry and improved efficiency in industrial production. The devices involved in the IoT have generated useful and sensitive data over time and upload the data to the cloud to realize real-time data sharing. To ensure the confidentiality of data, many systems use attribute-based encryption primitive to encrypt data. However, there are still some security and privacy problems in this mode, such as the lack of identification of malicious users who leaked private keys, performance bottleneck caused by excessive reliance on a single central authority (CA), and vulnerability because a single CA holds the private keys of all users in the system. In this article, white-box tracking is used to identify malicious users. The alliance chain is introduced to support multiauthority environments, where the consensus nodes are managed by different authorities and assist CA in generating partial private keys. To protect users’ privacy, users remain anonymous at all times during their interactions with blockchain consensus. The security analysis and simulation results show that the proposed scheme outperformed other comparable schemes, indicating that it is a preferable scheme.
WETLAND CHANGE DETECTION USING SENTINEL-2 IN THE PART OF LATVIA

In the article, the possible impact of changes on wetland were analysed by the semi-supervised classification method of statistical analysis. The Sentinel-2 raw data between two different seasons are combined together. The data preparation is shortly described in the article. Data is clustered with unsupervised method. The article describes a supervised method – how data credibility and classification can be estimated if its reference is poor quality.
A Multimodal Model-Fusion Approach for Improved Prediction of Freezing of Gait in Parkinson’s Disease

Freezing of gait (FoG) is a widely observed movement disorder in patients with Parkinson’s disease (PD). Its prediction is crucial for effectively giving the cue to avoid FoG occurrence. However, present methods of prediction of FoG are inaccurate for large but practical prediction horizons (PHs). Therefore, this work presents a comprehensive analysis of the electroencephalography (EEG) and inertial measurement units (IMUs) to predict FoG advance in time. An ensemble model consisting of two neural networks (NNs), EEGFoGNet and IMUFoGNet, was developed and tested at different PHs and ensemble weights. Moreover, the model is tested for two practical scenarios: clinical or research applications and personal uses. For clinical or research applications, stratified fivefold cross-validation was used. For personal uses, a transfer learning technique was used for learning user-specific FoG-related features. The model obtained the best accuracy of 92.1% at 1-s PH and the least accuracy of 86.2% at 5-s PH. The presented results are encouraging and show the proposed model’s clinical applicability. This study will also help practitioners in comparing the efficacy of different cueing methods.
A Path Increment Map Matching Method for High-Frequency Trajectory

Aiming at the problems of low matching accuracy and slow matching speed of high-frequency trajectory data in complex urban road networks, this paper proposes a matching method based on path increment. This method consists of two parts: combined filtering and incremental matching. Firstly, the road network is simplified through combined filtering, and then the incremental matching is carried out by taking the paths as increments. In the matching procedure, a comprehensive evaluation scheme of similarity based on distance factor and curvature is adopted. The above measures effectively reduce the impact of complex road segments on the matching results, while the path increment method enables the matching process to be executed more rapidly and accurately. The experiments were conducted using the Geolife datasets. The results show that our algorithm has obvious advantages over similar algorithms in terms of matching accuracy and efficiency, and shows good stability in road matching tests with different complexity.
Uso do Território e Valorização Financeira: O Grupo Cosan e o Setor Sucroenergético Brasileiro

As mudanças estruturais ocorridas no capitalismo contemporâneo trouxeram novas condicionantes para os usos do território no Brasil. Nesse sentido, observa-se a inserção de novos agentes da esfera financeira, notadamente fundos de investimentos diversos, investidores corporativos e indivíduos de alta renda, que passam a participar, e em grande medida controlar, direta ou indiretamente, processos produtivos dos mais diferentes setores no território brasileiro. Este processo foi por nós avaliado, tomando como situação empírica o Grupo Cosan S.A. , principal controlador do setor sucroenergético brasileiro (produção de cana-de-açúcar e derivados), analisada a partir de dados secundários sobre a produção agrícola e agroindustrial do referido grupo, bem como estratégias e características ligadas à financeirização da empresa (abertura de capital, comportamento dos investidores, dentre outras), a partir de informações obtidas em bancos de dados públicos e privados. A análise do uso do território pelo Grupo Cosan permite identificarmos transformações associadas a inserção do referido agente no atual contexto de financeirização da economia global e as implicações territoriais que lhe são inerentes. As estratégias de uso do território praticadas pelo Grupo Cosan, no atual contexto de acumulação financeira, foram pautadas principalmente pela necessidade de valorização financeira, o que ocorreu fundamentalmente pelo acionamento de fundos públicos e pela expansão territorial das atividades produtivas.
Expired flunarizine hydrochloride as corrosion inhibitors for Q235 steel in hydrochloric acid medium: Experimental and computational investigation

The corrosion of carbon steel is always a very serious issue, and the addition of corrosion inhibitors is an effective approach to prohibiting the corrosion of carbon steel. Because expired drugs are environmentally friendly, green, and non‐toxic; thus, this work provides a new idea for the treatment of expired drugs. The expired flunarizine hydrochloride (FH) is used as corrosion inhibitors for Q235 steel, investigating the corrosion inhibition efficiency of expired FH with different concentrations for carbon steel and illustrating the corrosion inhibition mechanism. Electrochemical impedance and Tafel curves are used to investigate the corrosion inhibition of carbon steel under 1 M HCl solution with different concentrations of the expired FH, and the corrosion efficiency is calculated according to the immersion tests, and the corrosion inhibition efficiency is more than 88.5%. Scanning electron microscopy (SEM), Fourier transform infrared spectrometer (FTIR), and Raman spectroscopy strongly support the results of the electrochemical experiment. Besides, the simulation results also provide the strong supports for the experimental results.
Fuzzy Judgment of Step Slip Throw Based On Entropy Factor and Life Factor

In order to obtain the complex relationship between the human body step slip and the various factors, it is necessary to accurately identify the main influencing factors of step slip. Based on fuzzy mathematics and information entropy theory, a method of step slip fuzzy judgment based on fuzzy information entropy fusion life factor is proposed. Through the establishment of mathematical model integrating information entropy with life factor fuzzy judgment, the quantitative analysis is combined with expert experience and qualitative analysis. Using the test platform with six degrees of freedom are tested under various influencing factors the actual friction coefficient, combining the objective weights determined by the test data with the subjective weights determined by the common sense of life, improve the scientific weight determination. The results show that the fuzzy judgment model established in this paper is feasible and effective for judging the main reasons of step slip.
A method for the optimal compensation of dynamic nonlinearity in SAR ADCs

The paper deals with a method based on the maximization of the signal to noise ratio for the compensation of analog-to-digital converter errors. Theoretical fundamentals of the method are reported, by paying particular attention to the accuracy of the compensation. The method capability of compensating errors in critical conditions is assessed by the successive approximation converter case. With this aim, the dynamic phase distortion intrinsic to the successive approximation conversion principle is modeled. Simulation results show the method effectiveness in compensating this distortion and in incrementing the signal to noise ratio.
Unificação assimétrica módulo operadores nilpotentes com homomorfismo

This dissertation focuses on the study of unification problems modulo an equational theory whose signature contains a binary operator ⊕, which satisfies the identities of Associativity, Commutativity, Unity and Nilpotence (ACUN), and which may or not contain a unary operator h satisfying the homomorphism identity (ACUNh), which is the equtional theory for the operator XOR, Widely used on many cryptographic tools, like MAUDE [10], which uses group encryption, including XOR ( exclusive or ), exponentiation and homomorphic encryption. First we will present some criteria to the existence of solutions for elementary with constants ACUN(h)-unification problems which consist of associating a unification problem to a linear equation system whose coefficients are elements of Z2 or Z2[h], depending one we are considering homomorphism or not. Second, we will present an algorithm to solve general ACUNhunification problems which always returns a complete set of most general unifiers. Finally, we will present the study of a new unification paradigma, to say so, asymmetric unification, which consist of obtaining unifiers from the unification problem Γ, with the property of preserving the normal form from of the right hand side of each equation in Γ, considering a convergent and coherent rewriting system. In the particular case of the equational theory ACUN, we will also present an algorithm which takes as input ACUN-unifiers and outputs ACUN-asymmetric unifiers.
Face Recognition Based on the Key Points of High-dimensional Feature and Triplet Loss

Face recognition has been a hot issue in the flied of computer vision, and face recognition is increasingly applied in the actual life. However, some low dimensional features such as Gabor, LBP, SIFT couldn’t achieve a good performance of face feature presentation. So an algorithm which based on the key points of high-dimensional feature is proposed. The extracted feature is transformed by Triplet Loss. The proposed algorithm firstly implement face alignment, and then extract multiscale feature. When high-dimensional features are presented, it need to be transformed by triplet loss matrix. The paper use LBP as a basic feature. Experiments results on two public three databases (LFW, PubFig) show that the propose method achieves promising results in face recognition and proves that our proposed method preforms well than the state-of-the-art single feature such as Gabor, LBP, SIFT.
Hybrid Complex Projective Synchronization of Complex Chaotic Systems Using Active Control Technique with Nonlinearity in the Control Input

In this paper, the active control method based on Lyapunov function is used to study hybrid complex projective synchronization (HCPS). In the complex space, the response system is asymptotically synchronized up to the drive system by the state transformation by using a complex scale matrix. An extension of projective synchronization from the field of real numbers to the field of complex numbers has been done in this paper; i.e., the scaling factors are complex. The unpredictability of the scaling factors in the proposed synchronization scheme can additionally increase the security of communication. This synchronization method is studied between two non-identical complex chaotic nonlinear 3-dimensional systems. We take Lorenz system as the driving system and Chen system as the response system. In order to demonstrate the robustness of the proposed control method, dead-zone nonlinearity input is imposed to the control input. The closed loop stability conditions based on Lyapunov function and Barbalat lemma are derived. Finally, numerical simulations are presented to verify the results of the proposed scheme.
Prevalence and Risk Factors of Internet Gaming Disorder Among Female Secondary School Students in Al-Ahsa, Kingdom of Saudi Arabia

Objectives: This study measured the prevalence and potential risk factors of Internet gaming disorder (IGD) among female secondary school students in Al-Ahsa, Kingdom of Saudi Arabia. Methods: This cross-sectional study was conducted between January and February 2023. A total of 400 female secondary school students in Al-Ahsa were recruited through multistage stratified cluster sampling. Data were collected by distributing a self-administered questionnaire among students. A chi-squared test was performed to compare categorical variables. The associations between IGD, depression, and anxiety scores were determined using the Pearson correlation coefficient. Results: Among the total sample, 282 were classified as "gamers" and included in our analysis. The prevalence of IGD was found to be 19%. We also found a statistically significant and moderately positive correlation between IGD and anxiety and depression scores. Spending more than four hours daily playing video games, starting to play video games at less than seven years of age, having depression, having anxiety, and playing an online game were found to be potential risk factors for IGD. Conclusion: IGD among female adolescent students in Al-Ahsa is a public health concern that requires attention from the concerned parties. Health education projects on IGD, its risk factors, and its consequences should be designed for adolescents and their families.
Corporate Culture in Nepalese Hotel Industry

The competing values framework was used to describe the organizational culture type exhibited by Nepalese listed five star hotel’s managers. This framework assesses the dominant organizational culture based on four culture types: Clan, Hierarchy, Adhocracy, and Market. Nepalese hotels managers exhibited different culture type as dominant in both the current and preferred situations on the basis of dominant characteristics, organizational leadership, managements of employee, organizational glue, strategic emphases and criteria of success. The purpose of the study was to examining the values preferred and now by managers at listed hotels in Nepal, in the context of these above mention types of organizational culture. The methods used for identification of the dominant types of organizational culture is organizational culture assessment instruments (OCAI) which is based on the Competing Values Framework developed by Cameron and Quinn, 1999 The study suggests implications for extension nationwide.
Status and future plan of the accelerator for laser undulator compact X-ray source (LUCX)

We have developed a compact X-ray source via inverse Compton scattering between an electron beam and a laser pulse stacked in an optical super-cavity at Laser Undulator Compact X-ray (LUCX) accelerator in KEK. The accelerator consists of a photo-cathode RF-gun and an S-band accelerating tube and now produces the multibunch electron beam with 100 bunches, 0.5nC bunch charge and 40MeV beam energy. It is planned to upgrade the RF-gun and the RF system of the accelerator and the super-cavity in order to increase the X-ray yield. The new RF-gun with high mode separation and high Q value and a new klystron for the gun will be installed to provide good compensation with a high-intensity multi-bunch electron beam. A new optical super-cavity consisting of 4 mirrors is also being developed to enhance the stacking power in the cavity and to reduce the laser size at the focal point. The first targets are to produce a multi-bunch electron beam with 3000 bunches, 0.5nC bunch charge and 5MeV beam energy in low energy mode and with 100 bunches, 2nC and 40 MeV in high energy mode to generate X-rays by inverse Compton scattering. In this paper, the status and future plan of the accelerator will be reported.
DESAIN ARSITEKTUR APLIKASI QR CODE SEBAGAI ANTI PHISHING SERANGAN QR CODE

: QR Codes are very vulnerable to falsification because it is difficult to distinguish the original QR Code from a fake QR Code. Because of this vulnerability, the scanning process on fake QR Codes can direct users to dangerous sites with important information or data from the user. To assess QR Code security vulnerabilities and actions using a secure Application-based QR Code Architecture as Anti Phishing against QR Code attacks using hash functions and digital signatures. In experiments simulated attack types to malicious QR codes that redirect users to phishing sites. The real URL is disguised into the QR Code, where the user does not suspect, the URL is redirected to the fake site. As a result, intruders can easily use QR codes as vectors for phishing attacks targeted at smartphone users, even if they are using a browser that has security features.
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES

Abstract In their logical analysis of theorems about disjoint rays in graphs, Barnes, Shore, and the author (hereafter BGS) introduced a weak choice scheme in second-order arithmetic, called the $\Sigma ^1_1$ axiom of finite choice (hereafter finite choice). This is a special case of the $\Sigma ^1_1$ axiom of choice ( $\Sigma ^1_1\text {-}\mathsf {AC}_0$ ) introduced by Kreisel. BGS showed that $\Sigma ^1_1\text {-}\mathsf {AC}_0$ suffices for proving many of the aforementioned theorems in graph theory. While it is not known if these implications reverse, BGS also showed that those theorems imply finite choice (in some cases, with additional induction assumptions). This motivated us to study the proof-theoretic strength of finite choice. Using a variant of Steel forcing with tagged trees, we show that finite choice is not provable from the $\Delta ^1_1$ -comprehension scheme (even over $\omega $ -models). We also show that finite choice is a consequence of the arithmetic Bolzano–Weierstrass theorem (introduced by Friedman and studied by Conidis), assuming $\Sigma ^1_1$ -induction. Our results were used by BGS to show that several theorems in graph theory cannot be proved using $\Delta ^1_1$ -comprehension. Our results also strengthen results of Conidis.
Abatement of Active Power Loss and Enhancement of Voltage Profile by Gravitational Search Algorithm Based on Simulated Annealing method

This paper proposes Gravitational Search Algorithm Based on Simulated Annealing (GSSA) for solving the multi-objective reactive power dispatch problem. Because the individual position update strategy in Gravitational Search Algorithm (GSA) may cause damage to the individual position and the local search ability of GSA is weak, this paper proposed an improved algorithm. The new algorithm introduced the idea of Simulated Annealing (SA) into GSA, took the Metropolis-principle-based individual position update strategy to improve the particle moves, and after the operation of gravitation, applied the Simulated Annealing operation to the optimal individual. In order to evaluate the efficiency of the proposed algorithm, it has been tested on IEEE 30 bus system and compared to other specified algorithms. Simulation results show that GSSA is superior to other algorithms in reducing the real power loss and improving the voltage stability.