Miracle-dz/UniFAR-FTUs huggingface dataset:
Satisfiability Attack-Resilient Camouflaged Multiple Multivariable Logic-in-Memory Exploiting 3D NAND Flash Array

Logic-in-memory implementations have attracted significant attention recently for energy efficient in-situ processing of big data in this era of IoT. However, the emerging memory technologies such as RRAMs, PCMs, STT-MRAMs, etc. are still immature and exhibit significant spatial and temporal variations limiting the yield and the size of crossbar arrays available for implementing logic functions. Considering the technological maturity, ultra-high density and ultra-low cost of 3D NAND flash memory, in this work, we have proposed a novel methodology to exploit 3D NAND flash memory for realizing any logic function in sum-of-product form (SOP) with ≤177 literals/inputs and $\le 2^{14}$ minterms parallelly. Moreover, all the logic functions realized using the proposed technique appear same at the layout level rendering the logic-in-memory implementation utilizing the 3D NAND flash memory an innate camouflaging property and an inherent immunity against security vulnerabilities in the semiconductor supply chain. We have also evaluated the resiliency of the proposed technique against reverse engineering attacks such as SAT attacks, ATPG attacks and brute force attacks on ISCAS’85 and ISCAS’89 benchmark circuits. Our results indicate that the proposed logic-in-memory implementation facilitates complete obfuscation of the logic function without introducing any area overhead and exhibits a strong resiliency against reverse engineering.
Temperature Drift Modeling and Compensation of Accelerometer Applied in Atom Gravimeter

Vibration correction by using an accelerometer to measure vibration is one of the critical technologies for field measurement of atom gravimeters. However, the accelerometer is often affected by temperature and other environmental factors, resulting in a drift of vibration signal. Temperature drift of accelerometer modeling and compensation is one of the main methods to restrain the drift. Considering different effects on the drift of various temperatures, temperature change rates, and temperature rise and drop processes, taking temperature and temperature change rate as inputs, we establish the temperature drift model of the accelerometer and use the positive and negative signs of temperature change rate to indicate the rise and drop of temperature. The model is described by support vector regression (SVR), and the particle swarm optimization (PSO) algorithm is utilized for tuning the model parameters. We carried out the heating and cooling experiments with temperature change rates of ±2, ±1, and ±0.5 °C/min, respectively. Instead of modeling separately for various temperature change rates, we trained the same PSO-SVR model with the accelerometer drift data obtained under various temperature conditions to improve accuracy and adaptability. By comparing its accuracy with the PSO-tuned back-propagation neural network (PSO-BP) and polynomial least squares (PLS) models and their performance on non-training data, we verified that the PSO-SVR model has a good compensation effect and excellent generalization performance, and the atom gravimeter interferometric phase noise induced by vibration is significantly reduced after compensation. The method proposed in this article is of reference significance for improving the field measurement accuracy of the atom gravimeter.
Exploring the Effectiveness of Self-and Other-Focused Happiness: The Moderating Role of Job Resources

Purpose This paper aims to redefine happiness goals and explore the conditions and mechanisms through which these redefined happiness goals influence work-related outcomes. Methods The study developed and validated scales for self-focused happiness and other-focused happiness through exploratory factor analyses of 244 employees and confirmatory factor analyses of 300 employees. The proposed theoretical model was subsequently tested using a time-lagged analysis with data from 556 supervisor-employee dyads. Results The findings provide strong evidence for the categorization of happiness goals into self-focused happiness and other-focused happiness. Furthermore, both self-focused and other-focused happiness significantly contribute to work-related vigor, subsequently influencing employee creativity. Additionally, the impact of these happiness goals on vigor and creativity is contingent upon the availability of job resources. Conclusion This study highlights the substantial role of self-focused and other-focused happiness in enhancing employee vigor and creativity. However, the extent of these effects depends on the level of available job resources. These outcomes carry notable implications for the fields of positive psychology, positive organizational behavior, and creativity.
Interpreting materia medica. A case study on Ioannes Archiatrus

Background Premodern medical texts are an invaluable source for scholars from humanities and sciences. However, they are usually not accessible as few scientists with an interest in premodern materia medica are also qualiﬁed philologists. Therefore, a balance has to be struck to translate these texts while preserving information on how reliable we believe a given translation to be. In this paper, we conduct a case study on the vernacular version of Ioannes archiatrus. Methods The present study forms part of the output of a multidisciplinary Wellcome Trust Collaborative Award combining humanities and sciences. We deployed a multi-layer tagging system to systematise pharmaceutical terminology and to translate these terms while providing conﬁdence factors for individual words. In a second step, we used AntConc, a freeware concordance software, to analyse our primary source and visualise patterns in the text. Results Our methodology created a readable text that made it possible for the reader to check conﬁdence factors. It also allows our translation and tagging to be recycled for further research. Conclusions Our methods provide a tool that allows to balance the need to translate and the necessary caution about translated plant and mineral names. Our approach is transferable and it can be modiﬁed to suit the needs of other primary sources.
The Effectiveness Dimension of Training Initiatives on the Competitiveness and Sustainability of Micro-Asnaf Entrepreneurs.

The aim of this research study is to assess the effectiveness of training initiatives on the competitiveness and sustainability of Asnaf Micro-entrepreneurs (UMA). Asnaf Micro-entrepreneurs represent a vulnerable group that requires support and intervention to enhance their capabilities and entrepreneurial competitiveness. This study employs a quantitative research approach and collects data from a sample of n = 308 UMA participants who have undergone various training programmes. The Partial Least Squares Structural Equation Modelling (PLS-SEM) technique is used to analyse the data. The research findings reveal a significant positive relationship between different dimensions of training and the competitiveness of UMAs. Firstly, knowledge and skill development shows a significant positive effect on UMAs competitiveness, emphasising the importance of equipping UMAs with the necessary knowledge and expertise. Secondly, mindset and attitude formation is found to significantly influence UMA competitiveness, highlighting the role of fostering a growth-oriented mindset and a positive attitude in entrepreneurial success. Thirdly, networking initiatives and collaboration is proven to have a significant positive relationship with UMA competitiveness, highlighting the importance of nurturing networks, partnerships, and collaboration opportunities. Fourthly, access to resources and support demonstrates a significant positive effect on UMA competitiveness, emphasising the importance of providing UMA with adequate resources and support mechanisms.
Prognostic Modeling Studies of the Keweenaw Current in Lake Superior. Part I: Formation and Evolution

Abstract The formation and evolution of the Keweenaw Current in Lake Superior were examined using a nonorthogonal-coordinate primitive equation numerical model. The model was initialized by the monthly averaged temperaturefield observed in June and September 1973 and run prognostically under different forcing conditions with and without winds. As a Rossby adjustment problem, the model predicted the formation of a well-defined coastal current jet within an inertial period of 16.4 h after the current field adjusted to the initial temperature field. The magnitude and direction of this current jet varied with the cross-shelf temperature gradient and wind velocity. It tended to intensify during northeastward (downwelling favorable) winds, and to lessen, or even reverse, during southwestward to northwestward (upwelling favorable) or southeastward (downwelling favorable) winds. In a case with strong stratification and without external atmospheric forcings, a well-defined clockwise warm-core eddy formed near the .
Paleoecological Differences Between Tertiary and Quaternary Crassostrea Oysters, as Revealed by Stable Isotope Sclerochronology

Abstract Tertiary Crassostrea oysters grew large and thick shells, whereas their descendants, living Crassostrea, grow comparatively smaller and thinner shells. To test for ecological differences between fossil and living Crassostrea that may account for differences in body size, the stable isotope sclerochronology was examined of two North American species, late Oligocene C. gigantissima (Belgrade Formation, North Carolina) and Quaternary C. virginica (Chesapeake Bay and Mississippi Delta), both purported to share an ancestor-descendent relationship. δ18O and δ13C profiles across skeletal growth increments in two well-preserved C. gigantissima shells show significant differences with profiles from Pleistocene and Recent C. virginica. Significantly higher δ18O and δ13C values and smaller seasonal isotopic ranges with less variability show that C. gigantissima lived in a more fully marine environment than C. virginica. Consequently, C. gigantissima probably was exposed to more predation, competition, and bioerosion than C. virginica. Isotopic profiles also show that C. gigantissima formed skeletal growth increments annually from seasonally varying growth rates, which permits estimation of life span and growth rate. Thicker shells and faster growth rates in C. gigantissima may reflect the greater exposure to fully marine predation and bioerosion, as well as to the conditions associated with higher salinity. Associations between C. gigantissima and phosphatic sediments, intense bioerosion, and other large suspension feeders in the Belgrade Formation are suggestive of an elevated planktonic food supply that may have permitted C. gigantissima to grow thicker shells. If estuaries and lagoons have served as refugia from marine predation since the Mesozoic, as these environments do today, then C. gigantissima may represent a lineage that had left its brackish refuge for shallow-marine environments in the Eocene. The replacement of C. gigantissima by C. virginica in the early Miocene may not represent an ancestor-descendent relationship, but an extinction of C. gigantissima and continued survival of thin-shelled Crassostrea in brackish environments.
Matières premières et circulation des matériaux dans le Néolithique ancien de Renaghju (Sartène, Corse-du-Sud)

Dans le contexte mal documente du Neolithique ancien corse, la decouverte d’occupations cardiales structurees sous le niveau d’implantation des alignements megalithiques de Renaghju a offert l’opportunite de mener une etude detaillee des vestiges mis au jour. Parallelement a la caracterisation typologique et technologique des assemblages, ont ete entreprises des recherches sur l’origine des matieres premieres dont nous livrons ici les premiers resultats. Certaines ont ete recoltees dans l’environnement proche du site : l’argile constituant les ceramiques et la terre a bâtir, des rhyolites et du quartz. Quelques matieres premieres sont etrangeres au Sartenais mais proviennent cependant de l’ile : des rhyolithes fines, du schiste vert a chlorite. Enfin, l’origine de plusieurs autres, tels l’obsidienne, le silex et peut-etre certaines argiles est a rechercher hors de la Corse. Leurs provenances, determinees par des approches petrographiques ou geochimiques, adaptees a chaque materiau, confirment l’importance des circulations entre la Sardaigne et la Corse des le debut du Neolithique. Des relations avec d’autres domaines de l’aire tyrrhenienne sont egalement envisagees.
Position measurement technology of boom-type roadheader based on binocular vision

Positioning of underground mining equipment in coal mines is a primary challenge in the intelligent development of tunnel excavation. Accurate and reliable position measurement plays a crucial role in improving excavation efficiency. However, the stability and accuracy of traditional measurement methods are difficult to guarantee due to factors such as vibration, magnetic interference, and the absence of GPS signals in coal mine environments. To address the problem of unstable measurement of the boom-type roadheader‘s position, this paper proposes a binocular vision-based measurement technique that utilizes four light spots as characteristic points. By processing the target images captured by the binocular camera and combining the minimum bounding rectangle and ellipse fitting of the spot regions, the method successfully obtains the four light spot characteristics. Subsequently, precise matching and stereo distance measurement of the target in the left and right images enable the determination of the boom-type roadheader’s posi-tion information. A positioning platform based on binocular vision is built and experimentally evaluated. The results demonstrate that this method can achieve accurate spot extraction and stable measurement of the machine’s position, even in complex backgrounds such as mixed lighting and low illumination. The planar measurement errors within a distance range of 50 m are all within ±25 mm, which basically meets the required construction precision for tunnel excavation.
Automatic plagiarism detection using fuzzy-logic

Plagiarism occurs when a researcher copies fellow researcher’s work verbatim without acknowledging the author. This work developed an automatic plagiarism detector using fuzzy logic. The system developed was tested with 4 different text documents and evaluated using portability, efficiency, functionality, ease of use and accuracy metrics. Results show that the developed plagiarism detector is very easy to use with high functionality and accuracy as well as moderate efficiency and portability based on user’s assessment. However, future work can increase the data size for model training and consider machine learning techniques to improve accuracy.
INFLUENCE OF SPATIALLY VARIABLE SOIL HYDRAULIC PROPERTIES AND RAINFALL INTENSITY ON THE WATER BUDGET

Monte Carlo simulation is employed to investigate the separate and simultaneous effect of horizontal heterogeneity of soil hydraulic properties and rainfall intensity on various statistical properties of the components of the one-dimensional water budget. One year of micrometeorological time series consisting of half-hourly values, generated with a one-dimensional climate model, constitutes the upper boundary conditions. Both a loamy and a sandy soil type are used. Spatial heterogeneity of rainfall is generated by disaggregation of the spatial mean rainfall. Compared with the annual water balance obtained using the scaled average soil hydraulic properties and spatial mean rainfall intensities, spatial heterogeneity of these induces significant changes in the mean values of the annual balance terms. Spatial variation of saturated water content has a negligible effect on the annual water balance and the dynamics of water storage. It appears that a homogeneous “equivalent” soil exists for the sandy soil but not for the loamy soil.
Advances in oncolytic herpes simplex virus and adenovirus therapy for recurrent glioma

Recurrent glioma treatment is challenging due to molecular heterogeneity and treatment resistance commonly observed in these tumors. Researchers are actively pursuing new therapeutic strategies. Oncolytic viruses have emerged as a promising option. Oncolytic viruses selectively replicate within tumor cells, destroying them and stimulating the immune system for an enhanced anticancer response. Among Oncolytic viruses investigated for recurrent gliomas, oncolytic herpes simplex virus and oncolytic adenovirus show notable potential. Genetic modifications play a crucial role in optimizing their therapeutic efficacy. Different generations of replicative conditioned oncolytic human adenovirus and oncolytic HSV have been developed, incorporating specific modifications to enhance tumor selectivity, replication efficiency, and immune activation. This review article summarizes these genetic modifications, offering insights into the underlying mechanisms of Oncolytic viruses’ therapy. It also aims to identify strategies for further enhancing the therapeutic benefits of Oncolytic viruses. However, it is important to acknowledge that additional research and clinical trials are necessary to establish the safety, efficacy, and optimal utilization of Oncolytic viruses in treating recurrent glioblastoma.
Notes on the Vegetation of the Fast-flowing Streams in Peninsular Thailand, the Tropical Mainland of South East Asia

The species composition and structure of the plant communities along and in the fast-flowing streams on different bedrock types of the tropical mainland South-East Asia were investigated. The study was carried out in Peninsular Thailand, on the Nakhon Si Thammarat mountain range. A total number of 14 plots were placed within the five selected streams where vascular plants species had been collected, starting from November 2010 until July 2012. The estimation of the species was calculated by computer program EstimateS, and in order to distinguish plant communities, a cluster analysis was performed. A total number of 109 species of vascular plants has been recorded, with 59 species in the granite and 60 in the calcareous bedrock streams. There were four types of plant communities that had were categorized; of which three types occurred in the granitic bedrock streams and the other could be seen exclusively in the calcareous bedrock. It is convinced that the types of the bedrock as well as the topographic features of the streams might have major impact on the characterization of the plant communities.
Modified ADMM-Net for Attributed Scattering Center Decomposition of Synthetic Aperture Radar Targets

The attributed scattering center (ASC) can provide a concise physical description of radar targets, which has broad applications for physical-induced radar recognition. However, the ASC extraction is of great difficulty due to its high-dimensional parametric modeling. In this letter, a modified alternative direction method of multipliers (ADMM) unfolded net is proposed for ASC decomposition of synthetic aperture radar (SAR) targets. By transforming the ASC decomposition challenge into a sparse reconstruction problem, the modified ADMM-Net can fast attain ASC parameters and reconstruct a complete signal from sparse observations. Instead of tremendous iterations with fixed hyperparameters as traditional methods, the modified ADMM-Net unrolls several iterations into a few layers with learned hyperparameters. Therefore, the proposed algorithm can realize fast and precise ASC decomposition. Experimental results confirm its effectiveness and superiority.
Early Performance Degradation Detecting Method for PMSM Based on Change in Frequency Domain Features of Three-Phase Stator Current

Detect early performance degradation of permanent magnet synchronous motor (PMSM) is very meaningful for preventive maintenance and avoiding catastrophe failure. By fully taking into account effects of rotor flux harmonics and stator current harmonics on electromagnetic torque under actual working condition, a theoretical expression of electromagnetic torque was developed which was used to indirectly evaluate torque ripple without torsional sensor. A new health index for detecting performance degradation and its computational method were proposed by considering the different frequency domain features of three-phase stator current. Based on this the method to detect early performance degradation by monitoring changes in health index are proposed. Experimental results show that the change in the proposed health index is consistent with change in the torque ripple ratio over time and the relative deviation is no more than 10.0%. The early performance degradation of PMSM can be accurately identified by the proposed method whenever the health index exceeds the threshold.
Recommendations to improve collaborative learning of Latin American computer science students according to dominant learning styles

This paper shows a case study with students of Computer Science related undergraduate programs that involved more than 300 university students from Argentina, Colombia and Mexico. for this purpose, a learning styles model of four dimension (Processing, Perception, Input ang Understanding) was applied by an online. The analysis shows that visual-active-sensing-sequential was the style dominant presented in the students of three countries. The analysis also revealed that there are not significant statistical differences for the four dimensions in students from Colombia and Mexico. however, learning styles of students from Argentina and Mexico show only significant differences in Understanding dimension. In contrast, there are significant statistical differences in Input and Understanding dimensions between students from Colombia and Argentina. finally, this work provides recommendations so teachers and professors in these countries can adapt their practices to the dominant style identified and some suggestions for designers and developers of collaborative educational applications
Assessment of dietary nitrate supplementation: prevalence of use, knowledge, attitudes and beliefs among active Australians

Introduction Use of nitrate as a dietary supplement has gained popularity among athletes and recreationally active individuals to enhance exercise performance. However, the prevalence and patterns of use, and knowledge of nitrate as a dietary supplement are unknown. Methods Individuals (≥16y) completed a 42-item online questionnaire to collect (i) sociodemographic information; (ii) participation in activity and sport; (iii) nitrate supplementation use and reasons; (iv) attitudes and beliefs regarding information sources and the safety of nitrate as a dietary supplement; and (v) knowledge of dietary nitrate supplements. Results In total, 1,404 active adults (66% female) took part in the study. Only about one in 10 respondents (11.9%) reported they had consumed dietary nitrate (“users”) in the past, most commonly as beetroot juice (31.3%). Over two-thirds (69.4%) of users could not correctly identify the correct timing of intake relative to performance time to best improve exercise performance, and most users (82.3%) were unsure of the contraindications to oral consumption of dietary nitrate supplements. Only 3.9% of users experienced adverse effects after ingesting dietary nitrate supplements. Among non-users, the most common reasons respondents selected for not using dietary nitrate supplements were “I do not think I need to” (70.2%) and “I have never thought about it” (69.2%). Discussion There is evidence to support the efficacy of dietary nitrate intake in improving exercise performance. However, findings from this study suggest dietary nitrate is under-utilized. Educational messages that target dietary nitrate consumption should be targeted toward nutritionists, coaches, and exercise physiologists to bridge the gap between knowledge-to-practice.