Now showing items 1-10 of 188
Stability and uniqueness for cooperative degenerate Lotka-Volterra model [Article]
In this work we deal with the existence, stability and uniqueness of positive solution of the symbiotic Lotka-Volterra degenerate model. We study and characterize the existence of the principal eigenvalue for weakly coupled ...
On the singular times of fluids with nonlinear viscosity [Article]
Finding representative patterns withordered projections [Article]
This paper presents a new approach to 2nding representative patterns for dataset editing. The algorithm patterns by ordered projections (POP), has some interesting characteristics: important reduction of the number of ...
Supervised learning by means of accuracy-aware evolutionary algorithms [Article]
This paper describes a new approach, HIerarchical DEcision Rules (HIDER), for learning generalizable rules in continuous and discrete domains based on evolutionary algorithms. The main contributions of our approach are ...
An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming [Article]
(Springer Verlag, 2007)
Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical expressions, because they are usually based on Description Logics. Moreover, these kind of ...
Functional Testing of Feature Model Analysis Tools. A First Step [Presentation]
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementation of these operations using a specific ...
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales [Presentation]
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes ...
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications [Presentation]
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
Electronic structure of stoichiometric and Ar+-bombarded ZrO2 determined by resonant photoemission [Article]
(American Institute of Physics Publising LLC, 1995)
The electronic properties of thermally grown ZrO2 thin films before and after Ar+ bombardment have been studied with resonant photoemission spectroscopy using synchrotron radiation. For stoichiometric ZrO2 thin films the ...