Search academic resources

In the last few years, neural networks have found interesting applications in the field of time series modeling and forecasting. Some recent results show the ability of these models to approximate the dynamical behavior ...

"Electroencephalography (EEG) system validation faces a fundamental challenge: the absence of ground truth when measuring human subjects. Physical head phantoms provide controlled testing environments with known signals;...

"The aim of this work is to develop the phenomenological based modeling of a self-pressurized alkaline electrolyser with the objective of predicting the cross-contamination of the gases produced. A proposed model, built ...

DynAlloy is an extension to the Alloy specifi cation language suitable for modeling properties of executions of software systems. DynAlloy provides fully automated support for verifying properties of programs, in the sty...

Las técnicas de Puntos Función permiten estimar el tamaño del software en las etapas iniciales del desarrollo (desde los requerimientos funcionales del usuario). UML (Unified Modeling Language) es una notación amplia...

Nuestro trabajo de investigación consiste en estudiar la siguiente problemática. Sobre una red móvil, total o parcialmente desconocida, transitan objetos en búsqueda de un camino que los conduzca desde un origen haci...

It is known that the Minimum Weight Triangulation problem is NP-hard. Also the complexity of Minimum Weight Pseudo-Triangulation problem is unknown, suspecting that it is also a NP-hard problem. Therefore we focused on ...

Muchos problemas de optimización en configuraciones geométricas son NP-duros por lo que interesa obtener soluciones aproximadas. En este trabajo proponemos la utilización de una técnica metaheurística, Optimizació...

En este trabajo se discuten técnicas de mapeo automático de tareas concurrentes a procesadores, mediante el análisis del grafo de relación entre tareas, en el que se incorporan los tiempos de procesamiento y comunica...