Miracle-dz/UniFAR-FTUs huggingface dataset:
Maximum Sensitivity Constrained Graphical Controller Tuning for a DC–DC Boost Converter Loaded With a CPL

Owing to the negative impedance instability of the constant power load (CPL), oscillations are induced in the output voltage of the boost converter, which may lead to voltage collapse. This article proposes a graphical strategy to tune a PID controller for the boost converter loaded with a CPL. The idea of root crossing boundaries is applied to compute the all stability region. Robustness and relative stability of the system are addressed by obtaining the desired maximum sensitivity region (DMSR) within the all stability region. Required controller parameters are obtained by finding the centroid of the DMSR. A novel technique to select the derivative gain of the PID controller from the tradeoff curve between disturbance rejection and noise suppression abilities is also proposed. Experimental results with comparison are provided to show the effectiveness of the presented scheme.
Analisis Sentimen Dengan Metode Naïve Bayes, SMOTE Dan Adaboost Pada Twitter Bank BTN

Media sosial menjadi sarana untuk saling berbagi informasi, dari sebagai sarana promosi hingga digunakan untuk menyebarkan opini. Karena kemudahan teknologi, dimanapun orang dapat mengakses media sosial dan mengomentari isu yang sedang ramai dibicarakan. Branding image juga menjadi suatu hal yang penting, karena masyarakat dapat berinteraksi langsung lewat media sosial baik itu dukungan atau kritikan. Sehingga penelitian ini dilakukan untuk menganalisa sentiment yang ada pada media sosial twitter terhadap Bank BTN sebagai Bank yang sudah lama berfokus dalam bidang Kredit Pemilikan Rumah. Untuk menganalisa sentimen tersebut dilakukan percobaan kombinasi algoritma SMOTE, Naïve Bayes dan Adaboost. Sebelum dilakukan perhitungan algoritma, dilakukan tahapan stemming dan stopwords agar data yang digunakan tidak mengandung noise. Hasil penelitian menunjukan bahwa kombinasi SMOTE, Naïve Bayes, dan Adaboost menunjukan hasil pemodelan yang paling baik dengan akurasi sebesar 87.05%, presisi sebesar 90.63%, recall sebesar 83.00%, dan AUC sebesar 0.909.
Ship Target Detection Algorithm Based on Decision-Level Fusion of Visible and SAR Images

Aiming at the problem of target detection for multiple source information fusion, in this article, a decision-level fusion algorithm for visible and SAR images is proposed. First, using the Faster-RCNN network detects visible and SAR images to retain the detection results, respectively. Second, the semantic segmentation of visible images based on U-Net is realized. Finally, based on the detection results of single source and semantic segmentation results of land and sea, a fusion strategy based on decision level is proposed to achieve accurate target detection under multisource information. Through experimental verification, the detection performance of the proposed algorithm is an advantage over that of single-source image detection. The detection accuracy is 2.87% and 4.73% higher, and the recall rate is 3.02% and 0.19% higher than that of visible and SAR images separately. Compared with other target detection algorithms based on traditional image fusion, the proposed method has fewer false detections and missed detections.
Comparison of LZD and ICP Algorithms in DEM Matching without Control Points

To select an appropriate algorithm for DEM matching,this paper reviews the development of the two popular 3D surface matching algorithms,least z-difference(LZD) and iterative closest point(ICP),and describes their common logical framework.Then the two algorithms are evaluated qualitatively through theoretic analysis.Finally,the quantitative comparison is performed by a set of tests.The experimental results show that the computational efficiency of LZD is about 9 times higher than ICP.But its pull-in range is slight smaller,and its iterative convergence rate is about 1 time slower than ICP.However,the closer the two DEM are,the faster LZD converges.Therefore,LZD is more appropriate for DEM matching with small pose different.
Comparison of Physiological Cues for Cognitive Load Measures in VR

Cognitive load (CL) is an important measure for detecting whether a user is struggling with a task. Many researchers have investigated physiological cues for measuring CL, such as pupil dilation, galvanic skin response (GSR), heart rate, and electroencephalography (EEG). However, physical activity can often affect the measured signals, so it is unclear how suitable these measures are for use in Virtual Reality (VR). In this paper we present a VR game, PlayMeBack, for measuring users' CL using different physiological cues. In the game, the user is shown different patterns of tiles lighting up and is asked to replay the patterns by pressing tiles in the same sequence. Task difficulty increases with the length of the lighting pattern. We found that for this type of VR environment, EEG and GSR are the most reliable physiological cues for measuring the user's cognitive load, whereas pupil dilation and heart rate did not vary significantly with increasing task difficulty.
New Coupled-Inductor High-Gain DC/DC Converter With Bipolar Outputs

This article presents a new bipolar step-up dc/dc converter with the capability of decreasing the input current ripple for renewable energy applications. Two power switches with the simultaneous operation are used in the proposed converter. The suggested topology can provide positive and negative output voltages in a quadratic form with the same and different voltage levels and common ground. The bipolar outputs of the presented topology can be varied independently using the duty cycle and tuning the turn ratio of the coupled inductor. Moreover, the maximum voltage stress across the switching components is much lower than the output voltage. This topology operates under soft-switching conditions for the second switch and all diodes. The steady-state and the main operating equations of the converter are also derived. Finally, a 210-W prototype with 110-, –110-, and 220-V output voltages is implemented to justify the theoretical analysis and performance operation of the proposed converter.
Linearization Weight Compression and In-Situ Hardware-Based Decompression for Attention-Based Neural Machine Translation

As recent machine translation models are mostly based on the attention-based neural machine translation (NMT), many well-known models such as Transformer or bidirectional encoder representations from Transformers (BERT) have been proposed. Along with algorithmic advancements, hardware acceleration methods for those attention-based neural machine translation models have also been introduced. However, the size of the parameters for attention-based NMT is also becoming larger to guarantee the satisfactory machine translation quality. Among various weights, linearization weights (<inline-formula> <tex-math notation="LaTeX">$W^{Q}$ </tex-math></inline-formula>, <inline-formula> <tex-math notation="LaTeX">$W^{K}$ </tex-math></inline-formula>, <inline-formula> <tex-math notation="LaTeX">$W^{V}$ </tex-math></inline-formula>, and <inline-formula> <tex-math notation="LaTeX">$W^{O}$ </tex-math></inline-formula>) account for a non-negligible portion (by up to 30%) among the entire parameters in the modern NMT models. In this paper, we propose a method for linearization weight compression and near-memory hardware decoder for fast and in-situ weight decompression. Our weight compression method exploits the fixed-point quantization along with Huffman coding which is selectively applied depending on the weight value distribution. Our hardware decoder decompresses the Huffman-coded weights near-memory to minimize the weight decoding latency. Our compression method shows 4.9–10.0 compression ratio with small NMT score drops across the five widely used attention-based NMT models (Transformer, Transformer-XL-base, Transformer-XL-large, BERT-base, and BERT-large). In addition, due to the reduced linearization weight size, our proposed method with near-memory decoding enables multi-head attention (MHA) execution latency reduction by 11.8%, on average, as compared to the baseline when considering the weight loading and initialization. In terms of the memory data transfer energy consumption, our proposed method leads to a memory energy saving of 16.1%, on average, as compared to the baseline.
Motivating Factors Influencing Knowledge Sharing Behavior among Academic Staff

Effective knowledge sharing among academic staff has become a rising concern among researchers. To date, motivation has been recommended as a vital way to increase knowledge sharing behaviour among academic staff. However, limited empirical research has been conducted to uncover the motivational factors among academic staff. Therefore, the aim of this paper is to determine the intrinsic and extrinsic motivation factors that influence academic staff behaviour in terms of knowledge sharing. The result revealed that motivation has a direct influence on academic staff intention of knowledge sharing behaviour. Furthermore, intrinsic factors were found to have greater positive influence than extrinsic factors on academic staff intention of knowledge sharing behaviour. Achievement and quality of supervision were found to be dominating motivation factors. Therefore, universities should provide and implement the policies that recognize academic staff achievement and select the qualified leader to lead and direct the academic staff towards successful knowledge sharing.
Spinning Effects on a Trapped Vortex Combustor

The trapped vortex combustor concept provides a simple design for flame stabilization by trapping a pilot flame inside a cavity instead of exposing it to the mainstream. Under some circumstances, the combustor may operate in a high-spinning motion (for example, when it is installed in a spin-stabilized ramjet projectile), in which the spinning rate can be as high as 30,000 rpm. The objective of this study is to numerically investigate the effects of high-spinning motion on the trapped vortex combustor, including the cavity vortex dynamics, fuel–air mixing, and combustion performance. Numerical computations have been performed with the Reynolds stress model for turbulence and the eddy dissipation model for combustion in a rotating reference frame. The results of the spinning trapped vortex combustor show that the Coriolis effects dominate the flow in the cavity when it is subjected to a high-spinning motion (30,000 rpm). The vortex breakdown in the cavity brings strong three-dimensional flow and promotes f.
A Closer Look Into Brazil’s Healthcare System: What Can We Learn?

Brazil’s healthcare system has made significant progress in recent years but still faces major challenges. In this editorial, we examine the greatest flaws and achievements of Brazil’s healthcare system, focusing on population coverage, quality metrics, spending over the last ten years, and estimates of per capita spending over the next decade. We discuss the role of the government, private sector, and civil society in shaping Brazil’s healthcare landscape and provide recommendations for improvement. Despite the challenges, Brazil has made impressive strides in healthcare, such as the implementation of the family health program, which has improved primary care access and reduced infant mortality rates. However, much work remains to be done, and Brazil must prioritize investment in healthcare infrastructure, workforce development, and the integration of digital technologies to ensure universal access to quality care for all.
Protein-Gene Orthology in Baculoviridae: An Exhaustive Analysis to Redefine the Ancestrally Common Coding Sequences

Baculoviruses are entomopathogens that carry large, double-stranded circular DNA genomes and infect insect larvae of Lepidoptera, Hymenoptera and Diptera, with applications in the biological control of agricultural pests, in the production of recombinant proteins and as viral vectors for various purposes in mammals. These viruses have a variable genetic composition that differs between species, with some sequences shared by all known members, and others that are lineage-specific or unique to isolates. Based on the analysis of nearly 300 sequenced genomes, a thorough bioinformatic investigation was conducted on all the baculoviral protein coding sequences, characterizing their orthology and phylogeny. This analysis confirmed the 38 protein coding sequences currently considered as core genes, while also identifying novel coding sequences as candidates to join this set. Accordingly, homology was found among all the major occlusion body proteins, thus proposing that the polyhedrin, granulin and CUN085 genes be considered as the 39th core gene of Baculoviridae.
Influence of Ionizing Radiation on Spontaneously Formed Aggregates in Proteins or Enzymes Solutions

We have shown that many proteins and enzymes (ovalbumin, β-lactoglobulin, lysozyme, insulin, histone, papain) undergo concentration-dependent reversible aggregation as a result of the interaction of the studied biomolecules. Moreover, irradiation of those protein or enzyme solutions under oxidative stress conditions results in the formation of stable soluble protein aggregates. We assume that protein dimers are mainly formed. A pulse radiolysis study has been made to investigate the early stages of protein oxidation by N3• or •OH radicals. Reactions of the N3• radical with the studied proteins lead to the generation of aggregates stabilized by covalent bonds between tyrosine residues. The high reactivity of the •OH with amino acids contained within proteins is responsible for the formation of various covalent bonds (including C–C or C–O–C) between adjacent protein molecules. In the analysis of the formation of protein aggregates, intramolecular electron transfer from the tyrosine moiety to Trp• radical should be taken into account. Steady-state spectroscopic measurements with a detection of emission and absorbance, together with measurements of the dynamic scattering of laser light, made it possible to characterize the obtained aggregates. The identification of protein nanostructures generated by ionizing radiation using spectroscopic methods is difficult due to the spontaneous formation of protein aggregates before irradiation. The commonly used fluorescence detection of dityrosyl cross-linking (DT) as a marker of protein modification under the influence of ionizing radiation requires modification in the case of the tested objects. A precise photochemical lifetime measurement of the excited states of radiation-generated aggregates is useful in characterizing their structure. Resonance light scattering (RLS) has proven to be an extremely sensitive and useful technique to detect protein aggregates.
The Evolution of Post-Vaccine G8P[4] Group a Rotavirus Strains in Rwanda; Notable Variance at the Neutralization Epitope Sites

Africa has a high level of genetic diversity of rotavirus strains, which is suggested to be a possible reason contributing to the suboptimal effectiveness of rotavirus vaccines in this region. One strain that contributes to this rotavirus diversity in Africa is the G8P[4]. This study aimed to elucidate the entire genome and evolution of Rwandan G8P[4] strains. Illumina sequencing was performed for twenty-one Rwandan G8P[4] rotavirus strains. Twenty of the Rwandan G8P[4] strains had a pure DS-1-like genotype constellation, and one strain had a reassortant genotype constellation. Notable radical amino acid differences were observed at the neutralization sites when compared with cognate regions in vaccine strains potentially playing a role in neutralization escape. Phylogenetic analysis revealed that the closest relationship was with East African human group A rotavirus (RVA) strains for five of the genome segments. Two genome sequences of the NSP4 genome segment were closely related to bovine members of the DS-1-like family. Fourteen VP1 and eleven VP3 sequences had the closest relationships with the RotaTeq™ vaccine WC3 bovine genes. These findings suggest that the evolution of VP1 and VP3 might have resulted from reassortment events with RotaTeq™ vaccine WC3 bovine genes. The close phylogenetic relationship with East African G8P[4] strains from Kenya and Uganda suggests co-circulation in these countries. These findings highlight the need for continued whole-genomic surveillance to elucidate the evolution of G8P[4] strains, especially after the introduction of rotavirus vaccination.
Mathematical Model of a Micro Grid for a Hybrid Autonomous Station Based on Renewable Energy Sources for the Republic of Ingushetia

Part of the Russian population lives in small settlements in remote areas in remote areas at long distances from each other and is not connected to centralized power systems. For the peasant farms of the Republic of Ingushetia, the issues of creating an autonomous power supply system in the highlands, independent of external circumstances, are relevant for the life and development of economic activity. microgeneration based on renewable energy sources for the trade of goods and services on the international market with a certificate of "green" energy makes the products of enterprises more competitive. The classification of microgenerating hybrid systems based on renewable energy sources is presented. Optimization of the internal structure of microgenerating hybrid systems by types and installed capacity for each type of equipment included in the autonomous electrical complex has been carried out. The problem of finding the value of objective functions for optimal combinations of equipment, taking into account the parameters of reliability and capital costs of an autonomous power supply system, is formulated. A parametric model and algorithm of an optimal microgenerating hybrid system based on renewable energy sources have been developed.
Fine Tuning the Intermolecular Interactions of Water Clusters Using the Dispersion-Corrected Density Functional Theory

Dispersion-inclusive density functional theory (DFT) methods have unequivocally demonstrated improved performances with respect to standard DFT approximations for modeling large and extended molecular systems at the quantum mechanical level. Yet, in some cases, disagreements with highly accurate reference calculations, such as CCSD(T) and quantum Monte Carlo (MC) calculations, still remain. Furthermore, the application of general-purpose corrections, such as the popular Grimme’s semi-classical models (DFT-D), to different Kohn–Sham exchange–correlation functionals sometimes leads to variable and inconsistent results, which recommend a careful prior evaluation. In a recent study, we proposed a simple optimization protocol for enhancing the accuracy of these DFT-D methods by following an alternative and system-specific approach. Here, adopting the same computational strategy, we show how the accurate MC intermolecular interactions of a large set of water clusters of variable sizes (i.e., 300 (H2O)n structures, n = 9, 15, 27) can be reproduced remarkably well by dispersion-corrected DFT models (i.e., B3LYP-D4, PBE-D4, revPBE(0)-D4) upon re-optimization, reaching a mean absolute error per monomer of ~0.1 kcal/mol. Hence, the obtained results support the use of this procedure for fine-tuning tailored DFT-D models for the accurate description of targeted molecular systems.
Effects of a Single Session of Systemic Vibratory Therapy on Flexibility, Perception of Exertion and Handgrip Strength in Chronic Obstructive Pulmonary Disease Individuals: A Quasi-Experimental Clinical Trial

Background: Whole-body vibration exercises (WBVE), that are generated in systemic vibratory therapy (SVT), may benefit individuals with chronic obstructive pulmonary disease (COPD). This study evaluated acute effects of SVT on the flexibility, on the perception of exertion to perform the anterior trunk flexion (ATF), and on the handgrip strength (HG). Methods: Thirty-eight individuals, separated into two groups, performed a single session of SVT (five bouts, 25 Hz, 2.5 of amplitude) on a side-alternating vibrating platform (SAVP), in two postures: sitting (Sitting group-SitG, n = 21) or standing (Stand group-StandG, n = 17). In both positions, the feet were on the base of the SAVP. The HG and the AFT were performed before and after the session, and the perception of effort (RPE) was measured during the ATF. Results: The ATF in the SitG (p ≤ 0.05) and in the StandG (p ≤ 0.05) was significantly improved, but in the comparison between both groups, no significant reduction was found (p = 0.14). The RPE was not influenced by the session. A significant increase of the HG in StandG post session (33.49 ± 10.30 kgf) p = 0.03 was found, but not in the SitG (p = 0.12) or between the two groups (p = 0.55). Conclusions: SVT, in a single acute session, would be capable of promoting some functional benefits for the COPD individuals without altering the perception of exertion to perform the ATF. Trial Registration: 49219115.3. 0000.5259, RBR-72dqtm.
Development of a Predictive Model of Cardiovascular Risk in a Male Population from the Peruvian Amazon

Background: The coexistence of malnutrition due to over- and under-nutrition in the Peruvian Amazon increases chronic diseases and cardiovascular risk. Methods: A cross-sectional study of a male population where anthropometric, clinical, and demographic variables were obtained to create a binary logistic regression predictive model of cardiovascular risk. Results: We compared two methods with good predictive results, finally choosing Model 4 (r2 = 0.57, sensitivity 73.68%, specificity 95.35%, Youden index 0.69, and validity index 94.21), with non-invasive variables such as blood pressure (p < 0.001), hip circumference (p < 0.001), and FINDRISC test result (p < 0.05); Conclusions: We developed a cheap, fast, and non-invasive tool to determine cardiovascular risk in the population of this endemic area.
Explicit estimation of higher order modes in fission source distribution of Monte-Carlo calculation

Magnitude of higher order modes in fission source distribution of a multi-group Monte-Carlo calculation is estimated using the orthogonal property of forward and adjoint fission source distributions. Calculation capability of the forward and adjoint fission source distributions for fundamental and higher order modes are implemented in the AEGIS code, which is a two-dimensional transport code based on the method of characteristics. With the calculation results of the AEGIS code, magnitudes of the first to fifth higher order modes in fission source distribution obtained by the multi-group Monte-Carlo code GMVP are estimated. There are two contributions in the present study - (1) establishment of a surrogate model, which represents convergence of fission source distribution taking into account the inherent statistical 'noise' of higher order modes of Monte-Carlo calculations and (2) independent confirmation of the estimated dominance ratio in a Monte-Carlo calculation. The surrogate model would contribute to studies of the inter-cycle correlation and estimation of sufficient number of inactive/active cycles. (authors)
A Sequent Calculus for the Lesniewskian Modal Logic : Dedicated for the memory of the late Professor S. Maehara

The notion of Lesniewskian relation, though the naming is new, has been introduced and extensively investigated by Ishimoto [1] in the study of the propositional fragment of Lesniewski's ontology. Examples of Lesniewskian rela tions are "is a one-element subset of" for sets (Takano [6] ), and "is a prime divisor of" for positive integers (N. Kanai). By the Lesniewskian modal logic we mean the normal propositional modal logic which is characterized by the class of Kripke models with Lesniewskian accessibility relation. The purpose of this paper is to give a sequential calculcus L* for the Lesniews kian modal logic L enjoying a kind of the subformula property, and as an applica tion of this property to show the L-version of the Craig interpolation lemma. So, this article forms an L-version of our previous paper [7], and hence will be better appreciated if readers are acquainted with it. (The same result as Main Theorem for S5* in [7] is seen in Mints [4, Theorem 2 (p. 238)] as well. )