Resumen: Los correctores de programas (jueces) se usan ampliamente para la enseñanza de programación. Para un problema planteado reciben la solución propuesta por un estudiante u comprueban si su funcionamiento es el esperado. En la Universidad Complutense se ha instalado Mooshak. El documento explica el manejo de este juez desde el punto de vista del estudiante.
Palabras clave: Programación, Pruebas de caja
negra, Corrección automática de programas, Concursos de programación
Resumen: Recycla.me es una herramienta de telefonía móvil, desarrollada bajo el sistema operativo Android cuyo principal objetivo es ayudar y enseñar a niños y niñas de entre 7 y 11 años a reciclar correctamente cualquier tipo de producto que pueda tener asignado un código de barras. Así, mediante la lectura del código de barras, la aplicación guiará al niño paso a paso
en el modo correcto de reciclado de cada componente del objeto a desechar, de manera casi independiente.
Palabras clave: Android, Reciclar, Reciclaje, Código de Barras, Munso Sostenible, Recycle, Recycling, Barcode, Sustainable World
Resumen: Las aplicaciones multimedia actuales, como las aplicaciones de vídeo digital y los juegos en tiempo real con gráficos en tres dimensiones, se caracterizan por un comportamiento muy dinámico, con una carga de trabajo que puede variar varios órdenes de magnitud en tiempo de ejecución. Además, típicamente estas variaciones dependen de la interacción de las aplicaciones con los usuarios, de los datos de entrada, o incluso
de las interacciones con otras aplicaciones, por lo que frecuentemente no resultan predecibles en tiempo de diseño. Este tipo de aplicaciones comenzaron desarrollándose únicamente para computadores de sobremesa o consolas especialmente optimizadas para ello con una gran capacidad de cálculo. Pero en los últimos años han comenzado a incluirse dentro de sistemas empotrados (como por ejemplo los teléfonos móviles y las PDAs) en los que los recursos disponibles están muy limitados por el reducido tamaño y precio de estos sistemas. Por si fuese poco, frecuentemente existe una segunda limitación impuesta por la dependencia de una batería con una capacidad muy reducida.
Editorial: Universidad Complutense de Madrid, Servicio de Publicaciones
Departamento: Fac. de Informática - Depto. de Arquitectura de Computadores y Automática
ISBN: 978-84-693-3362-4
CDU: 004.3(043.2)(0.034)
Notas: Tesis de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Arquitectura de Computadores y Automática, leída el 16-10-2009
Resumen: Desde su aparición, el mercado de las cámaras digitales no ha dejado de crecer. Ante el aumento de la oferta, los consumidores se inclinan cada vez más por los productos con funciones adicionales que faciliten su uso. El propósito de este trabajo es estudiar los métodos más relevantes existentes actualmente en relación a la fusión de imágenes para decidir cuál se podría incorporar en una cámara para obtener fotografías con una mayor
profundidad de campo y con una calidad de la imagen aceptable.
[ABSTRACT]
From his appearance, the market of the digital cameras has not stopped growing. With the increase of the offer, the consumers incline increasingly for the products with additional functions that facilitate its use. The intention of this work is to study the most relevant existing methods nowadays related to the image fusion. This is intended in order to decide which one could be embedded in the camera devices for obtaining images with a depth of field and simultaneously with an acceptable image quality.
Palabras clave: Fusión de imágenes, Profundidad de campo, Cámaras digitales, Fotografía, Image fusion, Depth of field, Digital cameras, Photography
Departamento: Fac. de Informática - Depto. de Arquitectura de Computadores y Automática
CDU: 771.31:004(043.3):004:771.31(043.3)
Notas: Máster en Ingeniería Informática para la Industria, Facultad de Informática, Departamento de Arquitectura de Computadores y Automática, curso 2009-2010
Resumen: La realidad aumentada es una reciente disciplina que superpone contenido virtual en
entornos reales usando para ello diferentes tipos de información externa, siendo la geolocalización
y la detección de marcadores los elementos más comunes para aportar dicha
información. En este trabajo se presenta un método de conversión de imágenes de escala
de grises a blanco y negro (un proceso conocido como umbralización,
o binarización de imágenes)
basado en la conservación de determinados momentos de naturaleza estadística. El
método propuesto ha sido evaluado frente a otros algoritmos de la literatura en el contexto
de las aplicaciones de realidad aumentada, en las que la precisión dentro del marcador y el
rendimiento en tiempo son cruciales.
[ABSTRACT]
Augmented reality is a recent discipline that superimposes virtual content over real environments
using many different kinds of external information, geo-positioning and marker
detection being the most common methods. In this work, a method to convert gray images
into black and white images (a process known as image thresholding) based on moment
preservation is presented and evaluated against other state-of-the-art algorithms in the
context of augmented reality applications, in which in-marker accuracy and running time
performance are crucial.
Palabras clave: Umbralización, Binarización, Realidad aumentada, Procesamiento de imágenes, Visión por computador,
Thresholding, Binarization, Augmented Reality, Image Processing, Computer Vision
Departamento: Fac. de Informática - Depto. de Ingeniería de Software e I. A. - Lenguajes y Sistemas Informáticos
CDU: 004.946(043.3):004.9(043.3)
Notas: Máster en Investigación en Informática, Facultad de Informática, Departamento de Ingeniería del Software e Inteligencia Artificial, curso 2011-2012
Resumen: Este trabajo analiza el modelo de cloud híbrido, un paradigma que combina los depliegues de cloud privado con los recursos ofrecidos por cloud públicos. Este nuevo modelo no está totalmente desarrollado todavía, y hay que dedicar mucha más investigación y desarrollo antes de conseguir que despliegues multi-cloud puedan ser usados en producción. En este trabajo se realiza un estudio de las limitaciones y desafíos
de este modelo y a su vez se
plantean algunas de la técnicas más comunes para lidiar con estos puntos. También se presentará una arquitectura híbrida basada en la herramienta OpenNebula, intentando superar algunos de los desafíos y presentar experiencias reales con esta arquitectura y Amazon EC2.
[ABSTRACT]
This work analyzes the Hybrid Cloud computing model, a paradigm that combines onpremise private clouds with the resources of public clouds. This new model is not yet fully
developed, and there are still a lot of work to be done before true multi-cloud installations become mature enough to be used in production environments. A review of some of its limitations and the challenges that have to be faced is done in this work, and we also include some common techniques to address the challenges studied. We will also present a hybrid cloud architecture based on the OpenNebula Cloud toolkit, trying to overcome some of the challenges, and present some real-life experiences with this proposed architecture and Amazon EC2.
Resumen: En los últimos años han aparecido un número bastante considerable de trabajos sobre análisis de terminación de programas que han supuesto la base teórica de una serie de
herramientas prácticas que han dado lugar a resultados bastante prometedores. Nos proponemos presentar algunas de las técnicas más recientes de detección de terminación de programas entre las que hemos destacado la técnica Size-Change Termination (SCT) propuesta por
Ben-Amram, Lee y Jones [POPL’ 01] con algunas de sus variantes, y otras técnicas basadas en metodos lineales como la propuesta por
Podelski y Rybalchenko [VMCAI’ 04] que tienen por objeto inferir funciones de rango para probar la terminación de los programas. Como resultado de nuestro trabajo hemos implementado algunas de estas técnicas con el objetivo de llevarlas a la práctica en el lenguaje funcional de primer orden Safe.
[Abstract]
In recent years, they have published a fairly large number of works about program termination analysis that have provided the theoretical basis of some practical tools
leading to some promising results. We present some of the latest techniques for detecting program termination. We have highlighted the Size-Change Termination (SCT) framework proposed by Ben-Amram, Lee and Jones [POPL’ 01] with some of its variants, and other techniques based on linear methods as proposed by Podelski and Rybalchenko [VMCAI’ 04] whose aim is to infer ranking functions to prove program termination. As a result of our work, we have implemented some of these methods in order to apply them in the first-order functional language Safe.
Palabras clave: Análisis de terminación de programas, SCT, Funciones de rango, Métodos lineales, Safe, Interpretación abstracta, Invariantes, Program termination analysis, SCT, Ranking functions, Linear methods, Safe, Abstract interpretation, Invariants
Resumen: Proyecto Genome es una plataforma de acceso a datos genómicos basada en
Servicios Web que permite la obtención de datos de diferentes fuentes, permitiendo la
colaboración entre diferentes grupos de investigación para la solución de problema biológicos
importantes.
En concreto integra las siguientes bases de datos en una sola, actualizada
diariamente: Gene Ontology (GO), Entrez
Gene , Unigene, Saccharomyces cerevisiae (SGD),
Mus musculus (MGI), Candida albicans (CGD), Rattus norvegicus (RGD) y Homo sapiens.
[ABSTRACT]
Proyecto Genome is a genomic data access platform based on Web Services to obtain
data from different sources, permitting collaboration between differents investigation groups
to solve some important biological problems.
Specifically the Proyecto Genome database, updated daily, consists of these
databases: Gene Ontology (GO), Entrez Gene , Unigene, Saccharomyces cerevisiae (SGD),
Mus musculus (MGI), Candida albicans (CGD), Rattus norvegicus (RGD) and Homo sapiens.
Resumen: A large number of accuracy measures for image classification are actually available in the literature for cris classification. Overall accuracy, producer accuracy, user accuracy, kappa index and tau value are some examples. But in contrast to this effort in measuring the accuracy in a crisp framework, few proposals can be found in order to determine accuracy for soft classifiers. In this paper we define some accuracy measures for soft
classification that extend some classical accuracy measures for crisp classifiers. This elms of measures takes into account the preferences of the decision maker in order to differentiate some errors that in practice may not be have same relevance.
