Miracle-dz/UniFAR-FTUs huggingface dataset:
Cost-Optimal Analysis of the Photovoltaic-Wind Power Generation System and the Battery Energy Stores System in Stand-alone Microgrid

This paper focuses on the cost-optimal analysis of the stand-alone microgrid’s photovoltaic, wind turbine, and battery energy stores system. The WOA technique was applied for cost minimization on the microgrid system. The load demand of the educational institute was used as a case study. The simulation results show the NPVCtotal of the base system and the optimal system of 1,723,759$ and 1,327,225$, respectively. The NPVCtotal reduces by 23%. Therefore, the battery size optimization can reduce the NPV total cost of a stand-alone microgrid system. In this microgrid system, selecting a battery size that is too small will lead to more frequent battery replacements, resulting in higher battery replacement costs. In the microgrid system, the BESS makes an essential contribution to economics. Balancing the distributed power generation and battery energy storage systems (BESS) to achieve optimal sizing is pivotal for effective system installation planning.
Research and Implementation of the Positioning System for Coal Mining Staff Based on Random Forests

Considering the problem that accuracy, stability, real-time performance and resources occupation of the positioning system in actual production are difficult to be met together, this paper proposes a positioning algorithm for coal mining staff based on random forests, and also implements the algorithm in the smart phone. By simulating the production environment, we get a quantity of test data and verify the proposed model in this paper. The results shows that the accuracy of the model reaches around 90%, it also has good real-time, high stability and occupies few resources, thus the system can fulfill the demands of actual production environment.
Semantic Documents - Example for CCTS-Based and RDFa-Annotated XHTML Documents

If heterogeneous information systems store documents to the ontology-based document repository, they have to provide ontology-based documents (i.e. semantic documents). In this paper, we present how ontology-based documents (XHTML+RDFa) can be provided. The RDFa markup is used for embedding exchangeable information in the RDF format within the XHTML documents. Before we can provide ontology-based documents, we have to specify the data model. In this paper, we introduce how we modeled CCTS-based data and how we formed the RDF repository which supports the CCTS-based data. Our example is from the National Project for IT in Social Services (Tikesos) which main aim was to specify the ontology-based national archive to improve the interoperability of client data in diverse information systems. Keywords—data model, semantic document, Core Component Technical Specification (CCTS), Resource Description Framework (RDF), eXtensible HyperText Markup Language (XHTML), Resource Description Framework – in – attributes (RDFa)
American options in regime-switching Lévy models with non-semibounded stochastic interest rates

A general numerical method for pricing American options in regime-switching jump-diffusion models of stock dynamics with stochastic interest rates and/or volatility is developed. Time derivative and infinitesimal generator of the process for factors that determine the dynamics of the interest rate and/or volatility are discretized. The result is a sequence of embedded perpetual options in a Markov-modulated Levy model. Options in this sequence are solved using an iteration method based on the Wiener-Hopf factorization. Contrary to the earlier version of the method, the interest rate may assume non-positive values. As applications, explicit algorithms for Vasicek and Black's models with jumps are derived. Numerical examples show that the option prices in these two models are very close.
Not for everyone: intra-organisational divides and the stratification of access to work–life policies

ABSTRACT Prior research documented a number of factors pertaining to employees or to organisational cultures that can prevent employees from accessing employer-driven work–life policies (WLP). Our study focuses on factors originating in the jobs themselves. We conducted 98 in-depth employee interviews in two multinational companies based in Europe and led feedback sessions with human resources executives. Three mechanisms explained the observed stratification of access to WLP across jobs: (1) the intra-organisational digital divide prevented ‘less digital’ employees from collecting information about WLP on the intranet and thus impaired awareness of the policies; (2) the divide in worksite size prevented employees on smaller worksites from accessing childcare centres, sports or health facilities and (3) the divide in job types restricted access to WLP for specific occupations. The stratification of access to WLP was not strategically driven by human resources; rather the divides were largely unintentional. Our study uncovers inequalities of access originating in the jobs themselves and provides a theoretical integration of the various sets of factors that may promote or hinder employee awareness of WLP. Our findings suggest that organisations should strive to identify these inequalities and to provide ways to cope for these, for instance by offering other forms of support.
The Role of Local Populations within a Landscape Context: Defining and Classifying Sources and Sinks

The interaction of local populations has been the focus of an increasing number of studies in the past 30 years. The study of source‐sink dynamics has especially generated much interest. Many of the criteria used to distinguish sources and sinks incorporate the process of apparent survival (i.e., the combined probability of true survival and site fidelity) but not emigration. These criteria implicitly treat emigration as mortality, thus biasing the classification of sources and sinks in a manner that could lead to flawed habitat management. Some of the same criteria require rather restrictive assumptions about population equilibrium that, when violated, can also generate misleading inference. Here, we expand on a criterion (denoted “contribution” or \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage[OT2,OT1]{fontenc} \newcommand\cyr{ \renewcommand\rmdefault{wncyr} \renewcommand\sfdefault{wncyss} \renewcommand\encodingdefault{OT2} \normalfont \selectfont} \DeclareTextFontCommand{\textcyr}{\cyr} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} \landscape $$C^{r}$$ \end{document} ) that incorporates successful emigration in differentiating sources and sinks and that makes no restrictive assumptions about dispersal or equilibrium processes in populations of interest. The metric \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage[OT2,OT1]{fontenc} \newcommand\cyr{ \renewcommand\rmdefault{wncyr} \renewcommand\sfdefault{wncyss} \renewcommand\encodingdefault{OT2} \normalfont \selectfont} \DeclareTextFontCommand{\textcyr}{\cyr} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} \landscape $$C^{r}$$ \end{document} is rooted in the theory of matrix population models, yet it also contains clearly specified parameters that have been estimated in previous empirical research. We suggest that estimates of emigration are important for delineating sources and sinks and, more generally, for evaluating how local populations interact to generate overall system dynamics. This suggestion has direct implications for issues such as species conservation and habitat management.
Activation of cortical 5-HT3 receptor-expressing interneurons induces NO mediated vasodilatations and NPY mediated vasoconstrictions

GABAergic interneurons are local integrators of cortical activity that have been reported to be involved in the control of cerebral blood flow (CBF) through their ability to produce vasoactive molecules and their rich innervation of neighboring blood vessels. They form a highly diverse population among which the serotonin 5-hydroxytryptamine 3A receptor (5-HT3A)-expressing interneurons share a common developmental origin, in addition to the responsiveness to serotonergic ascending pathway. We have recently shown that these neurons regroup two distinct subpopulations within the somatosensory cortex: Neuropeptide Y (NPY)-expressing interneurons, displaying morphological properties similar to those of neurogliaform cells and Vasoactive Intestinal Peptide (VIP)-expressing bipolar/bitufted interneurons. The aim of the present study was to determine the role of these neuronal populations in the control of vascular tone by monitoring blood vessels diameter changes, using infrared videomicroscopy in mouse neocortical slices. Bath applications of 1-(3-Chlorophenyl)biguanide hydrochloride (mCPBG), a 5-HT3R agonist, induced both constrictions (30%) and dilations (70%) of penetrating arterioles within supragranular layers. All vasoconstrictions were abolished in the presence of the NPY receptor antagonist (BIBP 3226), suggesting that they were elicited by NPY release. Vasodilations persisted in the presence of the VIP receptor antagonist VPAC1 (PG-97-269), whereas they were blocked in the presence of the neuronal Nitric Oxide (NO) Synthase (nNOS) inhibitor, L-NNA. Altogether, these results strongly suggest that activation of neocortical 5-HT3A-expressing interneurons by serotoninergic input could induces NO mediated vasodilatations and NPY mediated vasoconstrictions.
A Model for Epidemical DTN Considering Effects of Path Loss and Interference

This letter presents a new analytical model for the mechanism of message forwarding in a delay tolerant network with epidemic routing, namely, susceptible-infected-path-loss (SIPL). The model considers the effects of path loss and interference on the network performance. Simulation results are compared to the SIPL predictions. A good fit is provided when the network presents low node density.
Synthesis and anti-nociceptive and anti-inflammatory effects of gaultherin and its analogs

The synthesis of gaultherin (1) and its analogs was carried out to provide 11 glycosides under phase-transfer catalytic conditions. The activities of all synthesized compounds were evaluated by nitric oxide production inhibitory assay in vitro. Methyl 2-O-(4-O-β-d-galactopyranosyl)-β-d-glucopyranosylbenzoate (5f) showed significantly anti-nociceptive and anti-inflammatory effects by the evaluation in vivo. Structure–activity relationships within these compounds were discussed.
Execution of compound multi‐kernel OpenCL computations in multi‐CPU/multi‐GPU environments

Current computational systems are heterogeneous by nature, featuring a combination of CPUs and graphics processing units (GPUs). As the latter are becoming an established platform for high‐performance computing, the focus is shifting towards the seamless programming of these hybrid systems as a whole. The distinct nature of the architectural and execution models in place raises several challenges, as the best hardware configuration is behavior and workload dependent. In this paper, we address the execution of compound, multi‐kernel, open computing language computations in multi‐CPU/multi‐GPU environments. We address how these computations may be efficiently scheduled onto the target hardware, and how the system may adapt itself to changes in the workload to process and to fluctuations in the CPU's load. An experimental evaluation attests the performance gains obtained by the conjoined use of the CPU and GPU devices, when compared with GPU‐only executions, and also by the use of data‐locality optimizations in CPU environments. Copyright © 2015 John Wiley & Sons, Ltd.
Demystification of Generative Artificial Intelligence (AI) Literacy, Algorithmic Thinking, Cognitive Divide, Pedagogical knowledge: A Comprehensive Model

This study aims to demystify Generative AI literacy and algorithmic thinking while addressing higher education's cognitive divide and pedagogical knowledge. A survey-based approach utilizing Structural Equation Modeling (SEM) was employed. A sample of 340 participants was drawn from various higher education institutions, focusing on university students. The study applies a convenient sampling technique to gather responses. The novelty of this research lies in its comprehensive examination of AI concepts in higher education, targeting students as a pivotal demographic for fostering AI literacy and bridging the cognitive divide. This study yields insights into the effectiveness of pedagogical methods and their impact on AI literacy and algorithmic thinking among university students, ultimately contributing to a more informed and AI-competent future workforce.
Debajo del burka. Discursos visuales sobre las múltiples formas de violencia ejercidas sobre las mujeres afganas

En Afganistan las personas del sexo femenino son diana de multiples formas de violencia, en los ambitos privado y publico. En este articulo se examinan, mediante discursos visuales, algunas de las formas de agresion de que son objeto mujeres y ninas en aquel territorio. Los reportajes fotograficos de cinco profesionales constituyen la base documental de este analisis para aproximar una realidad tan dramatica como desconocida. Las instantaneas capturadas por las camaras de Bronstein, Mattews, McCurry, Sanchez y Wahidy proyectan, desde distintas gramaticas, los problemas de inequidad que soportan las afganas en todo su ciclo vital. Esta aportacion empirica apuesta por la observacion virtual de representaciones visuales como una estrategia analitica que puede ser incorporada a nuestras practicas investigadoras, enriqueciendo los procesos de analisis de la realidad social y politica en la sociedad internacional.
Semi-Automatic Construction of a Textual Entailment Dataset: Selecting Candidates with Vector Space Models

Recognizing Textual Entailment (RTE) is an NLP task aimed at detecting whether the meaning of a given piece of text entails the meaning of another one. Despite its relevance to many NLP areas, it has been scarcely explored in Portuguese, mainly due to the lack of labeled data. A dataset for RTE must contain both positive and negative examples of entailment, and neither should be obvious: negative examples shouldn’t be completely unrelated texts and positive examples shouldn’t be too similar. We report here an ongoing work to address this difﬁculty using Vector Space Models (VSMs) to select candidate pairs from news clusters. We compare three different VSMs, and show that Latent Dirichlet Allocation achieves promising results, yielding both good positive and negative examples.
A Temporal Relational Algebra as a Basis for Temporal Relational Completeness

We define a temporal algebra that is applicable to anytemporal relational data model supporting discrete linearbounded time. This algebra has the five basicrelational algebra operators extended to the temporaldomain and an operator of linear recursion. Weshow that this algebra has the expressive power of asafe temporal calculus based on the predicate temporallogic with the until and since temporal operators.In [CrC189], a historical calculus was proposed as abasis for historical relational completeness. We proposethe temporal algebra defined in this paper andthe equivalent temporal calculus as an alternative basisfor temporal relational completeness.
Temporal Fusion Transformer with Non-Intrusive Attention for Data-Driven Electricity Load Forecasting

Accurate and timely load prediction can provide reference for grid operation control, facilitating energy saving, emission reduction and fine management of grid dispatch. In this paper, we propose a data-driven electric load forecasting method that incorporates Transformer and Auto Regression (AR), where the Transformer model is responsible for predicting the nonlinear high-frequency components of load data, while the AR model predicts the linear low-frequency components, thus jointly improving the forecasting results. The encoder in the classical Transformer model is improved by adopting a hierarchical design. Through the way of “layer-by-layer distillation and multi-layer fusion”, the improved encoder can extract the cross-periodic features from the temporal data in a more focused manner. Furthermore, this paper proposes a non-intrusive attention mechanism, which allows the model to incorporate auxiliary information such as weather and holiday in a non-intrusive way. Under the premise of ensuring the relative independence of the primary information representation space corresponding to the load, using this attention mechanism, more reliable temporal dependence can be uncovered with the help of auxiliary information. The experimental results on real transformer bus load data show that the proposed method outperforms the existing methods in both Mean Square Error and Mean Absolute Error, which verifies the effectiveness of the proposed method.
Young children's responses to cross-examination style questioning: the effects of delay and subsequent questioning

In a single experiment with 5- and 6-year-old children, we examined whether the changes that children make in response to cross-examination style questioning vary as a function of delay and/or persist in subsequent interviews. Children visited the local police station; 1–3 days later they were interviewed in a direct examination format. Either 1–3 days or 8 months later, children were interviewed in a cross-examination format designed to persuade them to change their original responses. One week following the cross-examination interview, the direct examination questions were repeated. Relative to direct examination scores, the accuracy of children's reports decreased significantly during cross-examination, irrespective of delay. When children were interviewed again 1 week after cross-examination, however, their responses (and their accuracy levels) were very similar to those observed during the direct examination interview. That is, during cross-examination, children made changes to their earlier testimony even when their memory for the event remained intact.
Hamilton Circuits in the Directed Butterfly Network

In this paper, we prove that the wrapped Butterfly digraph $\vec{{\cal WBF}}(d,n)$ of degree $d$ and dimension $n$ contains at least $d-1$ arc-disjoint Hamilton circuits, answering a conjecture of D. Barth. We also conjecture that $\vec{{\cal WBF}}(d,n)$ can be decomposed into $d$ Hamilton circuits, except for $d=2$ $n=2$, $d=2$ $n=3$ and $d=3$ $n=2$ . We show that it suffices to prove the conjecture for $d$ prime and $n=3D2$. Then, we give such a Hamilton decomposition for all primes less than 12000 by a clever computer search, and so, as corollary, we have a Hamilton decomposition of $\vec{{\cal WBF}}(d,n)$ for any $d$ divisible by a number $q$, with $4 \leq q \leq 12000$.
Partial model checking

A major obstacle in applying finite-state model checking to the verification of large systems is the combinatorial explosion of the state space arising when many loosely coupled parallel processes are considered. The problem also known as the state-explosion problem has been attacked from various sides. This paper presents a new approach based on partial model checking where parts of the concurrent system are gradually removed while transforming the specification accordingly. When the intermediate specifications constructed in this manner can be kept small, the state-explosion problem is avoided. Experimental results with a prototype implemented in Standard ML, shows that for Milner's Scheduler-an often used benchmark-this approach improves on the published results on binary decision diagrams and is comparable to results obtained using generalized decision diagrams. Specifications are expressed in a variant of the modal /spl mu/-calculus.
Wheelchair Control Based on Steady-State Somatosensory Evoked Potentials

For the last decade, a brain-computer interface (BCI) has gained great interests in the fields and successfully applied to various applications. In this work, we focus on a steady-state somatosensory evoked potential (SSSEP) based brain-controlled wheelchair that allows people with mobility impairment to improve activities of daily living. In our system, a user concentrated on three vibration stimuli (attached on left hand, right-hand, and foot) selectively for control wheelchair. The three stimuli were associated with three commands of wheelchair: turn-left, turn-right, and move-forward. Four healthy subjects participated in wheelchair control experiments to validate performance. As a results, all subjects controlled wheelchair successfully from the start to goal line without any collision.
Performance Analysis for Glaucoma Diagnosis Using Transfer Learning on the PAPILA Dataset

Glaucoma, a serious vision illness that can result in irreversible vision loss, has a huge influence on the health of people all over the world because it causes damage to the optic nerve. The purpose of this research is to improve the accuracy and efficiency of screenings and lessen the impact of the condition on a global scale. Convolutional Neural Networks (CNNs) are utilized in this investigation to improve early glaucoma identification. Several different CNN architectures and data pre-processing methods were investigated using the PAPILA dataset. These methods and architectures included VGG19, VGG16, InceptionV3, Xception, EfficientNetB0, ResNet50, and DenseNet121. It is recommended to use VGG16 for generic detection that does not require any specific pre-processing. According to the study’s findings, EfficientNetB0 attained a remarkable area under the curve (AUC) of 78.29% (0.78), highlighting its potential utility in increasing glaucoma detection.
FPGA-based decoupled double synchronous reference frame PLL for active power filters

Decoupled double synchronous reference frame Phase-locked loop (DDSRF-PLL) is able to detect the phase angle of positive sequence when the three-phase voltages are unbalanced and distorted. In this paper, it is applied to the compensation current detection algorithm of shunt active power filter (SAPF) to replace a conventional PLL. Simulation results indicate that the compensation performance could be improved under voltage unbalance and distortion. Besides, DDSRF-PLL implemented on one field-programmable gate array (FPGA) chip is proposed. When compared with widely used digital signal processors (DSPs) in power control, FPGA the proposed structure has the advantages of parallel processing and rich user-defined I/O ports so that it exhibits processing efficiency and flexibility in application.