Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

The star model, broadly used in data warehouse modeling, is a logical model, so its representation is strongly dependent on the database technology used for its implementation, usually relational. The method recommended for designing a dimensional system would be the…

En el marco de la traducción automática árabe-inglés, el enfoque pseudointerlingüístico de UniArab ha logrado, incluso con oraciones simples, mejores resultados que los traductores automáticos basados en modelos estadísticos. El éxito de UniArab se cimienta en el modelo funcional de…

Numerical Taxonomy aims to group in clusters, using so-called structure analysis of operational taxonomic units (OTUs or taxons or taxa) through numerical methods. Clusters that consitute families was the purpose of this series of last projects.
Structural analysis, based on…

AbstractDue to aspect-oriented mechanisms explosion, their concepts arrive to distributed systems tackling concepts as security, persistence, or synchronization, especially in middleware approaches. Regarding distributed databases, the research has been focused mainly on object-oriented databases. Based on the great impact of…

El presente artículo describe un sistema de adquisición de datos para un medidor de deformación. Se presenta el análisis del diseño de la circuitería y la programación, los resultados obtenidos y finalmente algunas conclusiones.

The k nearest neighbor (k-NN) classifier has been extensively used in Pattern Recognition because of its simplicity and its good performance. However, in large datasets applications, the exhaustive k-NN classifier becomes impractical. Therefore, many fast k-NN classifiers have been developed;…

Describes dic nature and development of interbehavioral psychology, with particular reference to its origin, postulation, data, operations, laws, asid implications., Describe la naturaleza y desarrollo de la psicologi’a interconductural, con peticular referencia a su origen, postulación, datos, operaciones, leyes e…

The present experiment attenmpted to evaluate the formation of associations between elements of an odour-flavour compoundpared with a LiCl injection, in rats. The data ob­tained show that the aversion produced to the lacquer thinner odour is greater when this is…

Most search methods in metric spaces assume that the topology of the object collection is reasonably regular. However, there exist nested metric spaces, where objects in the collection can be grouped into clusters or subspaces, in such a way that…