Miracle-dz/UniFAR-FTUs huggingface dataset:
Software security engineering in extreme programming methodology: a systematic literature review

Agile methodology such as Extreme Programming (XP) has gained enough recognition as efficient development process by delivering software fast even under the time constrains. However, like other agile methods including Scrum, Feature Driven Development (FDD), DSDM and, XP has also been criticized because of unavailability of security element in its twelve practices. In order to have a deeper look into the matter and discover more about the reality, we conducted a systematic literature review (SLR) and studied the literature and software solutions between 2000 to 2012. Our findings highlight that the in its current form the XP model partially support integrating Software Security with its twelve practices. Although, there are a few researches on this topics but the detailed information about their usage and outcome is not yet published. Thus we conclude that the existing twelve practices of XP are not enough hence security based practices in XP need to be proposed.
ON THE NONPARAMETRIC IDENTIFICATION OF MULTIPLE CHOICE MODELS

This paper proposes conditions under which a multiple choice model with heterogeneous agents and unobserved product characteristics is nonparametrically identified. Specifically, we identify the distribution of the unobserved individual heterogeneity, the distribution of the product unobservables, and the sub-utilities that are common to all agents. Our approach combines exclusion restrictions that come in a form of conditional independence conditions, with completeness conditions on the instruments.
BDKRB2 GENE -9/+9 POLYMORPHISM AND SWIMMING PERFORMANCE

The aim of the study was to evaluate the association between swimming performance and the -9/+9 (rs5810761) polymorphism within the BDKRB2 gene in successful competitive swimmers. Best individual swimming results expressed in FINA points achieved at short, middle and long distance events of 157 well-trained Polish swimmers were incorporated into an analysis. Athletes’ genotype and allele distributions were analysed in comparison to 230 unrelated sedentary subjects who served as controls with the χ2 test. All samples were genotyped for the BDKRB2 -9/+9 polymorphism using the polymerase chain reaction (PCR). The effects of genotype on swimming performance were analysed with two-way (3 x 2; genotype x gender) analysis of variance with metrical age as a covariate for each distance specialization. No statistical differences in the genotype and allele frequencies were found in long distance swimmers when compared with the total group of swimmers or controls. The BDKRB2 +9/-9 genotype had no significant effect on swimming performance at short, middle or long distance, regardless of gender. The results of this study do not support the hypothesis that the BDKRB2 -9/+9 polymorphism is associated with swimming performance in Polish swimmers.
Craniometric Data Supports Demic Diffusion Model for the Spread of Agriculture into Europe

Background The spread of agriculture into Europe and the ancestry of the first European farmers have been subjects of debate and controversy among geneticists, archaeologists, linguists and anthropologists. Debates have centred on the extent to which the transition was associated with the active migration of people as opposed to the diffusion of cultural practices. Recent studies have shown that patterns of human cranial shape variation can be employed as a reliable proxy for the neutral genetic relationships of human populations. Methodology/Principal Findings Here, we employ measurements of Mesolithic (hunter-gatherers) and Neolithic (farmers) crania from Southwest Asia and Europe to test several alternative population dispersal and hunter-farmer gene-flow models. We base our alternative hypothetical models on a null evolutionary model of isolation-by-geographic and temporal distance. Partial Mantel tests were used to assess the congruence between craniometric distance and each of the geographic model matrices, while controlling for temporal distance. Our results demonstrate that the craniometric data fit a model of continuous dispersal of people (and their genes) from Southwest Asia to Europe significantly better than a null model of cultural diffusion. Conclusions/Significance Therefore, this study does not support the assertion that farming in Europe solely involved the adoption of technologies and ideas from Southwest Asia by indigenous Mesolithic hunter-gatherers. Moreover, the results highlight the utility of craniometric data for assessing patterns of past population dispersal and gene flow.
Embedded system synthesis by timing constraints solving

The paper presents an approach to embedded system synthesis which minimizes a system cost while implementing given timing requirements. The embedded system is represented by a set of finite domain constraints defining different requirements on process timing, system resources and interprocess communication. The assignment of processes to processors and interprocess communications to buses as well as their scheduling are then defined as an optimization problem. A prototype system, based on constraint solving techniques, has been implemented in CHIP 5, the constraint logic programming system. Experimental results show that this approach can be efficiently used to define different system constraints and generate optimized system implementations.
Gain Modulation of Synaptic Inputs by Network State in Auditory Cortex In Vivo

The cortical network recurrent circuitry generates spontaneous activity organized into Up (active) and Down (quiescent) states during slow-wave sleep or anesthesia. These different states of cortical activation gain modulate synaptic transmission. However, the reported modulation that Up states impose on synaptic inputs is disparate in the literature, including both increases and decreases of responsiveness. Here, we tested the hypothesis that such disparate observations may depend on the intensity of the stimulation. By means of intracellular recordings, we studied synaptic transmission during Up and Down states in rat auditory cortex in vivo. Synaptic potentials were evoked either by auditory or electrical (thalamocortical, intracortical) stimulation while randomly varying the intensity of the stimulus. Synaptic potentials evoked by the same stimulus intensity were compared in Up/Down states. Up states had a scaling effect on the stimulus-evoked synaptic responses: the amplitude of weaker responses was potentiated whereas that of larger responses was maintained or decreased with respect to the amplitude during Down states. We used a computational model to explore the potential mechanisms explaining this nontrivial stimulus–response relationship. During Up/Down states, there is different excitability in the network and the neuronal conductance varies. We demonstrate that the competition between presynaptic recruitment and the changing conductance might be the central mechanism explaining the experimentally observed stimulus–response relationships. We conclude that the effect that cortical network activation has on synaptic transmission is not constant but contingent on the strength of the stimulation, with a larger modulation for stimuli involving both thalamic and cortical networks.
New set of cognitive tasks in EEG based Brain Computer Interface

A set of new mental tasks that can be used with Brain Computer Interface systems are introduced. New mental tasks are natural to perform for controlling a cursor on a computer screen to select icons. With the help of three healthy subjects, performance of new mental tasks was evaluated and compared with that of popular motor imagery mental tasks. Three subjects who participated in this study showed better or equally good performance with new mental tasks as compared to motor imagery mental tasks.
Spatial Information Based Medical Image Registration using Mutual Information

Image registration is a valuable technique for medical diagnosis and treatment. Due to the inferiority of image registration using maximum mutual information, a new hybrid method of multimodality medical image registration based on mutual information of spatial information is proposed. The new measure that combines mutual information, spatial information and feature characteristics, is proposed. Edge points are used as features, obtained from a morphology gradient detector. Feature characteristics like location, edge strength and orientation are taken into account to compute a joint probability distribution of corresponding edge points in two images. Mutual information based on this function is minimized to find the best alignment parameters. Finally, the translation parameters are calculated by using a modified Particle Swarm Optimization (MPSO) algorithm. The experimental results demonstrate the effectiveness of the proposed registration scheme.
Relationship between Physical Exercise and Life Satisfaction:The Mediation Effects of Self-efficacy,Social Support and Self-esteem

Objective: To test the relationship between physical exercise and life satisfaction in elder,and self-efficacy,social support,self-esteem as the mediators between them.Method: A total of 315 participants,reported their physical exercise habits,life satisfaction,self-efficacy,social support,self-esteem survey.Hierarchical regression analysis and path analysis were used for testing above hypothesises.Result: While life satisfaction was as dependent variable,hierarchical regression analysis showed,the standardize coefficients of physical exercise decreased from 0.36(P0.01) to 0.09(P0.05,ΔR2=0.25) and self-efficacy,friend support,self-esteem were 0.32(P0.01),0.11(P0.05),-0.26(P0.01) respectively when self-efficacy,friend support and self-esteem was added into the regression model.While self-efficacy was as dependent variable,the standardize coefficients of exercise frequency,exercise duration and collective exercise were 0.31(P0.01),0.24(P0.01),0.45(P0.01) respectively.While friend support was a dependent variable,the standardize coefficients of collective exercise were 0.25(P0.05). There was no relationship between self-esteem and physical exercise.Conclusion: There is no direct relationship between physical exercise and life-satisfaction in elder,and self-efficacy and friend support are the mediators between them.
Vocal and Facial Imitation of Humans Interacting with Virtual Agents

Socially-aware virtual agents may guide the design and deployment of future computing systems. This paper addresses unconscious affect recognition in the context of social interaction between agents and humans. An experiment is performed in which participants interact visually and verbally with virtual embodied agents. During the interaction, both the vocal pitch and the affective facial expressions of the agent are manipulated and the consecutive vocal and facial expressions of the participants are registered. Manual and computational analyses of the expressions reveal vocal and facial imitation as a sign of unconscious affect recognition and social engagement.
OF ACDC RECTIFIER CIRCUIT BASED ON COMPLEMENTARY METAL-OXIDE SEMICONDUCTOR FOR RADIO FREQUENCY ENERGY HARVESTING SYSTEM

The development of energy harvesting gained much attention in previous decades. This paper reviews the latest research progress on developing the AC-DC rectifier circuits based on Complementary Metal-Oxide Semiconductor (CMOS) for radio frequency (RF) energy harvesting. The various topologies of AC-DC rectifier circuits were reviewed in term of circuit design, technology and performance. The performances criteria such as input power, frequency, output power and efficiency are discussed in details. The overall performances are compared and the best topology of AC-DC rectifier circuit is identified for the future RF energy harvesting system.
Induction of rhythmic jaw movements by stimulation of the mesencephalic reticular formation in the guinea pig

This study was designed to investigate whether stimulation of the mesencephalic reticular formation (MRF) induces rhythmic jaw movements (RJMs) and, if it does so, to determine the RJM-inducing region in the MRF in ketamine-anesthetized guinea pigs. The results were as follows: (1) Repetitive electrical stimulation of the MRF at the level of the red nucleus induced rhythmic EMG bursts in the anterior digastric muscle (DIG). (2) The duration and cycle time of the rhythmic DIG EMG burst induced from the medial MRF were longer than those induced from the lateral MRF. (3) Repetitive MRF stimulation after paralysis still induced rhythmic multiple-unit activities in the anterior digastric motoneuron pool. (4) Neither precollicular decerebration nor cerebellectomy affected the MRF induction of RJMs. (5) Transverse hemisection at the rostral border of the pons abolished the RJMs induced from the contralateral, but not ipsilateral, MRF. Midline section of the midbrain abolished RJMs induced from the MRF on either side. (6) A lesion in the pontine pyramidal tract abolished the RJMs induced by stimulation of the ipsilateral cortical masticatory area (CMA), but not those induced from the contralateral MRF. (7) A unilateral lesion of the oral portion of the gigantocellular reticular nucleus, where the rhythm generator for the CMA-induced RJMs is located, abolished RJMs induced from not only the CMA, but also MRF on the contralateral side. (8) Microinjection of L-glutamate into the lateral, but not medial, MRF induced RJMs similar to those elicited by repetitive electrical stimulation of the same site. (ABSTRACT TRUNCATED AT 250 WORDS)
Verification Technology Potential with Different Modeling and Simulation Development and Implementation Paradigms

An investigation of the history of verification and validation (V&V) in modeling and simulation (M&S) indicates that validity has been interpreted in different ways based on the context and the types of problems being solved. That is, advances in modeling paradigms, methodologies, tools, and technologies had considerable impact on the way validation is perceived. The shift from an accuracy point of view to a quality-centric approach in model V&V is a recent indicator of this trend. The modeling artifacts produced by a certain paradigm usually depict specific characteristics unique to that paradigm such that widely adopted conventional methods do not properly scale or apply. This paper introduces a generic simulation lifecycle and discusses the V&V processes in the context of the life cycle of a simulation study. Key standards, practices, and processes for V&V of software-intensive models are reviewed. Special emphasis is given to major V&V issues as well as emergent challenges due to a variety of modern simulation implementation paradigms and development methodologies. The issues include recognizing and avoiding some of the myths of simulation model V&V to focus on essential challenges as opposed to accidentally perceived problems. Building on the identified issues and challenges with regard to the emerging prominent trends in model development, a set of potential research directions are identified and discussed.
Current and Future Trends in Mobile Device Forensics

Contemporary mobile devices are the result of an evolution process, during which computational and networking capabilities have been continuously pushed to keep pace with the constantly growing workload requirements. This has allowed devices such as smartphones, tablets, and personal digital assistants to perform increasingly complex tasks, up to the point of efficiently replacing traditional options such as desktop computers and notebooks. However, due to their portability and size, these devices are more prone to theft, to become compromised, or to be exploited for attacks and other malicious activity. The need for investigation of the aforementioned incidents resulted in the creation of the Mobile Forensics (MF) discipline. MF, a sub-domain of digital forensics, is specialized in extracting and processing evidence from mobile devices in such a way that attacking entities and actions are identified and traced. Beyond its primary research interest on evidence acquisition from mobile devices, MF has recently expanded its scope to encompass the organized and advanced evidence representation and analysis of future malicious entity behavior. Nonetheless, data acquisition still remains its main focus. While the field is under continuous research activity, new concepts such as the involvement of cloud computing in the MF ecosystem and the evolution of enterprise mobile solutions—particularly mobile device management and bring your own device—bring new opportunities and issues to the discipline. The current article presents the research conducted within the MF ecosystem during the last 7 years, identifies the gaps, and highlights the differences from past research directions, and addresses challenges and open issues in the field.
Information Technology and Monetary Policy

Revised version of a keynote address presented at the Eighth International Conference on “Monetary Policy in a World of Knowledge-Based Growth, Quality Change, and Uncertain Measurement,” sponsored by the Bank of Japan’s Institute for Monetary and Economic Studies, June 18–19, 1998. This paper is to be included in the proceedings of the conference to be published by the Macmillan Press.
Mining of EL-GCIs

We consider an existing approach for mining general inclusion axioms written in a lightweight Description Logic. In comparison to classical association rule mining, this approach allows more complex patterns to be obtained. Ours is the first implementation of these algorithms for learning Description Logic axioms. We use our implementation for a case study on two real world datasets. We discuss the outcome and examine what further research will be needed for this approach to be applied in a practical setting.
Modified proportional fair for LTE femto cells with eICIC

In this paper, heterogeneous LTE network is considered where femto cells are randomly deployed in a macro network. Femto cells are modeled as closed cells, namely only group member UEs can be associated with the femto cells. We propose modified proportional fair scheduling algorithms for heterogeneous network containing macro and femto cell and Compared to the existing proportional fair scheduling algorithms. We show how some features of mitigation interference. we show effect of femto autonomous power control for adjusting femto transmitted power, also we use almost blank subframe (ABS) feature in our simulation which will be as time multiplexing for enhanced interference coordination scheme (eICIC). Through computer simulation we assist the effect of power control and ABS in the simulation, also we show the effect of modified proportional fair scheduling on user throughput and cell throughput, we compared these results with PF.
Disparate Electrophysiological Alterations Accompanying Dysrhythmia due to Coronary Occlusion and Reperfusion in the Cat

SUMMARY The electrophysiologic changes associated with dysrhythmias induced by coronary occlusion and by subsequent reperfusion were characterized with six complimentary approaches in chloraloseanesthetized cats (n = 57) with proximal occlusion of the left anterior descending (LAD) coronary artery. Occlusion led to reproducible ventricular dysrhythmia which abated in 35 minutes. The electrophysiologic effects of reperfusion initiated at this time could be studied. Simultaneous bipolar electrograms (epi-, myo- and endocardial) from ischemic and normal zones were analyzed by computer. Before the onset of the dysrhythmia induced by occlusion, conduction was markedly slowed, with dV/dt decreasing to 34% ± 6% of control and conduction time (endo- to epicardial activation) prolonged to 328 ± 77% of control. However, these values returned toward normal with reperfusion, even though it also consistently induced dysrhythmia. The idioventricular escape rate (determined by intense vagal stimulation) was 62 ± 6 beats/min during the dysrhythmia induced by occlusion (equal to control), but increased during the reperfusion dysrhythmia to 188 ± 12 beats/min. The occlusion dysrhythmia was exacerbated, but the reperfusion dysrhythmia was suppressed by rapid atrial pacing. The refractory period progressively shortened after ocdusion and remained decreased during early reperfusion. Thus, increased conduction time through myocardial and epicardial regions, asynchronous depolarization and shortening of the refractory period accompanied dysrhythmia induced by occlusion.In contrast, the dysrhythmia induced by reperfusion was characterized by normal conduction time, through myocardial regions with continued significant epicardial delay, overdrive suppression, synchronous depolarization and a high idioventricular rate.
Link services or link agents?

A general link service for the WWW has been used within an Electronic Libraries' project. Experience using it shows that as the links become increasingly interesting to the user, processing them becomes increasingly expensive. Eventually textual analysis, ontological services and remote database lookups conflict with the goal of prompt delivery of documents. This paper summarizes the history of the Link Service software behind the Open Journal project together with the kind of links that it has been used to produce. Building on this work it then discusses how the paradigm, architecture and user interface of the DLS have been newly modified both in response to user feedback and also to allow more linking facilities to be added to the WWW environment. We then introduce AgentDLS, an agent-style system that offers suggestions to help the user's browsing and information discovery activities.
Finding deadlocks in large concurrent java programs using genetic algorithms

Model checking is a fully automatic technique for checking concurrent software properties in which the states of a concurrent system are explored in an explicit or implicit way. However, the state explosion problem limits the size of the models that are possible to check. Genetic Algorithms (GAs) are metaheuristic techniques that have obtained good results in problems in which exhaustive techniques fail due to the size of the search space. Unlike exact techniques, metaheuristic techniques cannot be used to verify that a program satisfies a given property, but they can find errors on the software using a lower amount of resources than exact techniques. In this paper, we compare a GA against classical exact techniques and we propose a new operator for this problem, called memory operator, which allows the GA to explore even larger search spaces. We implemented our ideas in the Java PathFinder (JPF) model checker to validate them and present our results. To the best of our knowledge, this is the first implementation of a Genetic Algorithm in this model checker.
You Can Check It Out But It Will Never Leave: Characterising Ebook Borrowing Patterns

What does it mean for a reader to borrow an ebook? Ebook technology means that borrowing can take different forms, for example printing and reading. We do not know, though, which of these options readers actually use. Ebook technology generates logs that allow us to understand ebook borrowing patterns over time, both by individual readers and in aggregate. Despite the ready availability of ebook logs, this area remains under-researched. In this paper we present an exploratory log analysis of ebook borrowing, comparing printing and reading, discovery patterns, single- and multiple-book sessions and identifying specific borrowing patterns.