Land‐use dynamic discovery based on heterogeneous mobility sources

Nowadays, cities are the most relevant type of human settlement and their population has been endlessly growing for decades. At the same time, we are witnessing an explosion of digital data that capture many different aspects and details of city life. This allows detecting human mobility patterns in urban areas with more detail than ever before. In this context, based on the fusion of mobility data from different and heterogeneous sources, such as public transport, transport‐network connectivity and Online Social Networks, this study puts forward a novel approach to uncover the actual land use of a city. Unlike previous solutions, our work avoids a time‐invariant approach and it considers the temporal factor based on the assumption that urban areas are not used by citizens all the time in the same manner. We have tested our solution in two different cities showing high accuracy rates.     

GPU accelerated waterpixel algorithm for superpixel segmentation of hyperspectral images

The Journal of Supercomputing - The high computational cost of the superpixel segmentation algorithms for hyperspectral remote sensing images makes them ideal candidates for parallel computation....     

Automatically running experiments on checking multi-party contracts

Contracts play an important role in business management where relationships among different parties are dictated by legal rules. Electronic contracts have emerged mostly due to technological advances and electronic trading between companies and customers. New challenges have then arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenario, automatic verification of electronic contracts appeared as an imperative support, specially the conflict detection task of multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but there are few, if any, methods and practical tools that can deal with multi-party contracts using a contract language with deontic and dynamic aspects as well as relativizations, over the same formalism. In this work we present an automatic checker for finding conflicts on multi-party contracts modeled by an extended contract language with deontic operators and relativizations. Moreover a well-known case study of sales contract is modeled and automatically verified by our tool. Further, we performed practical experiments in order to evaluate the efficiency of our method and the practical tool.

     

A panoramic view and swot analysis of artificial intelligence for achieving the sustainable development goals by 2030: progress and prospects

Applied Intelligence - The17 Sustainable Development Goals (SDGs) established by the United Nations Agenda 2030 constitute a global blueprint agenda and instrument for peace and prosperity...     

Algorithms for processing the group K nearest-neighbor query on distributed frameworks

Distributed and Parallel Databases - Given two datasets of points (called Query and Training), the Group (K) Nearest-Neighbor (GKNN) query retrieves (K) points of the Training with the smallest sum...     

Missing data imputation for fuzzy rule-based classification systems

Fuzzy rule-based classification systems (FRBCSs) are known due to their ability to treat with low quality data and obtain good results in these scenarios. However, their application in problems with missing data are uncommon while in real-life data, information is frequently incomplete in data mining, caused by the presence of missing values in attributes. Several schemes have been studied to overcome the drawbacks produced by missing values in data mining tasks; one of the most well known is based on preprocessing, formerly known as imputation. In this work, we focus on FRBCSs considering 14 different approaches to missing attribute values treatment that are presented and analyzed. The analysis involves three different methods, in which we distinguish between Mamdani and TSK models. From the obtained results, the convenience of using imputation methods for FRBCSs with missing values is stated. The analysis suggests that each type behaves differently while the use of determined missing values imputation methods could improve the accuracy obtained for these methods. Thus, the use of particular imputation methods conditioned to the type of FRBCSs is required.     

Fuzzy ontologies-based user profiles applied to enhance e-learning activities

Nowadays, the impact of technological developments on improving human activities is becoming more evident. In e-learning, this situation is no different. There are common to use systems that assist the daily activities of students and teachers. Typically, e-learning recommender systems are focused on students; however, teachers can also benefit from these type of tools. A recommender system can propose actions and resources that facilitate teaching activities like structuring learning strategies. In any case, a complete user’s representation is required. This paper shows how a fuzzy ontology can be used to represent user profiles into a recommender engine and enhances the user’s activities into e-learning environments. A fuzzy ontology is an extension of domain ontologies for solving the problems of uncertainty in sharing and reusing knowledge on the Semantic Web. The user profile is built from learning objects published by the user himself into a learning object repository. The initial experiment confirms that the automatically obtained fuzzy ontology is a good representation of the user’s preferences. The experiment results also indicate that the presented approach is useful and warrants further research in recommending and retrieval information.     

Evolutionary Generalized Radial Basis Function neural networks for improving prediction accuracy in gene classification using feature selection

Radial Basis Function Neural Networks (RBFNNs) have been successfully employed in several function approximation and pattern recognition problems. The use of different RBFs in RBFNN has been reported in the literature and here the study centres on the use of the Generalized Radial Basis Function Neural Networks (GRBFNNs). An interesting property of the GRBF is that it can continuously and smoothly reproduce different RBFs by changing a real parameter τ. In addition, the mixed use of different RBF shapes in only one RBFNN is allowed. Generalized Radial Basis Function (GRBF) is based on Generalized Gaussian Distribution (GGD), which adds a shape parameter, τ, to standard Gaussian Distribution. Moreover, this paper describes a hybrid approach, Hybrid Algorithm (HA), which combines evolutionary and gradient-based learning methods to estimate the architecture, weights and node topology of GRBFNN classifiers. The feasibility and benefits of the approach are demonstrated by means of six gene microarray classification problems taken from bioinformatic and biomedical domains. Three filters were applied: Fast Correlation-Based Filter (FCBF), Best Incremental Ranked Subset (BIRS), and Best Agglomerative Ranked Subset (BARS); this was done in order to identify salient expression genes from among the thousands of genes in microarray data that can directly contribute to determining the class membership of each pattern. After different gene subsets were obtained, the proposed methodology was performed using the selected gene subsets as new input variables. The results confirm that the GRBFNN classifier leads to a promising improvement in accuracy.     

On the sizing of a solar thermal electricity plant for multiple objectives using evolutionary optimization

Design, implementation and operation of solar thermal electricity plants are no more an academic task, rather they have become a necessity. In this paper, we work with power industries to formulate a multi-objective optimization model and attempt to solve the resulting problem using classical as well as evolutionary optimization techniques. On a set of four objectives having complex trade-offs, our proposed procedure first finds a set of trade-off solutions showing the entire range of optimal solutions. Thereafter, the evolutionary optimization procedure is combined with a multiple criterion decision making (MCDM) approach to focus on preferred regions of the trade-off frontier. Obtained solutions are compared with a classical generating method. Eventually, a decision-maker is involved in the process and a single preferred solution is obtained in a systematic manner. Starting with generating a wide spectrum of trade-off solutions to have a global understanding of feasible solutions, then concentrating on specific preferred regions for having a more detailed understanding of preferred solutions, and then zeroing on a single preferred solution with the help of a decision-maker demonstrates the use of multi-objective optimization and decision making methodologies in practice. As a by-product, useful properties among decision variables that are common to the obtained solutions are gathered as vital knowledge for the problem. The procedures used in this paper are ready to be used to other similar real-world problem solving tasks.     

Flavonoids of “La Alcarria” honey A study of their botanical origin

Summary The flavonoids present in ten selected samples of La Alcarria honey with different pollen compositions have been HPLC analysed in order to establish if correlations between botanical origin and flavonoid profiles are possible. A common flavonoid pattern is observed in the different samples showing that pollen is not the main source of honey flavonoids. A close correlation between the flavonoid patterns of honey flavonoids and propolis flavonoids has been found suggesting that flavonoid analysis could be more useful in geographical origin determinations than in botanical origin studies.

---

Flavonoide des La-Alcarria-Honigs Eine Studie ihres botanischen Ursprungs

Zusammenfassung Die Flavonoide in Proben in Alcarria-Honig mit unterschiedlicher Pollenzusammensetzung wurden untersucht, um Kortrelationen zwischen dem botanischen Ursprung und den möglichen Flavonoiden zu finden. In den verschiedenen Proben wurde ein Flavonoid-Muster gefunden, wobei der Pollen nicht die Hauptquelle der Honigflavonoide ist. Es wurde jedoch eine enge Korrelation zwischen den Flavonoid-Mustern des Honigs und des Bienenkittharzes gefunden, was für die geographische Herkunft wichtiger ist als die botanische.