Miracle-dz/UniFAR-FTUs huggingface dataset:
EEG Emotion Recognition Based on Federated Learning Framework

Emotion recognition based on the multi-channel electroencephalograph (EEG) is becoming increasingly attractive. However, the lack of large datasets and privacy concerns lead to models that often do not have enough data for training, limiting the research and application of Deep Learn (DL) methods in this direction. At present, the popular federated learning (FL) approach, which can collaborate with different clients to perform distributed machine learning without sending data to a central server, provides a solution to the above problem. In this paper, we extended the FL method to the field of emotion recognition based on EEG signals and evaluated its accuracy in the DEAP and SEED datasets, where the model accuracy reached 90.74% in our framework. We also divided the DEAP dataset into different clients. The accuracy of emotion recognition decreased by 29.31% compared to the FL method when the clients were trained using local data, which validates the necessity of the FL approach for emotion recognition tasks. In addition, we verified the impact of N-IID data on the accuracy of FL training. The experiment demonstrated that N-IID leads to a 14.89% decrease in accuracy compared to IID.
In-service mathematics teachers’ preparedness, knowledge, skills, and self-efficacy beliefs of using technology in lesson delivery

Abstract This research examined the competencies (preparedness, skills, knowledge and self-efficacy beliefs) of High School teachers in teaching mathematics with technology. The study employed the explanatory sequential mixed-methods design where a questionnaire, observation guide and semi-structured interview guide were used to collect data. A stratified sampling technique was used to select 202 mathematics teachers for the study. Descriptive statistics and multiple regression were employed to analyse the quantitative data. Thematic analysis was used for the qualitative data. The findings indicated that mathematics teachers possessed high technology knowledge and self-efficacy, but they had relatively low preparedness and ICT skills in using technology in their lessons. In addition, ICT skills and teacher preparedness emerged as the best predictors for technology usage in mathematics lesson delivery. This implies that mathematics teacher education programmes should consider making ICT a core component of their curriculum to prepare prospective teachers to teach mathematics with technology.
Estimation of Surface Roughness on Milled Surface Using Capacitance Sensor Based Micro Gantry System through Single-Shot Approach

The profile generation is highly complex for roughness measurement using a capacitive sensor because of the small peak-to-peak width of the machined surface and the close proximity of the sensor setting with the machining setup which has the chance of damaging the sensor. Considering these shortcomings, a higher sensor sensing diameter with an appropriate resolution has been selected for a single-shot approach. An automated micro gantry XYZ system is integrated with a capacitive sensor to precisely target, move, and measure the roughness. For investigation, a vertical milled surface with a wide roughness range has been prepared. A Stylus profilometer has been used to measure the roughness (Ra) of the specimens for comparison. An experiment has been conducted on the above system with a 5.6 mm capacitance sensor, and an estimation model using regression has been obtained using sensor data to estimate Ra. In conclusion, the single-shot approach with a 5.6 mm sensing diameter sensor, the proposed micro gantry system, and the estimation model performs better in instantaneous noncontact measurement in the range of 0.3 µm to 2.9 µm roughness estimation. The influence of tilt and waviness has also been discussed using FEA analysis.
Izen-aipamenak desanbiguatu eta Wikipediara lotzen

Linking entities with a knowledge base is a key issue in named entity disambiguation. This task enriches documents and makes them more understandable for readers. Due to name variation and ambiguity, name mentions should be linked to the correct Wikipedia entity. In this paper, we propose a Bayesian model which uses the knowledge extracted from Wikipedia to automatically disambiguate mentions.
Students’ Performance in Face-to-Face, Online, and Hybrid Methods of Teaching and Assessment in Anatomy

In recent times, online teaching and assessment have provided a great opportunity to explore better methods in medical education. There are inconsistent views concerning the effectiveness of online assessment. Hence, the present study aimed to evaluate online teaching and assessment methods in relation to face-to-face methods by comparing students’ performances. The students’ assessment results in two basic anatomy courses, which are part of the Doctor of Medicine and Biomedical Sciences programs at Sultan Qaboos University, were analysed. We compared the students’ mean scores and coefficient of variance in the multiple-choice written exams and the objective structured practical exams during the spring semesters of 2019, 2020, and 2021, containing face-to-face teaching and exams, partial online teaching and online exams, and online teaching and both proctored online and face-to-face exams, respectively. The sudden transition to online teaching and assessment halfway through the semester resulted in higher means and a lower coefficient of variance among students’ scores in both theory and practical exams. However, when the fully adopted online method of teaching and assessment was employed, the mean scores decreased, and the coefficient of variance increased to figures close to those witnessed before the pandemic, when teaching and assessment were face-to-face. This trend applied to both the Doctor of Medicine and Biomedical Sciences programs’ anatomy courses. The results indicate that online assessment of theoretical and practical anatomical knowledge is comparable to that of face-to-face assessment. However, proper planning and preparedness are mandatory to achieve the desired outcomes.
An efficient procedure for online/offline ID‐based signature using extended chaotic maps and group ring

In this article, we utilize the notions of extended chaotic maps and group ring to propose an efficient procedure for online/offline identity based (ID‐based) signature. The main purpose of engaging chaotic maps in our procedure is to reduce its computational complexity while maintaining the desired security and the purpose of including algebraic structure of group ring is to shorten the signature. We show that under chosen message attack, our signature procedure is secure under unforgeability of ID‐based short signature. Most of the available online/offline signature procedures allow one time use of the offline preadministered information (offline stockpiling), but the proposed procedure grants multitime usage of the offline stockpiling. Therefore, the offline preadministered information can be reused by the signer in polynomial time. We show that our signature procedure is efficient, fast and provides signature of the small size. Finally, we compare our procedure with the several existing schemes in the literature and discuss its advantages.
Effectiveness of Virtual Reality-Based Interventions for Managing Chronic Pain on Pain Reduction, Anxiety, Depression and Mood: A Systematic Review

(1) Background: Patients diagnosed with chronic pain suffer from long-term pain, which negatively affects their daily lives and mental health. Virtual reality (VR) technologies are considered a therapeutic tool to manage pain perception and mental health conditions. This systematic review aimed to appraise the efficacy of VR in improving pain intensity, anxiety, depression and mood among patients with chronic pain; (2) Methods: Five electronic databases were systematically searched using the terms representing VR and chronic pain. Quality assessment was conducted using Cochrane Collaboration’s tool and Newcastle-Ottawa scale; (3) Results: Seventeen peer-reviewed articles were included in this review. It was found that VR was able to reduce pain intensity in patients with phantom limb pain, chronic headache, chronic neck pain and chronic low-back pain. The effects of VR on the improvement of anxiety, depression and mood were not determined due to the inadequate amount of clinical evidence; (4) Conclusions: VR, especially immersive VR, improves pain outcomes and its effects may vary depending on the approach and study design. More research is still needed to investigate the clinical use of VR in patients with chronic pain.
KARAKTERISTIK SPEKTRAL ELEKTROMAGNETIK SPECIES DOMINAN PADA HUTAN RAWA GAMBUT KALIMANTAN TENGAH (Electromagnetic Spectral Characteristics of Dominant Species at the Peat-Swamp Forest at Central Kalimantan)

ABSTRACTThis paper reports the results of the spectral library from dominant trees in peat-forest in Central Kalimantan, Indonesia supported under JST-JICA Project: “Wild Fire and Carbon Management in Peat Forest in Indonesia”. Spectral libraries are commonly established as a means to archive representative signatures of natural materials. Such signatures can then be used to train feature extraction and classification algorithms applied to remote sensing data imagery. Spectral analyses were performed to the 33 dominant species in peat-forest in Central Kalimantan, Indonesia obtained during the field survey measurement (in-situ measurements) and airborne campaign by HYMAP sensor in 2011-2014. We found, each vegetation type has unique spectral signature or characteristics. The shapes of reflectance spectra can be used for identification of vegetation types combine with remote sensing data (airborne and satellite images). Keywords: Spectral library/signature, Peat-Forest, Spectroradiometer, Vegetation and Kalimantan
Shocks and Star Formation in Orion: First Light with Grif

A new instrument, "GriF", has been used on the Canada-France-Hawaii Telescope to record spatially and velocity resolved images, in the H2v= 1-0 S(1) line in the K-band, of a 1 0 1 0 field in the core of the Orion Molecular Cloud, OMC1. Using the PUEO adaptive optics system combined with Fabry-Perot interferometry, diraction limited spatial resolution of 0: 00 15 and velocity discrimination of 1k ms 1 has been achieved. These data yield graphic images of shocks in OMC1, presenting a level of detail which has not previously been attained. Observed structures suggest that a significant fraction of the regions strongly emitting in H2 do so through local, internal shocks, associated with star formation within the clumps of gas involved. Thus the core of OMC1 is revealed for the first time as a region which contains a number of developed protostars.
Craig Interpolation and proof manipulation

Model checking is one of the most appreciated methods for automated formal verification of software and hardware systems. The main challenge in model checking, i.e. scalability to complex systems of extremely large size, has been successfully addressed by means of symbolic techniques, which rely on an efficient representation and manipulation of the systems based on first order logic. Symbolic model checking has been considerably enhanced with the introduction in the last years of Craig interpolation as a means of overapproximation. Interpolants can be efficiently computed from proofs of unsatisfiability based on their structure. A number of algorithms are available to generate different interpolants from the same proof; additional interpolants can be obtained by turning a proof into another proof of unsatisfiability of the same formula using transformation techniques. Interpolants are thus not unique, and it is fundamental to understand which interpolants have the highest quality, resulting in an optimal verification performance; it is an open problem to determine what features determine the quality of interpolants, and how they are connected with the effectiveness in verification. The goal of this thesis is to identify aspects that make interpolants good, and to develop new techniques that guide the generation of interpolants in order to improve the performance of model checking approaches. We contribute to the state-of-the-art by providing a characterization of quality in terms of semantic and syntactic features, such as logical strength, size, presence of quantifiers. We present a family of algorithms that generalize existing techniques and are able to produce interpolants of different structure and strength, with and without quantifiers, from the same proof. These algorithms are examined in the context of various model checking applications, where collections of interdependent interpolants satisfying particular properties are needed; we formally analyze the relationships among the properties and derive necessary and sufficient conditions on the applicability of the algorithms. We introduce a framework for proof manipulation; it includes a method to overcome limitations in existing interpolation algorithms for first order theories, as well as a set of compression algorithms, which, reducing the size of proofs, consequently
Tightly Coupled Ultra-Wideband Phased-Array Implemented by Three-Dimensional Inkjet Printing Technique

In order to enhance the gains from antennas suitable for airplane-mounted platforms, a tightly coupled antenna array is investigated in this paper. Specifically, a three-dimensional (3-D) inkjet printing technique is used to implement the conformal characteristics needed for the array. Both the radiators and substrate of the antenna array have been fabricated by combining the fused deposition modeling and microdroplet injection molding technologies, based on an existing 3-D printer. Here, through a unique combination of 3-D and 2-D inkjet printing of dielectric material and metallic ink, respectively, we demonstrate a monolithically integrated design for a nonplanar antenna for the first time. The antenna measurements herein show the complete characterization of this new process in terms of minimum feature size and achievable conductivities. This antenna configuration offers a high-gain performance with a low-cost and rapid fabrication technique by using 3-D printing techniques. To check our design, the voltage standing wave ratio and radiation patterns were tested after adding the newly designed feed structure. The results show that the design process is very efficient. Both the antenna element and the array demonstrate positive properties and are in very good agreement with the specially mounted platform.
Determinants of Telehealth Continuance Intention: A Multi-Perspective Framework

Owing to the COVID-19 pandemic, many countries’ physicians in the world have used telehealth to visit patients via telehealth. The study aimed to integrate the theory of planned behavior (TPB), the technology acceptance model (TAM), and self-determination theory (SDT) to explore the adoption behavior of a telehealth system. A convenient sample of residents was drawn from the population of Nantou County in Taiwan and analyzed via structural equation modeling. The findings revealed that attitude, perceived behavioral control, perceived usefulness, and perceived autonomy support jointly have significantly positive effects on continuance intention. Results also confirmed that perceived autonomy support, perceived ease of use, and perceived usefulness jointly have significantly positive effects on attitude. Furthermore, this study also showed that a crucial mediators’ role is played by perceived ease of use, perceived usefulness, and attitude. The conclusions and practical implications of the research will hopefully provide health organizations and institutions with some innovative insights and foresights, which in turn will promote better practices and services of telehealth technology.
Delivering community-based social work: The role of participatory action research in supporting community harm prevention in rural Cambodia

Community-based harm reduction workshops are delivered to reduce a range of community-based risks. In this instance, a community-based non-government organisation (NGO) delivered workshops to 18 villages in a rural setting in Cambodia. This article presents the approach to the delivery of these workshops. The article explores a journey of learning for the community, local authorities and delivering NGO when moving from a more traditional approach to that of a participatory one and the impact on the organisation, community and local authorities as this journey took place. The methods and approaches are explained, findings are presented and discussed, and recommendations for future community-based harm prevention work are made.
Effects of Dietary Supplementation with Aurantiochytrium sp. on Zebrafish Growth as Determined by Transcriptomics

Simple Summary The high demand and price of fish oil and fishmeal, combined with the global strain on fish stocks, has attracted attention to environmentally friendly and sustainable microalgae. In this project, we fed zebrafish by feed supplementation for 56 days and found that Aurantiochytrium sp. extract did have a growth-promoting effect on zebrafish, with enhanced lipid metabolism and improved antioxidant capacity, reducing oxidative damage from lipid oxidation. Abstract The marine protist Aurantiochytrium produces several bioactive chemicals, including EPA (eicosapentaenoic acid), DHA (docosahexaenoic acid), and other critical fish fatty acids. It has the potential to improve growth and fatty acid profiles in aquatic taxa. This study evaluated zebrafish growth performance in response to diets containing 1% to 3% Aurantiochytrium sp. crude extract (TE) and single extract for 56 days. Growth performance was best in the 1% TE group, and therefore, this concentration was used for further analyses of the influence of Aurantiochytrium sp. Levels of hepatic lipase, glucose-6-phosphate dehydrogenase, acetyl-CoA oxidase, glutathione peroxidase, and superoxide dismutase increased significantly in response to 1% TE, while malic enzyme activity, carnitine lipid acylase, acetyl-CoA carboxylase, fatty acid synthase, and malondialdehyde levels decreased. These findings suggest that Aurantiochytrium sp. extract can modulate lipase activity, improve lipid synthesis, and decrease oxidative damage caused by lipid peroxidation. Transcriptome analysis revealed 310 genes that were differentially expressed between the 1% TE group and the control group, including 185 up-regulated genes and 125 down-regulated genes. Kyoto Encyclopedia of Genes and Genomes (KEGG) and Gene Ontology (GO) pathway analyses of the differentially expressed genes revealed that Aurantiochytrium sp. extracts may influence liver metabolism, cell proliferation, motility, and signal transduction in zebrafish.
Geometry-Based Stochastic Model and Statistical Characteristic Analysis of Cell-Free Massive MIMO Channels

Cell-free massive multi-input multi-output (MIMO) systems exhibit many characteristics that differ from those of traditional centralized massive MIMO systems, and there are still research gaps in the modeling of cell-free massive MIMO channels. In this paper, a geometry-based stochastic model (GBSM) that combines the double-ring model and hemisphere model to comprehensively consider the distribution of scatterers in the environment was proposed for cell-free massive MIMO channels. Combined with the line-of-sight (LoS) path, single scattering path, and double scattering path components, the channel matrix between the access points (APs) and the user was derived. The proposed model fully considers geometric parameters such as the arrival/departure direction, elevation angle, time delay, and distance, which can accurately characterize the channel. Then, we proved that the traditional channel model, standard block-fading model, and spatial basis expansion model (SBEM) adopted in a cell-free massive MIMO system could not describe the nonstationarity in the space, time, and frequency domains, whereas the proposed GBSM could. Statistical characteristics of the channel were analyzed, including the space cross-correlation function (CCF), time autocorrelation function (ACF), Doppler power spectral density (PSD), level crossing rate (LCR), and average fade duration (AFD). Then, we investigated the proposed model by simulating the space CCF, time ACF, Doppler PSD, LCR, and AFD under the conditions of two different scatterer densities. Through simulations and analyses, some new features of cell-free massive MIMO channels were identified, providing a theoretical basis for in-depth research on cell-free massive MIMO systems. Finally, the measurement-based scenario and the WINNER II channel model are compared to demonstrate that the GBSM is more practical to characterize real cell-free massive MIMO channels.
Computer-aided comprehensive explorations of RNA structural polymorphism through complementary simulation methods

Abstract Abstract While RNA folding was originally seen as a simple problem to solve, it has been shown that the promiscuous interactions of the nucleobases result in structural polymorphism, with several competing structures generally observed for non-coding RNA. This inherent complexity limits our understanding of these molecules from experiments alone, and computational methods are commonly used to study RNA. Here, we discuss three advanced sampling schemes, namely Hamiltonian-replica exchange molecular dynamics (MD), ratchet-and-pawl MD and discrete path sampling, as well as the HiRE-RNA coarse-graining scheme, and highlight how these approaches are complementary with reference to recent case studies. While all computational methods have their shortcomings, the plurality of simulation methods leads to a better understanding of experimental findings and can inform and guide experimental work on RNA polymorphism.
Study of an Energy-Harvesting Damper Based on Magnetic Interaction

The saving and re-use of energy has acquired great relevance in recent years, being of great importance in the automotive sector. In the literature, it is possible to find different proposals for energy-harvesting damper systems (EHSA)—the electromagnetic damper being a highly recurrent but still poorly defined proposal. This article specifically focuses on studying the concept and feasibility of an electromagnetic suspension system that is capable of recovering energy, using a damper formed by permanent magnets and a system of coils that collect the electromotive force generated by the variation of the magnetic field. To study the feasibility of the system, it is necessary to know the maximum energy that can be recovered through the winding system; however, the difficulties in obtaining the derivative of the magnetic flux and its derivative for each position make the analytical method very tedious. This paper presents an experimental method with which to maximize energy recovery by defining the optimum relative position between magnet and coil.