Identification keys, diagnoses, hosts, and distribution data are provided for adults of the 26 species of Ixodes known from Mexico. Data are from specimens deposited in the Colección Nacional de Ácaros (CNAC), Instituto de Biología, Universidad Nacional Autónoma de México,…

The analysis of PM10 levels in two sites of the city of San José (Catedral Metropolitana and Junta de Educación), in a period of 2.5 years (April 2004-October 2006), reported a median of 39 ± 8 and 27 ± 8…

Para conocer el valor que los caracteres estructurales tienen para la reconstrucción filogenética de la subtribu Oncidiinae se realizó un análisis de parsimonia combinado con base en datos anatómico foliares, morfológicos y secuencias de ADN de las regiones matK e…

Analysis of the general rainfall trend is vital in understanding the underlying features, for the purpose of forecasting and in identifying the changes and impacts that are very crucial for an agro-based economy like the one of India. Situated on…

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…

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…

Product-line architectures, i.e. a software architecture and component set shared by a family of products, represents a promising approach to achieving reuse of software. Several companies are initiating or have recently adopted a product-line architecture. However, little experience is available…

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…

The refinement technique allows us to capture the relationship between specification and implementation in software developments. The precise documentation of the refinement relations hip makes it possible the traceability of the requirements through the refinement steps.
Unfortunately, the standard modelling…