Imhotep: an approach to user and device conscious mobile applications

As the dependence on mobile devices increases, the need for supporting a wider range of users and devices becomes crucial. Elders and people with disabilities adopt new technologies reluctantly, a tendency caused by the lack of adaptation of these technologies to their needs. To address this challenge, this paper describes a framework, Imhotep, whose aim is to aid developers in the accessible application creation process, making the creation of user-centered applications easier and faster. Our framework allows to easily adapt the applications to the constraints imposed by the user capabilities (sensorial, cognitive, and physical capabilities) and device capabilities by providing a repository that will manage the compilation and deployment of applications that include a set of preprocessor directives in the source code. These directives are enhanced with concepts that are automatically adjusted to the current trends of mobile devices by using a Fuzzy Knowledge-Eliciting Reasoner. Our final goal is to increase the number of applications targeted to elders and people with disabilities providing tools that facilitate their development. The paper also describes the evaluation of both the accuracy of the fuzzy terms generated for mobile devices and the usability of the proposed platform.     

Robust solutions to Stackelberg games: Addressing bounded rationality and limited observations in human cognition

How do we build algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human interaction, such as oligopolistic markets and security domains. In Stackelberg games, one player, the leader, commits to a strategy and the follower makes her decision with knowledge of the leader's commitment. Existing algorithms for Stackelberg games efficiently find optimal solutions (leader strategy), but they critically assume that the follower plays optimally. Unfortunately, in many applications, agents face human followers (adversaries) who — because of their bounded rationality and limited observation of the leader strategy — may deviate from their expected optimal response. In other words, human adversaries' decisions are biased due to their bounded rationality and limited observations. Not taking into account these likely deviations when dealing with human adversaries may cause an unacceptable degradation in the leader's reward, particularly in security applications where these algorithms have seen deployment. The objective of this paper therefore is to investigate how to build algorithms for agent interactions with human adversaries.To address this crucial problem, this paper introduces a new mixed-integer linear program (MILP) for Stackelberg games to consider human adversaries, incorporating: (i) novel anchoring theories on human perception of probability distributions and (ii) robustness approaches for MILPs to address human imprecision. Since this new approach considers human adversaries, traditional proofs of correctness or optimality are insufficient; instead, it is necessary to rely on empirical validation. To that end, this paper considers four settings based on real deployed security systems at Los Angeles International Airport (Pita et al., 2008 [35]), and compares 6 different approaches (three based on our new approach and three previous approaches), in 4 different observability conditions, involving 218 human subjects playing 2960 games in total. The final conclusion is that a model which incorporates both the ideas of robustness and anchoring achieves statistically significant higher rewards and also maintains equivalent or faster solution speeds compared to existing approaches.     

Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts

In this paper, we show that free algebras in the variety of residuated lattices and some of its subvarieties are directly indecomposable and show, as a consequence, the direct indecomposability of free algebras for some classes of their bounded implicative subreducts.     

A flux-free a posteriori error estimator for the incompressible Stokes problem using a mixed FE formulation

In this contribution, we present an a posteriori error estimator for the incompressible Stokes problem valid for a conventional mixed FE formulation. Due to the saddle-point property of the problem, conventional error estimators developed for pure minimization problems cannot be utilized straight-forwardly. The new estimator is built up by two key ingredients. At first, a computed error approximation, exactly fulfilling the continuity equation for the error, is obtained via local Dirichlet problems. Secondly, we adopt the approach of solving local equilibrated flux-free problems in order to bound the remaining, incompressible, error. In this manner, guaranteed upper and lower bounds, of the velocity “energy norm” of the error as well as goal-oriented (linear) output functionals, with respect to a reference (overkill) mesh are obtained. In particular, it should be noted that this approach requires no computation of hybrid fluxes. Furthermore, the estimator is applicable to mixed FE formulations using continuous pressure approximations, such as the Mini and Taylor–Hood class of elements. In conclusion, a few simple numerical examples are presented, illustrating the accuracy of the error bounds.     

Gender differences in computer attitudes and the choice of technology-related occupations in a sample of secondary students in Spain

The dearth of women in technology and ICT-related fields continues to be a topic of interest for both the scientific community and decision-makers. Research on attitudes towards computers proves that women display more negative computer attitudes than men and also make less intense use of technology and computers than their male counterparts. For this reason, the main aims of this study are threefold. Firstly, to analyze the existence of gender differences in three dimensions of computer attitudes in a group of 550 secondary students in Spain (mean of age = 15 years old; SD = 1.73). Secondly, to study the moderating influence of a group of contextual variables on those gender differences in computer attitudes. And thirdly, to examine the predictive role of computer attitudes on the intention to pursue technology-related occupations. Some of the analyses of variance carried out show more positive computer attitudes in boys than in girls. These differences are more salient among students coming from rural areas and the upper social class, who are also enrolled in the domain of technology in secondary education, and whose mothers have no occupation outside the home. Finally, simple logistic regressions were carried out in order to prove that all dimensions of computer attitudes predict the enrollment intentions to pursue technology-related occupations. Nonetheless, gender only moderates the relationship between the cognitive dimension of computer attitudes and the enrollment intentions to pursue technology-related occupations.     

Real-time hierarchical stereo Visual SLAM in large-scale environments

In this paper we present a new real-time hierarchical (topological/metric) Visual SLAM system focusing on the localization of a vehicle in large-scale outdoor urban environments. It is exclusively based on the visual information provided by a cheap wide-angle stereo camera. Our approach divides the whole map into local sub-maps identified by the so-called fingerprints (vehicle poses). At the sub-map level (low level SLAM), 3D sequential mapping of natural landmarks and the robot location/orientation are obtained using a top-down Bayesian method to model the dynamic behavior. A higher topological level (high level SLAM) based on fingerprints has been added to reduce the global accumulated drift, keeping real-time constraints. Using this hierarchical strategy, we keep the local consistency of the metric sub-maps, by mean of the EKF, and global consistency by using the topological map and the MultiLevel Relaxation (MLR) algorithm. Some experimental results for different large-scale outdoor environments are presented, showing an almost constant processing time.     

Guaranteed cost control analysis and iterative design for constrained Takagi–Sugeno systems

This paper presents a novel control design technique in order to obtain a guaranteed cost fuzzy controller subject to constraints on the input channel. This guaranteed cost control law is obtained via multi-parametric quadratic programming. The result is a piecewise fuzzy control law where the state partition is defined by fuzzy inequalities. The parameters of the Lyapunov function can be obtained previously using Linear Matrix Inequalities optimization.     

Two-stage cascaded classification approach based on genetic fuzzy learning for speech/music discrimination

Automatic discrimination of speech and music is an important tool in many multimedia applications. The paper presents a robust and effective approach for speech/music discrimination, which relies on a two-stage cascaded classification scheme. The cascaded classification scheme is composed of a statistical pattern recognition classifier followed by a genetic fuzzy system. For the first stage of the classification scheme, other widely used classifiers, such as neural networks and support vector machines, have also been considered in order to assess the robustness of the proposed classification scheme. Comparison with well-proven signal features is also performed. In this work, the most commonly used genetic learning algorithms (Michigan and Pittsburgh) have been evaluated in the proposed two-stage classification scheme. The genetic fuzzy system gives rise to an improvement of about 4% in the classification accuracy rate. Experimental results show the good performance of the proposed approach with a classification accuracy rate of about 97% for the best trial.     

Batch process monitoring in the original measurement's space

Quality control and safety related issues have become more and more important in industrial production of high added value products and chemical specialities during last years. In this regard, many successful applications of multivariate statistical process control (MSPC) for monitoring and diagnosis of batch processes have been presented. It is a common industrial practice to monitor the batch progress by exploiting the information contained in a historical database of successful batches using projection techniques such as principal components analysis (PCA), partial least squares (PLS) and independent component analysis (ICA). In this work, a new MSPC strategy for batch process monitoring is presented. Its distinctive feature is that it works in the space of the original variables. The technique uses only the T²-statistic for detection and identification purposes. The identification of the set of observations that signal the fault is accomplished by decomposing the T²-statistic as a unique sum of each variable contribution. Performance comparisons among the proposed strategy and the most popular PCA-based approaches are carried out by simulation of polymerization and penicillin cultivation batch processes. Results show that the new approach can be successfully applied to monitor this kind of processes since it works very well during both fault detection and identification stages.     

A natural-disaster management DSS for Humanitarian Non-Governmental Organisations

Humanitarian Non-Governmental Organisations (NGOs) play a growing role in the response to natural disasters, but despite being largely demanded, there is no available decision support system (DSS) specifically designed to address their problem. In this paper we present a decision support system (DSS) to aid those Humanitarian NGOs concerned with the response to natural disasters. Such a DSS has been designed avoiding sophisticated methodologies that may exceed the infrastructural requirements and constraints of emergency management by NGOs. A data-based, two-level knowledge methodology which allows damage assessment of multiple disaster scenarios is presented in order to address that problem. Validation results show viability of our approach.