Certifying compilers use static information of a program to verify that it complies with certain security properties and to generate certified code. To do so, those compilers translate the source program into an annotated program written in some intermediate language.…

Introduction: The nutritional registries are data bases through which we obtain the information to understand the nutrition of populations. Several main nutrition societies of the world have these types of registries, outstanding the NADYA (Home artificial and Ambulatory nutrition) group…

Descripción completa.

Los resultados obtenidos mediante el Análisis Canónico en 32
muestras poblacionales pertenecientes a 24 taxones, que corresponden
a 14 grupos de Bechyné (1948), proporcionan pruebas acerca del
estado taxonómico y evolutivo en múltiples taxones de Timarcha. Los
datos biométricos se…

El género Apteranthes Mikan se considera constituido por unos ocho táxones, en su mayoría distribuidos por el norte de África. Sin embargo, algunos de sus componentes han sido infravalorados en las revisiones más recientes del género, pese a estar bien…

En este artículo presentamos una estrategia de bajo coste para la creación de un corpus de estructuras sintácticas (tanto superficiales como profundas) y semánticas, tal y como son definidas en la Teoría Sentido-Texto. El corpus es de tamaño medio, pero…

Presentamos SPLICR, una plataforma de sostenibilidad para corpus y
recursos lingüísticos basada en web. El sistema está destinado a personas que trabajan en el campo de la lingüística o de la lingüística computacional. Consiste en
una base de…

Este artículo presenta un detector de aristas y esquinas, implementado en el dominio del proyecto GEIST (un Sistema de Información Turística Asistido por Computador) para extraer la información de aristas rectas y sus intersecciones (esquinas en la imagen) a partir…

A Federated System is a collection of independent, cooperative, possibly heterogeneous and autonomous computer systems (usually database systems) which allows sharing all or some of its data. A Service-oriented Architecture is an application architecture whose functionalities are defined as independent…

Salir del país de residencia para vivir en el extranjero significa
un gran cambio para la vida de una persona que muchas veces puede ser estresante.
Significa vivir en un ambiente extraño, con una cultura diferente,
lejos de la…