Miracle-dz/UniFAR-FTUs huggingface dataset:
A Product Line for Business Process Management

Business processes are important assets to demonstrate an organization competitiveness degree. Business process management (BPM) includes activities that enable the modeling, execution and analysis of business processes. Recently, the association of BPM, the service oriented computing and the Internet technology have broadened the scope of BPM from intra-organizational interchange of services to inter-organizational cooperation. This requires better support to the BPM framework including means to facilitate electronic contract establishment. BPM is one of the potential domains to which product line (PL) concepts and techniques can be applied. This paper presents an approach to support e-contract negotiation based on feature modeling. The approach is one of the steps of a broader research scope which aims at designing a framework to enable reuse throughout BPM activities. An example of the application of the proposed approach within the context of a Telecomm company is shown and results are discussed.
Professional and personal lives of psychologists: Spillover, family functioning, and life satisfaction

Two-wave, longitudinal data from a national, web-based survey of doctoral psychologists was used to examine work life, spillover, family, and personal lives. A measure of spillover, Stressors and Enhancers for Psychologists, was also evaluated. Confirmatory factor analysis indicated two negatively correlated dimensions of work spillover: positive spillover termed family enhancers and negative spillover termed family stressors. This measure was significantly related to a widely used, more general measure of positive and negative spillover and demonstrated high temporal stability. Respondents reported a significantly higher incidence of family enhancers than family stressors at both data collection points. Consistent with previous research, the low incidence of family stressors suggested that stresses associated with professional work of psychology do not routinely spillover into professionals’ family lives. Control and emotional exhaustion from work emerged as salient predictors of spillover; specifically, greater control was associated with higher incidence of stressors and lower incidence of enhancers, and greater emotional exhaustion was associated with lower incidence of enhancers. Furthermore, an increase in family enhancers decreased family dysfunction, whereas an increase in family stressors increased family dysfunction and decreased life satisfaction. Contrary to expectations, stressors and enhancers did not mediate the relationship between predictors from work and outcomes in personal life.
Comparative Analysis of Microstrip Patch Antenna with Different Feeding Techniques

single band microstrip patch antenna for wireless communication is presented. In this paper, direct microstrip line feed and coaxial feed techniques are integrated. This antenna offers low profile, narrow bandwidth, high gain, and compact antenna element. In this paper we compare the feeding techniques and we should proved that the coaxial feeding is better impedance matching technique than microstrip line feeding to improve the gain, return loss and bandwidth. The IE3D software, which is a method of moment (MoM) based software used to find output parameter results.
The Development of Three Long Universal Nuclear Protein-Coding Locus Markers and Their Application to Osteichthyan Phylogenetics with Nested PCR

Background Universal nuclear protein-coding locus (NPCL) markers that are applicable across diverse taxa and show good phylogenetic discrimination have broad applications in molecular phylogenetic studies. For example, RAG1, a representative NPCL marker, has been successfully used to make phylogenetic inferences within all major osteichthyan groups. However, such markers with broad working range and high phylogenetic performance are still scarce. It is necessary to develop more universal NPCL markers comparable to RAG1 for osteichthyan phylogenetics. Methodology/Principal Findings We developed three long universal NPCL markers (>1.6 kb each) based on single-copy nuclear genes (KIAA1239, SACS and TTN) that possess large exons and exhibit the appropriate evolutionary rates. We then compared their phylogenetic utilities with that of the reference marker RAG1 in 47 jawed vertebrate species. In comparison with RAG1, each of the three long universal markers yielded similar topologies and branch supports, all in congruence with the currently accepted osteichthyan phylogeny. To compare their phylogenetic performance visually, we also estimated the phylogenetic informativeness (PI) profile for each of the four long universal NPCL markers. The PI curves indicated that SACS performed best over the whole timescale, while RAG1, KIAA1239 and TTN exhibited similar phylogenetic performances. In addition, we compared the success of nested PCR and standard PCR when amplifying NPCL marker fragments. The amplification success rate and efficiency of the nested PCR were overwhelmingly higher than those of standard PCR. Conclusions/Significance Our work clearly demonstrates the superiority of nested PCR over the conventional PCR in phylogenetic studies and develops three long universal NPCL markers (KIAA1239, SACS and TTN) with the nested PCR strategy. The three markers exhibit high phylogenetic utilities in osteichthyan phylogenetics and can be widely used as pilot genes for phylogenetic questions of osteichthyans at different taxonomic levels.
Violent victimization and hooking up among strangers and acquaintances on an urban campus: an exploratory study

College students anticipating a competitive labor market and arrested economic independence increasingly elect to delay romantic commitment and reproduction. Casual sexual relationships provide an alternative to the commitment required in traditional romantic relationships. Although committed and casual sexual relationships each have their benefits, both likewise have respective risks. The present exploratory study adds to the growing literature on ‘hookups’ among strangers and acquaintances by examining experiences with (a) hookups, (b) sexual violence, and (c) relationship violence in a nontraditional urban university sample. Findings from logit regression models indicate that gender, race, ethnicity, employment, relationship status, housing, class standing, psychological relationship abuse, and sexual assault by force significantly vary between students who report hooking up with strangers and acquaintances and those who do not. Gender-specific logit models find unique patterns of variables associated with hooking up. Findings are discussed with consideration of policy implications and the direction of future research.
Long-term antithrombotic treatment in intracranial hemorrhage survivors with atrial fibrillation

Objective: To perform a systematic review and meta-analysis of studies reporting recurrent intracranial hemorrhage (ICH) and ischemic stroke (IS) in ICH survivors with atrial fibrillation (AF) during long-term follow-up. Methods: A comprehensive literature search including MEDLINE, EMBASE, Cochrane library, clinical trials registry was performed following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) statement. We considered studies capturing outcome events (ICH recurrence and IS) for ≥3 months and treatment exposure to vitamin K antagonists (VKAs), antiplatelet agents (APAs), or no antithrombotic medication (no-ATM). Corresponding authors provided aggregate data for IS and ICH recurrence rate between 6 weeks after the event and 1 year of follow-up for each treatment exposure. Meta-analyses of pooled rate ratios (RRs) were conducted with the inverse variance method. Results: Seventeen articles met inclusion criteria. Seven observational studies enrolling 2,452 patients were included in the meta-analysis. Pooled RR estimates for IS were lower for VKAs compared to APAs (RR = 0.45, 95% confidence interval [CI] 0.27–0.74, p = 0.002) and no-ATM (RR = 0.47, 95% CI 0.29–0.77, p = 0.002). Pooled RR estimates for ICH recurrence were not significantly increased across treatment groups (VKA vs APA: RR = 1.34, 95% CI 0.79–2.30, p = 0.28; VKA vs no-ATM: RR = 0.93, 95% CI 0.45–1.90, p = 0.84). Conclusions: In observational studies, anticoagulation with VKA is associated with a lower rate of IS than APA or no-ATM without increasing ICH recurrence significantly. A randomized controlled trial is needed to determine the net clinical benefit of anticoagulation in ICH survivors with AF.
Happiness, Pleasure, and Judgment: The Contextual Theory and Its Applications

Contents: Preface. Introduction. Part I: A Psychological Approach to Happiness. On Defining Happiness: The Balance of Pleasure Over Pain. Pleasure as an Internal Judgment. The Context for Judgment. Part II: Contextual Theory and Research. Life as an Even Balance Between Pleasure and Pain. Experimental Research on Contextual Effects. The Range-Frequency Compromise in Judgment. The Contextual Theory of Happiness. Part III: Applying the Theory. The Happiness Game: Simplest Version. Optimistic Versions of the Happiness Game. Real-World Strategies for Happiness. The Imagination as the Theater for Happiness. Social Planning: Utopia Destroyed. Thoreau: A Message for the Very Strong.
The position- and lymphatic lumen-controlled tissue chambers to study live lymphatic vessels and surrounding tissues ex vivo.

BACKGROUND Until now, there has been no tool available to provide lymphatic researchers the ability to perform experiments in tissue explants containing lymphatic vessels under tissue position- and lymphatic lumen-controlled conditions. METHODS AND RESULTS In this article we provide technical details and description of the method of using the newly developed and implemented the position- and lymphatic lumen-controlled tissue chambers to study live lymphatic vessels and surrounding tissues ex vivo. In this study, we, for the first time, performed detailed comparative analysis of the contractile and pumping activity of rat mesenteric lymphatic vessels (MLVs) situated within tissue explants mounted in new tissue chambers and isolated, cannulated, and pressurized rat MLVs maintained in isolated vessel setups. We found no significant differences of the effects of both transmural pressure- and wall shear stress sensitivities of MLVs in tissue chambers and isolated MLVs. CONCLUSIONS We conclude that this new experimental tool, a position- and lymphatic lumen-controlled tissue chamber, allows precise investigation of lymphatic function of MLVs interacting with elements of the tissue microenvironment. This method provides an important new set of experimental tools to investigate lymphatic function.
A Framework for Cost based Optimization of Hybrid CPU / GPU Query Plans in Database Systems

Current database research identified the use of computational power of GPUs as a way to increase the performance of database systems. As GPU algorithms are not necessarily faster than their CPU counterparts, it is important to use the GPU only if it will be beneficial for query processing. In a general database context, only few research projects address hybrid query processing, i.e., using a mix of CPUand GPU-based processing to achieve optimal performance. In this paper, we extend our CPU/GPU scheduling framework to support hybrid query processing in database systems. We point out fundamental problems and propose an algorithm to create a hybrid query plan for a query using our scheduling framework. Additionally, we provide cost metrics, which consider the possible overlapping of data transfers and computation on the GPU. Furthermore, we present algorithms to create hybrid query plans for query sequences and query trees.
Personalized Interactive Storyboarding Utilizing Content Based Multimedia Retrieval

Abstract An explosion of digital multimedia technologies that permit quick and easy uploading of any multimedia file to the web, coupled with the rapid advancement of hardware and software have resulted in petabytes of multimedia data being available on the internet. In this paper, we provide a framework that rapidly integrates these data for personalized storyboarding utilizing Content Based Multimedia Retrieval (CBMR) techniques. A storyboard is a narrative of audio, text, video and images of a particular topic that are linked systematically. People have different abilities to understand a story/topic according to their learning styles coupled with experience, age, knowledge, gender etc. Personalized storyboard multimedia learning help the user dictate the learning process in a creative way through multiple means of representation, expression and engagement. This process involves active learning, both behavioral as well as cognitive. Learning is constructive, and information learned is remembered at a deeper level. The use of multimedia promotes meaningful learning that can be transferred or generalized to other situations. In this paper, various learning styles are discussed. The goal of the research was to design and implement a novel approach that integrates human reasoning with computerized algorithms for multimedia storyboarding for learning. By systematically coupling human reasoning and computerized process, we attempt to minimize the barrier between the human's cognitive model of what they are trying to storyboard and the computers understanding of the user's task. We present our model which utilizes a fusion of content based image retrieval, content based video retrieval, content based audio retrieval, and text based retrieval techniques with human computer interaction based relevance feedback to enhance the learning process through personalized multimedia storyboarding. To illustrate the advantages of this model in a greater detail, we showcased the concepts of this model utilizing the game of cricket. We summarize the paper by discussing the future in this area.
Many-to-many matching games for proactive social-caching in wireless small cell networks

In this paper, we address the caching problem in small cell networks from a game theoretic point of view. In particular, we formulate the caching problem as a many-to-many matching game between small base stations and service providers' servers. The servers store a set of videos and aim to cache these videos at the small base stations in order to reduce the experienced delay by the end-users. On the other hand, small base stations cache the videos according to their local popularity, so as to reduce the load on the backhaul links. We propose a new matching algorithm for the many-to-many problem and prove that it reaches a pairwise stable outcome. Simulation results show that the number of satisfied requests by the small base stations in the proposed caching algorithm can reach up to three times the satisfaction of a random caching policy. Moreover, the expected download time of all the videos can be reduced significantly.
Cryptographic Suites for IPsec

The IPsec, Internet Key Exchange (IKE), and IKEv2 protocols rely on security algorithms to provide privacy and authentication between the initiator and responder. There are many such algorithms available, and two IPsec systems cannot interoperate unless they are using the same algorithms. This document specifies optional suites of algorithms and attributes that can be used to simplify the administration of IPsec when used in manual keying mode, with IKEv1 or with IKEv2. [STANDARDS- TRACK]
Practical Private Range Search Revisited

We consider a data owner that outsources its dataset to an untrusted server. The owner wishes to enable the server to answer range queries on a single attribute, without compromising the privacy of the data and the queries. There are several schemes on "practical" private range search (mainly in Databases venues) that attempt to strike a trade-off between efficiency and security. Nevertheless, these methods either lack provable security guarantees, or permit unacceptable privacy leakages. In this paper, we take an interdisciplinary approach, which combines the rigor of Security formulations and proofs with efficient Data Management techniques. We construct a wide set of novel schemes with realistic security/performance trade-offs, adopting the notion of Searchable Symmetric Encryption (SSE) primarily proposed for keyword search. We reduce range search to multi-keyword search using range covering techniques with tree-like indexes. We demonstrate that, given any secure SSE scheme, the challenge boils down to (i) formulating leakages that arise from the index structure, and (ii) minimizing false positives incurred by some schemes under heavy data skew. We analytically detail the superiority of our proposals over prior work and experimentally confirm their practicality.
Efficient Nonlinear Detector of Binary Signals in Rayleigh Fading and Impulsive Interference

The Middleton Class-A (MCA) model is one of the most widely applied models for narrow-band impulsive interference superimposed to additive white Gaussian noise (AWGN). The MCA noise process consists of an infinite number of Gaussian-distributed noise states with different variances. As a result, the optimum detector has irreducible form. Here, our analysis is based on a two-state model, where we further approximate it to a single noise state. Therefore, a log-function reduces the likelihood ratio test (LRT) to a closed-form expression. Since the low-pass equivalent of the noise process can be expressed by in-phase and quadrature (IQ) components. We derive the nonlinear decision rules when the IQ components of noise are independent and identically distributed (i.i.d.). Furthermore, for jointly distributed IQ noise components, we show that the conventional coherent detector over a fading channel with Gaussian noise is still optimum for impulse noise.
Automatic protocol feature word construction based on machine learning

Automatic protocol reverse engineering for application protocol is becoming more and more important for many applications such as application protocol analyzer, penetration testing, intrusion prevention and detection. Unfortunately, many techniques for extracting the protocol message format specifications of unknown applications often have some limitations for few priori information or the time-consuming problem. Protocol feature words are byte subsequences within traffic payload that could help distinguish application protocols. In this paper, a new approach is proposed for extracting the protocol message format specifications of unknown applications which is based on the Latent Dirichlet Allocation (LDA) model and Huffman Tree Support Vector Machine (HT-SVM). Firstly, the key words are extracted by utilizing the LDA model, which is a kind of machine learning in document library to extract the theme structure named topic. Secondly, the HT-SVM method is applied to constructing the feature words based on the above process. The proposed approach is implemented and evaluated to infer message format specifications of SMTP binary protocol. Experimental results show that the approach accurately parses and infers SMTP protocol with highly recall rate.
Distributed Coordination Area Formation in Coordinated Multi-Point Transmission

We present a distributed Coordination Area (CA) formation method for defining cooperating cells for Coordinated Multi-Point (CoMP) transmissions. We divide the available system resources into multiple resource shifts and assume independent CA realizations on different resource shifts. The ulti-shift CA formation method is self-organized based on the interference situations and the traffic profile of users. The assumptions are generic for direct application to realistic networks. According to our results, the proposed multi-shift CA formation method can effectively produce multiple CAs on all resource shifts to benefit CoMP transmission.
Targeting of the Plant Vacuolar Sorting Receptor BP80 Is Dependent on Multiple Sorting Signals in the Cytosolic Tail[W]

Although signals for vacuolar sorting of soluble proteins are well described, we have yet to learn how the plant vacuolar sorting receptor BP80 reaches its correct destination and recycles. To shed light on receptor targeting, we used an in vivo competition assay in which a truncated receptor (green fluorescent protein-BP80) specifically competes with sorting machinery and causes hypersecretion of BP80-ligands from tobacco (Nicotiana tabacum) leaf protoplasts. We show that both the transmembrane domain and the cytosolic tail of BP80 contain information necessary for efficient progress to the prevacuolar compartment (PVC). Furthermore, the tail must be exposed on the correct membrane surface to compete with sorting machinery. Mutational analysis of conserved residues revealed that multiple sequence motifs are necessary for competition, one of which is a typical Tyr-based motif (YXXΦ). Substitution of Tyr-612 for Ala causes partial retention in the Golgi apparatus, mistargeting to the plasma membrane (PM), and slower progress to the PVC. A role in Golgi-to-PVC transport was confirmed by generating the corresponding mutation on full-length BP80. The mutant receptor was partially mistargeted to the PM and induced the secretion of a coexpressed BP80-ligand. Further mutants indicate that the cytosolic tail is likely to contain other information besides the YXXΦ motif, possibly for endoplasmic reticulum export, endocytosis from the PM, and PVC-to-Golgi recycling.
Comparison between performances of three types of manual wheelchairs often distributed in low-resource settings

Abstract Purpose: This study was conducted to compare the performance of three types of chairs in a low-resource setting. The larger goal was to provide information which will enable more effective use of limited funds by wheelchair manufacturers and suppliers in low-resource settings. Methods: The Motivation Rough Terrain and Whirlwind Rough Rider were compared in six skills tests which participants completed in one wheelchair type and then a day later in the other. A hospital-style folding transport wheelchair was also included in one test. For all skills, participants rated the ease or difficulty on a visual analogue scale. For all tracks, distance traveled and the physiological cost index were recorded. Data were analyzed using repeated measures analysis of variance. Results: The Motivation wheelchair outperformed Whirlwind wheelchair on rough and smooth tracks, and in some metrics on the tight spaces track. Motivation and Whirlwind wheelchairs significantly outperformed the hospital transport wheelchair in all metrics on the rough track skills test. Conclusion: This comparative study provides data that are valuable for manufacturers and for those who provide wheelchairs to users. The comparison with the hospital-style transport chair confirms the cost to users of inappropriate wheelchair provision. Implications for Rehabilitation For those with compromised lower limb function, wheelchairs are essential to enable full participation and improved quality of life. Therefore, provision of wheelchairs which effectively enable mobility in the cultures and environments in which people with disabilities live is crucial. This includes low-resource settings where the need for appropriate seating is especially urgent. A repeated measures study to measure wheelchair performances in everyday skills in the setting where wheelchairs are used gives information on the quality of mobility provided by those wheelchairs. This study highlights differences in the performance of three types of wheelchairs often distributed in low-resource settings. This information can improve mobility for wheelchair users in those settings by enabling wheelchair manufacturers to optimize wheelchair design and providers to optimize the use of limited funds