Miracle-dz/UniFAR-FTUs huggingface dataset:
A knowledge representation system for integration of general and case-specific knowledge

Combining various knowledge types-and reasoning methods-in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented, frame-based knowledge representation system aimed at unifying case-specific and general domain knowledge within a single representation system. It is targeted at the representational needs that have emerged from research in knowledge-intensive case-based reasoning, addressing complex problem solving in open and weak theory domains. Emphasis is put on representational expressiveness, on flexible reasoning and control schemes, and on easy inspection of cases and other knowledge objects. <<ETX>>
Critical analysis of short-term negative bias temperature instability measurements : Explaining the effect of time-zero delay for on-the-fly measurements

Recently several groups have used the reaction-diffusion (R-D) model with H2 diffusion in interpreting negative bias temperature Instability (NBTI) degradation. While the classical “H2 R-D” model can interpret long-term NBTI behavior, it is inconsistent with short-term stress data obtained by recently developed ultrafast measurements and widely used on-the-fly measurements. Moreover, experimental data from various techniques are not consistent with each other. Here, the authors show that the H2 R-D model must be generalized to consistently interpret NBTI at all time scales. The generalized model highlights the previously unappreciated role of time-zero delay in reconciling differences among the so-called delay-free on-the-fly measurements.
Crim1 maintains retinal vascular stability during development by regulating endothelial cell Vegfa autocrine signaling

Angiogenesis defines the process in which new vessels grow from existing vessels. Using the mouse retina as a model system, we show that cysteine-rich motor neuron 1 (Crim1), a type I transmembrane protein, is highly expressed in angiogenic endothelial cells. Conditional deletion of the Crim1 gene in vascular endothelial cells (VECs) causes delayed vessel expansion and reduced vessel density. Based on known Vegfa binding by Crim1 and Crim1 expression in retinal vasculature, where angiogenesis is known to be Vegfa dependent, we tested the hypothesis that Crim1 is involved in the regulation of Vegfa signaling. Consistent with this hypothesis, we showed that VEC-specific conditional compound heterozygotes for Crim1 and Vegfa exhibit a phenotype that is more severe than each single heterozygote and indistinguishable from that of the conditional homozygotes. We further showed that human CRIM1 knockdown in cultured VECs results in diminished phosphorylation of VEGFR2, but only when VECs are required to rely on an autocrine source of VEGFA. The effect of CRIM1 knockdown on reducing VEGFR2 phosphorylation was enhanced when VEGFA was also knocked down. Finally, an anti-VEGFA antibody did not enhance the effect of CRIM1 knockdown in reducing VEGFR2 phosphorylation caused by autocrine signaling, but VEGFR2 phosphorylation was completely suppressed by SU5416, a small-molecule VEGFR2 kinase inhibitor. These data are consistent with a model in which Crim1 enhances the autocrine signaling activity of Vegfa in VECs at least in part via Vegfr2.
Attention & Interruption Management for Systems Design - A Research Overview

Surrounded by more and more information systems that call for our attention and time, attention management has become a prime issue for our economy. Already in 1971 Herbert Simon noted: "What information consumes is rather obvious: it consumes the attention of its recipients. Hence a wealth of information creates a poverty of attention, and a need to allocate that attention efficiently among the overabundance of information sources that might consume it. " And indeed, people today have to relearn to better allocate their attention where it is really needed. System designers need to ensure that machines do not overconsume users' attention, killing productivity and reducing well-being. Management has to make sure that information overload and frequent work interruptions do not channel employees' attention into unproductive work practices. Yet, our dealings with the attention resource are still marked by infancy. Even though scholars have studied attention all through the 20th century, mostly in the field of psychology, few of these insights are yet knowledgeably embraced by IS, marketing or management scholars today. Instead all disciplines have started, in theory as well as in practice, to develop their own angles of analysis of the attention phenomenon. Many scientific works are studying the same things over and over again, but are using divergent terminology. The goal of this working paper has therefore been to create one view of the dispersed interdisciplinary works created around the attention phenomenon. We identified 482 articles on attention published since the 1920s and structured and organized these into one framework. The framework serves as an overview of what has been found on the attention phenomenon across disciplines and it provides one consistent terminology on which scholars may consider to continue their future work in the field. The main theories of human attention are described as an outset for work in this field. 26 key studies on human attention interruption and incurring effects are then described and presented in the context of this terminology and framework (12 HR and psychology, 11 IS studies and 3 marketing experiments).
An adaptive combination of adaptive filters for plant identification

In this paper, we propose to adaptively combine two LMS adaptive transversal filters for plant identification. One of the filters has a high and the other a low adaption step, in order to combine good tracking capabilities under (fast) change conditions with a reduced convergence error along stationary periods. A brief discussion of the characteristics of the combination is included, emphasizing that it allows the possibility of dealing with "intermediate" rate of change situations, in opposition to (implicit or explicit) switching mechanisms. A selected illustrative simulation example shows the effectiveness of this approach. Some complementary lines of research are indicated, from the points of view of improving the algorithm and of extending the fields of application.
Bounds of Neglect Benevolence in Input Timing for Human Interaction with Robotic Swarms

Robotic swarms are distributed systems whose members interact via local control laws to achieve a variety of behaviors, such as flocking. In many practical applications, human operators may need to change the current behavior of a swarm from the goal that the swarm was going towards into a new goal due to dynamic changes in mission objectives. There are two related but distinct capabilities needed to supervise a robotic swarm. The first is comprehension of the swarm's state and the second is prediction of the effects of human inputs on the swarm's behavior. Both of them are very challenging. Prior work in the literature has shown that inserting the human input as soon as possible to divert the swarm from its original goal towards the new goal does not always result in optimal performance (measured by some criterion such as the total time required by the swarm to reach the second goal). This phenomenon has been called Neglect Benevolence, conveying the idea that in many cases it is preferable to neglect the swarm for some time before inserting human input. In this paper, we study how humans can develop an understanding of swarm dynamics so they can predict the effects of the timing of their input on the state and performance of the swarm. We developed the swarm configuration shape-changing Neglect Benevolence Task as a Human Swarm Interaction (HSI) reference task allowing comparison between human and optimal input timing performance in control of swarms. Our results show that humans can learn to approximate optimal timing and that displays which make consensus variables perceptually accessible can enhance performance. Categories and Subject Descriptors I.2. 9 [Robotics]: Operator Interfaces; I.2. 11 [Distributed Artificial Intelligence]: Multiagent Systems; H.1. 2 [User/Machine Systems]: Human Factors; H.5. 2 [User Interfaces]: Benchmarking General Terms Algorithms; Design; Experimentation; Human Factors; Performance; Theory
FASE: functionality-aware security enforcement

Dynamic information-flow enforcement systems automatically protect applications against confidentiality and integrity threats. Unfortunately, existing solutions cause undesirable side effects, if not crashes, due to unconstrained modification of run-time values (e.g. anonymizing sensitive identifiers even when these are used for authentication). To address this problem, we present Functionality-Aware Security Enforcement (FASE), a lightweight approach for ef? ciently securing applications without breaking their functionality. The key idea is to let developers specify functionality constraints and then use a run-time synthesizer to replace sensitive values with constraint-compliant ones. Concretely, FASE consists of: (i) an efficient fine-grained data-flow-tracking engine, (ii) a domain-specific language (DSL) for expressing functionality constraints, (iii) a synthesizer that derives constraint-compliant values at security-sensitive operations, and (iv) an enforcement mechanism that automatically repairs illicit flows at run time. We instantiated FASE to the problem of securing Android applications. Our experiments show that the FASE system is useful in practice: Its average run-time overhead is <12%; it avoids the crashes, side effects, and run-time errors exhibited by existing solutions; and the constraints in the FASE DSL are readable and concise.
OPTIMAL PARTITION FOR SEMIDEFINITE OPTIMIZATION 3 and limiting behavior of the central path in SDO as extensively studied by Goldfarb

The concept of optimal partition was originally introduced for linear optimization and 4 linear complementary problems and subsequently extended to semidefinite optimization. For linear 5 optimization and sufficient linear complementary problems, the optimal partition and a maximally 6 complementary optimal solution can be identified in strongly polynomial time. In this paper, under 7 no assumption on strict complementarity, we formalize the optimal partition concept for semidefinite 8 optimization and present a methodology for an -feasible maximally complementary solution. The 9 magnitude of the eigenvalues belonging to each partition is quantified using a condition number and 10 the degree of singularity of the problem. Using the bounds from the optimal partition, a rounding 11 procedure is applied to obtain an approximate maximally complementary solution from a central 12 solution. 13
Job Crafting among Labor Union Representatives: Its Impact on Work Engagement and Job Satisfaction

Labor Union activity still lacks recognition as an ordinary work activity. However, on the one hand, labor union representatives must deal with many tasks (internal and external) that can sometimes be overwhelming. On the other hand, given its vocational nature and the possibility that it offers for the workers themselves to organize their work, the area of trade unionism can be interesting for the study of job crafting and other phenomena associated with well-being, such as burnout or work engagement. Unfortunately, to date, there are no investigations that address these phenomena, especially job crafting in the labor union environment. Therefore, the objective of the present study is to explore the existing relationships between the job crafting of the labor union representatives and their well-being and health. A sample of 78 participants engaged in labor union activity for an average of 12.62 years completed job satisfaction and work engagement measures. The results indicate that job crafting dimensions predicted participants’ job satisfaction and engagement.
A NONNEGATIVELY CONSTRAINED TRUST REGION ALGORITHM FOR THE RESTORATION OF IMAGES WITH AN UNKNOWN BLUR

We consider a large-scale optimization problem with nonnegativity constraints that arises in an ap- plication of phase diversity to astronomical imaging. We develop a cost function that incorporates information about the statistics of atmospheric turbulence, and we use Tikhonov regularization to induce stability. We introduce an efcient and easily implementable algorithm that intersperses gradient projection iterations with iterations from a well-known, unconstrained Newton/trust region method. Due to the large size of our problem and to the fact that our cost function is not convex, we approximately solve the trust region subproblem via the Steihaug-Toint truncated CG iteration. Iterations from the trust region algorithm are restricted to the inactive variables. We also present a highly effective preconditioner that dramatically speeds up the convergence of our algorithm. A numerical comparison using real data between our method and another standard large-scale, bound constrained optimization algorithm is presented.
The Influence of Corporate Culture on Employee Commitment to the Organization

Corporate culture is a critical factor in enhancing the attainment of organizational goals and objectives. This study examined the impact of four corporate cultural variables namely, involvement, consistency, adaptability, and mission on employee commitment to the organization. Data was collected from 134 employees of 18 selected SMEs in Makurdi metropolis. Data was collected through the use of standardized questionnaires measuring corporate culture and organizational commitment. Analysis of data was done using pearson correlation coefficient, regression analysis, independent T-test and ANOVA. The study found that involvement and adaptability significantly correlated with commitment, while consistency and mission did not correlate with commitment. The implications of the findings were discussed and recommendations made.
LV Barcoding: locality sensitive hashing-based tool for rapid species identification in DNA barcoding

DNA barcoding has emerged as a cost-effective approach for species identification. However, the scarcity of tools used for searching the booming reference database becomes an obstacle, currently with BLAST as the only practical choice. Here, we propose a program - LV Barcoding - based on both the random hyperplane projection-based locality sensitive hashing method and the composition vector-based VIP Barcoding for fast species identification. The performance of LV Barcoding is assessed on the data release of BOLD. LV Barcoding has higher accuracy than BLAST, and is able to match a single query against ~114,000 reference barcodes within 10 seconds on a desktop computer. This program is available at this http URL.
The Effects of Written Emotional Disclosure to Subjective Distress and Mood on Individuals Experiencing Heartbreak

Emotional distress caused by heartbreak can lead one to negative effects such as an increase of physical illness risks and stress-related diseases. Confiding in others about upsetting experiences such as heartbreak can be one of many ways to help one feel better, but not all are comfortable in sharing personal stories and not all heartbreak stories can be discussed easily. This research is conducted to examine the effects of written emotional disclosure (WED) to subjective distress and mood on individuals experiencing heartbreak. 15 male and 28 female undergraduates were randomly assigned to an experimental group to write expressively about their heartbreak, or to a control group to write about control topics. Subjective distress and mood were assessed using the adapted Impact of Event Scale and The Profile of Mood States-Revised. Using independent sample t-test and mixed ANOVA, research findings indicated significant mood improvement from the first to last day of writing session F (1,6 , 65,8)= 10,98, p< 0,001, but not a significant difference in subjective distress and mood between the two groups F(1,41) < 1, r= 0,044. The result suggested several considerations for future research with further explorations of the WED‘s benefits and mechanism, especially on individuals experiencing heartbreak.
A correlation method for handling infrequent data in keystroke biometric systems

Many applications need methods for handling missing or insufficient data. This paper applies a correlation technique to improve the fallback methods previously used to handle the paucity of keystroke data from the infrequently used keys in a keystroke biometric system. The proposed statistical fallback model uses a correlation based fallback table based on the linear correlation between pairs of keys. Two large long-text keystroke databases are used in the study - one to construct the model and the other to evaluate system performance as a function of sample length.
Learning Spiking Neural Controllers for In-Silico Navigation Experiments

Artificial neural networks have been employed in many areas of cognitive systems research, ranging from low-level control tasks to high-level cognition. However, there is only few work on the use of spiking neural networks in these fields. Unlike ar- tificial neurons, spiking neuron models are designed to approx- imate the dynamics of biological neurons. In this work, we developed a virtual environment to explore solving navigation tasks using spiking neural networks. We first used an exper- imental setup inspired by Floreano and Mattiussi (2001) and compared the results to validate the developed environment. An evolutionary approach is used to set the parameters of a spiking neural network controlling a robot to navigate without collisions. In a second set of experiments, we trained the net- work via reinforcement learning which was implemented as a reward-based STDP protocol. Our results validate the correct- ness of the developed virtual environment and demonstrate the usefulness of using such a platform. The virtual environment guarantees the reproducibility of our experiments and can be easily adapted for future research.
Genelleştirilmiş Algılanan Öz-Yeterlilik Ölçeğinin Türkçe Versiyonu

Bu calismanin amaci Genellestirilmis Algilanan Oz-yeterlilik olceginin gecerlilik ve guvenirligini test ederek Turk toplumuna uyarlamaktir. Metodolojik olarak yapilan arastirmanin evrenini 1 Mayis – 1 Agustos 2004 tarihleri arasinda Evren Pasa Saglik ocagina herhangi bir hizmet icin basvuran yetiskinler olusturmustur. Arastirmanin orneklem gurubunu olasiliksiz rastlantisal ornekleme yontemiyle secilen ve arastirmaya katilmayi kabul eden 130 kisi olusturmustur. Arastirmanin verileri Algilanan Genellestirilmis Oz-yeterlilik olcegi ve demografik ozellikleri iceren soru formu kullanilarak toplanmistir. 10 maddeden olusan olcegin maddeleri 1-4 arasinda puan almaktadir. Olcek pozitif maddelerden olusmakta ve degerlendirilmesi toplam puan uzerinden yapilmaktadir. Verilerin istatistiksel degerlendirilmesinde faktor analizi, Cronbach alfa guvenirlik katsayisi ve korelasyon analizleri, Kaiser-Meyer-Olkin orneklem yeterlilik ve Bartlett's Test of Sphericity kullanilmistir. Yapilan analizler sonucunda maddtoplam puan korelasyonun 0.64 – 0.78 arasinda degistigi, olcegin alfa katsayisinin da 0.89 oldugu bulunmustur. Olcek maddelerinin faktor yuklerinin 0.64-0.79 arasinda degistigi ve tek faktorden olustugu saptanmistir. Olcek toplam varyansin % 52’sini acikladigi ve test-retest korelasyonu da 0.83 oldugu belirlenmistir. Elde edilen bulgulara gore, Genellestirilmis Algilanan Oz-yeterlilik Olcegi’nin Turk toplumuna uygulanmasi acisindan gecerli ve guvenilir oldugu soylenebilir.
Associations among Physician Advice, Physical Activity, and Socio-demographic Groups in Older Spanish Adults*

RÉSUMÉ Cette étude a examiné la relation entre l’avis médicale pour s’engager dans ld’activité physique avec, le type de demande d’activité physique et les variables démographiques. Une étude transversale a été élaborécréé. Un questionnaire avec des items sur l’avis médicale, le niveau de demande pour l’activité physique, et les variables démographiques a été complété par une échantillon national de personnes âgées en Espagne (N = 933, M = 74,1, range de 65 à 93), sélectionnées de manière aléatoire à plusieurs étapes. Les personnes âgées actifs actives physiquement ont plus souvent reçu des avis médicale médicaux à la pratiquepour s’engager dans ld’activité physique que les personnes non activefs. Il existe une relation significative entre l’avis médicale et le type de demande (p <.01) et l’âge (p <.05). Cependant, aucune relation n’a été trouvée déterminée entre l’avis médicale d’activité physique et le sexe, la classe sociale, ou le revenu. Les médécins peuvent effectivement favoriserencourager l’activité physique chez les adultes âgés sédentaires par des conseils d’activité physiqueavec un résultat efficace. Donc, les autorités sanitaires devraient promouvoir encourager aux médécins de conseiller à leurs patients plus âgés de s’engager dans l’activité physiqueles conseils médicaux de l’activité physique à leurs patients âgés. ABSTRACT This study examined the relationship between medical advice to engage in physical activity with type of demand required by physical activity and demographic variables. A cross-sectional study was developed, featuring a questionnaire on physicians’ advice, and type of demand. The questionnaire was completed by a probability and nationwide sample of older adults in Spain (n = 933, M = 74.1, range 65–93), randomly selected using multistage sampling. More physically active older adults have, more often than the less active, received physicians’ advice to engage in physical activity. There is a significant relationship between medical advice and type of demand (p < .01) and age (p < .05). However, no relationship was found between physician medical advice and gender, social class, or income. Physicians can effectively promote physical activity among sedentary older adults through appropriate advice. Consequently, health authorities should promote physicians’ advising older patients to pursue physical activity.
Preserving Data Consistency through Neighbor Replication on Grid Daemon

In modern distributed systems, replication receives particular attention for providing high data availability, fault tolerance and enhance the performance of the system. It is an important mechanism because it enables organizations to provide users with access to current data where and when they need it. However, this way of data organization introduces low data consistency and data coherency as more than one replicated copies need to be updated. Expensive synchronization mechanisms are needed to maintain the consistency and integrity of data among replicas when changes are made by the transactions. In this paper, we present Neighbor Replication on Grid (NRG) daemon in order to manage replication and transactions in distributed system. NRG Transaction Model has been implemented in order to preserve the data consistency and availability. Based on experiment and result, it shows that NRG daemon guarantees consistency and obey serializability through the synchronization approach. Key word: Distributed system, replication, consistency, synchronous, transaction, serializability.
Characteristics of Sagnac Interferometer Based on Highly-Nonlinear Photonic Crystal Fiber for WDM C-Band-Shift-Free Optical Phase Conjugator

This is the first report showing the simultaneous bandwidth-shift-free phase conjugation with Q factor larger than 7, of 15×10 Gb/s WDM signal on 11.15-nm bandwidth located from 1539.77 to 1550.92 nm, using the optimal designed Sagnac based optical phase conjugator constructed by the 120-m-long highly-nonlinear photonic crystal fiber.