Buscar recursos académicos

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

"Reverse triggering (RT) is a dyssynchrony defned by a respiratory muscle contraction following a passive mechanical insufation. It is potentially harmful for the lung and the diaphragm, but its detection is challenging...

"Various approaches to software analysis (e.g. test input generation, software model checking) require engineers to (manually) identify a subset of a module’s methods in order to drive the analysis. Given a module to b...

"Local Field Potentials (LFPs) are easy to access electrical signals of the brain that represent the summation in the extracellular space, of currents originated within the neurons. As such, LFPs could contain infor mati...

"What should be the sensing capabilities of agents in a Multi-Agent System be to solve a problem efficiently, quickly and economicly? This question often appears when trying to solve a problem using Multi-Agent Systems. ...

Los sistemas biométricos de reconocimiento facial se enmarcan en las nuevas tecnologías que afectan nuestros derechos fundamentales. En este trabajo, analizamos el derecho a la igualdad ante las discriminaciones que pu...

El presente trabajo evalúa la inteligibilidad y la calidad de señales de voz luego de ser procesadas por un conjunto de técnicas de reducción de ruido. La inteligibilidad se mide en porcentaje de palabras repetidas c...

Las numerosas aplicaciones de la inteligencia artificial a la biología de sistemas han dado lugar a nuevos algoritmos, además de la adaptación y reutilización de los existentes. En tareas de minería de datos se han ...

"The purpose of the present article is to investigate if there exist any such set of temporal stable patterns in temporal series of meteorological variables studying series of air temperature, wind speed and direction an...

En este artículo se analiza el impacto, potencialidades, desafíos y perspectivas a futuro del uso de algoritmos de Machine Learning (ML) en psicología clínica, con un enfoque en la investigación básica y la aplicac...

"In this paper, it is shown that an algorithm for the stabilisation of switched systems introduced by the authors is robust with respect to perturbations which are unbounded in the supremum norm, but bounded in a power-l...

"We present research work in progress that focuses on data mining tools used for helping teachers to apply a three step knowledge discovering process to diagnose students’ misunderstandings (and their causes) related ...

En muchas aplicaciones se debe seguir la trayectoria de una entidad, característica u objeto sobre una secuencia de imágenes. Cuando el procesamiento debe hacerse en tiempo real, lleva consigo una complejidad important...

En esta tesina se han analizado e implementado tres algoritmos existentes para el reconocimiento biométrico de personas por medio del iris. Los mismos fueron evaluados con diferentes bases de imágenes preexistentes, ut...

Evolutionary computation (EC) has been recently recognized as a research field, which studies a new type of algorithms: Evolutionary Algorithms (EAs). These algorithms process populations of solutions as opposed to most ...

El objetivo de este trabajo es mostrar la aceleración en el tiempo de cómputo del algoritmo criptográfico Advanced Encryption Standard (AES) con clave de tamaño 128bits, que se obtiene al aprovechar el paralelismo qu...

Dado que las tendencias actuales de codificación de señales de audio utilizan un esquema mixto de codificación por análisis multiresolución, preferentemente codificación en sub-bandas, complementado con alguna otra...

"Una red bayesiana es un grafo acíclico dirigido en el que cada nodo representa una variable y cada arco una dependencia probabilística, son utilizadas para proveer: una forma compacta de representar el conocimiento, y...

Debido a que el tema de los patrones de paralelismo está aún en desarrollo, es de esperar que a partir del presente estudio surjan fundamentos que motiven cambios en los actuales patrones, los cuales podrían ser parti...

"Este trabajo tiene por objetivo analizar el funcionamiento de una planta híbrida de generación de energía. En este contexto, se busca encontrar una solución a un problema energético particular. El problema elegido ...

"La información de la base de datos de perforación & workover describe la actividad operativa que se realiza en los eventos de perforar, completar, reparar y mantener los pozos de gas y petróleo. Durante el desarrollo...

"El objetivo de los algoritmos de aprendizaje por refuerzo es maximizar las recompensas acumuladas a lo largo del tiempo para hallar un comportamiento objetivo. De esta forma, para aprender distintos comportamientos, la ...

"Los kilobots son robots diseñados para la simulacion de partículas autopropulsadas en un entorno determinado. Utilizan motores de vibracion para su movimiento y componentes LED para comunicar comportamiento. En este ...

"En esta tesis argumentamos que la información de trayectorias también puede ser integrada con datos GIS y OLAP, generando un marco poderoso de análisis". "In this thesis we argue that trajectory information can also ...