Miracle-dz/UniFAR-FTUs huggingface dataset:
Symbolic Characterisation of Commonalities in Testing Software Product Lines

Validation and verification of Software Product Lines is particularly challenging due to the complex structure and interaction of commonalities and variabilities among products. There are several approaches to specify the structure of such commonalities and variabilities, such as the delta-oriented approach. Building upon such a structure, we propose an approach to avoid redundant analysis in Software Product Lines by extending them to semantic behavioural changes. To this end, we propose to use Differential Symbolic Execution, an automated technique for proving functional behavioural equivalence based on satisfiability modulo theories. Our proposal aims at identifying the behavioural commonalities of one software product relative to another and exploits them in order to establish an efficient model-based testing trajectory.
Distributed mobile group detection algorithms: Application to cycling race

In the large research area of wireless body area networks, cooperative applications involving several users is attracting strong interests. This cooperation may target a simple information exchange or even some cooperative decision such as swarm coordination. We consider in this paper such a swarm of users moving in a common direction and we are interested in the mechanisms allowing to propagate and share some common information. We extend and improve a previous algorithm derived as a max-consensus approach. We describe a complete experimental setup deployed during a real bike race with 200 runners. We provide a deep analysis of the radio links properties (stability, strength.) and the equivalent graph evolution (graph diameter, neighborhood characterization.) from the record made on 20 nodes. At the best of our knowledge, this paper is the first one providing such analysis in a real experiment with a swarm of 200 nodes located on bikes during an official race.
Evaluation of Supercritical Extracts of Algae as Biostimulants of Plant Growth in Field Trials

The aim of the field trials was to determine the influence of supercritical algal extracts on the growth and development of winter wheat (variety Akteur). As a raw material for the supercritical fluid extraction, the biomass of microalga Spirulina plantensis, brown seaweed – Ascophyllum nodosum and Baltic green macroalgae was used. Forthial and Asahi SL constituted the reference products. It was found that the tested biostimulants did not influence statistically significantly the plant height, length of ear, and shank length. The ear number per m2 was the highest in the group where the Baltic macroalgae extract was applied in the dose 1.0 L/ha (statistically significant differences). Number of grains in ear (statistically significant differences) and shank length was the highest in the group treated with Spirulina at the dose 1.5 L/ha. In the group with Ascophyllum at the dose 1.0 L/ha, the highest length of ear was observed. The yield was comparable in all the experimental groups (lack of statistically significant differences). Among the tested supercritical extracts, the best results were obtained for Spirulina (1.5 L/ha). The mass of 1000 grains was the highest for extract from Baltic macroalgae and was 3.5% higher than for Asahi, 4.0% higher than for Forthial and 18.5% higher than for the control group (statistically significant differences). Future work is needed to fully characterize the chemical composition of the applied algal extracts. A special attention should be paid to the extracts obtained from Baltic algae because they are inexpensive source of naturally occurring bioactive compounds, which can be used in sustainable agriculture and horticulture.
Kraftwerk2—A Fast Force-Directed Quadratic Placement Approach Using an Accurate Net Model

The force-directed quadratic placer ldquoKraftwerk2,rdquo as described in this paper, is based on two main concepts. First, the force that is necessary to distribute the modules on the chip is separated into the following two components: a hold force and a move force. Both components are implemented in a systematic manner. Consequently, Kraftwerk2 converges such that the module overlap is reduced in each placement iteration. The second concept of Kraftwerk2 is to use the ldquoBound2Boundrdquo net model, which accurately represents the half-perimeter wirelength (HPWL) in the quadratic cost function. Aside from these features, this paper presents additional details about Kraftwerk2. An approach to remove halos (free space) around large modules is described, and a method to control the module density is presented. In order to choose the important tradeoff between runtime and quality, a systematic quality control is shown. Furthermore, plots demonstrating the convergence of Kraftwerk2 are presented. Results using various benchmark suites demonstrate that Kraftwerk2 offers both high quality and excellent computational efficiency.
A New Approach to Real Time Impulsive Sound Detection for Surveillance Applications

Most of the surveillance systems for public safety are solely based on one or more video cameras. These camera systems have some drawbacks such that they have poor performance in adverse weather conditions or during night time. Therefore most of the time, some other sensors should accompany to video cameras. Although audio surveillance is in its early stage, there has been considerable amount of work in this area in the last decade. In this paper we make a review of impulsive sound detection algorithms. Sounds from dangerous events such as gunshots, explosions, human screaming can be classified as impulsive sounds, so this paper reviews all impulsive sound detection algorithms along with impulsive noise detection algorithms although they progress in their own path. These dangerous sound events have no other detection means except audio. We try to adapt some algorithms used in impulsive noise detection to the area of impulsive sound detection. Tests show that Warped Linear Prediction (WLP) can be used for impulsive sound detection.
Idd9/11 Genetic Locus Regulates Diabetogenic Activity of CD4 T-Cells in Nonobese Diabetic (NOD) Mice

OBJECTIVE—Although the H2g7 major histocompatibility complex (MHC) provides the primary pathogenic component, the development of T-cell–mediated autoimmune type 1 diabetes in NOD mice also requires contributions from other susceptibility (Idd) genes. Despite sharing the H2g7 MHC, the closely NOD-related NOR strain remains type 1 diabetes resistant because of contributions of protective Idd5.2, Idd9/11, and Idd13 region alleles. To aid their eventual identification, we evaluated cell types in which non-MHC Idd resistance genes in NOR mice exert disease-protective effects. RESEARCH DESIGN AND METHODS—Adoptive transfer and bone marrow chimerism approaches tested the diabetogenic activity of CD4 and CD8 T-cells from NOR mice and NOD stocks congenic for NOR-derived Idd resistance loci. Tetramer staining and mimotope stimulation tested the frequency and proliferative capacity of CD4 BDC2.5-like cells. Regulatory T-cells (Tregs) were identified by Foxp3 staining and functionally assessed by in vitro suppression assays. RESULTS—NOR CD4 T-cells were less diabetogenic than those from NOD mice. The failure of NOR CD4 T-cells to induce type 1 diabetes was not due to decreased proliferative capacity of BDC2.5 clonotypic-like cells. The frequency and function of Tregs in NOD and NOR mice were also equivalent. However, bone marrow chimerism experiments demonstrated that intrinsic factors inhibited the pathogenic activity of NOR CD4 T-cells. The NOR Idd9/11 resistance region on chromosome 4 was found to diminish the diabetogenic activity of CD4 but not CD8 T-cells. CONCLUSIONS—In conclusion, we demonstrated that a gene(s) within the Idd9/11 region regulates the diabetogenic activity of CD4 T-cells.
Towards non-Hermitian random levy matrices

We review a new technique for calculating spectral properties of infinite non-Hermitian random matrix models, and we present an algorithm for calculating bulk spectral properties of ensembles of the type H1 + iH2, where H1 and H2 are arbitrary free (in the sense of Voiculescu) ensembles, including cases of the Lévy (heavy-tailed) spectra. As a particular example, we solve analytically the ensemble C1 + iC2, where C1 and C2 are free centered random matrix ensembles of the Cauchy class.
Are Millennials really Picking Pets over People? Taking a Closer Look at Dog Ownership in Emerging Adulthood

This paper draws on the work of Bourdieu to understand how experiences with dog ownership become embodied and how these experiences influence young people’s development as they leave home and learn to mobilize any capital to which they have access. Our results show that dogs can provide everyday routine during a stage in life when young people often experience instability. Additionally, dogs may help to shift the focus beyond self, thereby influencing how, and with whom, millennials spend their time. Nonetheless, balancing dog ownership with education, work, dating, social life, and other obligations could become challenging. Overall, this paper highlights that young people’s access to resources, including housing, may influence their capacities to experience all the benefits that pet ownership purports to offer. Dog ownership has numerous implications for healthy development among millennials, yet greater support may be needed to facilitate smoother transitions.
Energy conserving nonholonomic integrators

We address the problem of constructing numerical integrators for nonholonomic Lagrangian systems that enjoy appropriate discrete versions of the geometric properties of the continuous flow, including the preservation of energy. Building on previous work on time-dependent discrete mechanics, our approach is based on a discrete version of the Lagrange-d'Alembert principle for nonautonomous systems.
Multi-Objective Optimization of Helico-Axial Multiphase Pump Impeller Based on NSGA-II

This paper presented an approach based on non-dominated sorting of genetic algorithm (NSGA-II) for the multi-objective optimization of boost cell of helico-axial multiphase pump impeller. The pressure rise and efficiency were optimized with design variables concerning flange inlet angle β1, flange outlet angle β2, inlet top-hub ratio htr and hub half cone angle γ. RANS(Reynolds-averaged Navier-Stokes equations) with the standard k -ε turbulence model were applied to obtain the performance of the impeller as the fitness value at every step of the optimization process. At the end of the procedure, a global Pareto-optimal set was gotten. Comparing the inner flow field characters with original impeller, the optimized one has higher pressure rise and efficiency and more proper distribution of gas void fraction (GVF). By this optimization platform, maximum efficiency and pressure rise were increased by 12.112% and 10.774%, respectively. The optimal result showed that NSGA-II combined the RANS could provide a valuable tool for the optimization of multiphase pump impeller.
Fingerprint Matching on Smart Card: A Review

Fingerprint Match-on-Card (MoC) offers the highest degree of privacy and security to cardholders as the fingerprint never leaves the secure environment of a smart card. The level of security of a biometric system is evaluated by the location where the biometric matching takes place. However, it is challenging to implement an accurate fingerprint MoC algorithm, which can execute in a short period of time due the limited working memory and processing speed that the smart card provides. Implementing a fingerprint algorithm inside the smart card requires a small template size and a light matching algorithm. This paper reviews the existing fingerprint MoC algorithms, their shortfalls, and advantages.
Construction of irregular structured LDPC codes with low encoding complexity for high-rate applications

This paper presents a method to construct irregular structured Low-Density Parity-Check (LDPC) codes based on choosing different identity matrices. The parity-check matrix of the proposed code can be easily generated with the flexible parameters such as code rate, block length or sparsity. The proposed code is well structured which can provide a low-complexity implementation. The encoder of the proposed code has linear encoding complexity making it suitable for hardware implementation. When iteratively decoded with the sum-product algorithm (SPA), the constructed irregular LDPC codes exhibit a very good performance especially for high rate codes.
A Resolution Prover for Coalition Logic

We present a prototype tool for automated reasoning for Coalition Logic, a non-normal modal logic that can be used for reasoning about cooperative agency. The theorem prover CLProver is based on recent work on a resolution-based calculus for Coalition Logic that operates on coalition problems, a normal form for Coalition Logic. We provide an overview of coalition problems and of the resolution-based calculus for Coalition Logic. We then give details of the implementation of CLProver and present the results for a comparison with an existing tableau-based solver.
Recovering lossy multiconductor transmission line parameters from impedance or scattering representations

In this paper we present a generalization of the simultaneous diagonalization technique by means of congruence transformations to the general reciprocal lossy multiconductor transmission line case. The method paves the way to solving the inverse problem, i.e. given a lossy multiconductor transmission line system of a given length, recover the transmission line parameters from the impedance or scattering descriptions.
Physically‐based forehead animation including wrinkles

Physically‐based animation techniques enable more realistic and accurate animation to be created. We present a fully physically‐based approach for efficiently producing realistic‐looking animations of facial movement, including animation of expressive wrinkles. This involves simulation of detailed voxel‐based models using a graphics processing unit‐based total Lagrangian explicit dynamic finite element solver with an anatomical muscle contraction model, and advanced boundary conditions that can model the sliding of soft tissue over the skull. The flexibility of our approach enables detailed animations of gross and fine‐scale soft‐tissue movement to be easily produced with different muscle structures and material parameters, for example, to animate different aged skins. Although we focus on the forehead, our approach can be used to animate any multi‐layered soft body. © 2014 The Authors. Computer Animation and Virtual Worlds published by John Wiley & Sons, Ltd.
Physical Self-Concept through Fitness Education Program on University Student

Awareness of individual body condition and lifestyle continues to decline with age, especially during the transition from school to college. Therefore, it is necessary to conduct an assessment of efforts to improve physical self-concept and active lifestyle in the students through comprehensive learning method of physical education course. The purpose of this research is to apply the program of Physical fitness education to the students. The method used in this research is experimental method with randomized post-test only control group design. The research instrument for measuring self-concept is The Physical Self-Description Questionnaire (PSDQ). The results showed that there was no effect of fitness education program on student self-concept. However, when tested for interaction (with gender and extracurricular involvement type as a moderator variable) the given program has an effect on the Physical self-concept.
Cheaters on Twitter: an analysis of engagement approaches of contract cheating services

ABSTRACT This paper presents the results of an exploratory study that examined engagement approaches of contract cheating services on the Twitter platform. The literature portrays the grey academic market as an invisible hand that magically delivers academic content at the click of a button, which leaves a wide gap in our understanding of their outreach efforts. To this end, data from 71 contractors and 12,701 users were analysed to describe what academics and administrators are up against. The results suggest that contractors employ automation tools to generate leads, specific to their subject area, which denotes market segmentation and competition. This study is part of a larger project aimed at minimizing academic misconduct; it discusses implications for educational practice and offers recommendations for prevention of contract cheating.
Perceptual Agreement: Assessing Reality and Illusion in Romantic Relationships

The construct of perceptual agreement (PA) represents variations among couples in the extent to which partners have a shared reality of their relationship, such as a jointly held representation of one another and the characteristics each brings to the relationship. This study assessed PA by 3 methodological approaches in samples of couples and individual partners: (a) by comparing self- and partner descriptions on measures in multiple domains, (b) by comparing self- and partner descriptions on a brief dyadic Perceptual Agreement Questionnaire, and (c) using one partner’s report about the couple’s PA. The measures produced internally consistent, retest reliable, and intercorrelated scores. The developed PA questionnaires explained 72% and 64% of the variance in male and female partners’ relationship satisfaction scores, respectively. PA also related positively to measures of open and constructive communication and negatively to measures of perceptual distortions in the relationship (behavioral communication and projective mystification). These findings, which suggest PA’s meaning and etiology within the context of partners’ personalities, lead to implications for consideration of PA in clinical work on relationship issues.
libsequence: a C++ class library for evolutionary genetic analysis

UNLABELLED A C++ class library is available to facilitate the implementation of software for genomics and sequence polymorphism analysis. The library implements methods for data manipulation and the calculation of several statistics commonly used to analyze SNP data. The object-oriented design of the library is intended to be extensible, allowing users to design custom classes for their own needs. In addition, routines are provided to process samples generated by a widely used coalescent simulation. AVAILABILITY The source code (in C++) is available from http://www.molpopgen. org
Modeling , Simulating , and Visualizing Information System Artifacts in Healthcare

Healthcare systems are complex and cost-intensive. Managing healthcare institutions requires to provide high quality medicine with calculated costs. Cost calculation needs knowledge and reliable data of business processes, which can only be supplied by an efficient information system. A general approach to analysis and development of information systems is presented. This approach considers an information system as a social-technical subsystem of an organization. This view leads to particular requirements on methods and tools for modeling such systems. The second part introduces MOSAIK-M, a method and tool to support modeling, simulation, and animation of information and communication systems in medicine. Usage and advantages of MOSAIK-M are shown by means of two applications. The first describes a business process reengineering project and the second presents an information system design project.
Robust light transport simulation via metropolised bidirectional estimators

Efficiently simulating light transport in various scenes with a single algorithm is a difficult and important problem in computer graphics. Two major issues have been shown to hinder the efficiency of the existing solutions: light transport due to multiple highly glossy or specular interactions, and scenes with complex visibility between the camera and light sources. While recent bidirectional path sampling methods such as vertex connection and merging/unified path sampling (VCM/UPS) efficiently deal with highly glossy or specular transport, they tend to perform poorly in scenes with complex visibility. On the other hand, Markov chain Monte Carlo (MCMC) methods have been able to show some excellent results in scenes with complex visibility, but they behave unpredictably in scenes with glossy or specular surfaces due to their fundamental issue of sample correlation. In this paper, we show how to fuse the underlying key ideas behind VCM/UPS and MCMC into a single, efficient light transport solution. Our algorithm is specifically designed to retain the advantages of both approaches, while alleviating their limitations. Our experiments show that the algorithm can efficiently render scenes with both highly glossy or specular materials and complex visibility, without compromising the performance in simpler cases.
A semantic approach for text document clustering using frequent itemsets and WordNet

Document Clustering is an unsupervised method for classified documents in clusters on the basis of their similarity. Any document get it place in any specific cluster, on the basis of membership score, which calculated through membership function. But many of the traditional clustering algorithms are generally based on only BOW (Bag of Words), which ignores the semantic similarity between document and Cluster. In this research we consider the semantic association between cluster and text document during the calculation of membership score of any document for any specific cluster. Several researchers are working on semantic aspects of document clustering to develop clustering performance. Many external knowledge bases like WordNet, Wikipedia, Lucene etc. are utilized for this purpose. The proposed approach exploits WordNet to improve cluster member ship function. The experimental result shows that clustering quality improved significantly by using proposed framework of semantic approach.
Field lines and players detection and recognition in soccer video

Objects like field lines and players are important for semantic analysis in soccer video. In this paper, we propose effective methods for field lines and players detection and recognition. Regions of field lines and players are first segmented from shot of wide angle view. Gray value top-hat transform is then performed on the segmented region to detect field lines. Mid-lines, end-lines and penalty-lines are then recognized based on their positions. Template matching method is adopted to detect and recognize players. Four types of templates for players are matched on the segmented region. Accurate position of player can be obtained after template matching, and the type of player is also identified. Experiment results on various data-sets with different production styles show effectiveness of our method.
ENHANCING THE SECURITY OF THE RSA CRYPTOSYSTEM

The RSA public key and signature scheme is often used in modern communications technologies; it is one of the firstly defined public key cryptosystem that enable secure communicating over public unsecure communication channels. In praxis many protocols and security standards use the RSA, thus the security of the RSA is critical because any weaknesses in the RSA crypto system may lead the whole system to become vulnerable against attacks. This paper introduce a security enhancement on the RSA cryptosystem, it suggests the use of randomized parameters in the encryption process to make RSA many attacks described in literature, this enhancement will make the RSA semantically secure, this means that that an attacker cannot distinguish two encryptions from each other even if the attacker knows (or has chosen) the corresponding plaintexts A comparison introduced in this paper between the basic RSA and the modified RSA version shows that the enhancement can easily be implemented. This paper also briefly discuss some other attacks on the RSA and the suitable choice of RSA parameter to avoid attacks, also an important issue for the RSA implementation is how to speed up the RSA encryption and decryption process.