Behavioral biometrics based on mouse usage can be used to recognize one’s identity, with special applications in anonymous Web browsing. Out of many features that describe browsing behavior, mouse clicks (or touches) as the most basic of navigation actions, provide a stable stream of behavioral data. The paper describes a method to recognize Web user according to three click features. The dista...

CIRC is a tool for automated inductive and coinductive theorem proving. It includes an engine based on circular coinduction, which makes CIRC particularly well-suited for proving behavioral properties of infinite data-structures. This paper presents the current status of the coinductive features of the CIRC prover, focusing on new features added over the last two years. The presentation is by e...

This paper presents a multimodal emotion recognition method that uses a feature-level combination of three-dimensional (3D) geometric features (coordinates, distance and angle of joints), kinematic features such as velocity and displacement of joints, and features extracted from daily behavioral patterns such as frequency of head nod, hand wave, and body gestures that represent specific emotion...

aim and background: the role of behavioral inhibition and activation systems as predisposing factors in readiness for emotional and behavioral problems in adolescents has been increasingly studied in recent years. the purpose of this study was to investigate the role of these two systems in predicting the development of psychopathology in adolescents. methods and materials: the study population...

Gait exhibits several advantages with respect to other biometrics features: acquisition can be performed through cheap technology, at a distance and without people collaboration. In this paper we perform gait analysis using skeletal data provided by the Microsoft Kinect sensor. We defined a rich set of physical and behavioral features aiming at identifying the more relevant parameters for gait ...

The Java Modeling Language (JML) is used to specify detailed designs for Java classes and interfaces. It has a particularly rich set of features for specifying methods. This paper describes those features, with particular emphasis on the features related to specification inheritance. It shows how specification inheritance in JML forces behavioral subtyping, through a discussion of semantics and...

This study examined the phenotypic overlap between core diagnostic features and emotional/behavioral problems in a sample of 335 preschool children with autism spectrum disorder (ASD). Results from principal component analysis (2 components; 49.70% variance explained) suggested substantial phenotypic overlap between core diagnostic features and emotional/behavioral problems. Component I, Emotio...

Recent approaches in evolutionary robotics (ER) propose to generate behavioral diversity in order to evolve desired behaviors more easily. These approaches require the definition of a behavioral distance which often includes task-specific features and hence a priori knowledge. Alternative methods, that do not explicitly force selective pressure towards diversity (SPTD) but still generate it, ar...

The past few years has witnessed the great success of recommender systems, which can significantly help users find relevant and interesting items for them in the information era. However, a vast class of researches in this area mainly focus on predicting missing links in bipartite user-item networks (represented as behavioral networks). Comparatively, the social impact, especially the network s...

PURPOSE We systematically measured the associations between environmental design features of nursing home special care units and the incidence of aggression, agitation, social withdrawal, depression, and psychotic problems among persons living there who have Alzheimer's disease or a related disorder. DESIGN AND METHODS We developed and tested a model of critical health-related environmental d...